Konferenzen und Workshops

Members of the Chair for Automata Theory participate in the organization or program committee of the following workshops and conferences. 

2017

 ICFCA 2017

14th International Conference on Formal Concept Analysis
Rennes, France, June 13–16, 2017.

2015

 CLA 2015

12th International Conference on Concept Lattices and their Applications 
Clermont-Ferrand, France, October 13 - 16, 2015.

2014

 ICAART 2014

International Conference on Agents and Artificial Intelligence 
6th International Conference, Angers, France, March 6 -8, 2014.

 ESWC2014

11th Extended Semantic Web Conference 
Crete, Greece, May 25 - 29, 2014

DL 2014

27th Workshop on Description Logics 
Vienna, Austria, July 17 - 20, 2014

 KR 2014

Principles of Knowledge Representation and Reasoning. 
The 14th International Conference, Vienna, Austria, July 20 - 24, 2014.

 IJCAR 2014

Automated Reasoning. 
The 7th International Joint Conference, Vienna, Austria, July 19 - July 22, 2014.

PRUV 2014

Workshop on "Logics for Reasoning about Preferences, Uncertainty, and Vagueness" 
Vienna, Austria, July 23 - 25, 2014

2013

 ICAART2013

International Conference on Agents and Artificial Intelligence. 
5th International Conference, Barcelona, Spain, February 15 - 18, 2013.

 LATA2013

Language and Automata Theory and Applications. 
7th International Conference, Bilbao, Spain, April 2 - 5, 2013.

 ICFCA 2013

International Conference on Formal Concept Analysis. 
11th International Conference on Formal Concept Analysis, Dresden, Germany, May 21 - 24, 2013

 ADDCT2013

Automated Deduction: Decidability, Complexity, Tractability. 
A workshop at CADE2013, Lake Placid, New York, USA, June 10, 2013.

 WIMS 2013

3rd International Conference on Web Intelligence, Mining and Semantics. 
Madrid, Spain, June 12 - 14, 2013

 UNIF2013

International Workshop on Unification. 
27th International Workshop, Eindhoven, The Netherlands, June 27, 2013.

 AAAI 2013

Twenty-Seventh AAAI Conference on Artificial Intelligence. 
Washington, USA, July 14 - 18, 2013

 ORE2013

OWL Reasoner Evaluation. 
The 2nd International Workshop, Ulm, Germany, June 22, 2013.

 DL 2013

26th International Workshop on Description Logics. 
Ulm, Germany, July 23 - 26, 2013

 FCT2013

Fundamentals of Computation Theory. 
19th International Symposium, Liverpool, UK, August 19 - 23, 2013.

 FCA4AI2013

What can FCA do for Artificial Intelligence? 
Workshop at IJCAI2013, Beijing, China, August 3 - 5, 2013.

 IJCAI 2013

23rd International Conference on Artificial Intelligence. 
Beijing, China, August 3 - 9, 2013.

 DKB-2013

Dynamics of Knowledge and Belief. 
4th Workshop, Koblenz, Germany, September 17, 2013.

 KI2013

Künstliche Intelligenz.
36th German Annual Conference on Artificial Intelligence, Koblenz, Germany, September 16-20, 2013.

 FroCoS2013

Frontiers of Combining Systems. 
9th International Symposium, Nancy, France, September 18 - 20, 2013.

 KESW 2013

4th Conference on Knowledge Engineering and Semantic Web. 
Saint-Petersburg, Russia, October 7 - 9, 2013.

 CAEPIA 2013

15th Conference of the Spanish Association of Artificial Intelligence. 
Madrid, Spain, October 17 - 20, 2013.

 ISWC 2013

12th International Semantic Web Conference 
Sydney, Australia, October 21 - 25, 2013.

 MIWAI 2013

7th Multi-disciplinary International Workshop on Artificial Intelligence.  
Krabi, Thailand, December 9 - 11 2013.

2012

 ICAART2012

International Conference on Agents and Artificial Intelligence 
4th International Conference, Vilamour, Portugal, February 6 - February 8, 2012.

 LATA2012

Language and Automata Theory and Applications. 
6th International Conference, Coruña, Spain, March 5 - 9, 2012.

 LPAR2012

Logic for Programming, Artificial Intelligence and Reasoning 
18th International Conference, Merida, Venezuela, March 10 - 15, 2012.

 ESWC2012

Extended Semantic Web Conference. 
The 9th International Conference, Heraklion, Greece, May 27 - 31, 2012.

 WIMS2012

Web Intelligence, Mining and Semantics 
2nd International Conference, Craiova, Romania, June 6 - June 8, 2012.

 DL2012

Description Logics. 
25th International Workshop, Rome, Italy, June 7 - June 10, 2012.

 KR2012

Principles of Knowledge Representation and Reasoning. 
The 13th International Conference, Rome, Italy, June 10 - 14, 2012.

 CiE2012

Computability in Europe 
8th Conference, Cambridge, England, June 18 - June 23, 2012.

 IJCAR2012

Automated Reasoning. 
The 6th International Joint Conference, Manchester, U.K., June 26 - July 1st, 2012.

 UNIF2012

International Workshop on Unification. 
26th International Workshop, Manchester, U.K., July 1, 2012.

 ORE2012

OWL Reasoner Evaluation. 
The 1st International Workshop, Manchester, U.K., July 1st, 2012.

 ECAI2012

Artificial Intelligence. 
The 20th European Conference, Montpellier, France, August 27 - 31, 2012.

 FCA4AI2012

What can FCA do for Artificial Intelligence? 
Workshop at ECAI2012. Montpellier, France, August 27, 2012.

 AIMSA2012

Artificial Intelligence: Methodology, Systems, Applications. 
The 15th International Conference, Varna, Bulgaria, September 2012.

 RR2012

Conference on Web Reasoning and Rule Systems. 
6th Conference, Vienna, Austria, September 10 - 12, 2012.

 KI2012

Künstliche Intelligenz.
35th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 24-27, 2012.

 JELIA2012

Logics in Artificial Intelligence. 
The 13th European Conference, Toulouse, France, September 26 - 28, 2012.

 SSN2012

5th International Workshop on Semantic Sensor Networks 
Boston, Massachusetts, USA, November 10, 2012.

 AOW2012

8th Australasian Ontology Workshop 
Sydney, Australia, December 4, 2012.

 WDPM2012

Declarative Pattern Mining. 
Workshop, Brussels, Belgium, December 10, 2012.

 MiWAI2012

6th Multi-disciplinary International Workshop on Artificial Intelligence.  
Ho Chi Minh City, Vietnam, December 26 - 28, 2012.

2011

 ICAART2011

International Conference on Agents and Artificial Intelligence. 
3rd International Conference, Rom, Italy, January 28 - 30, 2011.

 RTA2011

Rewriting Techniques and Applications. 
22nd International Conference, Novi Sad, Serbia, May 30 - June 1, 2011.

 LATA2011

Language and Automata Theory and Applications. 
5th International Conference, Fukuoka, Japan, June 13 - 17, 2011.

 DL2011

Description Logics. 
24th International Workshop, Barcelona, Spain, July 13 - July 16, 2011.

 IJCAI2011

International Joint Conference on Artificial Intelligence. 
22nd International Joint Conference, Barcelona, Spain, July 16 - 22, 2011.

 ARCOE2011

Automated Reasoning about Context and Ontology Evolution. 
An IJCAI-11 Workshop, Barcelona, Catalonia, Spain, July 18, 2011.

 CADE2011

International Conference on Automated Deduction. 
23rd International Conference, Wroclaw, Poland, July 31 - August 5, 2011.

 UNIF2011

International Workshop on Unification. 
25th International Workshop, Wroclaw, Poland, July 31, 2011.

 CSL2011

Conference on Computer Science Logic. 
20th Conference, Bergen, Norway, September 12 - 15, 2011.

 FroCoS2011

Frontiers of Combining Systems. 
8th International Symposium, Saarbrücken, Germany, October 5 - 7, 2011.

 AST2011

Applications of Semantic Technologies 
6th International Workshop, Berlin, Germany, October 6, 2011.

 OBML2011

Ontologies in Biomedicine and Life Sciences. 
The 3rd Workshop, Berlin, Germany, October 6 - 7, 2011.

 SSN2011

4th International Workshop on Semantic Sensor Networks 
Bonn, Germany, October 23, 2011.

 ISWC2011

International Semantic Web Conference. 
10th Conference, Bonn, Germany, October 23 - 27, 2011.

 URSW2011

Uncertainty Reasoning for the Semantic Web. 
7th International Workshop, Bonn, Germany, November 23, 2011.

 JIST2011

Semantic Technology. 
Joint International Conference, Hangzhou, China, December 4 - 7, 2011.

 AOW2011

7th Australasian Ontology Workshop 
in Perth, Western Australia, December 5, 2011.

 WDPM2011

Declarative Pattern Mining. 
Workshop, Vancouver, Canada, December 10, 2011.

2010

 LABCC2010

A Workshop on Logical Approaches to Barriers in Computing and Complexity. 
Greifswald, Germany, February 17 - 20, 2010.

 ICFCA2010

The 8th International Conference on Formal Concept Analysis. 
Agadir, Morocco, March 15 - 18, 2010.

 DL2010

Description Logics. 
23rd International Workshop, Waterloo, Canada, May 4 - 7, 2010.

 KR2010

Principles of Knowledge Representation and Reasoning. 
The 12th International Conference, Toronto, Canada, May 9 - 13, 2010.

 ESWC2010

Extended Semantic Web Conference. 
The 7th International Conference, Heraklion, Greece, May 30 - June 03, 2010.

 AISC2010

Artificial Intelligence and Symbolic Computation. 
The 10th International Conference, Paris, France, July 5 - 10, 2010.

 FLoC2010

Federated Logic Conference 
Edinburgh, Scotland, U. K., July 9 - 21, 2010.

 LICS2010

Logic in Computer Science. 
The 25th Annual IEEE Symposium, Edinburgh, Scotland, U.K., July 11 - 14, 2010.

 AAAI2010

AAAI Conference on Artificial Intelligence 
Twenty-Fourth Conference on Artificial Intelligence, Atlanta, Georgia, July 11, 2010

 IJCAR2010

Automated Reasoning. 
The 5th International Joint Conference, Edinburgh, Scotland, U.K., July 16 - 19, 2010.

 UniDL2010

Uncertainty in Description Logics. 
The 1st Workshop, Edinburgh, Scotland, U.K., July 20, 2010.

 ECAI2010

Artificial Intelligence. 
The 19th European Conference, Lisbon, Portugal, August 16 - 20, 2010.

 CMC11 2010

Membrane Computing 
The 11th International Conference, Jena, Germany, August 24 - 27, 2010.

 AIMSA2010

Artificial Intelligence: Methodology, Systems, Applications. 
The 14th International Conference, Varna, Bulgaria, September 8 - 10, 2010.

 OBML2010

Ontologies in Biomedicine and Life Sciences. 
The 2nd Workshop, Mannheim, Germany, September 9 - 10, 2010.

 JELIA2010

Logics in Artificial Intelligence. 
The 12th European Conference, Helsinki, Finland, September 13 - 15, 2010.

 AST2010

Applications of Semantic Technologies 
5th International Workshop, Leipzig, Germany, September 28, 2010.

 LPAR2010

Logic for Programming, Artificial Intelligence and Reasoning 
17th International Conference, Yogyakarta, Indonesia, October 10 - 15, 2010.

 IWIL2010

Implementation of Logics 
8th International Workshop, Yogyakarta, Indonesia, October 10, 2010.

 ISWC2010

9th International Semantic Web Conference 
in Shanghai, China, November 7-11, 2010.

 SSN2010

3rd International Workshop on Semantic Sensor Networks 
Shanghai, China, November 7-11, 2010.

 AOW2010

6th Australasian Ontology Workshop 
in Adelaide, South Australia, December 7, 2010.

2009

 RTA2009

Rewriting Techniques and Applications. 
20th International Conference, Brasília, Brazil, June 29 - July 1, 2009.

 AutoTab2009

Tableaux versus Automata as Logical Decision Methods. 
TABLEAUX 2009 Workshop, Oslo, Norway, July 6th, 2009.

 FTP2009

First-Order Theorem Proving. 
The 7th International Workshop, Oslo, Norway, July 6 - 7, 2009.

 ARCOE2009

Automated Reasoning about Context and Ontology Evolution. 
An IJCAI-09 Workshop, Pasadena, California, USA, July 11 - 12, 2009.

 IJCAI2009

Twenty-First International Joint Conference on Artificial Intelligence. 
Pasadena, California, USA, July 11 - 17, 2009.

 DL2009

The 22nd International Workshop on Description Logics. 
Oxford, United Kingdom, 27 to 30 July 2009.

 UNIF2009

The 23rd International Workshop on Unification. 
Montreal, Canada, August 2nd, 2009.

 ADDCT2009

Automated Deduction: Decidability, Complexity, Tractability. 
A CADE2009 Workshop, McGill University, Montreal, Canada, August 2 - 7, 2009.

 CADE2009

Conference on Automated Deduction. 
22nd International Conference, McGill University, Montreal, Canada, August 2 - 7, 2009.

 FroCoS2009

Frontiers of Combining Systems. 
The 7th International Symposium, Trento, Italy, September 16 - 18, 2009.

 AST2009

Applications of Semantic Technologies. 
The 4th International Workshop, Lübeck, Germany, October 2nd, 2009.

 OWLED2009

OWL: Experiences and Directions 
Chantilly, VA, USA, October 23-24th, 2009.

 ISWC2009

8th International Semantic Web Conference, 
Westfields Conference Center Fairfax, Virginia USA, October 25 - 26, 2009.

 SSN2009

The 2nd International Workshop on Semantic Sensor Networks. 
A workshop of ISWC2009, Washington DC, USA, October 26, 2009.

 AOW2009

The Fifth Australasian Ontology Workshop. 
University of Melbourne, Melbourne, Australia, December 1st, 2009.

2008

 DL2008

Description Logics. 
21th International Workshop, Dresden, Germany, May 13-16, 2008.

 KR-MED2008

Representing and Sharing Knowledge Using SNOMED. 
International Conference, Phoenix, Arizona, USA, May 31 - June 2, 2008.

 WORM2008

Ontologies: Reasoning and Modularity. 
International Workshop, Tenerife, Spain, June 2, 2008.

 PODS 2008

Principles of Database Systems. 
27th International Conference, Vancouver, Canada, June 9-11, 2008.

 AAAI 2008

Artificial Intelligence 
23rd International Conference, Chicago, Illinois, USA, July 13-17, 2008.

 ECAI 2008

Artificial Intelligence 
18th European Conference, Patras, Greece, July 21-25, 2008.

 CEDAR2008

Complexity, Expressibility, and Decidability in Automated Reasoning. 
International Workshop, Sydney, Australia, August 10-15, 2008.

 AIMSA2008

Artificial Intelligence: Methodology, Systems, Applications 
13th International Conference, Varna, Bulgaria, September 4-6, 2008.

 AST2008

Applications of Semantic Technologies. 
3rd International Workshop, Munich, Germany, September 9, 2008.

 AiML2008

Advances in Modal Logic. 
International Conference, Nancy, France, September 9-12 2008.

 KR2008

Principles of Knowledge Representation and Reasoning. 
11th International Conference, Sydney, Australia, September 16-19, 2008.

 KROW2008

Knowledge Representation Ontology Workshop. 
International Workshop, Sydney, Australia, September 2008.

 JELIA2008

Logics in Artificial Intelligence 
11th European Conference, Dresden, Germany, September 28 - October 1, 2008.

 ISWC2008

Semantic Web 
7th International Conference, Karlsruhe, Germany, October 26-30, 2008.

 RR2008

Web Reasoning and Rule Systems 
2th International Conference, Karlsruhe, Germany, October 31 - November 2, 2008.

 LPAR2008

Logic for Programming Artificial Intelligence and Reasoning 
The 15th International Conference, Doha, Qatar, November 23-27, 2008.

2007

 ESWC2007

European Semantic Web Conference.
4th European Conference, Innsbruck, Austria, June 3-7, 2007.

 OwlEd2007

OwlEd 2007: OWL: Experiences and Directions
Third International Workshop, Innsbruck, Austria, June 6-7, 2007.

 DL2007

20th International Workshop on Description Logics
Brixen-Bressanone (near Bozen-Bolzano), Italy, June 8-10, 2007.

 RTA2007

Rewriting Techniques and Applications.
18th International Conference, Paris, France, June 26-28, 2007.

 DISPROVING2007

Disproving - Non-Theorems, Non-Validity, Non-Provability.
International Workshop, Bremen, Germany, July 16, 2007.

 FroCoS2007

Frontiers of Combining Systems.
The 6th International Symposium, Liverpool, UK, September 10-12, 2007.

 KI2007

Künstliche Intelligenz.
30th German Annual Conference on Artificial Intelligence, Osnabrück, Germany, September 10-13, 2007.

 CSL2007

Computer Science Logic.
Annual Conference of the European Association for Computer Science Logic, Lausanne, Switzerland, September 11-15, 2007.

 AST2007

Applications of Semantic Technologies.
2nd International Workshop, Bremen, Germany, September 25th, 2007.

 LPAR2007

Logic for Programming Artificial Intelligence and Reasoning.
The 14th International Conference, Yerevan, Armenia, October 15-19, 2007.

 ODBASE2007

Ontologies, DataBases, and Applications of Semantics.
The 6th International Conference, Vilamoura, Algarve, Portugal, November 27-29, 2007.

2006

 WSPI2006

Philosophy and Informatics.
Third International Workshop, Saarbrücken, Germany, May 3-4, 2006.

 FLAIRS2006

FLAIRS Conference.
19th International FLAIRS Conference, Melbourne Beach, Florida, USA, May 11-13, 2006.

 RoW2006

Reasoning on the Web.
International Workshop, Edinburgh, UK, May, 2006.

 KR2006

Principles of Knowledge Representation and Reasoning.
10th International Conference, Lake District, UK, June 2-5, 2006.

 ICCS2006

Conceptual Structures.
14th International Conference, Aalborg, Denmark, July 16-21, 2006.

 RTA2006

Rewriting Techniques and Applications.
17th International Conference, Seattle, USA, August 12-15, 2006.

 ECAI2006

European Conference on AI.
The Seventeenth European Conference on Artificial Intelligence, Riva del Garda, Italy, August 28th to September 1st, 2006.

 JELIA2006

European Conference on Logics in AI.
The 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK, September 13-15, 2006.

 AiML2006

Advances in Modal Logic.
The 6th Conference on Advances in Modal Logic Noosa, Queensland, Australia, September 25-28, 2006.

 ODBASE2006

Ontologies, DataBases, and Applications of Semantics.
The 5th International Conference, Montpellier, France, October 31 - November 2, 2006.

 LPAR2006

Logic for Programming Artificial Intelligence and Reasoning.
The 13th International Conference, Phnom Penh, Cambodia, November 13-17, 2006.

2005

 LPAR2004

Logic for Programming Artificial Intelligence and Reasoning.
11th International Conference, Montevideo, Uruguay, March 14-18th, 2005.

 RTA2005

Rewriting Techniques and Applications.
16th International Conference, Nara, Japan, April 19-21, 2005.

 CRR-05

Workshop on Context Representation and Reasoning.
Paris, France, July 05, 2005.

 ICCS'05

Conference on Conceptual Structures
The 13th International Conference, Kassel, Germany, July 18-22, 2005.

 CADE-20

Conference on Automated Deduction.
The 20th International Conference, Tallinn, Estonia, July 20-27, 2005.

 DL2005

Workshop on Description Logics.
Edinburgh, United Kingdom July 26-28, 2005.

 IJCAI2005

19th International Joint Conference on Artificial Intelligence.
Edinburgh, Scotland, July 30 - August 5, 2005.

 ESSLLI2005

17th European Summer School in Logic, Language and Information.
Edinburgh, Scotland, August 8 - August 19, 2005.

 KI2005

Künstliche Intelligenz.
28th German Annual Conference on Artificial Intelligence, Koblenz, Germany, September 11-14, 2005.

 TABLEAUX2005

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
September 14-17, 2005

 FroCoS2005

Frontiers of Combining Systems.
5th International Workshop, Vienna, Austria, September 19-21, 2005.

2004

 AIMath2004

Artificial Intelligence and Mathematics.
Eighth International Symposium, Fort Lauderdale, Florida, January 4-6, 2004.

 KR2004

Principles of Knowledge Representation and Reasoning.
The 9th International Conference, Whistler, Canada, June 2-5, 2004.

 DL2004

Description Logics.
The 2004 International Workshop, Whistler, Canada, June 6-8, 2004.

 TIME2004

Temporal Representation and Reasoning,

The Eleventh International Symposium, Tatihou, France, July 1-3, 2004.

 IJCAR2004

International Joint Conference on Automated Reasoning.
The Second International Joint Conference, Cork, Ireland, July 4-8, 2004.

 LICS2004

Logic in Computer Science.
The Eighteenth Annual IEEE Symposium, Turku, Finland, July 14-17, 2004.

 ECAI2004

European Conference on AI.
The Sixteenth European Conference on Artificial Intelligence, Valencia, Spain, August 22-27, 2004.

 JELIA2004

European Conference on Logics in AI.
The Ninth European Conference on Logics in Artificial Intelligence, Lisbon, Portugal, September 27-30, 2004.

2003

 TIME-ICTL 2003

10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic.
Cairns, Queensland, Australia, July 8-10, 2003.

 ICCS 2003

11th International Conference on Conceptual Structures.
Dresden, Germany, July 21-25, 2003.

 CADE-19

Conference on Automated Deduction.
The 19th International Conference, Miami, USA, July 28-August 2, 2003.

 IJCAI2003

18th International Joint Conference on Artificial Intelligence.
Acapulco, Mexico, August 9-15, 2003.

 DL2003

Description Logics.
International Workshop, Rome, Italy, September 5-7, 2003.

 KI2003

Künstliche Intelligenz.
26st German Annual Conference on Artificial Intelligence, Hamburg, Germany, September 15-18, 2003.

 KRDB2003

Knowledge Representation meets Databases.
10th International Workshop, Hamburg, Germany, September 15-18, 2003.

 LPAR 2003,

10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning.
Almaty, Kazakhstan, September 22-26th, 2003.

2002

 AIMath2002

Artificial Intelligence and Mathematics.
Seventh International Symposium, Fort Lauderdale, Florida, January 2-4, 2002.

 FoIKS2002

Foundations of Information and Knowledge Systems.
Second International Symposium, Schlo� Salzau (near Kiel), Germany, February 19-23, 2002.

 DL2002

Description Logics.
International Workshop, Toulouse, France, April 19-21, 2002.

 KRDB2002

Knowledge Representation meets Databases.
9th International Workshop on, Toulouse, France, April 21, 2002.

 KR2002

Principles of Knowledge Representation and Reasoning.
Eighth International Conference, Toulouse, France, April 22-25, 2002.

 TIME2002

Temporal Representation and Reasoning.
9th International Symposium, Manchester, UK, July 7-9, 2002.

 LICS2002

Logic in Computer Science
The 17th IEEE Symposium, Copenhagen, Denmark, July 22-25, 2002.

 CADE2002

Conference on Automated Deduction.
The 18th International Conference, Copenhagen, Denmark, July 27-30, 2002.

 AAAI2002

American Association for Artificial Intelligence.
The 18th National Conference on AI, Edmonton, Alberta, Canada, July 28-August 1, 2002.

 ESSLI2002

European Summer School in Logic, Language, and Computation.
The 14th International Summer School, Trento, Italy, August 5-16, 2002.

 ADL'02

KI-2002 Workshop on Applications of Description Logics.
The 2nd International Workshop, Aachen, Germany, September, 2002.

 LPAR2002

Logic for Programming, Artificial, Intelligence, and Reasoning.
9th International Conference, Tbilisi, Georgia, October 14-18, 2002.

2001

 IJCAR2001

International Joint Conference on Automated Reasoning.
Siena, Italy, June 18-23 2001

 UNIF2001

International Workshop on Unification.
Workshop at IJCAR2001, Siena, Italy, June 18-19 2001

 ICCS2001

9th International Conference On Conceptual Structures; Broadening the Base
Stanford University, California, USA, July 30 to August 3, 2001.

 IJCAI2001

17th International Joint Conference on Artificial Intelligence.
Seattle, Washington, USA, August 4-10 2001

 CIA2001

Fifth International Workshop CIA-2001 on Cooperative Information Agents 
Modena, Italy, September 6 - 8, 2001.

 MLiAI2001

2001 Workshop on Modal Logic in AI 
Vienna, Austria, September 17 - 18, 2001.

 ADL2001

2001 Workshop on Applications of Description Logics
Vienna, Austria, September 18, 2001.

 KI2001 (F. Baader is PC-Chair)

Joint German/Austrian Conference on Artificial Intelligence (KI2001).

24th German Conference on Artificial Intelligence.

9th Austrian Conference on Artificial Intelligence.
Vienna, Austria, September 19-21 2001

 LPAR2001

8th International Conference on Logic for Programming, AI and Reasoning.
La Habana, Cuba, December 3-7, 2001

2000

 AIMath2000

Artificial Intelligence and Mathematics.
Sixth International Symposium, Fort Lauredale, Florida, USA, January 5-7 2000.

 FroCoS2000

Frontiers of Combining Systems.
Third International Workshop, Nancy, France, March 22-24 2000.

 KR2000

Principles of Knowledge Representation and Reasoning.
Seventh International Conference, Breckenridge, Colorado, USA, April 12-15 2000.

 RTA2000

Rewriting Techniques and Applications.
11th International Conference, University of East Anglia, Norwich, U.K., July 10-12 2000.

 ICCS2000

International Conference on Conceptual Structures; Logical, Linguistic, and Computational Issues. 
Darmstadt, Germany, August 14-18 2000.

 DL2000

Description Logics.
International Workshop, Aachen, Germany, August 17-19 2000.

 KRDB-2000

7th International Workshop on Knowledge Representation meets Databases 
Berlin,Germany, August 21, 2000.
Proceedings of the KRDB workshop series can be found here.

 ECAI2000

14th European Conference on Artificial Intelligence.
Berlin, Germany, August 20-25 2000.

 IIP2000

Intelligent Information Processing.
International Conference at the 16th IFIP World Computer Congress, Beijing, China, August 21-25.

 AiML2000

Advances in Modal Logic.
Third International Workshop, Leipzig, Germany, October 6-8.

1999

 LPAR'99

Logic for Programming and Automated Reasoning.
6th International Conference, Tbilisi, Republic of Georgia, September 6-10 1999.

 III'99

Intelligent Information Integration.
Workshop in conjunction with IJCAI-99, Stockholm, Sweden, July 31 1999.

 KRUSE'99

Third International KRUSE Symposium: Knowledge Retrieval, Use, and Storage for Efficiency.
Symposium before IJCAI-99, Linkoping, Sweden, July 27-29 1999.

 CADE-16

Conference on Automated Deduction.
The 16th International Conference, Trento, Italy, July 7-10, 1999.

 XPS-99

Wissensbasierte Systeme - Bilanz und Perspektiven.
5th German Workshop, W�rzburg, March 3-5, 1999.

1998

 FroCoS'98

Frontiers of Combining Systems.
Second International Workshop, Amsterdam, The Netherlands, October 2-4, 1998.

 CSL'98

Computer Science Logic.
Annual Conference of the European Association for Computer Science Logic, Brno, Czech Republic, August 22-28, 1998.

 III'98

Intelligent Information Integration.
Second International and Interdisciplinary Workshop, in conjunction with ECAI-98, Brighton, UK, August 25, 1998.

 CADE-15

Conference on Automated Deduction.
The 15th International Conference, Lindau, Germany, July 5-10, 1998.

 KR'98

Knowledge Representation and Reasoning.
Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, June 2-5, 1998.

 KRDB'98

Knowledge Representation meets Databases.
Workshop in conjuncion with ACM SIGMOD/PODS'98, Seattle, USA, May 31 (tentative), 1998.
Proceedings of the KRDB workshop series can be found here

 RTA'98

Rewriting Techniques and Applications.
The Ninth International Conference, March 30 - April 1, 1998, Tsukuba, Japan.

1997

 CP'97

Constraint Programming.
Third International Conference on Principles and Practice of Constraint Programming, Schloss Hagenberg, Austria, October 29 - November 1, 1997.

 KI-97

Künstliche Intelligenz.
21st German Annual Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997. 

 Intelligent Information Integration

Workshop at 21st German Annual Conference on Artificial Intelligence, KI-97, Freiburg, Germany, September 9-12, 1997 

 CCL'97

Construction of Computational Logics.
Annual workshop of the Esprit working group CCL II, Schloß Dagstuhl, Germany, September 3-5, 1997. 

 KRDB'97

Knowledge Representation meets Databases.
Workshop immediately after VLDB'97, Athens, Greece, August 30, 1997.
Proceedings of the KRDB workshop series can be found here

 KRUSE'97

Knowledge Retrieval, Use, and Storage for Efficiency.
Second International Symposium, Vanvouver, British Columbia, August 11- 13, 1997. 

 RTA'97

Rewriting Techniques and Applications.
The Eighth International Conference, Sitges, Spain, June 2-4, 1997. 

 Logik in der Informatik

5. Jahrestagung der GI-Fachgruppe 0.1.6, Aachen, May 22/23, 1997. 

1996

 WRKP'96 

Knowledge Representation for Configuration Problems.
Workshop in conjunction with KI'96, Dresden, Germany, September 17-19, 1996. 

 KRDB'96

Knowledge Representation meets Databases.
Workshop in conjunction with ECAI'96, Budapest, Hungary, August 12/13, 1996.
Proceedings of the KRDB workshop series can be found here.

 TPNMR'96

Integrating Nonmonotonicity into Automated Reasoning Systems.
Workshop in conjunction with ECAI'96, Budapest, Hungary, August 12/13, 1996. 

 FroCoS'96

Frontiers of Combining Systems.
First International Workshop, Munich, Germany, March 26 - 29, 1996. 

Zu dieser Seite

Francesco Kriegel
Letzte Änderung: 25.10.2017