3rd CfP Computability in Europe

FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)

COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3


EXTENDED Submission Deadline for LNCS: 21 January 2015
Notification of authors: 9 March 2015
Deadline for final revisions: 6 April 2015

CFP: Workshop on Logic and Information (5th UNILOG)

Workshop at the Fifth World Conference on Universal Logic
25-30 June 2015
University of Istanbul

Workshop on Philosophy of Computer Science

This workshop is co-located with the 5th Universal Logic and organized by Petros Stefaneas (National Technical University of Athens, Greece) and Nicola Angius (University of Sassari, Italy). Deadline for extended abstracts submission is November 15th, 2014.

Workshop on Proof at Intelligent Computer Mathematics Conference

In this workshop contributions are solicited for discussions on the current state of the art of computer aided theorem proving (ATP), approaching the topic from the mathematical (or even philosophical) side, as well as from computer science.

Program HaPoP-2 available!

We are happy to announce that the program for the second international symposium for the history and philosophy of programming, organised as part of the AISB 50th Annual Convention 2014 held at Goldsmiths, University of London, is now available:

Friday, April 4, 2014

Session 1: 11h-13h

2nd CfP: Sixth Workshop on the Philosophy of Information

Submissions are invited for the Sixth Workshop on the Philosophy of Information, which will take place at Duke University, 15th–16th of May 2014.

Deadline: 1st of March

CfP: Women, Gender and Information and Communication Technologies

Call for Contributions

International Symposium: Women, Gender and Information and Communication Technologies, Paris, 15-16 May 2014

Organized by LabEx EHNE (Écrire une histoire nouvelle de l’Europe - Writing a New History of Europe),


Subscribe to News