Loading...
themes

Themes

/

Analysis, Design and Validation of Multi-Agent Systems (MAS) Keywords: Agents, Coordination, Formal specification, Distributed Observation, Distributed Planning, Petri Nets, Interaction, Modal Logics, Multi-Agent Systems, True Concurrency Semantics , Verification. Our approach for MAS Design We are interested in MAS as a cognitive approach that helps developing distributed and cooperative systems based on intelligent agents. Our goal […]

Read more »
events-organisation

Events organization

/

Organization of Scientific Events Local chair for AAMAS 2014 (more than 800 participants) – (http://www.ifaamas.org/Proceedings/aamas2014/) General Chair of IDC 2016 – International Symposium on Intelligent Distributed Computing – Paris, 2016 (https://link.springer.com/book/10.1007%2F978-3-319-48829-5) Co-organization with A. M. Florea du Workshop international MASTS (Multi-Agent Systems and Semantics). Bucharest, May, 2009. (http://aimas.cs.pub.ro/masts2009/). Co-organization with J. Dix, M. Dastani, and […]

Read more »
search--3

Distinctions

/

Nominated Best Senior Program Committee member at AAMAS 2009 Budapest, Hungry. Best paper award at the JFSMA (French-Speaking DAYS of MAS): Control of the compliance of behaviors of cognitive and autonomous agents. Hermes-Lavoisier Editor. Proceedings of JFSMA 2005. Calais, France. November, 2005, C. Chopinaud, A. El Fallah Seghrouchni et P. Taillibert Best paper award at […]

Read more »
events-organisation

Projects

/

Will be available soon!!!

Read more »

Cookies help us deliver our services. By using our services, you agree to our use of cookies. More Information