FLoC 2014

THE SIXTH FEDERATED LOGIC CONFERENCE Vienna

http://vsl2014.at/floc-ws/

THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014) Part of VIENNA SUMMER OF LOGIC (VSL 2014) July 2014, Vienna, Austria

SECOND CALL FOR WORKSHOPS

The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, [...]

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 [...]

MDK MCS

Special Issue on Mathematics, Data and Knowledge, Mathematics in Computer Science Thuwal

Submissions: Mar 31, 2013

http://mine.kaust.edu.sa/Pages/CFP-MCS-SI.aspx

Call for Papers

Special Issue on Mathematics, Data and Knowledge (

http://mine.kaust.edu.sa/Pages/CFP-MCS-SI.aspx)

Mathematics in Computer Science (

http://www.springer.com/birkhauser/mathematics/journal/11786)

There is a growing interest in applying mathematical theories and methods (from topology, computational geometry, differential equations, [...]

CiE 2013

CiE 2013: The Nature of Computation Logic, Algorithms, Applications Milano

Submissions: Jan 20, 2013

http://cie2013.disco.unimib.it

************************************************************************ CALL FOR PAPERS:

CiE 2013: The Nature of Computation

Logic, Algorithms, Applications

Milan, Italy

July 1 – 5, 2013

http://cie2013.disco.unimib.it

IMPORTANT DATES:

Submission Deadline for LNCS: 20 January 2013 Notification of authors: 4 [...]

FOMCAF13

Foundation of Mathematics for Computer-Aided Formalization Padova

Submissions: Jan 09, 2013

http://events.math.unipd.it/fomcaf13/

Call for participation

We are pleased to announce the workshop

“Foundation of Mathematics for Computer-Aided Formalization”

to be held in Padova (Italy), 9-11 January 2013.

For more information (motivations, registration, contributed talks) please refer to the webpage:

http://events.math.unipd.it/fomcaf13/

Invited speakers include:

[...]

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 [...]

CiE 2013

CiE 2013: The Nature of Computation Logic, Algorithms, Applications Milano

Submissions: Jan 20, 2013

http://cie2013.disco.unimib.it

************************************************************************ CALL FOR PAPERS AND SPECIAL AWARDS:

CiE 2013: The Nature of Computation

Logic, Algorithms, Applications

Milan, Italy

July 1 – 5, 2013

http://cie2013.disco.unimib.it

IMPORTANT DATES:

Submission Deadline for LNCS: 20 January 2013 Notification [...]

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) [...]

VSTTE 2013

Fifth Working Conference on Verified Software:Theories, Tools, and Experiments Atherton

Submissions: Mar 01, 2013

https://sites.google.com/site/vstte2013/

CALL FOR PAPERS Fifth Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2013) May 17–19, 2013, Atherton, California [https://sites.google.com/site/vstte2013/]

The Fifth IFIP Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural [...]

BCTCS 2013

British Colloquium for Theoretical Computer Science Bath

Submissions: Feb 28, 2013

http://cs.bath.ac.uk/bctcs2013

============================================================ British Colloquium for Theoretical Computer Science Bath, UK 24th-27th March 2013

http://cs.bath.ac.uk/bctcs2013

FIRST CALL FOR CONTRIBUTED TALKS AND PARTICIPATION

Deadline for application for bursaries: 28th February 2013 Deadline for abstract submission: 10th March 2013 Deadline for registration: 10th March 2013

[...]