Workshops Organized at the ICCL in Dresden

EPCL PhD Workshop
TU Dresden, July 11 - 13, 2012

84th Workshop on General Algebra (AAA84)
TU Dresden, July 8 - 10, 2012

Weighted Automata: Theory and Applications (WATA 2012)
TU Dresden, May 29 - June 2, 2012

EMCL Student Workshop Summer 2010
TU Dresden, September 8 - 10, 2010

22nd Workshop on (Constraint) Logic Programming (WLP 2008)
co-located with JELIA 2008 and CLIMA IX
TU Dresden, September 30 - October 1, 2008

Ninth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA IX)
co-located with JELIA 2008 and WLP 2008
TU Dresden, September 29 - 30, 2008

International Workshop on Truth Values
Dresden, Germany, May 29 - June 1, 2008

The 21st International Workshop on Description Logics (DL2008)
TU Dresden, May 13 - 16, 2008

Weighted Automata: Theory and Applications (WATA 2008)
TU Dresden, May 13 - 16, 2008

Deep Inference Christmas Meeting 2007
TU Dresden, December 19, 2007

Scientific Workshop in honour of Prof. Luís Moniz Pereira
TU Dresden, December 5, 2006

Workshop on Deep Inference and Proof Theory
TU Dresden, December 14 - 15, 2005

Scientific workshop on "Methods of Category Theory in Software Engineering" (PS, PDF)
organized by the graduate programme 334 in honour of Prof. Horst Reichel
TU Dresden, November 29, 2005

Workshop on Proof Theory (WPT-2005)
TU Dresden, February 22 - 23, 2005

Workshop on Proof Theory (WPT-2004)
TU Dresden, September 27 - 28, 2004

Workshop on Algorithms and Tools for Coinductive Reasoning
TU Dresden, September 16 - 22, 2004

Workshop on Proof Theory, Computation and Complexity (PCC 2004)
co-located with ICCL Summer School 2004
TU Dresden, June 17 - 19, 2004

Weighted Automata: Theory and Applications (WATA 2004)
TU Dresden, June 1 - 5, 2004

Erasmus-Mundus Workshop in preparation of the European Master's Program in Computational Logic
TU Dresden, November 27 - 29, 2003

Workshop on Structural Proof Theory (WSPT-2003)
TU Dresden, November 19 - 21, 2003

Summer School and Workshop on Proof Theory, Computation and Complexity (WPT-2003)
TU Dresden, June 23 - July 4, 2003

Workshop on Algebra, Logic and Discrete Mathematics (Program)
TU Dresden, May 13 - 15, 2003

17. Workshop Logische Programmierung (WLP-2002)
TU Dresden, December 11 - 13, 2002

Workshop on Proof Theory and Computation (WPT-2002)
TU Dresden, June 3 - 14, 2002

Weighted Automata: Theory and Applications (WATA 2002)
TU Dresden, March 4 - 8, 2002

Further Workshops Organized by Members of the ICCL

OWL Reasoner Evaluation Workshop (ORE 2012)
co-located with IJCAR 2012
Manchester, U. K., July 1, 2012

25th International Workshop on Unification (UNIF 2011)
co-located with CADE-23
Wroclaw, Poland, July 31, 2011

Weighted Automata: Theory and Applications (WATA 2010)
Leipzig, Germany, May 3 - 7, 2010

Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2009)
co-located with CADE-22
Montreal, Canada, August 2, 2009

General Intelligence in Game-Playing Agents (GIGA 09)
co-located with IJCAI-09
Pasadena, USA, July 13, 2009

12th International Workshop on Non-Monotonic Reasoning (NMR)
co-located with ICAPS 2008, CP 2008 and KR 2008
Sydney, Australia, September 13 - 15, 2008

International Workshop on Complexity, Expressibility and Decidability in Automated Reasoning (CEDAR2008)
co-located with IJCAR 2008
Sydney, Australia, August 10 - 15, 2008

5th International Cognitive Robotics Workshop (CogRob2006)
co-located with AAAI-06
Boston, Massachusetts, USA, July 16 - 17, 2006

Weighted Automata: Theory and Applications (WATA 2006)
Leipzig, Germany, March 27 - 31, 2006

ICALP Workshop Structures and Deduction: The Quest for the Essence of Proofs
Lisbon, Portugal, July 16 - 17, 2005

Internal Workshop of the GRK (Program in PS or PDF format and Abstracts)
Kurort Gohrisch, Germany, February 21 - 23, 2005

10th International Workshop on Non-Monotonic Reasoning (NMR)
co-located with KR 2004, ICAPS 2004 and DL 2004
Whistler BC, Canada, June 6 - 8, 2004

Internal Workshop of the GRK (Program and Abstracts)
Kurort Gohrisch, Germany, February 16 - 20, 2004

Non-Monotonic Reasoning, Action and Change (NRAC'03)
co-located with IJCAI-03
Acapulco, Mexico, August 10 - 11, 2003

Internal Workshop of the GRK (Program and Abstracts)
Kurort Gohrisch, Germany, March 31 - April 4, 2003