27January2012
Posted under: Activities; Call for papers; Computer Science; Conference and workshop reports; Upcoming deadlines.
| Information provided by |
Giuseppe Primiero |
| Friday, January 27, 2012 18:00 |
to |
Saturday, March 3, 2012 00:00 |
CALL FOR PAPERS
Symposium on the History and Philosophy of Programming
5-6 July 2012
http://www.computing-conference.ugent.be/hapop12
as part of
AISB/IACAP World Congress 2012 - Alan Turing 2012
2-6 July 2012
http://events.cs.bham.ac.uk/turing12/index.php
OCCASION
As part of the AISB/IACAP World Congress programme, the Centre for Logicand Philosophy of Science at Ghent University organizes a one day
Symposium ... (Read the rest of the entry >>)
27January2012
Posted under: Activities; Job annoucements; Proof Theory.
| Information provided by |
ILLC |
| Friday, January 27, 2012 18:00 |
to |
Sunday, February 19, 2012 00:00 |
Professorship in nonclassical logics in computer science, Vienna (Austria)
Announcement of an open position at the Faculty of Informatics, Vienna University of Technology, Austria Professorship of Nonclassical Logics in Computer Science for a five year term. The applicant is required to have an outstanding academic record in the field of Logic. In particular it is ... (Read the rest of the entry >>)
26January2012
Posted under: Conference and workshop announcements; Events.
| Information provided by |
Yacin Hamami |
Date, Place and Website
30-31 January 2012
Paris, France
Website: http://imi2012.sciencesconf.org/
Workshop Description
The aim of the Interrogative Model of Inquiry Workshop is to bring together researchers interested in Hintikka's Interrogative Model of Inquiry (IMI), and to promote cooperation and exchange on research projects related to the development of the IMI. The workshop will be the occasion to assess the different past scientific contributions to the IMI, and to open and discuss possibilities ... (Read the rest of the entry >>)
26January2012
Posted under: Conference and workshop announcements.
| Information provided by |
Rasmus Rendsvig |
JELIA 2012
12th European Conference on Logics in Artificial Intelligence
-- Toulouse, France, September 26-28, 2012
http://www.irit.fr/jelia2012
Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journees Europeennes ... (Read the rest of the entry >>)
26January2012
Posted under: Activities; Conference and workshop announcements.
| Information provided by |
Rasmus Rendsvig |
| Thursday, April 19, 2012 |
to |
Saturday, April 21, 2012 |
1st Conference on Games, Interactive Rationality and Learning
(G.I.R.L.'12@Lund)
Lund, Department of Philosophy and Cognitive Science,
April 19-21 2012
Formal philosophy relies increasingly on simulations, and sometimes on empirical test, coming closer to both computer-, cognitive- and social sciences. Some examples are learning-theoretic models of inquiry, network theory-based approaches in social epistemology, and game-theoretic evolutionary approaches of communication. The ... (Read the rest of the entry >>)
21January2012
Posted under: Activities; Call for papers; Decision Theory; Game Theory.
| Information provided by |
Olivier Roy |
| Saturday, January 21, 2012 06:00 |
to |
Thursday, March 1, 2012 00:00 |
Tenth Conference on Logic and the Foundations of Game and Decision Theory
University of Sevilla, Spain, June 18-20, 2012 http://personal.us.es/hvd/loft/
AIMS OF THE CONFERENCE
This is the tenth in a series of bi-annual conferences on the application of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring ... (Read the rest of the entry >>)
Loading...
