Conferences and Workshops
Members of the Chair for Automata Theory participate in the organization or program committee of the following workshops and conferences.
2017
14th International Conference on Formal Concept Analysis
Rennes, France, June 13–16, 2017.
2015
12th International Conference on Concept Lattices and their Applications
Clermont-Ferrand, France, October 13 - 16, 2015.
2014
International Conference on Agents and Artificial Intelligence
6th International Conference, Angers, France, March 6 -8, 2014.
11th Extended Semantic Web Conference
Crete, Greece, May 25 - 29, 2014
27th Workshop on Description Logics
Vienna, Austria, July 17 - 20, 2014
Principles of Knowledge Representation and Reasoning.
The 14th International Conference, Vienna, Austria, July 20 - 24, 2014.
Automated Reasoning.
The 7th International Joint Conference, Vienna, Austria, July 19 - July 22, 2014.
Workshop on "Logics for Reasoning about Preferences, Uncertainty, and Vagueness"
Vienna, Austria, July 23 - 25, 2014
2013
International Conference on Agents and Artificial Intelligence.
5th International Conference, Barcelona, Spain, February 15 - 18, 2013.
Language and Automata Theory and Applications.
7th International Conference, Bilbao, Spain, April 2 - 5, 2013.
International Conference on Formal Concept Analysis.
11th International Conference on Formal Concept Analysis, Dresden, Germany, May 21 - 24, 2013
Automated Deduction: Decidability, Complexity, Tractability.
A workshop at CADE2013, Lake Placid, New York, USA, June 10, 2013.
3rd International Conference on Web Intelligence, Mining and Semantics.
Madrid, Spain, June 12 - 14, 2013
International Workshop on Unification.
27th International Workshop, Eindhoven, The Netherlands, June 27, 2013.
Twenty-Seventh AAAI Conference on Artificial Intelligence.
Washington, USA, July 14 - 18, 2013
OWL Reasoner Evaluation.
The 2nd International Workshop, Ulm, Germany, June 22, 2013.
26th International Workshop on Description Logics.
Ulm, Germany, July 23 - 26, 2013
Fundamentals of Computation Theory.
19th International Symposium, Liverpool, UK, August 19 - 23, 2013.
What can FCA do for Artificial Intelligence?
Workshop at IJCAI2013, Beijing, China, August 3 - 5, 2013.
23rd International Conference on Artificial Intelligence.
Beijing, China, August 3 - 9, 2013.
Dynamics of Knowledge and Belief.
4th Workshop, Koblenz, Germany, September 17, 2013.
Künstliche Intelligenz.
36th German Annual Conference on Artificial Intelligence, Koblenz, Germany, September 16-20, 2013.
Frontiers of Combining Systems.
9th International Symposium, Nancy, France, September 18 - 20, 2013.
4th Conference on Knowledge Engineering and Semantic Web.
Saint-Petersburg, Russia, October 7 - 9, 2013.
15th Conference of the Spanish Association of Artificial Intelligence.
Madrid, Spain, October 17 - 20, 2013.
12th International Semantic Web Conference
Sydney, Australia, October 21 - 25, 2013.
7th Multi-disciplinary International Workshop on Artificial Intelligence.
Krabi, Thailand, December 9 - 11 2013.
2012
International Conference on Agents and Artificial Intelligence
4th International Conference, Vilamour, Portugal, February 6 - February 8, 2012.
Language and Automata Theory and Applications.
6th International Conference, Coruña, Spain, March 5 - 9, 2012.
Logic for Programming, Artificial Intelligence and Reasoning
18th International Conference, Merida, Venezuela, March 10 - 15, 2012.
Extended Semantic Web Conference.
The 9th International Conference, Heraklion, Greece, May 27 - 31, 2012.
Web Intelligence, Mining and Semantics
2nd International Conference, Craiova, Romania, June 6 - June 8, 2012.
Description Logics.
25th International Workshop, Rome, Italy, June 7 - June 10, 2012.
Principles of Knowledge Representation and Reasoning.
The 13th International Conference, Rome, Italy, June 10 - 14, 2012.
Computability in Europe
8th Conference, Cambridge, England, June 18 - June 23, 2012.
Automated Reasoning.
The 6th International Joint Conference, Manchester, U.K., June 26 - July 1st, 2012.
International Workshop on Unification.
26th International Workshop, Manchester, U.K., July 1, 2012.
OWL Reasoner Evaluation.
The 1st International Workshop, Manchester, U.K., July 1st, 2012.
Artificial Intelligence.
The 20th European Conference, Montpellier, France, August 27 - 31, 2012.
What can FCA do for Artificial Intelligence?
Workshop at ECAI2012. Montpellier, France, August 27, 2012.
Artificial Intelligence: Methodology, Systems, Applications.
The 15th International Conference, Varna, Bulgaria, September 2012.
Conference on Web Reasoning and Rule Systems.
6th Conference, Vienna, Austria, September 10 - 12, 2012.
Künstliche Intelligenz.
35th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 24-27, 2012.
Logics in Artificial Intelligence.
The 13th European Conference, Toulouse, France, September 26 - 28, 2012.
5th International Workshop on Semantic Sensor Networks
Boston, Massachusetts, USA, November 10, 2012.
8th Australasian Ontology Workshop
Sydney, Australia, December 4, 2012.
Declarative Pattern Mining.
Workshop, Brussels, Belgium, December 10, 2012.
6th Multi-disciplinary International Workshop on Artificial Intelligence.
Ho Chi Minh City, Vietnam, December 26 - 28, 2012.
2011
International Conference on Agents and Artificial Intelligence.
3rd International Conference, Rom, Italy, January 28 - 30, 2011.
Rewriting Techniques and Applications.
22nd International Conference, Novi Sad, Serbia, May 30 - June 1, 2011.
Language and Automata Theory and Applications.
5th International Conference, Fukuoka, Japan, June 13 - 17, 2011.
Description Logics.
24th International Workshop, Barcelona, Spain, July 13 - July 16, 2011.
International Joint Conference on Artificial Intelligence.
22nd International Joint Conference, Barcelona, Spain, July 16 - 22, 2011.
Automated Reasoning about Context and Ontology Evolution.
An IJCAI-11 Workshop, Barcelona, Catalonia, Spain, July 18, 2011.
International Conference on Automated Deduction.
23rd International Conference, Wroclaw, Poland, July 31 - August 5, 2011.
International Workshop on Unification.
25th International Workshop, Wroclaw, Poland, July 31, 2011.
Conference on Computer Science Logic.
20th Conference, Bergen, Norway, September 12 - 15, 2011.
Frontiers of Combining Systems.
8th International Symposium, Saarbrücken, Germany, October 5 - 7, 2011.
Applications of Semantic Technologies
6th International Workshop, Berlin, Germany, October 6, 2011.
Ontologies in Biomedicine and Life Sciences.
The 3rd Workshop, Berlin, Germany, October 6 - 7, 2011.
4th International Workshop on Semantic Sensor Networks
Bonn, Germany, October 23, 2011.
International Semantic Web Conference.
10th Conference, Bonn, Germany, October 23 - 27, 2011.
Uncertainty Reasoning for the Semantic Web.
7th International Workshop, Bonn, Germany, November 23, 2011.
Semantic Technology.
Joint International Conference, Hangzhou, China, December 4 - 7, 2011.
7th Australasian Ontology Workshop
in Perth, Western Australia, December 5, 2011.
Declarative Pattern Mining.
Workshop, Vancouver, Canada, December 10, 2011.
2010
A Workshop on Logical Approaches to Barriers in Computing and Complexity.
Greifswald, Germany, February 17 - 20, 2010.
The 8th International Conference on Formal Concept Analysis.
Agadir, Morocco, March 15 - 18, 2010.
Description Logics.
23rd International Workshop, Waterloo, Canada, May 4 - 7, 2010.
Principles of Knowledge Representation and Reasoning.
The 12th International Conference, Toronto, Canada, May 9 - 13, 2010.
Extended Semantic Web Conference.
The 7th International Conference, Heraklion, Greece, May 30 - June 03, 2010.
Artificial Intelligence and Symbolic Computation.
The 10th International Conference, Paris, France, July 5 - 10, 2010.
Federated Logic Conference
Edinburgh, Scotland, U. K., July 9 - 21, 2010.
Logic in Computer Science.
The 25th Annual IEEE Symposium, Edinburgh, Scotland, U.K., July 11 - 14, 2010.
AAAI Conference on Artificial Intelligence
Twenty-Fourth Conference on Artificial Intelligence, Atlanta, Georgia, July 11, 2010
Automated Reasoning.
The 5th International Joint Conference, Edinburgh, Scotland, U.K., July 16 - 19, 2010.
Uncertainty in Description Logics.
The 1st Workshop, Edinburgh, Scotland, U.K., July 20, 2010.
Artificial Intelligence.
The 19th European Conference, Lisbon, Portugal, August 16 - 20, 2010.
Membrane Computing
The 11th International Conference, Jena, Germany, August 24 - 27, 2010.
Artificial Intelligence: Methodology, Systems, Applications.
The 14th International Conference, Varna, Bulgaria, September 8 - 10, 2010.
Ontologies in Biomedicine and Life Sciences.
The 2nd Workshop, Mannheim, Germany, September 9 - 10, 2010.
Logics in Artificial Intelligence.
The 12th European Conference, Helsinki, Finland, September 13 - 15, 2010.
Applications of Semantic Technologies
5th International Workshop, Leipzig, Germany, September 28, 2010.
Logic for Programming, Artificial Intelligence and Reasoning
17th International Conference, Yogyakarta, Indonesia, October 10 - 15, 2010.
Implementation of Logics
8th International Workshop, Yogyakarta, Indonesia, October 10, 2010.
9th International Semantic Web Conference
in Shanghai, China, November 7-11, 2010.
3rd International Workshop on Semantic Sensor Networks
Shanghai, China, November 7-11, 2010.
6th Australasian Ontology Workshop
in Adelaide, South Australia, December 7, 2010.
2009
Rewriting Techniques and Applications.
20th International Conference, Brasília, Brazil, June 29 - July 1, 2009.
Tableaux versus Automata as Logical Decision Methods.
A TABLEAUX 2009 Workshop, Oslo, Norway, July 6th, 2009.
First-Order Theorem Proving.
The 7th International Workshop, Oslo, Norway, July 6 - 7, 2009.
Automated Reasoning about Context and Ontology Evolution.
An IJCAI-09 Workshop, Pasadena, California, USA, July 11 - 12, 2009.
Twenty-First International Joint Conference on Artificial Intelligence.
Pasadena, California, USA, July 11 - 17, 2009.
The 22nd International Workshop on Description Logics.
Oxford, United Kingdom, 27 to 30 July 2009.
The 23rd International Workshop on Unification.
Montreal, Canada, August 2nd, 2009.
Automated Deduction: Decidability, Complexity, Tractability.
A CADE2009 Workshop, McGill University, Montreal, Canada, August 2 - 7, 2009.
Conference on Automated Deduction.
22nd International Conference, McGill University, Montreal, Canada, August 2 - 7, 2009.
Frontiers of Combining Systems.
The 7th International Symposium, Trento, Italy, September 16 - 18, 2009.
Applications of Semantic Technologies.
The 4th International Workshop, Lübeck, Germany, October 2nd, 2009.
OWL: Experiences and Directions
Chantilly, VA, USA, October 23-24th, 2009.
8th International Semantic Web Conference,
Westfields Conference Center Fairfax, Virginia USA, October 25 - 26, 2009.
The 2nd International Workshop on Semantic Sensor Networks.
A workshop of ISWC2009, Washington DC, USA, October 26, 2009.
The Fifth Australasian Ontology Workshop.
University of Melbourne, Melbourne, Australia, December 1st, 2009.
2008
Description Logics.
21th International Workshop, Dresden, Germany, May 13-16, 2008.
Representing and Sharing Knowledge Using SNOMED.
International Conference, Phoenix, Arizona, USA, May 31 - June 2, 2008.
Ontologies: Reasoning and Modularity.
International Workshop, Tenerife, Spain, June 2, 2008.
Principles of Database Systems.
27th International Conference, Vancouver, Canada, June 9-11, 2008.
Artificial Intelligence
23rd International Conference, Chicago, Illinois, USA, July 13-17, 2008.
Artificial Intelligence
18th European Conference, Patras, Greece, July 21-25, 2008.
Complexity, Expressibility, and Decidability in Automated Reasoning.
International Workshop, Sydney, Australia, August 10-15, 2008.
Artificial Intelligence: Methodology, Systems, Applications
13th International Conference, Varna, Bulgaria, September 4-6, 2008.
Applications of Semantic Technologies.
3rd International Workshop, Munich, Germany, September 9, 2008.
Advances in Modal Logic.
International Conference, Nancy, France, September 9-12 2008.
Principles of Knowledge Representation and Reasoning.
11th International Conference, Sydney, Australia, September 16-19, 2008.
Knowledge Representation Ontology Workshop.
International Workshop, Sydney, Australia, September 2008.
Logics in Artificial Intelligence
11th European Conference, Dresden, Germany, September 28 - October 1, 2008.
Semantic Web
7th International Conference, Karlsruhe, Germany, October 26-30, 2008.
Web Reasoning and Rule Systems
2th International Conference, Karlsruhe, Germany, October 31 - November 2, 2008.
Logic for Programming Artificial Intelligence and Reasoning
The 15th International Conference, Doha, Qatar, November 23-27, 2008.
2007
European Semantic Web Conference.
4th European Conference, Innsbruck, Austria, June 3-7, 2007.
OwlEd 2007: OWL: Experiences and Directions
Third International Workshop, Innsbruck, Austria, June 6-7, 2007.
20th International Workshop on Description Logics
Brixen-Bressanone (near Bozen-Bolzano), Italy, June 8-10, 2007.
Rewriting Techniques and Applications.
18th International Conference, Paris, France, June 26-28, 2007.
Disproving - Non-Theorems, Non-Validity, Non-Provability.
International Workshop, Bremen, Germany, July 16, 2007.
Frontiers of Combining Systems.
The 6th International Symposium, Liverpool, UK, September 10-12, 2007.
Künstliche Intelligenz.
30th German Annual Conference on Artificial Intelligence, Osnabrück, Germany, September 10-13, 2007.
Computer Science Logic.
Annual Conference of the European Association for Computer Science Logic, Lausanne, Switzerland, September 11-15, 2007.
Applications of Semantic Technologies.
2nd International Workshop, Bremen, Germany, September 25th, 2007.
Logic for Programming Artificial Intelligence and Reasoning.
The 14th International Conference, Yerevan, Armenia, October 15-19, 2007.
Ontologies, DataBases, and Applications of Semantics.
The 6th International Conference, Vilamoura, Algarve, Portugal, November 27-29, 2007.
2006
Philosophy and Informatics.
Third International Workshop, Saarbrücken, Germany, May 3-4, 2006.
FLAIRS Conference.
19th International FLAIRS Conference, Melbourne Beach, Florida, USA, May 11-13, 2006.
Reasoning on the Web.
International Workshop, Edinburgh, UK, May, 2006.
Principles of Knowledge Representation and Reasoning.
10th International Conference, Lake District, UK, June 2-5, 2006.
Conceptual Structures.
14th International Conference, Aalborg, Denmark, July 16-21, 2006.
Rewriting Techniques and Applications.
17th International Conference, Seattle, USA, August 12-15, 2006.
European Conference on AI.
The Seventeenth European Conference on Artificial Intelligence, Riva del Garda, Italy, August 28th to September 1st, 2006.
European Conference on Logics in AI.
The 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK, September 13-15, 2006.
Advances in Modal Logic.
The 6th Conference on Advances in Modal Logic Noosa, Queensland, Australia, September 25-28, 2006.
Ontologies, DataBases, and Applications of Semantics.
The 5th International Conference, Montpellier, France, October 31 - November 2, 2006.
Logic for Programming Artificial Intelligence and Reasoning.
The 13th International Conference, Phnom Penh, Cambodia, November 13-17, 2006.
2005
Logic for Programming Artificial Intelligence and Reasoning.
11th International Conference, Montevideo, Uruguay, March 14-18th, 2005.
Rewriting Techniques and Applications.
16th International Conference, Nara, Japan, April 19-21, 2005.
Workshop on Context Representation and Reasoning.
Paris, France, July 05, 2005.
Conference on Conceptual Structures
The 13th International Conference, Kassel, Germany, July 18-22, 2005.
Conference on Automated Deduction.
The 20th International Conference, Tallinn, Estonia, July 20-27, 2005.
Workshop on Description Logics.
Edinburgh, United Kingdom July 26-28, 2005.
19th International Joint Conference on Artificial Intelligence.
Edinburgh, Scotland, July 30 - August 5, 2005.
17th European Summer School in Logic, Language and Information.
Edinburgh, Scotland, August 8 - August 19, 2005.
Künstliche Intelligenz.
28th German Annual Conference on Artificial Intelligence, Koblenz, Germany, September 11-14, 2005.
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
September 14-17, 2005
Frontiers of Combining Systems.
5th International Workshop, Vienna, Austria, September 19-21, 2005.
2004
Artificial Intelligence and Mathematics.
Eighth International Symposium, Fort Lauderdale, Florida, January 4-6, 2004.
Principles of Knowledge Representation and Reasoning.
The 9th International Conference, Whistler, Canada, June 2-5, 2004.
Description Logics.
The 2004 International Workshop, Whistler, Canada, June 6-8, 2004.
Temporal Representation and Reasoning,
The Eleventh International Symposium, Tatihou, France, July 1-3, 2004.
International Joint Conference on Automated Reasoning.
The Second International Joint Conference, Cork, Ireland, July 4-8, 2004.
Logic in Computer Science.
The Eighteenth Annual IEEE Symposium, Turku, Finland, July 14-17, 2004.
European Conference on AI.
The Sixteenth European Conference on Artificial Intelligence, Valencia, Spain, August 22-27, 2004.
European Conference on Logics in AI.
The Ninth European Conference on Logics in Artificial Intelligence, Lisbon, Portugal, September 27-30, 2004.
2003
10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic.
Cairns, Queensland, Australia, July 8-10, 2003.
11th International Conference on Conceptual Structures.
Dresden, Germany, July 21-25, 2003.
Conference on Automated Deduction.
The 19th International Conference, Miami, USA, July 28-August 2, 2003.
18th International Joint Conference on Artificial Intelligence.
Acapulco, Mexico, August 9-15, 2003.
Description Logics.
International Workshop, Rome, Italy, September 5-7, 2003.
Künstliche Intelligenz.
26st German Annual Conference on Artificial Intelligence, Hamburg, Germany, September 15-18, 2003.
Knowledge Representation meets Databases.
10th International Workshop, Hamburg, Germany, September 15-18, 2003.
10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning.
Almaty, Kazakhstan, September 22-26th, 2003.
2002
Artificial Intelligence and Mathematics.
Seventh International Symposium, Fort Lauderdale, Florida, January 2-4, 2002.
Foundations of Information and Knowledge Systems.
Second International Symposium, Schlo� Salzau (near Kiel), Germany, February 19-23, 2002.
Description Logics.
International Workshop, Toulouse, France, April 19-21, 2002.
Knowledge Representation meets Databases.
9th International Workshop on, Toulouse, France, April 21, 2002.
Principles of Knowledge Representation and Reasoning.
Eighth International Conference, Toulouse, France, April 22-25, 2002.
Temporal Representation and Reasoning.
9th International Symposium, Manchester, UK, July 7-9, 2002.
Logic in Computer Science
The 17th IEEE Symposium, Copenhagen, Denmark, July 22-25, 2002.
Conference on Automated Deduction.
The 18th International Conference, Copenhagen, Denmark, July 27-30, 2002.
American Association for Artificial Intelligence.
The 18th National Conference on AI, Edmonton, Alberta, Canada, July 28-August 1, 2002.
European Summer School in Logic, Language, and Computation.
The 14th International Summer School, Trento, Italy, August 5-16, 2002.
KI-2002 Workshop on Applications of Description Logics.
The 2nd International Workshop, Aachen, Germany, September, 2002.
Logic for Programming, Artificial, Intelligence, and Reasoning.
9th International Conference, Tbilisi, Georgia, October 14-18, 2002.
2001
International Joint Conference on Automated Reasoning.
Siena, Italy, June 18-23 2001
International Workshop on Unification.
Workshop at IJCAR2001, Siena, Italy, June 18-19 2001
9th International Conference On Conceptual Structures; Broadening the Base
Stanford University, California, USA, July 30 to August 3, 2001.
17th International Joint Conference on Artificial Intelligence.
Seattle, Washington, USA, August 4-10 2001
Fifth International Workshop CIA-2001 on Cooperative Information Agents
Modena, Italy, September 6 - 8, 2001.
2001 Workshop on Modal Logic in AI
Vienna, Austria, September 17 - 18, 2001.
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
8th International Conference on Logic for Programming, AI and Reasoning.
La Habana, Cuba, December 3-7, 2001
2000
Artificial Intelligence and Mathematics.
Sixth International Symposium, Fort Lauredale, Florida, USA, January 5-7 2000.
Frontiers of Combining Systems.
Third International Workshop, Nancy, France, March 22-24 2000.
Principles of Knowledge Representation and Reasoning.
Seventh International Conference, Breckenridge, Colorado, USA, April 12-15 2000.
Rewriting Techniques and Applications.
11th International Conference, University of East Anglia, Norwich, U.K., July 10-12 2000.
International Conference on Conceptual Structures; Logical, Linguistic, and Computational Issues.
Darmstadt, Germany, August 14-18 2000.
Description Logics.
International Workshop, Aachen, Germany, August 17-19 2000.
7th International Workshop on Knowledge Representation meets Databases
Berlin,Germany, August 21, 2000.
Proceedings of the KRDB workshop series can be found here.
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.
Advances in Modal Logic.
Third International Workshop, Leipzig, Germany, October 6-8.
1999
Logic for Programming and Automated Reasoning.
6th International Conference, Tbilisi, Republic of Georgia, September 6-10 1999.
Intelligent Information Integration.
Workshop in conjunction with IJCAI-99, Stockholm, Sweden, July 31 1999.
Third International KRUSE Symposium: Knowledge Retrieval, Use, and Storage for Efficiency.
Symposium before IJCAI-99, Linkoping, Sweden, July 27-29 1999.
Conference on Automated Deduction.
The 16th International Conference, Trento, Italy, July 7-10, 1999.
Wissensbasierte Systeme - Bilanz und Perspektiven.
5th German Workshop, W�rzburg, March 3-5, 1999.
1998
Frontiers of Combining Systems.
Second International Workshop, Amsterdam, The Netherlands, October 2-4, 1998.
Computer Science Logic.
Annual Conference of the European Association for Computer Science Logic, Brno, Czech Republic, August 22-28, 1998.
Intelligent Information Integration.
Second International and Interdisciplinary Workshop, in conjunction with ECAI-98, Brighton, UK, August 25, 1998.
Conference on Automated Deduction.
The 15th International Conference, Lindau, Germany, July 5-10, 1998.
Knowledge Representation and Reasoning.
Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, June 2-5, 1998.
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.
Rewriting Techniques and Applications.
The Ninth International Conference, March 30 - April 1, 1998, Tsukuba, Japan.
1997
Constraint Programming.
Third International Conference on Principles and Practice of Constraint Programming, Schloss Hagenberg, Austria, October 29 - November 1, 1997.
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
Construction of Computational Logics.
Annual workshop of the Esprit working group CCL II, Schloß Dagstuhl, Germany, September 3-5, 1997.
Knowledge Representation meets Databases.
Workshop immediately after VLDB'97, Athens, Greece, August 30, 1997.
Proceedings of the KRDB workshop series can be found here.
Knowledge Retrieval, Use, and Storage for Efficiency.
Second International Symposium, Vanvouver, British Columbia, August 11- 13, 1997.
Rewriting Techniques and Applications.
The Eighth International Conference, Sitges, Spain, June 2-4, 1997.
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.
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.
Integrating Nonmonotonicity into Automated Reasoning Systems.
Workshop in conjunction with ECAI'96, Budapest, Hungary, August 12/13, 1996.
Frontiers of Combining Systems.
First International Workshop, Munich, Germany, March 26 - 29, 1996.