BSI2013

The 2013 Interna​tional Workshop on B​ehavior and Social I​nformatics (BSI2013)​ Queensland

Submissions: Jan 06, 2013

http://pakdd2013.pakdd.org/

* Apologies if you received multiple copies of this announcement. * Kindly forward to those who may be interested. Thanks.

====================================================================================

BSI2013: Call for Papers (Due on January 06, 2013)

==================================================================================== The 2013 International Workshop on [...]

AISB 2013

Artificial Intelligence and Simulation of Behaviour 2013 Exeter

Submissions: Jan 14, 2013

http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR CONTRIBUTIONS

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour;

http://www.aisb.org.uk)

University of Exeter, UK 2-5 April 2013

http://emps.exeter.ac.uk/computer-science/research/aisb/

SPECIAL SESSIONS with * Utku Ünver (market design and [...]

AISB 2013

Enabling Domain Experts to use Formalised Reasoning, Stage 2 Exeter

http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR CONTRIBUTIONS

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour;

http://www.aisb.org.uk)

University of Exeter, UK 2-5 April 2013

http://emps.exeter.ac.uk/computer-science/research/aisb/

SPECIAL SESSIONS with * Utku Ünver (market design and matching problems) [...]

CASC 2013

15th International Workshop in Computer Algebra in Scientific Computing Berlin

Submissions: Jul 16, 2013

http://www14.in.tum.de/CASC2013/

Dear colleagues,

the 15th International Workshop in Computer Algebra in Scientific Computing, CASC 2013, will be held in the city of Berlin, Germany, September 9-13, 2013: http://www14.in.tum.de/CASC2013/

You find the Call for Posters at http://www14.in.tum.de/CASC2013/index.php/call-for-posters

CASC, the International [...]

PSI’14

ERSHOV INFORMATICS CONFERENCE St. Petersburg

Submissions: Jan 20, 2013

http://psi.nsc.ru/psi14

************************************************************************** Call for Papers ERSHOV INFORMATICS CONFERENCE (PSI’14) 24 June – 27 June, 2014, Peterhof, St. Petersburg, Russia

http://psi.nsc.ru/psi14

**************************************************************************

[AIMS AND SCOPE]

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research [...]

MACIS 2013

Fifth International Conference on Mathematical Aspects of Computer and Information Sciences Nanning

Submissions: Oct 12, 2013

http://www.mpi-inf.mpg.de/conference/macis2013/

MACIS 2013 – Fifth International Conference on Mathematical Aspects of Computer and Information Sciences Nanning, China, December 11-13, 2013

http://www.mpi-inf.mpg.de/conference/macis2013/

DEADLINE EXTENSION AND SECOND CALL FOR PAPERS

- Submission of papers/extended abstracts: October 12, 2013 – [...]

THedu’13

TP components for educational software Bath

Submissions: May 06, 2013

http://www.uc.pt/en/congressos/thedu

THedu’13 TP components for educational software (http://www.uc.pt/en/congressos/thedu)

Co-located with CICM 2013 Conferences on Intelligent Computer Mathematics 8.-12. July 2013 Bath, UK

http://www.cicm-conference.org/2013/cicm.php

———————————————————————-

THedu’13 Scope ————–

THedu is a forum to gather the research communities for computer Theorem Proving (TP), [...]

Symposium at the annual convention of the AISB

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) Exeter

Submissions: Jan 14, 2013

http://www.aisb.org.uk

CALL FOR CONTRIBUTIONS

Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) University of Exeter 2-5 [...]

Logica 2013

Logica 2013 Hejnice

Submissions: Feb 14, 2013

http://www.flu.cas.cz/logica

CALL FOR PAPERS

The Institute of Philosophy, Academy of Sciences of the Czech Republic, announces

LOGICA 2013

the 27th in the series of annual international symposia devoted to logic, to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague) 17 – 21 [...]