Chair for Automata Theory of the Institute for Theoretical Computer Science, Faculty of Computer Science at TU Dresden

Workshops and Conferences

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

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.
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.

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
in 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
Workshop on 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
in 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.
A 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.

home