PC Chair
-
12th European Conference on Logics in Artificial Intelligence (JELIA
2010), Helsinki, Finland, September 13-15, 2010.
-
The 23rd International Conference on Logic Programming (ICLP 2007),
Porto, Portugal, September, 2007.
- Special
session on Answer Set Programming at
Eleventh International Workshop on
Non-Monotonic Reasoning,
collocated with KR 2006 in the Lake District area of the UK, 30 May to 1
June 2006.
- Dagstuhl
Seminar on Nonmonotonic Reasoning, Answer Set Programming
and Constraints, April 24-29, 2005, Schloss Dagstuhl, Germany.
-
The Seventh International Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR-7),
Fort Lauderdale, Florida, Jan 6-8, 2004.
- Dagstuhl
Seminar on Nonmonotonic Reasoning, Answer Set Programming
and Constraints, Sep 15-20, 2002, Schloss Dagstuhl, Germany.
-
9th International Workshop on Non-Monotonic Reasoning (NMR'2002),
Special Session on Answer Set Programming and Abductive Reasoning
,
Toulouse, France, April 19-21, 2002.
- Student Session of the
13th European Summer School in Logic, Language
and Information (ESSLLI-2001), Helsinki, Finland, August 13-24 2001
-
7th International Workshop on Nonmonotonic Reasoning,
Trento, Italy
May 30 - June 1, 1998.
-
Computational Aspects of Nonmonotonic Reasoning ,
Special workshop at
the 7th International Workshop on Nonmonotonic Reasoning,
Trento, Italy
May 30 - June 1, 1998.
-
HeCSE Workshop on Emerging Technologies in Distributed Systems,
Lammi, Jan 12-13, 1998.
- ECAI'96 workshop on
Integrating Nonmonotonicity into Automated Reasoning Systems.
-
IJCAI'95 Workshop
on Applications and
Implementations of Nonmonotonic Reasoning Systems,
Montreal, Canada, August 21, 1995
(summary).
PC Member
- 19th International
Conference on Applications of Declarative Programming and Knowledge
Management (INAP 2011), September 28-30, Vienna, Austria.
- 11th
International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR 2011), Vancouver, BC, Canada, May 2011.
- Third International
Workshop on Logic and Search (LaSh 2010),
Edinburg, UK, July 15, 2010.
- Declarative programming and systems
DP@NMR workshop at the
13th
International Workshop on Non-Monotonic Reasoning NMR'2010,
Sutton Place, Toronto, Canada, May 14-16, 2010.
-
Twelfth International Conference on the Principles of Knowledge
Representation and Reasoning, Toronto, Canada, May 9-13,
2010.
-
RCRA 2009 Workshop on experimental evaluation of algorithms for
solving problems with combinatorial explosion,
December 2009, Reggio Emilia, Italy.
-
3rd International Symposium on Rules, Applications, and
Interoperability,
November 5 - 7 2009, Las Vegas, Nevada, USA
-
10th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR
2009), Potsdam, Germany, 14-18 September, 2009.
- 2nd Workshop on Answer Set Programming and Other Computing
Paradigms (ASPOCP 2009), collocated with the International Conference
on Logic Programming 2009, Pasadena, California, USA
-
Twenty-first International Joint
Conference on Artificial Intelligence (IJCAI-09),
July 11-17, 2009, Pasadena, CA, USA.
-
Eleventh International
Symposium on Practical Aspects of
Declarative Languages (PADL'09),
January 19-20, 2009, Savannah, Georgia, USA (in conjunction with POPL 2009).
- Workshop on Answer Set Programming and Other Computing Paradigms
(ASPOCP) 2008, December 2008, Udine, Italy
(in conjunction with ICLP 2008).
-
LaSh'08: Workshop on Logic and Search;
Computation of Structures from Declarative Descriptions,
November 6-7, 2008, Leuven, Belgium.
-
International RuleML Symposium on Rule Interchange and Applications,
October 26-27, 2008, Orlando, Florida, USA.
- 11th International
Conference on Principles of Knowledge
Representation and Reasoning (KR 2008),
Sep 16-19, 2008, Sydney, Australia.
-
Twelfth International Workshop on
Non-Monotonic Reasoning (NMR 2008),
Special Session on Declarative Programming Paradigms and Systems for
NMR, Sep 13-15, 2008, Sydney, Australia.
- 11th European Conference on
Logics in Artificial Intelligence,
September 28 to October 1, 2008,
Dresden, Germany.
-
23rd AAAI
Conference on Artificial Intelligence, July 13-17, 2008, Chicago,
Illinois, USA.
- 18th European
Conference on Artificial Intelligence, July 21-25, 2008, Patras Greece.
-
International RuleML Symposium on Rule Interchange and Applications,
October 25-26, 2007, Orlando, Florida, USA.
-
International Conference on
Applications of Declarative Programming
and Knowledge Management, October 4-6, 2007, University of Würzburg,
Germany.
- International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods (TABLEAUX 2007), July 3-6, 2007, Aix en Provence, France.
-
The 14th RCRA workshop -
Experimental Evaluation of Algorithms for
Solving Problems with Combinatorial Explosion (RCRA 2007),
July 5-6, 2007, Rome, Italy.
- Ninth International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR 2007), May 14-16, 2007, Tempe, Arizona.
- Software and Services
Variability Management Workshop,
April 19, 2007, Helsinki, Finland.
- 17th European Conference on
Artificial Intelligence, Aug 28-Sep 1, 2006, Riva del Garda, Italy.
-
Search and Logic: Answer Set Programming and SAT,
a workshop affiliated with ICLP, as part of FLoC 2006,
August 16, 2006, Seattle, Washington, USA
- International Joint
Conference on Automated Reasoning (IJCAR 2006),
August 16-21, 2006, Seattle, USA.
- Tenth International Conference
on Principles of Knowledge Representation and Reasoning (KR2006),
June, 2006, UK.
- Fourth International
Symposium on the Foundations of Information and Knowledge Systems (FoIKS
2006), February 14-17, 2006, Budapest.
-
21st International Conference on Logic Programming (ICLP'05),
Barcelona, Spain, Oct 1-5, 2005.
- International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz,
Germany, Sept 11-14, 2005.
- 28th German Conference on
Artificial Intelligence (KI 2005),
September 11-14, 2005, Koblenz, Germany.
- 8th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05),
September 5-8, 2005, Diamante, Italy.
- Third Workshop on
Model Checking and Artificial Intelligence
(MoChArt '05), August 27-28, 2005 - San Francisco, CA, USA.
- 20th International Conference
on Automated Deduction,
July 22 - 27, 2005, Tallinn, Estonia.
- Eight International
Conference on
Theory and Applications of Satisfiability Testing (SAT 2005),
June 19-23, 2005, St Andrews, Scotland.
-
11th International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning (LPAR-11),
March 14-18, 2005, Montevideo, Uruguay.
-
9th European Conference on Logics in Artificial Intelligence
(JELIA'04), Lisbon, Portugal, Sept 27-30, 2004.
- The Twentieth International Conference on Logic
Programming (ICLP'04),
Saint-Malo, France, Sept 6-10, 2004.
-
The Nineteenth National Conference on Artificial Intelligence,
July 25-29, 2004, San Jose, California.
-
The Ninth International Conference on the Principles of Knowledge
Representation and Reasoning (KR2004),
Whistler Resort, Canada, June 2-5, 2004.
- Workshop on
Model Checking and Artificial Intelligence
(MoChArt-03), Acapulco, Mexico, August 10, 2003
(in conjunction with IJCAI-03)
- The 19th
International Conference on Automated Deduction (CADE-19),
Miami, Florida, July 29 - August 2, 2003.
- 7th European Conference on Symbolic and Quantitative
Approaches to Reasoning under Uncertainty (ECSQARU-2003),
Aalborg, Denmark, July 2-5, 2003.
- 8th European Conference on Logics in Artificial Intelligence
(JELIA'02),
University of Calabria, Rende (Cosenza), Italy, September 23-26, 2002.
- ECAI-2002 Workshop on
Model Checking and Artificial Intelligence (MoChArt-2002),
Lyon, France, July 22-23, 2002.
- Conference on Automated
Deduction (CADE 2002), Copenhagen, Denmark, July 27-30, 2002.
-
Eighth International Conference on Principles of Knowledge
Representation and Reasoning (KR2002),
Toulouse, France, April 22-25, 2002.
-
ECSQARU-2001 - 6th
European Conference on Symbolic and Quantitative Approaches to Reasoning
with Uncertainty,
Toulouse, France, September 19-21, 2001.
-
LPNMR'01 - 6th International Conference on Logic Programming and
Nonmonotonic Reasoning,
Vienna, Austria, September 17-19, 2001.
-
AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and
Scalable Knowledge Representation and Reasoning, Stanford, March
26-28, 2001.
-
7th European Workshop on Logic in Artificial Intelligence,
Málaga, Spain, Sep 29 - Oct 2, 2000.
-
Automated Deduction: Putting Theory into Practice,
a stream at CL2000,
Imperial College, London, UK
24 - 28 July 2000.
- Knowledge Representation and
Non-Monotonic Reasoning,
a stream at CL2000,
Imperial College, London, UK 24 - 28 July 2000.
-
LPNMR'99 - 5th International Conference on Logic Programming and
Nonmonotonic Reasoning,
El Paso, Texas USA, December 2-4, 1999.
-
IJCAI'99 Affiliate Event: Networks'99,
Helsinki/Espoo, Finland, August 9-10, 1999.
-
Sixth Scandinavian Conference on Artificial Intelligence,
Aug 18-20, 1997, Helsinki.
-
6th International Workshop on Nonmonotonic Reasoning,
June 10-12, 1996. Timberline, Oregon, USA.
-
AI/MATH-96, Symposium on AI & Math, Jan 96, Ft. Lauderdale
Invited/Tutorial Speaker
-
12th Symposium on Programming Languages and Software
Tools (SPLST'11), October 5-7, 2011, Tallinn, Estonia (Invited talk)
-
Workshop on
Answer Set Programming and Other Computing Paradigms (ASPOCP)
2011, July 10, 2011, Lexington, KY, USA (Invited talk)
-
Tietojenkäsittelytieteen
päivät 2011, May 30-31,
2011, Espoo, Finland (Invited talk)
[Slides/PDF].
- IEEE 41st International
Symposium on Multiple-Valued Logic (ISMVL 2011), May 23-25,
2011, Tuusula, Finland (Invited talk)
[Slides/PDF].
- 19th European Conference on
Artificial Intelligence (ECAI 2010), August 16-20, Lisbon,
Portugal (Invited tutorial)
[Slides/PDF].
-
Third International Workshop on Logic and Search (LaSh 2010),
Edinburgh, Scotland, July 15 (invited
talk)
[Slides/PDF]
-
10th International Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR 2009), Potsdam, Germany, 14-18 September, 2009 (invited
talk)
[Abstract (PDF)]
[Slides/PDF]
- Celebrating 20 Years of Stable Models Semantics,
Special session of the
24th International Conference on
Logic Programming,
December 9-13 2008, Udine, Italy
(invited position paper).
- 10th European
Conference on Logics in Artificial Intelligence (JELIA06),
University of Liverpool, September 13-15, 2006
(Invited talk).
-
Search and Logic: Answer Set Programming and SAT,
August 16, 2006, Seattle, Washington, USA
(Invited tutorial).
- Fourth International
Workshop on Bounded Model Checking (BMC06),
August 15, 2006, Seattle, Washington, USA.
(Invited talk). [Slides/PDF]
-
Eleventh International Workshop on
Non-Monotonic Reasoning,
collocated with KR 2006 in the Lake District area of the UK, 30 May to 1
June 2006
(Invited talk, [Slides/PDF])
- IASTED International Conference on Artificial Intelligence and
Applications (AIA 2005),
Innsbruck, Austria,
February 14-16, 2005.
(Keynote talk) [Slides/PDF]
- The Twentieth International Conference on Logic
Programming (ICLP'04),
Saint-Malo, France, Sept 6-10, 2004.
(Invited tutorial)
-
The Eighth Scandinavian Conference on Artificial Intelligence (SCAI'03),
Bergen, Norway, November 2-4, 2003.
(Keynote talk)
-
CADE-19 Workshop W4 Model Computation -
Principles, Algorithms, Applications
, Miami, Florida, USA
Tuesday, July 29, 2003.
(Invited talk)
- 13th
European Summer School in Logic, Language and Information
(ESSLLI-2001), Helsinki, Finland, August 13-24, 2001.
(Introductory course with Mirek Truszczynski).
- 17th
National Conference on Artificial Intelligence,
Austin, Texas, July 30-August 3, 2000.
(Tutorial with Mirek Truszczynski).
- First International
Conference on Computational Logic,
Imperial College, London, UK
24 - 28 July 2000.
(Invited tutorial)
- Eighth International Workshop on Non-Monotonic Reasoning,
Breckenridge, Colorado, April 9-11, 2000.
(Invited talk)
-
The 11th European Summer School in Logic, Language and Information
,
Utrecht University, Aug 9-20, 1999.
(Advanced course)
- Fourth
Dutch-German Workshop on
Nonmonotonic Reasoning Techniques and their Applications,
University of Amsterdam,
Institute for Logic, Language and Computation,
March 25-27, 1999.
(Invited talk)
- 12th International Conference on Automated
Deduction, Nancy, France, June 28 - July 1, 1994.
(Tutorial with Camilla Schwind)
- Summer School on Partial Semantics and
Non-Monotonic Reasoning, Linköping, Sweden, May 25-29, 1992.
(Short course)