About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Workshops Organized at the ICCL in Dresden


EPCL PhD Workshop
April 14 - 17, 2014

EPCL PhD Workshop
July 1 - 3, 2013

EPCL PhD Workshop
July 11 - 13, 2012

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

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

EMCL Student Workshop Summer 2010
September 8 - 10, 2010

22nd Workshop on (Constraint) Logic Programming (WLP 2008)
co-located with JELIA 2008 and CLIMA IX
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
September 29 - 30, 2008

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

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

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

Deep Inference Christmas Meeting 2007
December 19, 2007

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

Workshop on Deep Inference and Proof Theory
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
November 29, 2005

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

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

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

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

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

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

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

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

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

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

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

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

Further Workshops Organized by Members of the ICCL


2st International Workshop on Semantic Technologies (IWOST2)
Burapha University, Bangkok, Thailand, November 2 - 3, 2015

1st International Workshop on Semantic Technologies (IWOST)
Jilin University, Changchun, China, March 9 - 11, 2015

Young Scientists' International Workshop on Trends in Information Processing (YSIP)
Stavropol, Russian Federation, April 22 - 25, 2014

What can FCA do for Artificial Intelligence? (Second Edition) (FCA4AI 2013)
co-located with IJCAI 2013
Beijing, China, August 3 - 5, 2013

27th International Workshop on Unification (UNIF 2013)
co-located with RTA 2013 being part of RDP 2013
Eindhoven, The Netherlands, June 27, 2013

What can FCA do for Artificial Intelligence? (FCA4AI 2012)
workshop at ECAI2012
Montpellier, France, August 28, 2012

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