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

Chronology of ICCL

September 2015

38th German Conference on Artificial Intelligence (KI 2015)
organized by Steffen Hölldobler and colleages on September 21 - 25, 2015

ICCL Summer School 2015 on Reasoning (ICCL-SS-2015)
organized by Steffen Hölldobler and colleages on September 13 - 26, 2015

March 2015

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

August 2014

3rd Vietnamese Summer School 2014 on Computational Logic and its Applications
organized at Hue University of Education, Hue, Vietnam on August 17 - 30, 2014

Manuel Bodirsky starts at the Chair for Algebra and Discrete Structures replacing Reinhard Pöschel.

May 2014

Colloquium on the GI Dissertation Price 2013
organized in Dagstuhl, Germany on May 4 - 7, 2014

April 2014

EPCL PhD Workshop (EPCL-WS 2014)
organized by Steffen Hölldobler and his group on April 14 - 17, 2014

November 2013

EPCL Basic Training Camp 2013 (EPCL-BTC 2013)
organized by Steffen Hölldobler and his group on November 13 - 19, 2013

September 2013

Heiko Vogler leaves the ICCL.

August 2013

ICCL Summer School 2013 on Semantic Web - Ontology Languages and Their Use (ICCL-SS-2013)
organized by Steffen Hölldobler, Pascal Hitzler, Bertram Fronhöfer, Julia Koppenhagen and colleages on August 18 - 31, 2013

What can FCA do for Artificial Intelligence? (2nd Edition) (FCA4AI 2013)
organized in Beijing, China on August 3 - 5, 2013

July 2013

EPCL PhD Workshop (EPCL-WS 2013)
organized by Steffen Hölldobler and his group on July 1 - 3, 2013

June 2013

27th International Workshop on Unification (UNIF 2013)
organized in Eindhoven, The Netherlands on June 27, 2013

May 2013

11th International Conference on Formal Concept Analysis (ICFCA 2013)
organized by Bernhard Ganter and Cynthia Vera Glodeanu on May 21 - 24, 2013

Colloquium on the GI Dissertation Price 2012
organized in Dagstuhl, Germany on May 5 - 8, 2013

April 2013

Sebastian Rudolph starts at the Chair for Computational Logic replacing Michael Thielscher.

December 2012

EPCL Basic Training Camp 2012 (EPCL-BTC 2012)
organized by Steffen Hölldobler and his group on December 10 - 21, 2012

October 2012

Barbara Morawska from the Institute for Theoretical Computer Science is replacing the professorship for Computational Logic during the winter semester 2012/13.

September 2012

Reinhard Pöschel goes on pension and leaves the ICCL.

4th Indonesian Summer School 2010 on Computational Logic
organized at Udayana University, Bali, Indonesia on September 2 - 15, 2012

August 2012

What can FCA do for Artificial Intelligence? (FCA4AI 2012)
organized in Montpellier, France on August 18, 2012

July 2012

EPCL PhD Workshop (EPCL-WS 2012)
organized by Steffen Hölldobler and his group on July 11 - 13, 2012

84th Workshop on General Algebra (AAA84)
organized by Bernhard Ganter and Reinhard Pöschel on July 8 - 10, 2012

OWL Reasoner Evaluation Workshop (ORE 2012)
organized in Manchester, U. K. on July 1, 2012

May 2012

Weighted Automata: Theory and Applications (WATA 2012)
organized by Heiko Vogler and colleagues on May 29 - June 2, 2012

Colloquium on the GI Dissertation Price 2011
organized in Dagstuhl, Germany on May 13 - 16, 2012

April 2012

Paola Bruscoli from University of Bath, UK is replacing the professorship for Computational Logic during the summer semester 2012.

December 2011

EPCL Basic Training Camp 2011 - Part 2 (EPCL-BTC 2011-2)
organized by Steffen Hölldobler and his group on December 13 - 15, 2011

November 2011

EPCL Basic Training Camp 2011 (EPCL-BTC 2011)
organized by Steffen Hölldobler and his group on November 7 - 11, 2011

October 2011

Paola Bruscoli from University of Bath, UK is replacing the professorship for Computational Logic during the winter semester 2011/12.

Start of the European PhD Program in Computational Logic (EPCL)

July 2011

25th International Workshop on Unification (UNIF 2011)
organized in Wroclaw, Poland on July 31, 2011

May 2011

Colloquium on the GI Dissertation Price 2010
organized in Dagstuhl, Germany on May 29 - June 1, 2011

April 2011

Paola Bruscoli from University of Bath, UK is replacing the professorship for Computational Logic during the summer semester 2011.

October 2010

17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
organized at UII Yogyakarta, Indonesia on October 10 - 15, 2010

3rd Indonesian Summer School 2010 on Computational Logic
organized at UII Yogyakarta, Indonesia on October 4 - 15, 2010

Horst Reichel is coming back to replace the professorship for Computational Logic during the winter semester 2010/11.

September 2010

Approval of the DAAD-funded program IPID (International Promovieren in Deutschland) to financially support the preparation and organization of the European PhD Program in Computational Logic until the end of 2013

EMCL Student Workshop Summer 2010
organized by Fareed Arif and Julia Koppenhagen on September 8 - 10, 2010

August 2010

ICCL Summer School 2010 on Cognitive Science, Computational Logic and Connectionism (ICCL-SS-2010)
organized by Steffen Hölldobler, Bertram Fronhöfer, Julia Koppenhagen and colleages on August 29 - September 10, 2010

May 2010

Colloquium on the GI Dissertation Price 2009
organized in Dagstuhl, Germany on May 9 - 11, 2010

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

March 2010

Michael Thielscher takes a new position at University of New South Wales, Australia. He leaves the ICCL.

January 2010

Dagstuhl Seminar 10031: Quantitative Models: Expressiveness and Analysis
organized in Dagstuhl, Germany on January 17 - 22, 2010

August 2009

Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT2009)
organized in Montreal, Canada on August 2, 2009

July 2009

Workshop General Intelligence in Game-Playing Agents (GIGA 09)
organized in Pasadena, USA on July 13, 2009

September 2008

22nd Workshop on (Constraint) Logic Programming (WLP 2008)
organized by Michael Thielscher, Sandra Großmann, Julia Koppenhagen and colleages on September 30 - October 1, 2008

Ninth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA IX)
organized by Michael Thielscher, Sandra Großmann, Julia Koppenhagen and colleages on September 29 - 30, 2008

11th European Conference on Logics in Artificial Intelligence (JELIA-2008)
organized by Steffen Hölldobler, Bertram Fronhöfer, Julia Koppenhagen and colleages on September 28 - October 1, 2008

12th International Workshop on Non-Monotonic Reasoning (NMR)
organized in Sydney, Australia on September 13 - 15, 2008

August 2008

ICCL Summer School on Computational Logic and Cognitive Science (ICCL-SS-2008)
organized by Steffen Hölldobler, Bertram Fronhöfer, Julia Koppenhagen and colleages on August 24 - September 6, 2008

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

2nd Indonesian Summer School 2008 on Computational Logic and Its Applications
organized at the UI, Indonesia on August 4 - 15, 2008

May 2008

International Workshop on Truth Values
organized by Steffen Hölldobler and colleagues on May 29 - June 1, 2008

The 21st International Workshop on Description Logics (DL2008)
organized by Franz Baader, Carsten Lutz and colleagues on May 13 - 16, 2008

Weighted Automata: Theory and Applications (WATA 2008)
organized by Heiko Vogler and colleagues on May 13 - 16, 2008

December 2007

Deep Inference Christmas Meeting 2007
organized by Steffen Hölldobler and colleagues on December 19, 2007

September 2007

REWERSE School on Reasoning Web (SS-RW-2007)
organized by Michael Schroeder and colleages on September 3 - 7, 2007

July 2007

EA Summer School on Computational Logic and Logic Foundations of Computer Science (EA-SS-2007)
organized at the HUT, Vietnam on July 31 - August 7, 2007

Start of the Erasmus Mundus Program - Action 3 (exchange with NICTA, Australia)

December 2006

Scientific Workshop in honour of Prof. Luís Moniz Pereira
organized by Steffen Hölldobler and colleagues on December 5, 2006

Honorary Doctoral Degree for Prof. Luís Moníz Pereira from UNL on December 4, 2006

October 2006

Christel Baier starts at the Chair for Algebraic and Logical Foundations of Computer Science replacing Horst Reichel.

July 2006

EA Summer School on Logic Foundations of Intelligent Systems (EA-SS-2006)
organized at the UI, Indonesia on July 31 - August 7, 2006

5th International Cognitive Robotics Workshop (CogRob2006)
organized in Boston, Massachusetts, USA on July 16 - 17, 2006

June 2006

ICCL Summer School on Knowledge Structures (ICCL-SS-2006)
organized by Steffen Hölldobler, Bertram Fronhöfer, Julia Koppenhagen and colleages on June 24 - July 8, 2006

10th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2006)
organized in Lake District, UK on June 2 - 5, 2006

March 2006

Horst Reichel goes on pension and leaves the ICCL.

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

December 2005

Workshop on Deep Inference and Proof Theory
organized by Ozan Kahramanogullari, Robert Hein and colleagues on December 14 - 15, 2005

November 2005

Scientific workshop on "Methods of Category Theory in Software Engineering"
organized by the PhD Programm GK 334 in honour of Prof. Horst Reichel on November 29, 2005

August 2005

EA Summer School on Computational Logic and Logic Foundations of Computer Science (EA-SS-2005)
organized at the HUT, Vietnam on August 22 - September 1, 2005

July 2005

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

ICCL Summer School on Logic-based Knowledge Representation (ICCL-SS-2005)
organized by Steffen Hölldobler, Bertram Fronhöfer, Julia Koppenhagen and colleages on July 2 - 17, 2005

May 2005

7th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense-2005)
organized in Corfu, Greece on May 22 - 24, 2005

February 2005

Workshop on Proof Theory (WPT-2005)
organized by Paola Bruscoli and Alessio Guglielmi on February 22 - 23, 2005

Graduates Workshop of the GRK in Gohrisch near Dresden
organized by the PhD Programm GK 334 on February 21 - 23, 2005

October 2004

Start of the European Master's Program in Computational Logic

September 2004

Workshop on Proof Theory (WPT-2004)
organized by Paola Bruscoli and Alessio Guglielmi on September 27 - 28, 2004

Workshop on Algorithms and Tools for Coinductive Reasoning
organized by Horst Reichel and colleagues and the PhD Programm GK 334 on September 16 - 22, 2004

Approval of the EU-funded Asia-Link Program Computational Logic as a Foundation for CS and Intelligent Systems between TU Dresden and UNL Lisbon with Hanoi University of Technology (HUT) and The University of Indonesia (UI) in Jakarta

Approval of the EU-funded Erasmus Mundus Program for the European Master's Program in Computational Logic

June 2004

Workshop on Proof Theory, Computation and Complexity (PCC 2004)
organized by Paola Bruscoli, Alessio Guglielmi and colleagues on June 17 - 19, 2004

ICCL Summer School on Proof Theory and Automated Theorem Proving (ICCL-SS-2004)
organized by Alessio Guglielmi, Steffen Hölldobler and colleagues on June 14 - 25, 2004

10th International Workshop on Non-Monotonic Reasoning (NMR)
organized in Whistler BC, Canada on June 6 - 8, 2004

Workshop Weighted Automata: Theory and Applications (WATA-2004)
organized by the PhD Programm GK 334 on June 1 - 5, 2004

April 2004

Manfred Droste and Dietrich Kuske take a new position at the Universität Leipzig. They leave the ICCL.

February 2004

Graduates Workshop of the GRK in Gohrisch near Dresden
organized by the PhD Programm GK 334 on February 16 - 20, 2004

November 2003

Erasmus-Mundus Workshop in preparation of an European Master's Program
organized by Steffen Hölldobler and Bertram Fronhöfer on November 27 - 29, 2003

Workshop on Structural Proof Theory (WSPT-2003)
organized by Paola Bruscoli, Alessio Guglielmi and colleagues on November 19 - 21, 2003

October 2003

ICCL founded at the Department of Computer Science, Technische Universität Dresden. Founding members: Franz Baader, Manfred Droste, Bernhard Ganter, Steffen Hölldobler, Dietrich Kuske, Reinhard Pöschel, Horst Reichel, Michael Schroeder, Michael Thielscher, Heiko Vogler


Last update:   Tue, 17 Mar 2015 10:24:31