-
AIMSA 2010. The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications. Varna, Bulgaria, 8-10th September, 2010Submission deadline: April 15th, 2010 http://www.aimsaconference.org
- UNIF 2010 24th International Workshop on Unification
14 July 2010, Edinburgh, UK. A FLoC workshop associated to RTA and IJCAR. Submission deadline: April 4th, 2010 http://www.dcs.kcl.ac.uk/staff/maribel/UNIF.html
- CILC2010. XXV Italian Conference on Computational Logics. http://www.mat.unical.it/CILC2010 Submission deadline April 15 2010.
- ASPOCP 2010. Workshop on Answer Set Programming and Other Computing Paradigms http://www.dbai.tuwien.ac.at/proj/aspocp10/ Submission deadline April 3 2010.
- LOGICS IN SECURITY (workshop at ESSLLI 2010) August 9-13, 2010 Copenhagen, Denmark
http://lis.gforge.uni.lu http://esslli2010cph.info/ . Submission deadline: April 15th, 2010.
- WCB10 – Workshop on Constraint Based Methods for Bioinformatics. July 21st, 2010 Edinburgh. co-located to ICLP/FLOC 2010. Submission deadline: April 8th, 2010 http://wcb10.dimi.uniud.it/
- SecureComm ’10 6th International Conference on Security and Privacy in Communication NetworksSeptember 7-10, 2010, Singapore. Submission deadline: April 19th, 2010 http://www.securecomm.org/
- LFMTP 2010 5th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. July 14, 2010, Edinburgh, Scotland, UK. Part of FLOC. Submission deadline: April 7, 2010 http://lfmtp10.dimi.uniud.it
- ESORICS2010. 15th European Symposium on Research in Computer Security Hotel AMARILIA, Vouliagmeni, Athens, Greece. 20-22 September 2010. Submission deadline: April 7, 2010 www.esorics2010.org
- LOPSTR 2010. 20th International Symposium on Logic-Based Program Synthesis and Transformation http://www.risc.uni-linz.ac.at/conferences/lopstr2010/ Hagenberg, Austria, July 23-25, 2010 (co-located with PPDP 2010). Submission closed.