Wissensverarbeitung und Informationssysteme, Conferences
Note that all information about Deadline and Notification are without guarantee!
Events 2013
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| LPNMR 2013 12th International Conference on Logic Programming and Nonmonotonic Reasoning |
6 bzw. 13 p. | Corunna, Spain | September 15 - September 19, 2013 | ||
| SAT 2013 16th International Conference on Theory and Applications of Satisfiability Testing |
February 1, 2013 | April 3, 2013 | 8-15 p. | Helsinki, Finland | July 8 - July 12, 2013 |
Events 2012
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| JELIA 2012 13th European Conference on Logics in Artificial Intelligence |
May 18, 2012 | June 29, 2012 | 13 p. | Toulouse, France | September 26 - September 28, 2012 |
| ICLP 2012 28th International Conference on Logic Programming 2012 |
March 11, 2012 | June 10, 2012 | p. | Budapest, Hungary | September 4 - September 8, 2012 |
| LaSh 2012 Fourth Workshop on Logic and Search |
28 May, 2012 | 28 Jun, 2012 | 5 p. | Montpellier, France | August 27 - August 27, 2012 |
| AAAI-12 Twenty-Sixth Conference on Artificial Intelligence |
January 20, 2012 | March 28, 2012 | 7 p. | Toronto, Ontario, Kanada | July 22 - July 26, 2012 |
| SAT 2012 15th International Conference on Theory and Applications of Satisfiability Testing |
05 Feb 2012 | 12 Apr 2012 | 14 p. | Trento, Italy | June 17 - June 20, 2012 |
| KR2012 13th International Conference on Principles of Knowledge Representation and Reasoning |
November 30, 2011 | February 3, 2012 | p. | Rom, Italy | June 10 - June 14, 2012 |
| NMR 2012 14th International Workshop on Non-Monotonic Reasoning |
February 28, 2012 | March 31, 2012 | 9 p. | Rome, Italy | June 8 - June 10, 2012 |
| CPAIOR 2012 Ninth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming |
DECEMBER 01, 2011 | JANUARY 12, 2012 | 15 p. | Cité des Congrès, Nantes, France | May 28 - June 1, 2012 |
| LPAR-18 The 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning |
23rd October 2011 | 20th December 2011 | 15 p. | Mérida, Venezuela | March 11 - March 15, 2012 |
Events 2011
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| DIFTS 11 1st INTERNATIONAL WORSKHOP ON DESIGN and IMPLEMENTATION OF FORMAL TOOLS AND SYSTEMS |
May 30, 2011 | July 6, 2011 | 8 bzw. 10 p. | Austin, Texas, USA | November 3 - November 3, 2011 |
| AAAI-11 Twenty-Fifth AAAI Conference on Artificial Intelligence |
December 1, 2010 | April 15, 2011 | 6 p. | San Francisco, California | August 7 - August 11, 2011 |
| CADE-23 23nd International Conference on Automated Deduction |
1 February 2011 | 20 March 2011 | 15 p. | Wroclaw, Poland | July 31 - August 5, 2011 |
| IJCAI 11 Twenty-second International Joint Conference on Artificial Intelligence |
Jan 19, 2011 | Mar 31, 2011 | 6 p. | Barcelona, Spain | July 16 - July 22, 2011 |
| NRAC 2011 The 9th International Workshop on Nonmonotonic Reasoning, Action, and Change |
April 8, 2011 | May 13, 2011 | 8 p. | Barcelona, Spain | July 17 - July 18, 2011 |
| ICLP 2011 27th International Conference on Logic Programming |
January 10, 2011 | March 11, 2011 | p. | LEXINGTON, KENTUCKY, USA | July 6 - July 10, 2011 |
| ASPOCP 2011 Workshop on Answer Set Programming and Other Computing Paradigms 2011 |
April 22, 2011 | May 13, 2011 | 15 p. | Lexington, Kentucky, USA | July 10 - July 10, 2011 |
| SAT 2011 Fourteenth International Conference on Theory and Applications of Satisfiability Testing |
Feb. 11, 2011 | Mar. 18, 2011 | p. | Ann Arbor, USA | June 19 - June 22, 2011 |
| LPNMR 11 11th International Conference on Logic Programming and Nonmonotonic Reasoning |
1 December 2010 | 8 February 2011 | 6 bzw. 13 p. | Vancouver, BC, Canada | May 16 - May 19, 2011 |
| Commonsense 2011 Tenth International Symposium on Logical Formalization on Commonsense Reasoning |
October 8, 2010 | November 5, 2010 | 6 p. | Stanford, USA | March 21 - March 23, 2011 |
| PADL 11 Thirteenth International Symposium on Practical Aspects of Declarative Languages |
September 1, 2010 | October 11, 2010 | p. | Austin, Texas, USA | January 24 - January 25, 2011 |
| DAMP 2011 Declarative Aspects of Multicore Programming |
November 10, 2010 | p. | Austin, Texas, USA | January 23 - January 23, 2011 |
Events 2010
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| ICTAI 10 22th International Conference on Tools with Artificial Intelligence |
June 6, 2010 | July 24, 2010 | 8 p. | Arras, France | October 27 - October 29, 2010 |
| NonMon@30 Thirty Years of Nonmonotonic Reasoning |
July 11, 2010 | September 6, 2010 | 15 p. | Lexington, KY, USA | October 22 - October 25, 2010 |
| LPAR 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning |
June 14, 2010 | July 26, 2010 | 15 p. | Yogyakarta, Indonesia | October 10 - October 15, 2010 |
| JELIA 2010 12th European Conference on Logics in Artificial Intelligence |
May 3, 2010 | June 11, 2010 | 13 p. | Helsinki, Finnland | September 13 - September 15, 2010 |
| KSEM2010 4th International Conference on Knowledge Science, Engineering & Management |
30 March 2010 | 15 May 2010 | 12 p. | Belfast, Northern Ireland, UK | September 1 - September 3, 2010 |
| ECAI 2010 19th European Conference on Artificial Intelligence |
15 Feb 2010 | 30 Apr 2010 | p. | Lisbon, Portugal | August 16 - August 20, 2010 |
| FLoC 2010 Federated Logic Conference |
July 31, 2009 | September 15, 2009 | p. | Edinburgh, United Kingdom | July 9 - July 21, 2010 |
| WCB10 Workshop on Constraint Based Methods for Bioinformatics |
April 1st, 2010 | April 30th, 2010 | 6 p. | Edinburgh, Schottland | July 21 - July 21, 2010 |
| AAAI-10 Twenty-Fourth AAAI Conference on Artificial Intelligence |
p. | Atlanta, Georgia, USA | July 11 - July 15, 2010 | ||
| LaSh 10 third International workshop on Logic and Search |
April 7, 2010 | April 30, 2010 | 5 p. | Edinburgh, UK | July 15 - July 15, 2010 |
| NMR 2010 13th international workshop on Non-Monotonic Reasoning |
January 29, 2010 | March 1, 2010 | p. | Toronto, Canada | May 14 - May 16, 2010 |
| KR 2010 Twelfth International Conference on the Principles of Knowledge Representation and Reasoning |
November 20, 2009 | January 17, 2010 | 7 p. | Toronto, Canada | May 9 - May 13, 2010 |
| FoIKS 2010 Sixth International Symposium on Foundations of Information and Knowledge Systems |
Aug 07, 2009 | Oct 16, 2009 | 16 p. | Sofia, Bulgaria | February 15 - February 19, 2010 |
| AAL-Kongress 2010 3. Deutscher Ambient Assisted Living Kongress |
p. | Berlin, Germany | January 26 - January 27, 2010 | ||
| DAMP 2010 Declarative Aspects of Multicore Programming |
September 21st, 2009 | October 26th, 2009 | p. | Madrid, Spain | January 20 - January 22, 2010 |
| PADL 10 Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 |
08/31/2009 | 10/05/2009 | 3 p. | Pasadena, California, USA | January 18 - January 19, 2010 |
| ISAIM 2010 The Eleventh International Symposium on Artificial Intelligence and Mathematics |
October 1, 2009 | October 31, 2009 | 6 p. | Fort Lauderdale, Florida | January 6 - January 8, 2010 |
Events 2009
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| AI 09 The 22nd Australasian Joint Conference on Artificial Intelligence |
16 June 2009 | 18 August 2009 | 10 p. | Melbourne, Australia | December 1 - December 4, 2009 |
| EPIA 2009 Fourteenth Portuguese Conference on Artificial Intelligence |
15 Apr 2009 | 31 May 2009 | p. | Aveiro, PORTUGAL | October 12 - October 15, 2009 |
| LPNMR 09 10th International Conference on Logic Programming and Nonmonotonic Reasoning |
15 April 2009 | 1 June 2009 | 13 p. | Potsdam, Germany | September 14 - September 18, 2009 |
| PPDP 09 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming |
May 3, 2009 | June 14, 2009 | 12 p. | Coimbra, Portugal | September 7 - September 9, 2009 |
| CADE 22 22nd International Conference on Automated Deduction |
16 Feb 2009 | 10 Apr 2009 | 15 p. | Montreal, Canada | August 2 - August 7, 2009 |
| NRAC 2009 IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change |
March 6, 2009 | April 17, 2009 | 8 p. | Pasadena, California, USA | July 11 - July 17, 2009 |
| IJCAI 09 Twenty-first International Joint Conference on Artificial Intelligence |
01/07/2009 | 03/31/2009 | p. | Pasadena, California | July 11 - July 17, 2009 |
| TARK XII Twelfth Conference on Theoretical Aspects of Rationality and Knowledge TARK XII |
March 2, 2009 | April 27, 2009 | 10 p. | Stanford, USA | July 6 - July 8, 2009 |
| ECSQARU 2009 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
9 Jan 2009 | 9 Mar 2009 | 12 p. | Verona, Italy | July 1 - July 3, 2009 |
| SAT 2009 12th International Conference on Theory and Applications of Satisfiability Testing |
February 20, 2009 | March 29, 2009 | 14 p. | Swansea, Wales, United Kingdom | June 30 - July 3, 2009 |
| ISMB ECCB 2009 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB) |
January 7, 2009 | March 9, 2009 | 12 p. | Stockholm, Schweden | June 27 - July 2, 2009 |
| Commonsense 2009 Ninth International Symposium on Logical Formalizations of Commonsense Reasoning |
16 Feb 2009 | 02 Apr 2009 | 6 p. | Toronto, Canada | June 1 - June 3, 2009 |
| AI 09 The twenty-second Canadian Conference on Artificial Intelligence |
23 January 2009 | 3 March 2009 | 12 p. | Kelowna, British Columbia | May 25 - May 27, 2009 |
Events 2008
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| ICLP 2008 24th International Conference on Logic Programming |
2 Jun 2008 | 1 Aug 2008 | 15 p. | Udine, Italy | December 9 - December 13, 2008 |
| LaSh 2008 The 2nd International Workshop on Logic and Search |
15 August 2008 | 15 September 2008 | p. | Leuven, Belgium | November 6 - November 7, 2008 |
| JELIA 2008 11th European Conference on Logics in Artificial Intelligence |
2 June 2008 | 7 July 2008 | p. | Dresden, Germany | September 28 - October 1, 2008 |
| KR 2008 Eleventh International Conference on Principles of Knowledge Representation and Reasoning |
3 April 2008 | 25 May 2008 | p. | Sydney, Australia | September 16 - September 19, 2008 |
| NMR08 Twelfth International Workshop on Non-Monotonic Reasoning |
15 June 2008 | 15 July 2008 | 9 p. | Sydney, Australia | September 13 - September 15, 2008 |
| IJCAR 2008 The 4th International Joint Conference on Automated Reasoning |
22 February 2008 | 18 April 2008 | 7 p. | Sydney, Australia | August 10 - August 15, 2008 |
| AB 08 Third International Conference on Algebraic Biology |
21 January 2008 | 31 March 2008 | 15 p. | Linz, Austria | July 31 - August 2, 2008 |
| ECAI 2008 18th European Conference on Artificial Intelligence |
25 February 2008 | 28 April 2008 | p. | Patras, Greece | July 21 - July 25, 2008 |
| AAAI-08 The Twenty-Third AAAI Conference on Artificial Intelligence |
25. Januar 2008 | 31. März 2008 | 6 p. | Chicago, Illinois | July 13 - July 17, 2008 |
| PPDP 08 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming |
10 April 2008 | 15 May 2008 | 12 p. | Valencia, Spain | July 15 - July 17, 2008 |
| LICS 2008 Logic in Computer Science |
14 January 2008 | 10 March 2008 | p. | Pittsburgh, Pennsylvania | June 24 - June 27, 2008 |
| WCB08 Workshop on Constraint Based Methods for Bioinformatics |
15 Mar 2008 | 15 Apr 2008 | 6 p. | Paris, France | May 22 - May 22, 2008 |
| DALT 2008 6th International Workshop on Declarative Agent Languages and Technologies |
25 January 2008 | 25 February 2008 | p. | Estoril, Portugal | May 12 - May 13, 2008 |
| FLOPS 2008 Ninth International Symposium on Functional and Logic Programming |
10 October 2007 | 21 December 2007 | 15 p. | Ise, Japan | April 14 - April 16, 2008 |
| FoIKS 2008 Fifth International Symposium on Foundations of Information and Knowledge Systems |
22 August 2007 | 15 October 2007 | 16-18 p. | Pisa, Italy | February 11 - February 15, 2008 |
| ISAIM 2008 Tenth International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS |
10 January 2007 | 31 October 2007 | p. | Fort Lauderdale, Florida | January 2 - January 4, 2008 |
Events 2007
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| KSEM'2007 Second International Conference - Knowledge Science, Engineering and Management |
06/30/2007 | 08/15/2007 | 12 p. | Melbourne, Australia | November 28 - November 30, 2007 |
| ECSQARU'2007 The Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
14-04-2007 | 15-06-2007 | p. | Hammamet (Tunisia) | October 31 - November 2, 2007 |
| CMSB07 International Conference on Computational Methods in Systems Biology |
05/07/2007 | 06/04/2007 | 15 p. | Edinburgh, Scotland | September 20 - October 1, 2007 |
| AAAI-07 The Twenty-Second National Conference on Artificial Intelligence |
Febuary 1, 2007 | April 6, 2007 | 6 p. | Vancouver, British Columbia, Canada | July 22 - July 26, 2007 |
| TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods |
February 2, 2007 | April 2, 2007 | 5 p. | Aix en Provence, France | July 3 - July 6, 2007 |
| SAT 2007 10th International Conference on Theory and Applications of Satisfiability Testing |
January, 19 2007 | March, 2 2007 | 14 p. | Lisbon, Portugal | May 28 - May 31, 2007 |
| CANADIAN AI-2007 The 20th Canadian conference on AI |
January 15, 2007 | February 26, 2007 | 12 p. | Montreal,Quebec, Canada | May 28 - May 30, 2007 |
| LPNMR 2007 Ninth International Conference on Logic Programming and Nonmonotonic Reasoning |
2006-12-11 | 2007-02-01 | max. 13 p. | Tempe, Arizona | May 14 - May 16, 2007 |
| Commonsense 2007 8th International Symposium on Logical Formalizations of Commonsense Reasoning |
2006-10-06 | 2006-11-03 | 6 p. | Stanford University, California | March 26 - March 28, 2007 |
| IJCAI'07 Twentieth International Joint Conference on Artificial Intelligence |
June 30, (abstract June 23) 2006 | September 18, 2006 | 6 p. | Hyderabad, India | January 6 - January 12, 2007 |
| NRAC Seventh IJCAI International Workshop on Nonmontonic Reasoning, Action and Change |
Sept 25, 2006 | Oct 23, 2006 | 8 p. | Hyderabad, India | January 7 - January 8, 2007 |
Events 2006
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| PCAR 2006 International Symposium on Practical Cognitive Agents & Robots |
2006-09-30 | 2006-10-30 | p. | Perth, Australia | November 27 - November 28, 2006 |
| LPAR-13 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning |
9th May (abstract 2nd May) 2006 | 10th July 2006 | 15 p. | Phnom Penh, Cambodia | November 13 - November 17, 2006 |
| MICAI 2006 5th Mexican International Conference on ARTIFICIAL INTELLIGENCE |
June 2, 2006 | July 24, 2006 | - p. | Mexico | November 13 - November 17, 2006 |
| ICTAI-2006 INTERNATIONAL CONFERENCE on TOOLS with ARTIFICIAL INTELLIGENCE |
June 15, 2006 | August 16, 2006 | 8 p. | Arlington, VA (Washington, D.C.) | November 13 - November 15, 2006 |
| ADMW 2006 8th Augustus De Morgan Workshop |
September 22, 2007 | October 2, 2007 | 9 p. | King's College London, UK | November 8 - November 10, 2006 |
| JELIA'06 10th European Conference on Logics in Artificial Intelligence |
1st May 2006 | 8th June, 2006 | 13 p. | Liverpool, U.K. | September 13 - September 15, 2006 |
| AIMSA 2006 The 12th International Conference on Artificial Intelligence: Methodology, Systems, Applications |
April 15, 2006 | June 10, 2006 | 10 p. | Varna, Bulgaria | September 13 - September 15, 2006 |
| ECAI'06 17th European Conference on Artificial Intelligence |
Feb 10 (Abst: Feb 8), 2006 | April 10, 2006 | 5 p. | RIVA DEL GARDA, Italy | August 28 - September 1, 2006 |
| STAIRS 2006 Third European STarting AI Researcher Symposium |
April 15, 2006 | May 10, 2006 | ? p. | Riva del Garda, Italy | August 28 - August 29, 2006 |
Multidisciplinary ECAI-06 Workshop on ADVANCES IN PREFERENCE HANDLING |
April 15, 2006 | May 10, 2006 | 8 p. | Riva del Garda, Italy | August 28 - August 29, 2006 |
| FM'06 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS |
February 24, 2006 | Friday, April 28, 2006 | 16 p. | McMaster University, Hamilton, Ontario, Canada | August 21 - August 27, 2006 |
| IFIP AI 2006 Artificial Intelligence in Theory And Practice |
January 15, 2006 | March 15, 2006 | 10 p. | Santiago, Chile | August 21 - August 24, 2006 |
| TCS 2006 4th IFIP International Conference on Theoretical Computer Science |
January 15, 2006 | March 15, 2006 | 12 p. | Santiago, Chile | August 22 - August 24, 2006 |
| IJCAR 2006 3rd International Joint Conference on Automated Reasoning |
March 6 (Registr: Feb 27), 2006 | April 24, 2006 | 15 p. | Seattle, USA | August 16 - August 21, 2006 |
| ICLP 2006 Twenty Second International Conference on Logic Programming |
Feb 21 (Abst: Feb 14), 2006 | April 7, 2006 | 15 p. | Seattle, Washington, USA | August 16 - August 20, 2006 |
| Prefs06 International Workshop on Preferences and Their Applications in Logic Programming Systems |
May 15th, 2006 (strict) | June 10th, 2006 | 15 p. | Seattle, Washington | August 16 - August 16, 2006 |
Search and Logic: Answer Set Programming and SAT |
May 22, 2006 | June 27, 2006 | 15 p. | Seattle, Washington, USA | August 16 - August 16, 2006 |
| SAT 2006 Ninth International Conference on Theory and Applications of Satisfiability Testing |
February 19 (Abst: Feb 14), 2006 | April 7, 2006 | - p. | Seattle, Washington, USA | August 12 - August 15, 2006 |
| LRBA06 WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS |
March 8, 2006 | April 21, 2006 | 15 p. | Malaga, Spain | August 7 - August 11, 2006 |
| LAAIC'06 Logical Aspects and Applications of Integrity Constraints |
March 3, 2006 | April 15, 2006 | 5 p. | Krakow, Poland | August 9 - August 9, 2006 |
| KSEM'2006 First International Conference on Knowledge Science, Engineering and Management |
March 10, 2006 | April 28, 2006 | 13 p. | Guilin City, China | August 5 - August 8, 2006 |
| DALT 2006 4th International Workshop on Declarative Agent Languages and Technologies |
1 February 2006 | 1 March 2006 | 16 p. | Future University Hakodate, Japan | August 5 - August 5, 2006 |
| AAAI'06 Twenty-first National Conference on Artificial Intelligence |
February 21 (Abst: February 16), 2006 | April 14, 2006 | 6 p. | Boston, Massachusetts | July 16 - July 20, 2006 |
| LOFT06 7th Conference on Logic and the Foundations of Game and Decision Theory |
15 April, 2006 | 28 May, 2006 | 10 p. | Liverpool, UK | July 13 - July 15, 2006 |
| LOPSTR'06 International Symposium on Logic-based Program Synthesis and Transformation |
April 15, 2006 | May 20, 2006 | 16 p. | Venice, Italy | July 12 - July 14, 2006 |
| CHR2006 Third Workshop on Constraint Handling Rules |
May 7, 2006 | June 9, 2006 | 15 p. | S. Servolo, Venice, Italy | July 9 - July 9, 2006 |
| KI06 29th Annual German Conference on Artificial Intelligence |
March 31, 2006 | April 30, 2006 | 15 p. | Bremen, Germany | June 14 - June 19, 2006 |
| KR2006 Tenth International Conference on Principles of Knowledge Representation and Reasoning |
November 7, 2005 | January 14, 2006 | 12 p. | Lake District, United Kingdom | June 2 - June 6, 2006 |
| NMR 2006 Eleventh International Workshop on Non-Monotonic Reasoning |
Feb 1, 2006 | April 1, 2006 | 9 p. | Lake District, UK | May 30 - June 1, 2006 |
| ProMAS-06 Fourth International Workshop on Programming Multi-Agent Systems |
15th of January, 2006 | 19th of February, 2006 | 15 p. | Hakodate, Japan | May 8 - May 12, 2006 |
| CLIMA VII Seventh International Workshop on Computational Logic in Multi-Agent Systems |
January 15, 2006 | February 19, 2006 | 16 p. | Future University, Hakodate, Japan | May 8 - May 12, 2006 |
| FLOPS2006 Eighth International Symposium on Functional and Logic Programming |
November 11, 2005 | January 6, 2005 | 15 p. | Fuji Susono, JAPAN | April 24 - April 26, 2006 |
| AI and Math 2006 Ninth International Symposium on Artificial Intelligence and Mathematics |
October 2, 2005 | October 31, 2005 | 8 p. | Fort Lauderdale, Florida | January 4 - January 6, 2006 |
Events 2005
| Conference | Deadline | Notification | Format | Place | Date |
|---|---|---|---|---|---|
| LPAR 2005 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning |
July 18 (Abst: July 11), 2005 | 12th September 2005 | 15 p. | Wexford Hotel,Montego Bay, Jamaica | December 2 - December 6, 2005 |
| MICAI 2005 4th Mexican International Conference on ARTIFICIAL INTELLIGENCE |
May 29 (Abst+Title: May 22), 2005 | July 17, 2005 | 10 p. | Monterrey, Mexico | November 14 - November 18, 2005 |
| INAP 2005 16th International Conference on Applications of Declarative Programming and Knowledge Management |
August 1, 2005 | August 24, 2005 | 10 p. | Waseda University, Fukuoka, Japan | October 22 - October 24, 2005 |
| ICLP' 05 Twenty First International Conference on Logic Programming |
May 6 (Abst: Apr 30), 2005 | June 24th, 2005 | 15 p. | Melia Sitges Hotel, Sitges (Barcelona), Spain | October 2 - October 5, 2005 |
| TABLEAUX 2005 Automated Reasoning with Analytic Tableaux and Related Methods |
Apr 30, 2005 | June 25, 2005 | 15 p. | Koblenz, Germany | September 14 - September 17, 2005 |
| KI 2005 28th German Conference on Artificial Intelligence |
Apr 15, 2005 | June 3, 2005 | 15 p. | Koblenz, Germany | September 11 - September 14, 2005 |
| MATES 05 Multi-Agent System Technologies |
Apr 1, 2005 | June 3, 2005 | ? p. | Koblenz, Germany | September 11 - September 13, 2005 |
| LPNMR'05 8th International Conference on Logic Programming an Nonmonotonic Reasoning |
Mar 25 (Abst: Mar 22), 2005 | May 16, 2005 | 13 p. | Diamante, Cosenza, Italy | September 5 - September 8, 2005 |
| IJCAI International Joint Conference on Artificial Intelligence |
Feb 1, 2005 EXTENDED! | March 18, 2005 | 6 p. | Edinburgh, Scotland | August 2 - August 5, 2005 |
| IJCAI Poster International Joint Conference on Artificial Intelligence |
Feb 15, 2005 | March 18, 2005 | 2 p. | Edinburgh, Scotland | August 2 - August 5, 2005 |
| IJCAI-05 Workshop on Advances in Preference Handling |
March 24, 2005 | April 30, 2005 | 6 p. | Edinburgh, Scotland | July 30 - August 1, 2005 |
| NRAC' 05 The Sixth Workshop on Nonmonotonic Reasoning, Action, and Change |
April 11, 2005 | May 9, 2005 | 12 p. | Edinburgh, Scotland | July 30 - August 1, 2005 |
| UAI 2005 21st Conference on Uncertainty in Artificial Intelligence |
Mar 23 (Abst: Mar 16), 2005 | May 23, 2005 | 8 p. | University of Edinburgh, Scotland | July 26 - July 29, 2005 |
| ASP05 Answer Set Programming: Advances in Theory and Implementation |
6th May 2005 | 21st May 2005 | 15 p. | University of Bath, Bath, UK | July 27 - July 29, 2005 |
| CADE-20 20th International Conference on Automated Deduction |
Mar 4 (Abst: Feb 25), 2005 | Apr 22, 2005 | 15 p. | Tallinn, Estonia | July 22 - July 27, 2005 |
| ProMAS'05 Third international Workshop on Programming Multi-Agent Systems |
Mar 14, 2005 | Apr 18, 2005 | 15 p. | Utrecht University, The Netherlands | July 25 - July 26, 2005 |
| KR2010 Twelfth International Conference on the Principles of Knowledge Representation and Reasoning |
p. | Toronto, Ontario, Canada | January 1 - January 1, 1970 |
TAG Conference Announcements
Let's google more about Conferences and Events!
Valid XHTML 1.1!
Valid CSS! Letzte Änderung: kaminski@cs.uni-potsdam.de, 14.01.2013