News

Vienna Summer of Logic

**Vienna Summer of Logic Announcement**

In the summer of 2014, Vienna will host the largest event in the history of
logic. The Vienna Summer of Logic (VSL) will consist of twelve large
conferences and numerous workshops, attracting an expected number of 2500
researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from
three important aspects: logic in computer science, mathematical logic and
logic in artificial intelligence.

A Women in Computing Group at MDX University

Dr. Kelly Androutsopoulos (http://www.cs.mdx.ac.uk/people/kelly-androutsopoulos/) is the promoter of a Women in Computing Group at Middlesex University London, UK. The purpose of this group is to bring together Middlesex-affiliated women who are studying or interested in Computing and to share common interests, concerns and ambitions. Even for those not based in London (or -- for that matter -- also for men) this is a way to approach the issues related to women in computing and have a stream of related information.

CTFM 2014

The fourth conference in the series COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS will take place at the Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014.

CfP: IACAP14

The 2014 annual Meeting of the International Association for Computing and Philosophy http://www.iacap.org/ will be held at the Anatolia College/ACT (Thessaloniki, Greece) on July 2-4, 2014

This year’s meeting of the International Association for Computing and Philosophy will be held at Anatolia College/ACT in Thessaloniki, Greece.

CiE: 2nd CfP

*******************************************************************
2nd CALL FOR PAPERS:

CiE 2014: Language, Life, Limits

Budapest, Hungary

June 23 - 27, 2014

http://cie2014.inf.elte.hu

IMPORTANT DATES:

Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014

AISB50 Convention Flyer

The second edition of the Symposium on the History and Philosophy of Programming organized by the HaPoC Commission will take place at Goldsmiths University of London London, within the programme of the 50th AISB Convention. The organizers of the Convention have now prepared and distributed a flyer, available here.

CfP 7th Symposium on Computing and Philosophy

The 7th AISB Symposium on Computing and Philosophy:
Is computation observer-relative?

AISB-50, Goldsmiths, London, 1-4 April 2014

As part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths,
University of London
http://www.aisb.org.uk/events/aisb14

The convention is organised by the Society for the Study of Artificial
Intelligence and Simulation of Behaviour (AISB)
http://www.aisb.org.uk/

OVERVIEW:

CfP HaPoP2

-----
Second Call for Papers
Second Symposium on History and Philosophy of Programming

www.computing-conference.ugent.be/hapop2

Organised by the Commission for the History and Philosophy of Computing
www.hapoc.org

At AISB-50, Goldsmiths, London
1-4, April 2014

As part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st--4th 2014

CiE2014: First CfP

Pages

Subscribe to News