Chronology of ICCL
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 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
- MCL
