[LOGIC] List Mailing Archive 2012
Subscribe
to
the [LOGIC] list in order to receive information about conferences, job
advertisements and logic-related news.
Archived years:
2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all
Received: 2012-02-20:
- SAT 2012: Theory and Applications of Satisfiability Testing, 17-20 June 2012, Trento, Italy
- ESSLLI 2012 Student Session, 6-17 August 2012, Opole, Poland
- Postdoctoral position in verification, Paris (France)
- Turing Centenary Conference, 22-25 June 2012, Manchester, U.K.
- INFTY Short and Exchange Visits programme, Deadline: 1 April 2012
- CfPart CMCS 2012, 31 Mar - 1 Apr 2012, Tallinn, Estonia
Received: 2012-02-17:
- DARC: Dynamics of Argumentation Rules and Conditionals, 2-3 Apr 2012, Luxembourg, Luxembourg
- DEON 2012: Deontic Logic in Computer Science, 16-18 July 2012, Bergen, Norway
- CL&C 2012: Classical Logic and Computation, 8 Jul 2012, Warwick, England
- CSL 2012: Computer Science Logic, 3-6 Sep 2012, Fontainebleau, France
- Informal meeting to celebrate John Tucker's 60th birthday, 12 April 2012, Swansea, Wales
- PhD student grant in philosophy of mind, Bochum (Germany), Deadline: 10 March 2012
Received: 2012-02-12:
- Postdoctoral research fellowship in formal verification, Brno (Czech Republic), Deadline: 12 Mar 2012
- Final CfP: AiML 2012, 22-25 Aug 2012, Copenhagen, Denmark
- 2nd CfP SWAT 2012, 4-6 Jul 2012, Helsinki, Finland
- BSCS: Budapest Semester in Cognitive Science, Budapest (Hungary)
- Newton Fellowship Scheme (2y postdoctoral positions in the UK), Deadline: 16 April 2012
- Postdoctoral position (AkadR a.Z.) in theoretical philosophy, Erlangen (Germany), Deadline: 20 Feb 2012
Received: 2012-02-11:
- 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, Denmark
- Three associate professorships in theoretical computer science, Stockholm (Sweden), Deadline: 29 Feb 2012
- PhD student or postdoctoral position in induction of logical propositions, Heidelberg (Germany), Deadline: 29 Feb 2012
- PhD student positions or postdoctoral position in theoretical philosophy, Aachen (Germany)
- PhD student position in model checking, Kassel (Germany), Deadline: 8 March 2012
- PhD student position in theoretical foundations of computational music, Bordeaux (France)
Received: 2012-02-03:
- Deadline extension: FOIS 2012, 24-27 July 2012, Graz, Austria
- 2nd CfP "Strategies for Learning, Belief Revision and Preference Change", 13-17 Aug 2012, Opole, Poland
- Alfried Krupp Junior Fellowships 2012/13, Greifswald (Germany)
- Postdoctoral position in formal representation of narratives, Hamburg (Germany), Deadline: 24 February 2012
- Pre- or postdoctoral position in Artificial Intelligence, Osnabrueck (Germany), Deadline: 21 February 2012
- Lectureship in pure mathematics, Bristol (U.K.), Deadline: 20 Feb 2012
Received: 2012-02-02:
- Cf Workshop Proposals: ICSC 2012 (Semantic Computing), 19-21 Sep 2012, Palermo, Italy
- Senior Fellowships 2013/14 (one semester or one year), Greifswald (Germany), Deadline: 30 Apr 2012
- 2nd CfP "Logic and Cognition", 13-17 Aug 2012, Opolo, Poland
- Postdoctoral position in KR & Agents, Melbourne (Australia)
- Postdoctoral position in Logic and Complexity Theory, Cambridge (U.K.)
- Permanent research staff position at IBM Watson Center, Hawthorne NY (U.S.A.), Deadline: 19 Feb 2012
Received: 2012-02-01:
- Deadline extension: DGL 2012, 28-30 June 2012, Munich, Germany
- CfP special issue of Fund.Inf. on "Logic, Agents and Mobility"
- SC 2012: Spatial Cognition, 31 Aug - 3 Sep 2012, Kloster Seeon, Germany
- Deadline extension for the symposia at the AISB/IACAP World Congress 2012, 2-6 July 2012, Birmingham, U.K.
- MFPS XXVIII: Mathematical Foundations of Programming Semantics, 6-9 June 2012, Bath, U.K.
- Colloquium on the Theory of Software Verification, 13 March 2012, Cachan, France
Received: 2012-01-31:
- Senior or Junior Visiting Fellowships in Philosophy of Languages, Bochum (Germany)
- LOPSTR 2012: Logic-based program synthesis and transformation, 18-20 Sep 2012, Leuven, Belgium
- CSL 2012: Computer Science Logic, 3-6 Sep 2012, Fontainebleau, France
- 7th IFIP Conference on Theoretical Computer Science 2012, 26-28 Sep 2012, Amsterdam, The Netherlands
- Pisa Summer Workshop in Proof Theory, 12-15 June 2012, Pisa, Italy
- CLODEM 2012: Comparing Logical Decision Methods, 30 June 2012, Manchester, U.K.
Received: 2012-01-27:
Received: 2012-01-26:
- Games, Game Theory and Game Semantics, 18-20 May 2012, Riga, Latvia
- GIRL 2012: Games, Interactive Rationality and Learning, 19-21 Apr 2012, Lund, Sweden
- Alexander Tamas Research Fellowship on Machine Superintelligence, Oxford (U.K.), Deadline: 27 Feb 2012
- Judgment Aggregation Computational Perspectives Workshop, 1 February 2012, Luxembourg, Luxembourg
- 1st CfP: DCM 2012 (Developments on Computational Models), 17 June 2012, Cambridge, U.K.
- Fellowships in the academic year 2012/13: Center for Mind, Brain and Cognitive Evolution, Bochum (Germany), Deadline: 1 June 2012
Received: 2012-01-23:
- 5th Young Set Theory Workshop, 30 Apr - 4 May 2012, Luminy, France
- Wittgenstein-Symposium, 5-11 Aug 2012, Kirchberg am Wechsel, Austria
- CfP special issue of Erkenntnis on Game theoretical models of Communication, deadline: 31 March 2012
- SAT 2012: Satisfiability Testing, 17-20 Jun 2012, Trento, Italy
- KI 2012: Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, Germany
- new association: CADILLAC, Copenhagen Association for Dynamics, Interaction, Logic, Language And Computation
Received: 2012-01-21:
- Formal Models of Communication, 6-10 Aug 2012, Opole, Poland
- CLFL 2012: Computational Linguistics for Literature, 8 June 2012, Montreal QC, Canada
- Philosophy, Mathematics, Linguistics: Aspects of Interaction, 22-25 May 2012, St. Petersburg, Russia
- GAP.8, 17-20 Sep 2012, Konstanz, Germany
- W1 Junior Professorship in Algorithmic Game Theory, Paderborn (Germany), Deadline: 29 February 2012
- FOIS 2012: Formal Ontologies in Information Systems, 24-27 July 2012, Graz, Austria
Received: 2012-01-20:
- UCLA Logic Center Summer School, 24 Jun - 14 Jul 2012, Los Angeles CA, U.S.A.
- Call for Workshop Proposals: ICLP 2012, 4-8 Sep 2012, Budapest, Hungary
- Final Submission Information CiE 2012, 18-23 June 2012, Cambridge, U.K.
- 2nd CfP: LOFT10 2012, 18-20 June 2012, Sevilla, Spain
- PhD student or postdoctoral position in reasoning under uncertainty, Muenchen (Germany)
- Professorship in nonclassical logics in computer science, Vienna (Austria), Deadline: 18 Feb 2012
Received: 2012-01-15:
- CNL 2012: Controlled Natural Languages, 29-31 Aug 2012, Zuerich, Switzerland
- DALT 2012: Declarative Agent Languages and Technologies, 4-5 June 2012, Valencia, Spain
- Postdoctoral position in software agents for model based diagnosis, London (U.K.)
- Call for Tutorials: EASSS 2012, 28 May-1 June 2012, Valencia, Spain
- 2nd CfP: DGL 2012, 28-30 June 2012, Munich, Germany
- JELTA 2012: Logics in Artificial Intelligence, 26-28 Sep 2012, Toulouse, France
Received: 2012-01-13:
- COIN: Coalgebra in the Netherlands, 23 Jan 2012, Nijmegen, The Netherlands
- Symposium on Computational Philosophy, 2-6 Jul 2012, Birmingham, U.K.
- PhD student positions in programming methodology, Zuerich (Switzerland)
- Final CfP: CiE 2012, 18-23 Jun 2012, Cambridge, U.K.
- 2nd CfP: IJCAR 2012, 26 Jun - 1 Jul 2012, Manchester, U.K.
- "IBM Watson from Jeopardy! to Healthcare", 17 Feb 2012, Cambridge, U.K.
Received: 2012-01-09:
- 2nd CfP: Trends in Logic XII, 3-5 June 2012, Bochum, Germany
- RTA 2012: deadline extension, 28 May - 2 June 2012, Nagoya, Japan
- Call for Tutorial Proposals: KI 2012, 24-27 Sep 2012, Saarbruecken, Germany
- First Amsterdam Workshop on Decomposing and Regenerating Syntactic Trees, 12 January 2012, Amsterdam, The Netherlands
- Postdoctoral position in Theoretical Computer Science, Stockholm (Sweden), Deadline: 31 Jan 2012
- PhD student position in multi-agent organisations, Delft (The Netherlands), Deadline: 31 Jan 2012
Received: 2012-01-06:
- UTP 2012: Unifying Theories of Programming, 27-28 Aug 2012, Paris, France
- 2nd CfP: Logical Approaches to Barriers in Complexity II, 26-30 Mar 2012, Cambridge, U.K.
- LAMAS 2012: Logical Aspects of Multi-Agent Systems, Valencia (Spain), 4/5 June 2012
- Postdoctoral fellowship in history and philosophy of science, Pittsburgh PA (U.S.A.), Deadline: 15 Feb 2012
- Final CfP: LICS 2012, 25-28 June 2012, Dubrovnik, Croatia
- Call for Workshop Proposals: KI 2012, 24-27 Sep 2012, Saarbruecken, Germany
Received: 2012-01-02:
Archived years:
2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all