Andreas Herzig
AI Department
LILaC
EDITORIAL BOARDS AND OTHER SCIENTIFIC ACTIVITIES:
PC MEMBERSHIP AND OTHER SCIENTIFIC ACTIVITIES:
- Guest editor of an
Artificial Intelligence
special issue
Epistemic Planning
(with V. Belle, Th. Bolander, B. Nebel);
editorial of the special issue
- PC chair of
LORI-IX
(International Workshop on Logic, Rationality and Interaction)
- PC chair of
CLAR 2023
(International Conference on Logic and Argumentation)
- Area chair of
IJCAI-23
(Int. Joint Conf. on Artificial Intelligence)
- Area chair of AAAI-23
(Nat. Conf. on Artificial Intelligence)
- PC member of KR2023
(Int. Conf. on Principles of Knowledge Representation and Reasoning)
- PC member of WoLLIC 2023
(Workshop on Logic, Language, Information and Computation)
- PC member of
CNIA 2023
(National (French) Conference on Artificial Intelligence)
- Guest editor of an
Annals of Mathematics and Artificial Intelligence
special issue
Selected Papers from FoIKS 2020
(Vol. 90, issue 2-3, 2022. With J. Kontinen)
- PC member of
IJCAI-ECAI 2022
(Int. Joint Conf. on Artificial Intelligence)
- PC member of KR2022
(Int. Conf. on Principles of Knowledge Representation and Reasoning)
- PC member of
FoIKS 2022
(Foundations of Information and Knowledge Systems)
- PC member of LOFT 2022
(14th Conference on LOgic and the Foundations of game and decision Theory)
- PC member of
First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022)
- PC member of Automated Reasoning in Quantified Non-Classical Logics (ARQNL)
- Senior PC member of
IJCAI 2021
(Int. Joint Conf. on Artificial Intelligence)
- Area chair of AAAI-21
(Nat. Conf. on Artificial Intelligence)
- PC member of
AAMAS 2021 blue sky track
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- PC member of KR2021
(Int. Conf. on Principles of Knowledge Representation and Reasoning)
- PC member of FroCoS 2021
(The International Symposium on Frontiers of Combining Systems)
- PC member of CLAR2021
(International Conference on Logic and Argumentation)
- PC member of
DEON 2020/21
(International Conference on Deontic Logic in Computer Science)
- PC chair of
FoIKS 2020
(Foundations of Information and Knowledge Systems)
- PC chair of
Declarative Problem Solving Workshop DPSW 2020 at
ECAI 2020
- PC chair of
Workshop on Epistemic Planning (EpiP 2020) at
ICAPS 2020
- Area chair of KR2020
(Int. Conf. on Principles of Knowledge Representation and Reasoning)
- Senior PC member of
IJCAI-PRICAI 2020
(Int. Joint Conf. on Artificial Intelligence)
- Senior PC member of ECAI 2020
(Eur. Conf. on Artificial Intelligence)
- PC member of
EUMAS 2020
(Eur. Conference on Multi-Agent Systems)
- PC member of
AAMAS 2020 blue sky track
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- PC member of
DEON 2020
(International Conference on Deontic Logic in Computer Science)
- PC member of LOFT 2020
(13th Conference on LOgic and the Foundations of game and decision Theory) (postponed)
- PC member of CLAR2020
(International Conference on Logic and Argumentation)
- PC member of TAILOR 2020 (1st workshop of the TAILOR project)
- PC member of
First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2020) (postponed)
- Organiser of the special issue "Epistemic Planning" of the
AI Journal
- PC chair of FroCoS 2019
(The International Symposium on Frontiers of Combining Systems)
- Local organiser of
TARK 2019
(Theoretical Aspects of Rationality and Knowledge)
(with U. Grandi and E. Lorini)
- Senior PC member of
IJCAI 2019
(Int. Joint Conf. on Artificial Intelligence)
- Senior PC member of
AAMAS 2019
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- PC member of
JELIA 2019
- PC member of
LORI-VII
(International Workshop on Logic, Rationality and Interaction)
- PC member of
CNIA 2019
(National (French) Conference on Artificial Intelligence)
- PC member of
KI 2019
(National (German) Conference on Artificial Intelligence)
- PC member of the workshop
ACTIONS@ICAPS-2019
at ICAPS-2019
- PC member of the workshop
DARe 2019
(Fifth International Workshop on Defeasible and Ampliative Reasoning)
- PC member of the workshop
DaLi 2019
(DaLí - Dynamic Logic: new trends and applications);
part of the Formal Methods week
- Area chair of
IJCAI 2018
(Int. Joint Conf. on Artificial Intelligence)
- Senior PC member of AAAI-18
(Nat. Conf. on Artificial Intelligence)
- Senior PC member of
AAMAS 2018
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- Area chair of KR2018
(Int. Conf. on Principles of Knowledge Representation and Reasoning)
- PC member of ISWC 2018
(International Semantic Web Conference)
- PC member of
PRIMA 2018 (International Conference on Principles and Practice of Multi-Agent Systems)
- PC member of
DEON 2018
(International Conference on Deontic Logic in Computer Science)
- PC member of the workshop
Reasoning about Actions and Processes:
Highlights of Recent Advances at
KR2018
- PC member of
EUMAS 2018
(Eur. Conference on Multi-Agent Systems)
- PC member of the workshop
Formal and Cognitive Reasoning (DKB/KIK 2018)
@ KI 2018
- PC member of the workshop
NMR 2018 (16th Int. Workshop on Non-Monotonic Reasoning)
- PC member of the workshop
workshop BadOntoloGy (BOG @ JOWO 2018 @ FOIS 2018)
(part of the Joint Ontologies Workshop JOWO 2018)
@ FOIS 2018
- PC member of Automated Reasoning in Quantified Non-Classical Logics (ARQNL)
- PC member of the workshop
Formal and Cognitive Reasoning (DKB/KIK 2018)
@ KI 2018
- PC member of the CLAR2018
(International Conference on Logic and Argumentation)
- Reviewer for the
Student Session
@ ESSLLI 2018
- PC member of AAAI-17
(Nat. Conf. on Artificial Intelligence)
- PC member of TARK 2017
(Theoretical Aspects of Rationality and Knowledge)
- PC member of ISWC 2017
(International Semantic Web Conference)
- PC member of LPAR 2017
(International Conference on Logic for Programming Artificial Intelligence and Reasoning)
- PC member of
EUMAS 2017 (Eur. Conference on Multi-Agent Systems)
- PC member of the workshop
SR 2017 (5th International Workshop on Strategic Reasoning)
- PC member of the workshop
SOQE 2017 (Second-Order Quantifier Elimination and Related Topics)
- PC member of the workshop
DARe 2017
(Fourth International Workshop on Defeasible and Ampliative Reasoning)
- PC member of the workshop
DaLi 2017
(DaLí - Dynamic Logic: new trends and applications)
- PC member of the workshop
Formal and Cognitive Reasoning
@ KI 2017
- OC member of
ESSLLI 2017
- Organiser of a
Workshop in honour of Luis Fariñas del Cerro, Toulouse, March 3-4, 2016
(with P. Cabalar, M. Dieguez, D. Pearce)
- Senior PC member of
IJCAI 2016
(Int. Joint Conf. on Artificial Intelligence)
- PC member of AAAI-16
(Nat. Conf. on Artificial Intelligence)
- Area chair of KR2016
(Int. Conf. on Principles of Knowledge Representation and Reasoning)
- PC member of
AAMAS 2016
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- PC member of
JELIA 2016
- PC member of
GCAI 2016 (Global Conference on Artificial Intelligence)
- PC member of
Workshop LAMAS 2016
(Logical Aspects of Multi-Agent Systems)
at AAMAS 2016
- PC member of AiML 2016
(Advances in Modal Logic)
- PC member of FoIKS 2016
(Foundations of Information and Knowledge Systems)
- PC member of LOFT 2016
(12th Conference on LOgic and the Foundations of game and decision Theory)
- PC member of
DEON 2016
(13th International Conference on Deontic Logic in Computer Science)
- PC member of the
Workshop "Norms, Actions, Games" (NAG 2016)
- PC member of Automated Reasoning in Quantified Non-Classical Logics (ARQNL)
- PC member of
NMR 2016 (16th Int. Workshop on Non-Monotonic Reasoning)
- PC member of the WOLC 2016 (Non-classical Logics and Their Applications:
The 8th International Workshop on Logic and Cognition)
- PC member of the CLAR2016
(International Conference on Logic and Argumentation)
- PC member of the workshop
DARe 2016
(Third International Workshop on Defeasible and Ampliative Reasoning)
@ ECAI 2016
- Reviewer for the
Student Session
@ ESSLLI 2016
- PC chair of
Workshop LAMAS 2015
(Logical Aspects of Multi-Agent Systems, with E. Lorini)
at AAMAS 2015
- Senior PC member of
IJCAI 2015
(Int. Joint Conf. on Artificial Intelligence);
also member of
the video competition PC
and the
IJCAI “Best Papers From Sister Conferences” track PC
- Senior PC member of
AAMAS 2015
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- PC member of AAAI-15
(Nat. Conf. on Artificial Intelligence)
- PC member of TARK 2015
(Theoretical Aspects of Rationality and Knowledge)
- PC member of the
4th International Conference on Tools for teaching logic (TTL 2015)
- PC member of
LORI-V
(International Workshop on Logic, Rationality and Interaction)
- PC member of
GCAI 2015 (Global Conference on Artificial Intelligence)
- PC member of
International Conference on Agents and Artificial Intelligence - ICAART 2015
- PC member of
ECSQARU-2015
(13th Eur. Conf. on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty)
- PC member of
BRACIS 2015 (Brazilian Conference on Intelligent Systems)
- PC member of
SR 2015 (3rd International Workshop on Strategic Reasoning)
- PC member of the
LSFA 2015
(10th Workshop on Logical and Semantic Frameworks, with Applications)
- PC member of the workshop
Belief Change and NMR in Ontologies and Databases
(part of the Joint Ontologies Workshop JOWO 2015)
@ IJCAI 2015
- PC member of the workshop
DARe 2015
(Second International Workshop on Defeasible and Ampliative Reasoning)
@ IJCAI 2015
- PC member of the workshop
Formal and Cognitive Reasoning
@ KI 2015
- Reviewer for the
Student Session
@ ESSLLI 2015
- PC chair of the
European Conference on Social Intelligence (ECSI-2014)
(with E. Lorini)
- Organiser of
Workshop "False beliefs and true lies: on individual and group beliefs and their formation", Toulouse, 2014
(with D. Longin, E. Lorini, L. Perrussel)
- PC member of AiML 2014
(Advances in Modal Logic)
- PC member of KR2014
(Int. Conf. on Principles of Knowledge Representation and Reasoning)
- PC member of LOFT 2014
(11th Conference on LOgic and the Foundations of game and decision Theory)
- PC member of
JELIA 2014
- PC member of FoIKS 2014
(Foundations of Information and Knowledge Systems)
- PC member of DEON 2014 (12th International Conference on Deontic Logic in Computer Science)
- PC member of
BRACIS 2014 (Brazilian Conference on Intelligent Systems)
- PC member of the
NMR 2014 (15th Int. Workshop on Non-Monotonic Reasoning)
- PC member of
LAMAS 2014 (7th Workshop on Logical Aspects of Multi-Agent Systems)
at AAMAS 2014
- PC member of IDAS@ESSLLI'14
at ESSLLI 2014
- PC member of Automated Reasoning in Quantified Non-Classical Logics (ARQNL)
at IJCAR 2014
- PC member of AISB workshop "Norms, Actions and Games" (NAG 2014)
- PC member of International Workshop on Defeasible and Ampliative Reasoning (DARe)
at ECAI 2014
- Reviewer for the
Student Session
at
ESSLLI 2014
- Special issue of the
Int. J. of Game Theory
(IJGT 42:3)
based on
LOFT 2010
(with G. Bonanno, W. van der Hoek and J. Lang)
- Organiser of
International workshop "Believing, planning, acting, revising", Toulouse, 2013
(with S. Doutre, F. Moisan, L. Perrussel)
- Senior PC member of IJCAI-13
(Twenty-third Int. Joint Conf. on Artificial Intelligence)
- PC member of AAAI-13
(Nat. Conf. on Artificial Intelligence)
- PC member of
ECSQARU-2013
(Eur< Conf. on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty)
- PC member of
Methods for Modalities 8 (M4M-8)
- PC member of
Commonsense-2013
- PC member of
Information and Trust Dynamics in Artificial Societies
at IJCAI-13
- PC member of
Brazilian Conference on Intelligent Systems (BRACIS 2013)
- PC member of
MIWAI 2013: The 7th Multi-Disciplinary International Workshop on Artificial Intelligence
- PC member of the workshop
Dynamics of Knowledge and Belief (DKB-2013)
at the
36th German Conference on Artificial Intelligence (KI-2013)
- PC member of the
Septièmes Journées Francophones sur les Modèles formels de l'interaction (MFI'13)
- member of the steering committee of the ``International Workshop on Nonmonotonic Reasoning, Action and Change'' (NRAC) series
(NRAC 2013)
- PC chair of
ESSLLI 2012
- PC chair and local organiser of
JELIA 2012
(with L. Fariñas del Cerro and J. Mengin)
- PC chair of the
International Workshop on The Cognitive Foundations of Group Attitudes and Social Interaction, Toulouse, May/June 2012
(with E. Lorini, L. Fariñas del Cerro, D. Longin)
- PC member of AAAI-12
(National Conference on Artificial Intelligence)
- PC member of KR2012
(Int. Conf. on Principles
of Knowledge Representation and Reasoning)
- PC member of AiML 2012
(Advances in Modal Logic)
- PC member of LOFT 2012
(10th Conference on LOgic and the Foundations of game and decision Theory)
- PC member of 11th International Conference on Deontic Logic in Computer Science (DEON 2012)
- PC member of Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)
- PC member of
International Conference on Agents and Artificial Intelligence - ICAART 2012
- PC member of the 15th International Conference
on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2012)
- PC member of 20th Brazilian Symposium on Artificial Intelligence (SBIA 2012)
- PC member of the
10th Int. Workshop on
Declarative Agent Languages and Technologies (DALT 2012)
at AAMAS 2012
- PC member of
LAMAS 2012 (2nd Workshop on Logical Aspects of Multi-Agent Systems)
at AAMAS 2012
- PC member of the
Workshop on Logics for Agents and Mobility (LAM'12)
at
33rd Conference on Theory and Application of Petri Nets and Concurrency
- special issue of the
J. of Applied Non-Classical Logics
(JANCL 21:3-4)
on
LOFT 2010
(with G. Bonanno, W. van der Hoek and J. Lang)
- PC chair (with Ph. Besnard and Hendrik Decker) of
DALI-2011
- senior PC member of
IJCAI-11
(Twenty-second International Joint Conference on Artificial Intelligence)
- PC member of AAAI-11
(National Conference on Artificial Intelligence)
- PC member of
LORI-III
(International Workshop on Logic, Rationality and Interaction)
- PC member of
LAMAS 2011 (2nd Workshop on Logical Aspects of Multi-Agent Systems)
at
M4M 2011
- PC member of
MIWAI 2011
(The Fourth Mahasarakham International Workshop on AI)
- PC member of
ECSQARU-2011
(11th Eur. Conf. on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty)
- PC member of
International Conference on Agents and Artificial Intelligence - ICAART 2011
- PC member of the
Workshop on Logics for Agents and Mobility (LAM'11)
at
Twenty-Second International Conference on Concurrency Theory (CONCUR 2011)
- PC member of the 10th
International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2011)
- PC member of the
Sixièmes Journées Francophones sur les Modèles formels de l'interaction (MFI'11)
- Reviewer for the
Student Session
at
ESSLLI 2011
- Guest editor (with Frank van Harmelen, Pascal Hitzler and Guilin Qi) of
AMAI special issue on commmonsense reasoning in the semantic web
(Annals of Mathematics and Artificial Intelligence 58:1-2, February 2010)
- PC chair (with G. Bonanno, W. van der Hoek and J. Lang) of
LOFT 2010
(9th Conference on LOgic and the Foundations of game and decision Theory),
Toulouse, 5-7 July 2010
(followed by special issues of the IJGT and the JANCL)
- PC member of ECAI 2010
(18th Eur. Conf. on Artificial Intelligence)
- PC member of AAAI-10
(National Conference on Artificial Intelligence)
- PC member of KR2010
(Int. Conf. on Principles
of Knowledge Representation and Reasoning)
- PC member of
AAMAS 2010
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- PC member of JELIA 2010
(Eur. Conf. on Logics in Artificial Intelligence)
- PC member of AiML 2010
(Advances in Modal Logic)
- PC member of CLIMA 2010
(International Workshop on Computational Logic in Multi-Agent Systems)
- PC member of
Sixth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)
- PC member of
International Conference on Agents and Artificial Intelligence - ICAART 2010
- PC member of the
Sub-Workshop "Action and Belief Change" of the
13th International Workshop on Non-Monotonic Reasoning (NMR 2010)
- PC member of the
Workshop on Logics for Agents and Mobility (LAM'10)
at
LICS 2010
- PC member of
1st Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2010)
at
AAMAS 2010
- PC member of the
Workshop on Agent Based Computing: from Model to Implementation VII (ABC:MI'10)
- Area expert of the Logic and Computation track of the
Student Session
at
ESSLLI 2010
- PC member of the workshop
Theories of information dynamics and interaction and their application to dialogue (TIDIAD)
at
ESSLLI 2010
- PC member of
MIWAI 2010
(The Fourth Mahasarakham International Workshop on AI)
- PC-chair (with E. Lorini) of the Workshop on
Logical methods for social concepts
at
ESSLLI 2009
- PC-chair (with B. Johnston) of the
Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009)
at
IJCAI-09
- Organizer (with J.-F. Bonnefon, Jonathan Ben-naim, Sylvie Leblois, and Emiliano Lorini) of the
Workshop on Trust, Advice, and Reputation
Toulouse, October 22-24, 2009
- PC member of
IJCAI-09
(Twenty-first International Joint Conference on Artificial Intelligence)
- PC member of
International Conference on Intelligent Agent Technology (IAT'09)
- PC member of the
2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009)
at
International Conference on Intelligent Agent Technology (IAT'09)
- PC member of
M4M-6
(6th workshop Methods for Modalities)
- PC member of the workshop
Formal Approaches to Multi-agent Systems (FAMAS'09) at the
Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2009)
- PC member of
ECSQARU-2009
(Eigth Eur. Conf. on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty)
- PC member of the
7th Int. Workshop on
Declarative Agent Languages and Technologies (DALT 2009)
at AAMAS 2009
- PC member of the workshop
Relational Approaches to Knowledge Representation and Learning
at KI-2009
- PC member of
MIWAI 2009
(The Third Mahasarakham International Workshop on AI)
- PC member of the
Workshop on Logics for Agents and Mobility (LAM'09)
at
LICS 2009
- PC member of the
Cinquièmes Journées Francophones sur les Modèles formels de l'interaction (MFI'09)
- Co-organizer of the
ESWC-08 Workshop on
Advancing Reasoning on the Web: Scalability and Commonsense
- Co-organizer of the `Formal models of Trust' session of the
Eleventh International Workshop on Trust in Agent Societies
at AAMAS 2008
- PC member of AAAI-08
(National Conference on Artificial Intelligence)
- PC member of ECAI 2008
(17th Eur. Conf. on Artificial Intelligence)
- PC member of
AAMAS 2008
(Int. Conf. on Autonomous Agents and Multi-Agent Systems)
- PC member of AiML 2008
(Advances in Modal Logic)
- PC member of KR2008
(Int. Conf. on Principles
of Knowledge Representation and Reasoning)
- PC member of JELIA 2008
- PC member of the 13th International Conference
on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008)
- PC member of the
Workshop on Knowledge Representation for Agents and Multi-Agent Systems
(KRAMAS 2008)
at KR2008
- PC member of
MIWAI 2008
(The Second Mahasarakham International Workshop on AI)
- PC member of the
Workshop on Logics for Agents and Mobility
at
ESSLLI 2008
- PC member of
ECSQARU-2007
(Eigth Eur. Conf. on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty)
- PC member of
AAMAS 2007
(2007 Int. Conf. on
Autonomous Agents and Multi-Agent Systems)
- PC member of the Second
International Conference on Knowledge Science, Knowledge
Engineering, and Knowledge Management (KSEM07)
- PC member of the
33rd International Conference on
Current Trends in Theory and Practice of Computer Science (SofSem'07)
- PC member of
The First Mahasarakham International Workshop on AI (MIWAI 2007)
- PC member of the
2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07)
- PC member of the workshop
Formal Approaches to Multi-agent Systems (FAMAS'07) at the federated agents workshop event MALLOW07 (3 to 7 September 2007 in Durham)
- PC member of the
International Workshop on Ontology Dynamics (IWOD-07)
at
ESWC-07
- PC member of the
Workshop on Logics and Collective Decision Making (LCD'07)
- PC member of the Workshop
Dynamics of Knowledge and Belief
at
KI'07
-
PC member of the
Quatrièmes Journées Francophones sur les Modèles formels de l'interaction (MFI'07)
- Co-chair of the
Belief Change and Updates Session
at
Eleventh International Workshop on Non-Monotonic Reasoning (NMR 2006)
- PC member of the 17th Eur. Conf. on Artificial Intelligence (ECAI 2006)
- PC member of the The Twenty-first National Conference on Artificial Intelligence (AAAI-06)
- PC member of the 10th Int. Conf. on Principles
of Knowledge Representation and Reasoning (KR2006)
- PC member of
AAMAS 2006
(Fifth Int. Joint Conf. on
Autonomous Agents & Multi-Agent Systems)
- PC member of the
9th Int. Symposium on AI
and Mathematics (AI&MATH'2006)
- PC member of the First International Conference on Knowledge Science, Engineering and Management (KSEM'2006)
- PC member of the 12th International Conference
on Artificial Intelligence: Methodology, Systems, Applications - AI, people and the web -
(AIMSA 2006)
- PC member of the workshop Formal Approaches to Multi-agent Systems (FAMAS'06) at ECAI 2006
- PC member of the
2006 IEEE/WIC/ACM International
Conference on Web Intelligence (WI 2006)
- PC member of the workshop Formal Ontologies for Communicating Agents (FOCA) at ESSLLI 2006
- PC co-chair of the
Workshop on Belief revision and dynamic logic
at
ESSLLI 2005
- PC co-chair of the
Troisièmes Journées Francophones
Modèles formels de l'interaction (MFI'05)
- PC member of
AAMAS 2005
(Fourth Int. Joint Conf. on
Autonomous Agents & Multi-Agent Systems)
- PC member of the Eigth Eur. Conf. on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2005)
- PC member of
2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05)
- PC member of the 12th Workshop
on Logic, Language, Information and Computation (WoLLIC'2005 )
- PC member of the Third Int. Joint Conf. on
Autonomous Agents & Multi-Agent Systems (AAMAS 2004)
- PC member of the 9th Int. Conf. on Principles
of Knowledge Representation and Reasoning (KR2004)
- PC member of the 2nd International Joint Conference on Automated Reasoning (IJCAR 2004)
- PC member of the 7th International Conference on Information Fusion (Fusion 2004)
- PC member of the 5th
International Workshop on Strategies in Automated Deduction (STRATEGIES 2004)
(in conjunction with IJCAR 2004)
- PC member of the Workshop
``Conditionals, Information, and Inference'' (WCII'04)
at KI'04
- Local organizer of the TARSKI workshop, 11-13 march 2004
- PC chair of the
Secondes Journées Francophones
Modèles formels de l'interaction (MFI'03)
- PC member and local organizer of the
III World Congress on Paraconsistency (WCP3)
- PC member of the
19th Conf. on Automated Deduction (CADE-19)
- PC member of the
Seventh Eur. Conf. on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003)
- PC member of the
First Int. Joint Conf. on
Autonomous Agents & Multi-Agent Systems (AAMAS 2002)
- PC member of the
7th Int. Symposium on AI
and Mathematics (AI&MATH'2002)
- PC member of the
Workshop
``Conditionals, Information, and Inference'' 2002
- local organizer of the
8th Int. Conf. on Principles
of Knowledge Representation and Reasoning (KR2002)
- PC chair of the French
Journées Nationales
sur les Modèles de Raisonnement 2001
- PC member of the
Sixth
Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning
with Uncertainty (ECSQARU-2001)
- PC member of the
Premières Journées Francophones
MODÈLES FORMELS de l'INTERACTION (MFI'01)
- PC member of the
7th Int. Conf. on Principles
of Knowledge Representation and Reasoning (KR2000)
- PC member of the
6th Int. Symposium on AI
and Mathematics (AI&MATH'2000)
- Member of the organizing committee of the
Workshop
`Belief Change: Theory and Practice'
at KR2000
- Member of the organizing committee of the
4th Workshop
on Practical Reasoning and Rationality
at IJCAI'99
- Member of the program committee of
8Th Int. Conf. on AI: Methodology,
Systems, Applications (AIMSA'98)