| Event | When | Where | Deadline | |
| Expired CFPs |
| INSIDE ARGUMENTS 2011 |
INTERNATIONAL COLLOQUIUM: INSIDE ARGUMENTS - LOGIC vs ARGUMENTATION THEORY | |
| Mar 24, 2011 - Mar 26, 2011 |
COIMBRA-PORTUGAL |
Dec 15, 2010 |
| ISMVL 2011 |
IEEE 41st International Symposium on Multiple-Valued Logic | |
| May 23, 2011 - May 25, 2011 |
Tuusula, Finland |
Nov 1, 2010 |
| SELLC Student Session 2010 |
SELLC 2010 Student Session: Submission Deadline Extended to Oct 10 | |
| Dec 3, 2010 - Dec 18, 2010 |
Guangzhou, China |
Oct 10, 2010 |
| Logic and Natural Language 2010 |
Call for papers: special Issue of Studia Logica on Logic and Natural Language | |
| N/A |
N/A |
Oct 4, 2010 |
| SELLC Student Session 2010 |
SELLC 2010 Student Session: Call for Papers | |
| Dec 3, 2010 - Dec 18, 2010 |
Guangzhou, China |
Sep 20, 2010 |
| SELLC Student Session 2010 |
SELLC 2010 Student Session: Last Call for Papers | |
| Dec 3, 2010 - Dec 18, 2010 |
Guangzhou, China |
Sep 20, 2010 |
| Factótum 2010 |
Factótum. Revista de Filosofía (special issue on autonomous agents) | |
| Mar 20, 2010 - Aug 31, 2010 |
Salamanca (Spain) |
Aug 31, 2010 |
| LANMR 2010 |
SIXTH LATIN AMERICAN WORKSHOP ON NEW METHODS OF REASONING 2010 --Logic/Languages, Algorithms and New Methods of Reasoning | |
| Nov 4, 2010 - Nov 5, 2010 |
Puebla, Mexico |
Jul 16, 2010 (Jun 30, 2010) |
| JELIA 2010 |
12th European Conference on Logics in Artificial Intelligence | |
| Sep 13, 2010 - Sep 15, 2010 |
Helsinki, Finland |
May 7, 2010 (May 3, 2010) |
| CLIMA XI 2010 |
11th International Workshop on Computational Logic in Multi-Agent Systems | |
| Aug 16, 2010 - Aug 17, 2010 |
Lisbon, Portugal |
May 7, 2010 |
| NASSLLI-SS 2010 |
NASSLLI 2010 STUDENT SESSION | |
| Jun 26, 2010 - Jun 26, 2010 |
Bloomington, Indiana, USA |
Apr 5, 2010 |
| LOPSTER 2010 |
20th International Symposium on Logic-Based Program Synthesis and Transformation | |
| Jul 23, 2010 - Jul 25, 2010 |
Hagenberg, Austria |
Mar 25, 2010 |
| ILP 2010 |
20th International Conference on Inductive Logic Programming | |
| Jun 27, 2010 - Jun 30, 2010 |
Firenze, Italy |
Feb 27, 2010 (Feb 20, 2010) |
| DEON 2010 |
10th International Conference on Deontic Logic in Computer Science | |
| Jul 7, 2010 - Jul 9, 2010 |
Firenze, Italy |
Feb 27, 2010 |
| DALT 2010 |
8th International Workshop on Declarative Agent Languages and Technologies | |
| May 10, 2010 - May 10, 2010 |
Toronto, Canada |
Feb 2, 2010 (Jan 28, 2010) |
| ICLP 2010 |
International Conference on Logic Programming | |
| Jul 16, 2010 - Jul 19, 2010 |
Edinburgh, Scotland, U.K. |
Feb 2, 2010 (Jan 26, 2010) |
| NMR 2010 |
13th Internatıonal Workshop on Non-monotonıc Reasonıng | |
| May 14, 2010 - May 16, 2010 |
Sutton Place, Toronto, Canada |
Jan 29, 2010 |
| DL 2010 |
23rd International Workshop on Description Logics | |
| May 4, 2010 - May 7, 2010 |
Waterloo, Canada |
Jan 26, 2010 |
| LICS 2010 |
Twenty-Fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE | |
| Jul 11, 2010 - Jul 14, 2010 |
Edinburgh, Scotland, U.K. |
Jan 17, 2010 (Jan 10, 2010) |
| CAV 2010 |
22nd International Conference on Computer Aided Verification | |
| Jul 15, 2010 - Jul 19, 2010 |
Edinburgh, United Kingdom |
Jan 15, 2010 (Jan 11, 2010) |
