Institute for Logic, Language and Computation

Archives

News Archives 2013

This page provides information about former developments at ILLC . Please let us know if you have material that you would like to be added to the news page, by using the online submission form or sending an email to the ILLC Buro. English submissions strongly preferred.

Please note that links in this section to external sites are not kept updated.

Sections

  1. Past Events
  2. Calls for Papers
  3. Upcoming Conferences
  4. MoL and PhD defenses
  5. Projects and Awards
  6. Funding, Grants and Competitions
  7. Open Positions at ILLC
  8. Open Positions, General
  9. Miscellaneous
  10. Regular Events

There are also pages for former news items and past events for 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011 and 2012, and for current news of course.

Headlines Past Events

Headlines Calls for Papers

Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines Miscellaneous

Headlines Regular Events


Past Events

  • (Updated) 17 May 2013, DIP Colloquium, Paula Quinon

    Speaker: Paula Quinon
    Title: Extended Frege's Constraint
    Date and time: Friday 17 May 2013, 16:00-17:30
    Location: Room B0.204, Science Park 904, Amsterdam [new location]

    For abstracts and more information, see http://sites.google.com/site/illcdip/.

  • 17 May 2013, Cool Logic, Sam van Gool

    Speaker: Sam van Gool
    Title: A Topological Proof of Gödel's Completeness Theorem for First-Order Logic
    Date and time: Friday 17 May 2013, 17:30-18:30
    Location: Room F1.15, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

  • 15 May 2013, Computational Linguistics Seminar, Gideon MdB Wenniger

    Speaker: Gideon MdB Wenniger
    Title: Hierarchical Alignment Decomposition Labels for Hiero Grammar Rules
    Date and time: Wednesday 15 May 2013, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

  • 14 May 2013, Logic and Interactive Rationality (LIRa), Sebastian Sequoiah-Grayson

    Speaker: Sebastian Sequoiah-Grayson
    Title: Attitudes and Duals
    Date and time: Tuesday 14 May 2013, 15:30-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 13 May 2013, Logic Tea, Oliver Kutz

    Speaker: Oliver Kutz
    Title: Connecting Logics
    Date and time: Monday 13 May 2013, 17:00-18:00
    Location: Room F1.15, Science Park 107, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

    Or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5038.

  • 7 May 2013, Logic Tea, Elliott Wagner

    Speaker: Elliott Wagner
    Title: The Emergence of Semantic Meaning in Finite Populations
    Date and time: Tuesday 7 May 2013, 17:00-18:00
    Location: Room F1.15, Science Park 107, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

    Or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5024.

  • 3 May 2013, Cool Logic, Philip Schulz

    Speaker: Philip Schulz
    Title: A Naïve View on Language
    Date and time: Friday 3 May 2013, 17:30-18:30
    Location: Room F1.15, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

  • 26 April 2013, SMART Cognitive Science Lecture, Daniel Everett

    Speaker: Daniel Everett (Bentley University)
    Title: SMART CS Debate on Language, thought & recursion and ACLC lecture
    Date and time: Friday 26 April 2013, 13:00-16:30

    For more information, see http://smartcognitivescience.wordpress.com/

  • 26 April 2013, Computational Social Choice Seminar, Femke Bekius

    Speaker: Femke Bekius
    Title: The Minimum Cost Spanning Tree Problem
    Date and time: Friday 26 April 2013, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4996 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

  • 25 April, Farewell reception Reinhard Blutner

    Date and time: Thursday 25 April, 17:00-18:30
    Location: ILLC Common Room (F1.21), Science Park 107, Amsterdam

    Dr Reinhard Blutner, assistant professor at ILLC since 2002, will be retiring at the end of May 2013. We are pleased to invite you to take leave of him during a reception on Thursday 25th April next, from 17:00 - 18:30 h in the Common Room at ILLC (Science Park 107, room F1.21).

  • 25 April 2013, New Trends in e-Humanities, John Ashley Burgoyne

    Speaker: John Ashley Burgoyne
    Title: Fishing for Hooks: An Empirical Approach to Understanding Long-Term Musical Salience
    Date and time: Thursday 25 April 2013, 15:00
    Location: Meertens Institute, Joan Muyskenweg 25, Amsterdam (right next to the Overamstel metro station)

    The e-Humanities Group is an initiative of the KNAW that brings together expertise and research in the development and use of digital technologies in the humanities and social sciences. The e-Humanities Group generally holds a research meeting every Thursday afternoon, and persons interested in the topics of the presentations are welcome to attend.

    Next thursday's talk by John Ashley Burgoyne will introduce an ongoing study of musical catchiness from the perspective of music cognition.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5005 or http://ehumanities.nl/projects/overview-of-e-humanities-group-research-meetings/

  • 23 April 2013, Logic and Interactive Rationality (LIRa), Cancelled

    Speaker: Cancelled (was: Olivier Cailloux)
    Newsitem added on 24 March 2013.

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 22. April 2013, Logic Tea, Catrin Campbell-Moore

    Speaker: Catrin Campbell-Moore
    Title: Type-free, Predicate Approaches to Probability here
    Date and time: Monday 22. April 2013, 18:00-19:00
    Location: Room F1.15, Science Park 107, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

    Or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4999.

  • 19 April 2013, Cool Logic, Hans Grathwohl

    Speaker: Hans Grathwohl
    Title: The Computational Content of Classical Proofs
    Date and time: Friday 19 April 2013, 17:30-18:30
    Location: Room F1.15, SP 107, Amsterdam
    Target group: MSc Logic and PhD students

    For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

  • 16 April 2013, Logic and Interactive Rationality (LIRa), Soroush Rafiee Rad

    Speaker: Soroush Rafiee Rad
    Title: Reasoning With Inconsistencies: A first order account
    Date and time: Tuesday 16 April 2013, 15:30-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 12 April 2013, Leve de Wiskunde!

    Date and time: Friday 12 April 2013, 09:00-16:00
    Location: Science Park 904, Amsterdam

    (Dutch only)
    Vrijdag 12 april is het weer zo ver: Leve de Wiskunde! 2013. Tijdens dit jaarlijks terugkerend congres vertellen vooraanstaande wetenschappers over hun bevindingen in en rondom de wiskunde. van financiële wiskunde tot symmetriepatronen en van forensische statistiek tot de filosofie achter getallen.

    Het wiskundecongres geeft inzicht in actuele ontwikkelingen in het vakgebied en is bedoeld om docenten havo/vwo te informeren, inspireren en om te ontmoeten.

    Voor meer informatie en aanmelden, zie http://betaonderwijs.uva.nl/agenda/content/congressen/2013/04/

  • 12 April 2013, DIP Colloquium, Luca Incurvati

    Speaker: Luca Incurvati
    Title: That's it, you're grounded!
    Date and time: Friday 12 April 2013, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    For abstracts and more information, see http://sites.google.com/site/illcdip/.

  • 12 April 2013, Leve de Wiskunde!, Science Park 904, Amsterdam

    Newsitem added on 28 March 2013.

    Op vrijdag 12 april 2013 vindt voor de elfde maal het jaarlijkse congres Leve de Wiskunde! plaats op de UvA. Wetenschappers vertellen over hun onderzoek in en rondom de wiskunde. Docenten wiskunde, geïnteresseerde 6-vwo scholieren en andere belangstellenden zijn van harte uitgenodigd!

    Voor meer informatie, zie http://www.uva.nl/levedewiskunde/

  • 11-12 April 2013, ILLC Workshop on Collective Decision Making, Amsterdam

    Costs: free
    Newsitem added on 16 January 2013.

    To mark the end of the 5-year Vidi Project on Collective Decision Making in Combinatorial Domains, we are organising a small workshop on all aspects of collective decision making. Invited speakers will include Stéphane Airiau (Paris), Umberto Grandi (Padova), Daniele Porello (Trento), and Olivier Caillloux (Amsterdam).

    For more information, see http://www.illc.uva.nl/~ulle/vidi/workshop/ or contact Ulle Endriss <ulle.endriss at uva.nl>.

  • 9 April 2013, Logic and Interactive Rationality (LIRa), Jan van Eijck

    Speaker: Jan van Eijck
    Title: Model Checking Uncertainty about Probability
    Date and time: Tuesday 9 April 2013, 15:30-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 9 April 2013, Logic Tea, Cancelled

    Speaker: Cancelled (was: Michael Franke)
    Newsitem added on 4 April 2013.

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

  • 5 April 2013, NVTI Theory Day 2013, Utrecht, The Netherlands

    Newsitem added on 24 February 2013.

    The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theoryday. This event consists of a scientific part and a business part. In the business part, members of the NVTI discuss the activities of the NVTI and decide what actions and new activities should be undertaken. The scientific part consists of four scientific contributions which are organized as follows: Four speakers are invited, two speakers from abroad and two domestic speakers.

    This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science. Speakers: Wil van der Aalst (Eindhoven University of Technology), Christel Baier (Technical University Dresden, Germany), Marc van Kreveld (Utrecht University) and Barbara Terhal (RWTH Aachen, Germany).

    For more information, see http://www.nvti.nl/Theorydays.html

  • 5 April 2013, Cool Logic, Giovanni Cinà

    Speaker: Giovanni Cinà
    Title: Proof Theory in the light of Categories
    Date and time: Friday 5 April 2013, 17:30-18:30
    Location: Room F1.15, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students


    For more information about upcoming and previous talks, visit our NEW Cool Logic website at http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

  • 4 April 2013, Colloquium on Mathematical Logic, Marek Zawadowski

    Speaker: Marek Zawadowski (Warsaw University)
    Date and time: Thursday 4 April 2013, 15:30-16:30
    Location: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 from Utrecht Central Station).

    For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

  • 3 April 2013, SPUI25 op locatie: Food for thought, Rens Bod

    Speaker: Rens Bod
    Title: Dit land heeft ondernemende alfa's nodig!
    Date and time: Wednesday 3 April 2013, 18:00-19:45
    Location: NRC Restaurant Café, Rokin 65, Amsterdam

    Luisteren naar een goed verhaal en genieten van een maaltijd: dat is Food for thought. Iedere woensdagavond kunt u aanschuiven in aan een gedekte tafel in het NRC restaurant, genieten van een maaltijd en een glas, maar vooral van een boeiende tafelrede. Ditmaal: Rens Bod.

    For more information (in dutch), see http://www.spui25.nl/programma/content/lezingen/2013/04/

  • 2 April 2013, LogiCIC/LIRa Seminar, Marcel Boumans

    Speaker: Marcel Boumans
    Title: Rational consensus of expert judgments in economics
    Date and time: Tuesday 2 April 2013, 15:30-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    Please note that from April 2013 on, the LIRa seminar will be held on TUESDAYS (in our new location: room F1.15 at Science Park 107).

    For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1929

  • 2 April 2013, ACG Colloquium, Matteo Mio

    Speaker: Matteo Mio (CWI)
    Title: Modal mu-calculi for Probabilistic Labeled Transition Systems
    Date and time: Tuesday 2 April 2013, 14:30
    Location: Room L.120, CWI, Science Park 123, Amsterdam

    For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=312

  • 29 March 2013, Colloquium on Mathematical Logic, Jiamou Liu

    Speaker: Jiamou Liu (Auckland University of Technology)
    Title: A Polychromatic Ramsey Theory on Ordinals
    Date and time: Friday 29 March 2013, 16:00-17:00
    Location: Room TBA, Science Park, Amsterdam

    For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

  • 28 March 2013, Logic and Interactive Rationality (LIRa), Ulle Endriss

    Speaker: Ulle Endriss
    Title: Voting as Choosing the Most Representative Voter
    Date and time: Thursday 28 March 2013, 15:30-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 22 March 2013, Cool Logic, Riccardo Pinosio

    Speaker: Riccardo Pinosio
    Title: Some remarks on Boethius' "Consolations of Philosophy"
    Date and time: Friday 22 March 2013, 17:30-18:30
    Location: Room F1.15, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    For more information, contact coollogic.uva at gmail.com

  • 21 March 2013, LogiCIC/LIRa Seminar, Giacomo Sillari

    Speaker: Giacomo Sillari
    Title: You better play 7: mutual versus common knowledgeof advice in a weak-link experiment
    Date and time: Thursday 21 March 2013, 15:30-17:30
    Location: Room TBA, Science Park 904, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar and https://sites.google.com/site/logicicproject/logicic-seminar.

  • 21-22 March 2013, Workshop Public-Private Initiatives in Digital Humanities

    Location: NIAS Conference Building, Meijboomlaan 1, Wassenaar
    Newsitem added on 10 March 2013.

    On 21 and 22 March 2013 all 13 digital humanities projects by UvA, VU and KNAW will present themselves at the Netherlands Institute for Advanced Study (NIAS).

    There will be demos of each project followed by feedback by an expert team. The second day of the workshop will be fully devoted to the future of public-private collaborations in the (digital) humanities as well as of the joint collaboration of KNAW, UvA and VU in CHAT (Center for Humanities and Technology).

    For more information, see http://cdh.uva.nl/news-and-events/events/content/workshops/2013/03/nias.html

  • 21 March 2013, Colloquium on Mathematical Logic, Klaus Meer

    Speaker: Klaus Meer (Technische Universitaet Cottbus)
    Date and time: Thursday 21 March 2013, 14:00--15:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

  • 20 March 2013, PIIA Seminar, Rosalie Iemhoff

    Speaker: Rosalie Iemhoff
    Title: Uniform Interpolation
    Date and time: 20 March 2013, 15:00-15:40
    Location: Room 0.07, Drift 7, Utrecht

    For more information, see http://jeroengoudsmit.com/piia/.

  • 20 March 2013, PIIA Seminar, Jeroen Goudsmit

    Speaker: Jeroen Goudsmit
    Title: Uniform Interpolation
    Date and time: 20 March 2013, 15:00-15:40
    Location: Room 0.07, Drift 7, Utrecht

    For more information, see http://jeroengoudsmit.com/piia/.

  • 19 March 2013, Colloquium on Mathematical Logic, Kazuyuki Tanaka

    Speaker: Kazuyuki Tanaka (Tohoku University, Japan)
    Date and time: Tuesday 19 March 2013, 17:30-18:30
    Location: Room A.110, Science Park 905 (main building), Amsterdam

    For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

  • 15 March 2013, ILLC Current Affairs Meeting

    Date and time: Friday 15 March 2013, 16:00-17.30
    Location: ILLC, Common Room, Science Park 107, Amsterdam

    As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme.

    For more information, contact illc at uva.nl

  • 13-15 March 2013, Amsterdam Workshop on Truth, Amsterdam, the Netherlands

    Newsitem added on 20 February 2013.

    The Amsterdam Workshop on Truth is intended to serve as a meeting point for researchers working on the philosophy of truth in order to discuss latest results and work in progress.
    It will address a wide range of truth-related topics and it is open to more formal or less formal approaches.

    The following speakers have confirmed participation: Stefan Wintein, Philip Welch, Albert Visser, Giulia Terzian, Johannes Stern, Jönne Speck, Sonja Smets, Georg Schiemer, Robert van Rooij, Carlo Nicolai, Iris Loeb, Øystein Linnebo, Graham Leigh, Jeffrey Kettland, Leon Horsten, Volker Halbach, Nina Gierasimczuk, Martin Fischer, Theodora Achourioti.

    Attendance is free of charge, however, registration is required. The deadline for registering is March the 3rd. The workshop will start on Wednesday at 12:00 and end on Friday at 15:00.

    For more information, visit the workshop website (http://www.illc.uva.nl/truth/truth13/) or contact the organisers Dora t.achourioti at uva.nl) and Cian (chartiec at tcd.ie).

  • 11 March 2013, Workshop "Learnability and Computational Models of Language Acquisition"

    Date and time: Monday 11 March 2013, 12:00-16:00
    Location: Room D1.116, Science Park 904, Amsterdam

    Speakers include Afra Alishahi, Barend Beekhuizen, Rens Bod, Gideon Borensztajn, Alex Clark, Jan van Eijck, Shalom Lappin and Jelle Zuidema.

    Program:
    Afra Alishahi: "Language learning as a unified probabilistic process"
    Barend Beekhuizen: "What we can learn from bound learners"
    Rens Bod: "How I got into Sequential Structure: A Personal Odyssey"
    Gideon Borensztajn: "From place cells in rats to human syntax: the construction of a cognitive map of grammar"
    Alex Clark: "Learning trees from strings: a strong learning result for some context-free grammars.
    Jan van Eijck: "Learning from the perspective of dynamic epistemic logic."
    Shalom Lappin: "Towards a Statistical Model of Grammaticality"
    Jelle Zuidema: "Contextfreeness revisited"

    Because the workshop includes lunch and the capacity is limited, we ask those planning to attend to register with Barend Beekhuizen at barendbeekhuizen at gmail.com before March 5th.

    For more information, contact barendbeekhuizen at gmail.com.

    Registration is free, but please register before March 5th. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4903 or contact barendbeekhuizen at gmail.com.

  • 8 March 2013, SMART Cognitive Science Lecture, Eve Clark

    Speaker: Eve Clark (Stanford)
    Title: Language, Interaction, and Acquisition
    Date and time: Friday 8 March 2013, 16:00-17:30
    Location: Doelenzaal, Singel 421, Amsterdam

    For more information, see http://smartcognitivescience.wordpress.com/

  • 8 March 2013, Cool Logic, Stefan Pliquett

    Speaker: Stefan Pliquett
    Title: ''What's Cool about Frege's Logic?''
    Date and time: Friday 8 March 2013, 17:30-18:30
    Location: Room F1.15, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    For more information, contact coollogic.uva at gmail.com

  • 7 March 2013, Logic and Interactive Rationality (LIRa), Karolina Krzyzanowska

    Speaker: Karolina Krzyzanowska (University of Groningen)
    Title: Conditionals and inferencesConditionals and inferences
    Date and time: Thursday 7 March 2013, 15:30-17:30
    Location: (changed!) Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 4 March 2013, Amsterdamlezing, Rens Bod

    Speaker: Rens Bod
    Title: Over de creatieve industrie, de stad en de waarde van de humanities
    Date and time: Monday 4 March 2013, 20:00-21:30
    Location: CREA, Nieuwe Achtergracht 168-178, Amsterdam

    For more information, see http://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/content/lezingen/2013/03/.

  • 1 March 2013, DIP Colloquium, Martin Kåsa

    Speaker: Martin Kåsa
    Title: Semantical considerations on experimental logics
    Date and time: Friday 1 March 2013, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    For abstracts and more information, see http://sites.google.com/site/illcdip/.

  • 1 March 2013, Computational Social Choice Seminar, Olivier Cailloux

    Speaker: Olivier Cailloux (ILLC)
    Title: Preference Modeling in Multiple Criteria Decision Aiding
    Date and time: Friday 1 March 2013, 16:00
    Location: Room D1.113, Science Park 904, Amsterdam

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4877 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

  • 27 Feb 2013, Seminar on Reasoning over ontologies and data

    Date and time: Wednesday 27 Feb 2013, 10:15-13:00
    Location: VU University, W&N building room WN-S631, De Boelelaan 1081a, Amsterdam

    We cordially invite you to a seminar on reasoning over ontologies and data, organized at the VU University Amsterdam. The seminar is held in the context of the PhD defence of Szymon Klarman from the Knowledge Representation and Reasoning group.

    Speakers: Chiara Ghidini, Carsten Lutz, Heiner Stuckenschmidt.

    For more information and abstracts, see http://www.networkinstitute.org/news/reasoning-over-ontologies-and-data/

  • 27 February 2013, Logic and Interactive Rationality (LIRa), Jens Ulrik Hansen (UvA)

    Speaker: Jens Ulrik Hansen (UvA)
    Title: Logical approaches to information dynamics in social contexts
    Date and time: Wednesday 27 February 2013, 15:30-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    Please note that this LIRa session will be exceptionally held on Wednesday, and will be held at the new ILLC location at Science Park 107.

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 22 February 2013, ILLC New Year's Colloquium 2013

    Date and time: Friday 22 February 2013, 16:00-17:00
    Location: ILLC Common Room (F1.21), Science Park 107, Amsterdam

    The ILLC New Year's Colloquium 2013 will have three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Julian Kiverstein (LoLa), Reinhard Blutner (LaCo) andJohan van Benthem (LoCo) have accepted to give presentations.

    For more information, see http://www.illc.uva.nl/ILLCColloquium/NewYear2013/ or contact P.vanOrmondt at uva.nl.

  • 21 February 2013, Logic and Interactive Rationality (LIRa), Kaile Su

    Speakers: Kaile Su (Peking University & 'Future Fellow' Griffith University)
    Title: Model Checking Epistemic Logic with MCTK
    Date and time: Thursday 21 February 2013, 15:30-17:30
    Location: Room D1.115, Science Park 904, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 15 February 2013, DIP Colloquium, Scott Grimm

    Speaker: Scott Grimm
    Title: Degrees of Countability: A Mereotopological Approach to the Mass/Count Distinction
    Date and time: Friday 15 February 2013, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    For abstracts and more information, see http://sites.google.com/site/illcdip/.

  • 14 February 2013, LogiCIC/LIRa Seminar, Mamoru Kaneko

    Speaker: Mamoru Kaneko (Tsukuba University)
    Title: Epistemic Logic and Inductive Game Theory
    Date and time: Thursday 14 February 2013, 15:30-17:30
    Location: Room D1.115, Science Park 904, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar and https://sites.google.com/site/logicicproject/logicic-seminar.

  • 13 February 2013, Algebra|Coalgebra Seminar, Sam van Gool

    Speaker: Sam van Gool
    Title: A non-commutative Priestley duality
    Date and time: Wednesday 13 February 2013, 11:00-13:00
    Location: Room B0.203, Science Park

    For more information, please contact s.sourabh at uva.nl or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4878.

  • 8 February 2013, SMART Cognitive Science Lecture, Ray Jackendoff

    Speaker: Ray Jackendoff (Tufts)
    Title: Language, Meaning, and Rational Thought
    Date and time: Friday 8 February 2013, 16:00-17:30
    Location: Universiteitstheater, Nieuwe doelenstraat 16-18, Amsterdam

    Registration is required. For more information, see http://smartcognitivescience.wordpress.com/2013/01/11/

  • 8 February 2013, Cool Logic, Fatemeh Seifan

    Speaker: Fatemeh Seifan
    Title: Compactness theorem, a topological view
    Date and time: Friday 8 February 2013, 17:30-18:30
    Location: D1.113, Science Park 904, Amsterdam
    Target group: MSc Logic and PhD students

    For more information, contact coollogic.uva at gmail.com

  • 7 February 2013, Logic and Interactive Rationality (LIRa), Roberto Ciuni

    Speaker: Roberto Ciuni (Ruhr University Bochum)
    Title: Completeness of a Group STIT with Next Operator
    Date and time: Thursday 7 February 2013, (changed!) 16:15-18:00
    Location: Room D1.115, Science Park 904, Amsterdam

    Please note that the time of the talk is 16:15-18:00 (and not the usual time-slot).

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 6 February 2013, General Mathematics Colloquium, Jop Briët (CWI)

    Speaker: Jop Briët (CWI)
    Title: Grothendieck's inequality for quantum entanglement and combinatorial optimization
    Date and time: Wednesday 6 February 2013, 11:15-12:15
    Location: C1.112

    Abstract.
    Grothendieck's inequality is a fundamental result to the theory of Banach spaces. But many years after Grothendieck published this result, people realized that it also has important applications in theoretical computer science and physics. In particular, the inequality can be used in quantum information theory to study the mysterious phenomenon of quantum entanglement and in combinatorial optimization to prove performance guarantees of efficient approximation algorithms for NP-hard problems. The aim of this talk is to give an overview of these applications and explain why Grothendieck's inequality and recent generalizations of it are powerful mathematical tools to study them.

    The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/

  • 1 February 2013, DIP Colloquium, Amaia Garcia Odon

    Speaker: Amaia Garcia Odon
    Title: A pragmatic approach to the phenomenon of presupposition conditionalization
    Date and time: Friday 1 February 2013, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    For abstracts and more information, see http://sites.google.com/site/illcdip/.

  • 1 February 2013, Workshop on Multilingual Information Management

    Date and time: Friday 1 February 2013, 10:00-16:30
    Location: Euler zaal, CWI, Science Park 123, 1098 XG Amsterdam

    We would like to invite you to the Presentation day on Multilingual Information Management and Synchronization of Wiki-pages. We have invited people that will give a presentation about their own experience, challenges and opportunities in the context of multilingual information management. These speakers represent news organisations, companies, the Wikimedia community and a related EU project.

    For more information, see http://www.ccct.uva.nl/content/ or http://www.cosyne.eu/.

  • 31 January 2013, LogiCIC/LIRa seminar, Janusz Czelakowski

    Speaker: Janusz Czelakowski
    Title: Freedom and Enforcement in Action - Elements of Formal Action theory
    Date and time: Thursday 31 January 2013, 15:30-17:30
    Location: Room C1.112, Science Park 904, Amsterdam

    For more information, see https://sites.google.com/site/logicicproject/logicic-seminar and http://www.illc.uva.nl/lgc/seminar.

  • 25 January 2013, Cool Logic, Fleur Bouwer

    Speaker: Fleur Bouwer
    Title: How basic is hearing a beat?
    Date and time: Friday 25 January 2013, 17:30-18:30
    Location: Room D1.113, Science Park 904, Amsterdam
    Target group: MSc Logic and PhD students

    For more information, contact coollogic.uva at gmail.com

  • 24 January 2013, Logic and Interactive Rationality (LIRa), Sebastian Enqvist

    Speaker: Sebastian Enqvist
    Title: A Lindström theorem for a class of normal modal logics
    Date and time: Thursday 24 January 2013, 15:30-17:30
    Location: Room A1.04, Science Park 904, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 23 January 2013, PIIA Seminar, Paula Henk

    Speaker: Paula Henk
    Title: On the Possibility of Finding a Relational Semantics for the Interpretability Logic ILMS - a Negative Result.
    Date and time: 23 January 2013, 13:00-15:00
    Location: Room A1.06, Science Park 904, Amsterdam

    For more information, see http://jeroengoudsmit.com/piia/.

  • 18 January 2013, DIP Colloquium, Richard Pettigrew

    Speaker: Richard Pettigrew
    Title: Epistemic utility theory: some applications
    Date and time: Friday 18 January 2013, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    For abstracts and more information, see http://sites.google.com/site/illcdip/.

  • 17 January 2013, Logic and Interactive Rationality (LIRa), Audrey Yap

    Speaker: Audrey Yap
    Title: Time and Dynamics in Epistemic Logic
    Date and time: Thursday 17 January 2013, 15:30-17:30
    Location: Room C1.112, Science Park 904, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

  • 11 January 2013, Dirk van Dalen 80, Utrecht, The Netherlands

    Newsitem added on 9 January 2013.

    Vorige maand bereikte Dirk van Dalen de leeftijd van tachtig jaar. Om Dirk's verjaardag te vieren, hebben we op vrijdagmiddag 11 januari 2013 een bijeenkomst georganiseerd met als hoofd-bestanddelen een voordracht en een receptie. Graag nodigen we U hierbij uit.

    Met het oog op koffie en thee stellen we het op prijs als u uw komst aanmeldt. Voor meer information, zie http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4820.

  • 10 January 2013, Logic and Interactive Rationality (LIRa), Kohei Kishida

    Speaker: Kohei Kishida (ILLC, UvA)
    Title: Public Announcements under Sheaves
    Date and time: Thursday 10 January 2013, 15:30-17:30
    Location: Room A1.04, Science Park 904, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar

Calls for Papers

  • 15-16 November 2013, First annual conference of the Dutch Research School of Philosophy, Erasmus University Rotterdam (deadline: 20 May 2013)

    Newsitem added on 9 May 2013.

    The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

    The OZSW invites academic philosophers to submit an abstract on any topic or within any discipline in philosophy. Deadline for submissions (extended): May 20th, 2013.

    For more information, see http://www.ozsw.nl/ozsw-conference-2013/

  • 23-27 September 2013, Tenth International Tbilisi Symposium on Language, Logic and Computation (deadline: 15 May 2013)

    Newsitem added on 23 December 2012.

    The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

    The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

    The programme committee invites submissions of four page (including references) abstracts on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. Submission deadline (extended): May 15st, 2013.

    For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2013/

  • 5-9 August 2013, Boolean algebra, Lattice theory, universal Algebra, Set theory, Topology (BLAST 2013), Orange CA, U.S.A. (deadline: 15 May 2013)

    Newsitem added on 30 January 2013.

    BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

    BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

    Abstract submission is through Atlas-conferences at http://atlas-conferences.com/cgi-bin/abstract/submit/cbgq-01. Deadline for submissions TBA.

    More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

  • 19-20 September 2013, Modal Metaphysics: Issues on the (Im)Possible, Bratislava, Slovakia (deadline: 15 May 2013)

    Newsitem added on 27 February 2013.

    Keynote speakers: John Divers (Leeds) and Francesco Berto (Aberdeen).

    We invite submissions for a 30 minute presentation followed by a 20 minute discussion. Topics of interest might include (but are not limited to): the nature of possible and impossible worlds; logic of possible and impossible worlds; how possibilia and impossibilia represent?; can we do without them?. Deadline for submissions: 15 May 2013.

    For further details, please visit the conference website at http://metaphysicalsociety.webnode.sk/.

  • 22-24 August 2013, SIGDIAL Conference, Metz, France (deadline: 3 May 2013)

    Newsitem added on 13 March 2013.

    The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialog to both academic and industry researchers. Continuing with a series of thirteen successful previous meetings, this conference spans the research interest areas of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA.

    The program committee welcomes the submission of long papers, short papers, and demo descriptions. The long and short paper submission deadline is Friday, 3 May 2013; the demo submission deadline is Tuesday, 2 July 2013.

    For more information, see http://www.sigdial.org/workshops/conference14/

  • 28-29 May 2013, Euro-Xprag Master Class on Pragmatics and Language Processing, London, U.K. (deadline: 1 May 2013)

    Newsitem added on 10 March 2013.

    Euro-Xprag, a Research Network Program sponsored by the European Science Foundation, is pleased to announce a Master Class on the topic of Pragmatics and Language Processing. The event will be hosted at University College London by the Department of Linguistics. Invited Presenters: Dan Grodner (Swarthmore College) and Jesse Snedeker (Harvard University).

    A poster session open to all participants will be held together with a free wine reception on 28 May. To apply to display a poster, please send a one-page abstract or poster hand-out once you have received confirmation of a place at the master class. The deadline for poster proposals is 1 May, 2013.

    Participation is open but registration is requested. Limited student subsidies are avaiable (deadline: 1 May, 2013). Webpage of the Master Class: http://www.euro-xprag.org/events/london-master-class/.

  • 16-20 Sep 2013, 11th German Cnference on Multiagent System Technologies (MATES 2013) and 4th Joint Agent Workshops in Synergy (JAWS 2013), Koblenz, Germany (deadline: 1 May 2013)

    Newsitem added on 17 March 2013.

    The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

    In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for Submission: May 1, 2013

    For more information, see http://www.mates2013.de/

  • 17-19 September 2013, Mathematical Cultures (MC2), London, U.K. (deadline: 1 May 2013)

    Newsitem added on 13 April 2013.

    The second conference in the AHRC-funded series on Mathematical Cultures will take place at De Morgan House (London) 17-19 September 2013. This meeting will articulate and classify mathematical values. What do mathematicians mean when they use terms such as ‘deep’, ‘elegant’, ‘explanatory’, etc.? What is the rational structure of the deliberations mathematicians use to reach value judgments (in PhD examinations, book reviews, journal referee reports, etc.)? How much variety is there in mathematical values between mathematical cultures? What are the virtues of a good mathematician?

    Speakers will include: Prof Alan Bishop, Prof Paul Ernest, Prof Jose Ferreiros and Prof Emily Grosholz

    Speakers wishing to present papers at the second mathematical cultures conference should submit an abstract by 1 May 2013.

    For further details, please see the conference website at https://sites.google.com/site/mathematicalcultures/conference-2 or e-mail b.p.larvor at herts.ac.uk

  • 29-31 August 2013, 4th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2013), Borca di Cadore, Italy (deadline: 1 May 2013)

    Newsitem added on 28 April 2013.

    The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

    Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).

    Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 1, 2013.

    Please visit the conference website http://gandalf.di.univr.it/ for more information.

  • 15-17 July 2013, The Annual Meeting of the International Association for Computing and Philosophy (IACAP 2013), College Park MD, U.S.A. (deadline: 30 April 2013)

    Newsitem added on 23 January 2013.

    This generation has borne witness to a veritable explosion in the use of computing technologies in almost every aspect of life. Philosophers, scientists, and technologists/engineers have an important role to play in addressing the foundational questions that arise on the inexorable march toward intelligent machines. This year's theme is "Minds, Machines and Morals."

    We encourage the submission of novel work in three tracks: "Information and Computing Ethics", "Minds and Machines", and "Computing in Philosophy" We remain especially interested in the kind of interdisciplinary investigations that have been typical of our meetings as we seek to reach out to cognitive scientists, neuroscientists, social psychologists and experimental philosophers in further developing our understanding of moral minds and moral machines. Final submissions deadline (extended): April 30, 2013

    For more information, see http://www.iacap.org/conferences/iacap2013/

  • 28-31 October 2013, 2nd International Conference on the History and Philosophy of Computing (HaPoC 2013), Paris, France (deadline: 30 April 2013)

    Newsitem added on 13 February 2013.

    The birth of the computing and its sciences has often been the topic of philosophical and historical reflection. The HaPoC-conferences have decided to bring together the historical and the philosophical viewpoints. They want to create an environment for a true interdisciplinary convergence around computer science, reenforcing research on the science(s) of computing and its history and stimulating a theoretical dialogue between these domains.

    For HaPoC 2013 we welcome contributions from logicians, philosophers and historians of computing as well as from philosophically aware computer scientists and mathematicians. We cordially invite researchers working in a field relevant to the main topics of the conference to submit short and extended abstracts. The submission deadline is: April 30th, 2013.

    Please check out the website of HaPoC 2013 for more information on the conference: http://hapoc2013.sciencesconf.org

  • 24-28 June 2013, Constructive Mathematics: Foundations and Practice (CMFP 2013), Nis, Serbia (deadline: 30 April 2013)

    Newsitem added on 17 March 2013.

    The main aims of the meeting are:
    - To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
    - To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

    The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

    The schedule of the meeting will have slots for a small number of short talks by non-invited speakers. The closing date for submission of abstracts is 30 April 2013.

    For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

  • 3-4 Oct 2013, 2nd APMP meeting: Association for the Philosophy of Mathematical Practice, Urbana IL, U.S.A. (deadline: 30 April 2013)

    Newsitem added on 24 March 2013.

    The Second International Meeting of the Association for the Philosophy of Mathematical Practice (APMP) will be held October 3-4, 2013 at the University of Illinois at Urbana-Champaign, USA.

    The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice---including issues in history of mathematics, the applications of mathematics, cognitive science, etc. This meeting will be the first part of a four day meeting on problems and prospects in the philosophy of mathematics. The second part will be the Fourteenth Midwest PhilMath Workshop (MWPMW 14): we hope APMP participants will also stay for this second part.

    The call for papers is now open, with a deadline of April 30, 2013.

    For more information, see http://institucional.us.es/apmp/index_APMP2013.htm

  • CFP Studies in Logic (deadline: 27 April 2013)

    Newsitem added on 27 January 2013.

    Studies in Logic aims to provide a forum for original scholarly essays, discussion articles and book reviews in almost all areas of logic, mainly focuses on:

    • Mathematical logic and foundations of mathematics
    • Philosophical logic
    • Informal logic
    • Applications of logic in other disciplines, such as computer science, cognitive science, linguistics and social sciences
    • Philosophy and history of logic
    • Studies of logic, reasoning and argumentation from cross-cultural and comparative perspectives.

    The Journal of Studies in Logic is calling for submission of papers. Submissions and inquiries can be sent to: logical.studies at gmail.com or logicstu at mail.sysu.edu.cn.

    For more information, see http://www.studiesinlogic.net/english/.

  • 15-19 Jul 2013, Ninth Panhellenic Logic Symposium (PLS9), Athens, Greece (deadline: 26 April 2013)

    Newsitem added on 20 February 2013.

    The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

    Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit a paper, in English, not exceeding six pages, by Friday, April 26, 2013.

    For more information, see http://pls9.cs.ntua.gr/

  • 12-16 August 2013, ESSLLI Workshop on Logical Models of Group Decision Making, D&uuml;sseldorf, Germany (deadline: 25 April 2013)

    Newsitem added on 16 December 2012.

    In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

    The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

    Submissions are invited. The paper submission deadline is 25 April 2013.

    For more information, see http://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

  • 17-19 June 2013, Seventh Workshop in Decisions, Games & Logic (DGL 2013), Stockholm, Sweden (deadline: 25 April 2013)

    Newsitem added on 17 March 2013.

    Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

    Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL2013, these will be: Sven Ove Hansson, Annika Wallin, and Jörgen Weibull.

    Each DGL features presentations by researchers. We invite submissions in the fields of decision theory, game theory, logic and formal philosophy. Preference will be given to conceptual work in these fields and work that combines interdisciplinary research in these fields. We invite submissions for both full presentations and poster sessions. Deadline for submission (extended): April 25, 2013.

    For more information, see http://www.meansandends.com/workshop13/

  • 25-28 June 2013, 28th ACM/IEEE Symposium on Logic In Computer Science (LICS 2013), New Orleans LA, U.S.A. (deadline: 20 April 2013)

    Newsitem added on 7 April 2013.

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

    As in the past, there will be a short-presentation session during LICS 2013, which is intended for descriptions of works in progress, student projects, trailers for longer presentations at affiliated workshops, and relevant research being published elsewhere; other brief communications may be acceptable. Submission Deadline: 20 April 2013.

    For more information, see http://lii.rwth-aachen.de/lics/lics13/

  • 3-5 August 2013, Theory and Applications of Formal Argumentation (TAFA-13), Beijing, China (deadline: 20 April 2013)

    Newsitem added on 12 April 2013.

    The Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) will be co-located with IJCAI 2013 in Beijing, and builds on the success of TAFA 2011 (co-located with IJCAI 2011). The workshop is inspired by the recent rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of Artificial Intelligence. TAFA 2013 aims to further foster uptake of argumentation as a viable AI paradigm with wide ranging application by providing a forum for further development of existing ideas and for the initiation of new and innovative collaborations.

    TAFA 2013 therefore encourages submission of papers on formal theoretical models of argumentation and their application in (sub-fields of) AI, and on the evaluation of models of argumentation, both theoretical (in terms of formal properties) and practical (in concretely developed applications). We particularly encourage work on theories and applications developed through inter-disciplinary collaborations. The workshop will also include a demonstration session. Submission Deadline: April 20, 2013.

    For more information, see http://homepages.abdn.ac.uk/n.oren/pages/TAFA-13/

  • 3-5 August 2013, Workshop "Information and Trust Dynamics in AI" (ITDAS'13), Beijing, China (deadline: 19 April 2013)

    Newsitem added on 13 January 2013.

    Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics, in order to better understand how information circulates in an artificial society, how it affects trust, and how it contributes to the construction of reputation and collective attitudes, and to the emergence of conventions. The workshop is an associated event of IJCAI-13.

    Interested authors are invited to submit their papers for presentation. Submission deadline is April 19, 2013.

    For more information, see the workshop website at http://www.irit.fr/~Laurent.Perrussel/itdas-13/.

  • 3-5 August 2013, Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013), Beijing, China (deadline: 19 April 2013)

    Newsitem added on 3 February 2013.

    The biennial Workshop on Nonmonotonic Reasoning, Action and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

    This year's special theme is the qualification problem, the fundamental problem of assuming away by default unexpected circumstances preventing the successful execution of an action.

    We invite submissions of research papers for presentation at NRAC 2013, a one-day workshop to be held in Beijing, China as part of the International Joint Conference on Artificial Intelligence (IJCAI-13) workshop program. Submission deadline is 19 April, 2013.

    For more information, see http://innovation.it.uts.edu.au/nrac2013/

  • 17-18 September 2013, Combining probability and logic to solve philosophical problems (Progic 2013), Munich, Germany (deadline: 15 April 2013)

    Newsitem added on 30 December 2012.

    The Sixth Workshop on Combining Probability and Logic (progic 2013) focuses on "Combining probability and logic to solve philosophical problems".

    Scholars who combine probability and logic to elaborate new solutions to philosophical problems are invited to submit an extended abstract (two pages) for presentation at the workshop. Contributors should indicate if they are prepared to submit a paper to the progic 2013 special issue in the Journal of Applied Logic. Deadline for extended abstracts: April 15, 2013.

    For more information, see http://www.pfeifer-research.de/progic/.

  • 15-18 July 2013, 4th European Set Theory Conference (4ESTC), Mon St Benet, Spain (deadline: 15 April 2013)

    Newsitem added on 9 January 2013.

    The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013.

    The program includes:
    - Andrzej Mostowski Centenary. Invited lecture by Adam Krawczyk (Warsaw).
    - Tutorial by Moti Gitik (Tel Aviv).
    - Lecture by the winner of the Hausdorff Medal.
    - 6 plenary lectures.
    - 8 invited lectures.
    - Contributed talks.
    - Poster sessions.
    - Round table on the future of set theory.

    The deadline for submitting an abstract for a contributed 20 or 50 minutes talk is April 15.

    For more information, see http://estcongress.org/

  • 5-9 August 2013, Workshop on Bayesian Natural Language Semantics and Pragmatics, Duesseldorf, Germany (deadline: 15 April 2013)

    Newsitem added on 6 February 2013.

    The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

    The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

    Authors are invited to submit an anonymous, extended abstract. What we are looking for are analyses in semantics and pragmatics using the possibilities of Bayesian interpretation, and papers exploring the consequences of Bayesian NL interpretation. Submission Deadline: April 15, 2013.

    For more information, see http://www.bnlsp.ws/.

  • 25 June 2013, Logicality, Lexical Meaning and Semantic Invariance, Barcelona, Spain (deadline: 13 April 2013)

    Newsitem added on 2 April 2013.

    The workshop aims at connecting two debates from two different disciplines: the debate over logical constants in philosophy of logic and the debate on the functional vs. lexical distinction in linguistics. It further aims at examining the notion of semantic invariance, both as used by logicians (namely, as a criterion for logicality) and by linguists and philosophers of language in discussions of semantics. One of the main goals of the workshop is to examine whether the distinction between logical vs. non-logical expressions maps onto the
    distinction between functional vs. lexical (or 'substantive') categories.

    The workshop organizers invite papers for 40 min talks, followed by 20 min discussion, from areas of linguistics, philosophy of language and logic that address the issues presented in the workshop description. Submission deadline: 13 April 2013.

    For more information, see http://parles.upf.edu/llocs/istojanovic/workshop/

  • 6-10 May 2013, 18th Szklarska Poreba Conference on the Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba (Giant Mountains), Poland (deadline: 12 April 2013)

    Newsitem added on 30 January 2013.

    The conference is an annual, interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

    Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

    Contributions related to the leading theme and other topics in logic, logical philosophy, the foundations of mathematics and related areas are welcome. Submission deadline: TBA.

    For more information, see http://www.klmn.uni.wroc.pl/conference.html

  • 10 June 2013, 8th workshop on Methods for Modalities (M4M-8), Lake Placid NY, U.S.A. (deadline: 12 April 2013)

    Newsitem added on 20 February 2013.

    The workshop 'Methods for Modalities' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term 'modal logics' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

    To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.

    Authors are invited to submit papers in the following three categories: regular papers, system descriptions, or presentation-only papers. We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics. Abstract submission deadline: April 12th, 2013.

    For more information, see http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/

  • 23-26 July 2013, 26th International Workshop on Description Logics (DL 2013) , Ulm (Germany) (deadline: 5 April 2013)

    Newsitem added on 10 February 2013.

    The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

    In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

    We invite contributions on all aspects of description logics. Abstract submission deadline: April 05, 2013.

    Information about submission, registration, travel information, etc., is available on the DL 2013 homepage at http://dl.kr.org/dl2013.

  • 5-16 August 2013, ESSLLI Student Session 2013, Düsseldorf, Germany (deadline: 1 April 2013)

    Newsitem added on 16 December 2012.

    The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

    We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation, for both oral presentations and posters. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings in Springer. Deadline for submissions: April 1st, 2013

    For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

  • 24 July - 1 August 2013, 6th International Conference on Topology, Algebra and Categories in Logic (TACL 2013), Nashville TN, U.S.A. (deadline: 1 April 2013)

    Newsitem added on 19 December 2012.

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

    TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

    TACL invites contributed talks. Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. Abstract submission deadline: April 1, 2013.

    For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

  • 16-18 September 2013, Conference on Logic and Philosophy of Science (CLPS13), Gent, Belgium (deadline: 1 April 2013)

    Newsitem added on 30 December 2012.

    On occasion of its 20th anniversary, the The Centre for Logic and Philosophy of Science of Ghent University organises an international Conference on Logic and Philosophy of Science (CLPS13) on the themes that are central to its research:
    - Logical analysis of scientific reasoning processes
    - Methodological and epistemological analysis of scientific reasoning processes

    We welcome submissions for contributed papers on every topic that falls within the scope of the two themes mentioned above. On top of the keynote talks and the regular sessions with contributed papers, we will also schedule eleven special symposia with a limited number of papers. Each symposium is organised by one or two post-doctoral researchers of the CLPS, and it is possible to submit a paper for these symposia. If you want to present a paper at CLPS13, please upload an abstract in PDF format (between 500 and 1000 words) before 1 April 2013.

    For more information, see http://www.clps13.ugent.be/

  • 15-17 July 2013, Third Workshop on Formal Methods in Philosophy (Entia et Nomina III), Gdansk, Poland (deadline: 1 April 2013)

    Newsitem added on 17 March 2013.

    Gdansk University (Poland) and the Centre for Logic and Philosophy of Science at Ghent University (Belgium) are organising the third in a series of logico-philosophical workshops on the application of formal methods in philosophy (especially outside the narrow field of philosophy of logic and language). The workshop will take place in Gdansk, Poland (July 15-17, 2013).

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Full papers, prepared for blind-review, should be sent by April 1, 2013.

    Details are available at: http://entiaetnomina.blogspot.be/2013/02/cfp-entia-et-nomina-iii.html.

  • 1-5 September 2013, 16th International Conference on Text, Speech and Dialogue (TSD 2013), Plzen, Czech Republic (deadline: 31 March 2013)

    Newsitem added on 30 December 2012.

    TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

    The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

    Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style. Authors are also invited to present actual projects, a developed software or interesting materials relevant to the topics of the conference. Deadline for submission of abstracts: March 31, 2013.

    For more information, see http://www.tsdconference.org/

  • 24-26 May 2013, Workshop: Constructing the World, Cologne, Germany (deadline: 31 March 2013)

    Newsitem added on 3 March 2013.

    The Emmy Noether research group "Understanding and the A Priori" is hosting an author-meets-critics workshop with David Chalmers to critically discuss themes from his new book, "Constructing the World" (Oxford University Press 2012). The book concerns "scrutability," the thesis that all the truths about the world can, in principle, be known on the basis of knowledge of just a limited class of basic truths. Chalmers argues for the scrutability thesis and investigates which sorts of basic truths can serve as the relevant "scrutability base". The book explores the implications of scrutability for a range of central philosophical issues: meaning and mental content, the existence of the analytic and the a priori, the refutation of skepticism, and the methodology of metaphysics, among others.

    Two sessions for the workshop will be determined on the basis of blind review of submissions, and so interested researchers working in all areas of philosophy are encouraged to submit abstracts for 45-minute presentations devoted to critical discussion of any of the themes of the book. The deadline for submissions is March 31, 2012.

    Participation in the workshop is open, but there is a limited number of available places, and email registration is required by April 30, 2013. For more information, see http://fromthearmchair.net/events/constructing-the-world

  • 20-23 August 2013, 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013), Darmstadt, Germany (deadline: 25 March 2013)

    Newsitem added on 24 October 2012.

    WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.

    WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

    Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by March 25th, and the full paper by March 29th (firm date).

    For more information, see http://wollic.org/wollic2013/.

  • 10-14 June 2013, The 6th Semantics and Philosophy in Europe Colloquium (SPE6), St. Petersburg, Russia (deadline: 22 March 2013)

    Newsitem added on 24 March 2013.

    The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Submission Deadline: March 22, 2013.

    For more information, see http://spe6conference.wordpress.com/

  • 17-22 June 2013, 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Dynamic Systems (SFM-13:DS), Bertinoro, Italy (deadline: 21 March 2013)

    Newsitem added on 23 January 2013.

    Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

    This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

    Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

  • 23-25 May 2013, Philosophy of Science in a Forest 2013, Amersfoort, The Netherlands (deadline: 15 March 2013)

    Newsitem added on 10 February 2013.

    Every three years, the Dutch Society for the Philosophy of Science (DSPS; in Dutch: Nederlandse Vereniging voor Wetenschapsfilosofie, NVWF), organises this international conference with the original aim to collect everybody in one place who is active in this area of philosophy in the Netherlands and Flanders (PhD-students, professors, lecturers, readers, students). This conference is intended for an academic audience interested in philosophy of science in the broadest possible sense.

    The first edition of Philosophy of Science in a Forest, Spring 2011, was the first with English as the conference language. Contributions in the Dutch language are however not forbidden. Contributions from all over the world are now welcome in English.

    Besides the plenary lectures, there will be several parallell sessions for contributed speakers, 45 minutes each. Deadline for submissions: 15 March 2013.

    For more information, see the website of the NVWF at http://www.nvwf.nl/agenda.php.

  • 29-31 July 2013, 1st International Conference on Statistical Language and Speech Processing (SLSP 2013), Tarragona, Spain (deadline: 5 March 2013)

    Newsitem added on 16 December 2012.

    SLSP is the first event in a series to host and promote research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences including papers in any of these fields, SLSP is a more focused meeting where synergies between areas and people will hopefully happen. SLSP will reserve significant space for young scholars at the beginning of their careers.

    The conference invites submissions discussing the employment of statistical methods (including machine learning) within language and speech processing. Deadline for paper submissions: March 5, 2013.

    For more information, see http://grammars.grlmc.com/slsp2013/

  • 31 July - 3 August 2013, The Sixth Conference on Artificial General Intelligence (AGI-13), Beijing, China (deadline: 1 March 2013)

    Newsitem added on 7 October 2012.

    The AGI conference series is the premier international forum for cutting-edge research focusing on the original goal of the AI field: the creation of thinking machines with general intelligence at the human level and ultimately beyond. The AGI conference series is held in cooperation with AAAI, and AGI-13 will co-locate with IJCAI-13. This is the first AGI conference to be held in Asia, and will be hosted by Peking University.

    Like its predecessors, AGI-13 will gather researchers in AGI and associated disciplines for wide-ranging presentation and discussion of approaches, architectures, algorithms and ideas relevant to the advancement of artificial general intelligence.

    As in prior AGI conferences, we welcome papers on all aspects of AGI R&D, with the key proviso that each paper should in some way contribute specifically to the development of Artificial General Intelligence. Proposals for workshops and tutorials are also solicited. Deadline for submissions: March 1st 2013 (papers), April 10th 2013 (tutorial proposals) or December 15th, 2012 (workshop proposals).

    For more information, see http://agi-conf.org/2012

  • 30 May - 1 June 2013, Conference on Logic, Questions and Inquiry (LoQI), Paris, France (deadline: 1 March 2013)

    Newsitem added on 7 November 2012.

    The aim of the Conference on Logic, Questions and Inquiry (LoQI) is to address issues in the philosophical and logical investigations of questions and inquiry from the various perspectives of formal epistemology, formal semantics and pragmatics, philosophy of science and philosophy of mathematics. The conference intends to bring together researchers from these different fields in order to trigger interactions between the various existing approaches to questions and inquiry, and to promote cooperation and exchange on research projects related to these issues. The event will then be the occasion to assess the different past scientific contributions on these topics, and to discuss possibilities for new research directions.

    We invite submissions addressing issues related to Logic, Questions and Inquiry, and we encourage specifically submissions connecting the different themes of the conference. Submission exploring connections to philosophy of science and philosophy of mathematics are very welcome. Deadline for submissions is March 1st, and the date for notifications is March 1st.

    For more information, see http://loqi.sciencesconf.org/ or contact loqi at sciencesconf.org

  • 13-14 June 2013, Second Workshop on Computational Linguistics for Literature (CLFL 2013), Atlanta GA, U.S.A (deadline: 1 March 2013)

    Newsitem added on 30 December 2012.

    The amount of literary material available on-line keeps growing rapidly: there are machine-readable texts from libraries, collections and e-book stores, as well as "live" literature such as e-zines, blogs or self-published e-books. We need tools to help navigate, visualize and better appreciate the high volume of available literature.

    CLFL-2013 will focus on the subject of applying state-of-the art NLP methods to literary data, and consider questions such as: What characteristics of literature make it special? Is it, indeed, a unique type of language data? How should we adapt our tools to find meaning in literary text? What lessons from automatic processing of literature could apply to other types of data?

    The Programme Committee invites submission of long and short papers, describing completed or ongoing research on systems, studies, theories and models which can inform the area of computational linguistics for literature. Position papers are welcome, too. Submission deadline: March 1, 2013

    All information sits at: https://sites.google.com/site/clfl2013/

  • 23-24 March 2013, The Many Faces of Contemporary Philosophy and Theory of Law, Cracow, Poland (deadline: 1 March 2013)

    Newsitem added on 13 January 2013.

    The aim of the conference is to integrate different points of view in contemporary philosophy of law. The conference will be divided into two special working groups: the first one will be entirely devoted to the application of the Bayesian analysis in legal settings. The second one will be a general presentation of the variety of contemporary issues in the philosophy of law. The organizers invite lawyers, psychologists, philosophers and all interested to participate.

    The conference will be held under the honorary patronage of the Rector of the Jagiellonian University, on the occasion of the 10th anniversary Section of the Philosophy of Law TBSP UJ. The conference language is Polish and English (organizers will not provide translations). There will be no conference fee.

    The Programme Committee invites researchers in philosophy of law, psychology, philosophy and forensic sciences to submit an original and unpublished papers. Submission deadline is March 1st, 2013.

    For more information, see http://conferencephilosophyoflaw.wordpress.com/.

  • 29-31 May 2013, SILFS 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science, Urbino, Italy (deadline: 28 February 2013)

    Newsitem added on 9 January 2013.

    The 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science will be held in Urbino on 29-30-31 May 2013.

    The conference will be organized by the Italian Society for Logic and Philosophy of Science (SILFS) and will host six different sessions, namely:
    1) History and Philosophy of Physics
    2) Logic and Philosophy of Logic
    3) Philosophy of Biology
    4) Philosophy of Language and Mind
    5) History and Philosophy of Mathematics
    6) Philosophy of Social Sciences

    We invite submissions in the aforementioned areas of research from PhD students or scholars that have been awarded their PhD in the last 4 years. Deadline for submission is 28th February.

    Further information can be found at http://www.silfs.net/?lang=en or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4821.

  • 2-4 May 2013, 2nd WFAP Graduate Conference "How Am I Supposed to Know", Vienna, Austria (deadline: 28 February 2013)

    Newsitem added on 23 January 2013.

    The second Graduate Conference of the Vienna Forum for Analytic Philosophy, a student society for philosophical research in the analytic tradition at the Department of Philosophy of the University of Vienna, will be held from 2 - 4 May 2013 on the topic of knowledge.

    Contemporary debates on knowledge tend to revolve around the acquisition of knowledge, the conference will therefore focus on the sources of knowledge. Possible candidates for such sources of knowledge seem to be perception, memory, logical reasoning, testimony, or intuitions. But there is no agreement on which of these are sources of knowledge in their own right, and which can be reduced to others; in which epistemological processes they are involved; or what sort of justification they each require or yield.

    In order to tackle these questions we invite high-quality papers from graduate students. Deadline for submission of abstracts: February 28, 2013

    For further information, see http://wfap.philo.at/?q=node/103.

  • 27-29 September 2013, Rules 2013, Krakow, Poland (deadline: 28 February 2013)

    Costs: 850/400 PLN
    Newsitem added on 23 January 2013.

    The idea of the Conference is to bring together philosophers, legal philosophers, psychologists and cognitive scientists, including researchers on artificial intelligence, who are interested in the problem of rules, rule-following and normativity.

    Our aim is to create an interdisciplinary forum that will bring together academics representing different disciplines, willing to present their perspective on the issues related to rules and normativity.

    Invited speakers: Paul Boghossian, Brian Bix, Philip Zelazo and Stefano Bertea.

    We invite submission of original and unpublished papers. Abstracts (not exceeding 400 words) should be submitted by February 28th, 2013 using EasyChair.

    For more information, see http://www.rules2013.pl/.

  • 4-6 August 2013, 2013 Workshop on Computational Models of Narrative (CMN 2013), Hamburg, Germany (deadline: 24 February 2013)

    Newsitem added on 28 July 2012.

    Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why and to what extent narrative is universal and explain (or explain away) the function it serves. The aim of this workshop series is to address key questions that advance our understanding of narrative and our ability to model it computationally.

    This workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. The workshop will be held as a satellite event of the 2013 Annual Meeting of the Cognitive Science Society (to be held in Berlin 31st July - 3rd August), and so will have a special focus on the cognitive science of narrative.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Papers should be relevant to issues fundamental to the computational modeling and scientific understanding of narrative. We accept both finished research and more tentative exploratory work. Paper submission deadline: February 24, 2013

    For more information, see http://narrative.csail.mit.edu/ws13. Questions should be directed to narrative-ws13 at csail.mit.edu.

  • 3-6 September 2013, Algebra and Coalgebra in Computer Science (CALCO 2013), Warsaw, Poland (deadline: 22 February 2013)

    Newsitem added on 13 September 2012.

    CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

    It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland.

    We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. Abstract submission deadline: February 22, 2013.

    For more information, see http://coalg.org/calco13/ or contact calco2013 at mimuw.edu.pl.

  • 17 - 21 June 2013, Logica 2013, Hejnice, Czech Republic (deadline: 14 February 2013)

    Newsitem added on 21 November 2012.

    Logica 2013 will be the 27th in the series of annual international symposia devoted to logic. The official language of the symposium is English. Invited speakers are Johan van Benthem, Michael Dunn, Volker Halbach and Michiel van Lambalgen.

    Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions: 14 February (2 page abstract).

    For more information, see http://www.flu.cas.cz/logica or contact logica at flu.cas.cz.

  • 1-5 July 2013, 15th European Agents Systems Summer School (EASSS-2013), London, U.K. (deadline: 10 February 2013)

    Newsitem added on 23 January 2013.

    Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

    The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

    As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

    We are now inviting proposals from members of the research community who are willing to offer tutorials at EASSS-2013. We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems. Deadline for tutorial proposals: 10 February 2013.

    For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

  • 7-10 July 2013, Twelfth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), Utrecht, The Netherlands (deadline: 3 February 2013)

    Newsitem added on 23 January 2013.

    The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty. Contributions come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Preceding the main conference, on July 7th, a tutorial programme will be offered.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: February 3rd, 2013

    For more information, see http://www.projects.science.uu.nl/ecsqaru/ or contact the organisers at ecsqaru2013 at science.uu.nl.

  • 23-28 June 2013, 7th International Conference on Rewriting, Deduction, and Programming (RDP 2013), Eindhoven, The Netherlands (deadline: 1 February 2013)

    Newsitem added on 7 November 2012.

    RDP 2013 consists of:
    RTA (Rewriting Techniques and Applications), June 24-26, and
    TLCA (Typed Lambda Calculi and Applications), June 26-28, and
    Workshops on June 24-25 and June 27-28.

    The Programme Committee cordially invites all researchers to submit papers for RTA (deadline: 1 February 2013) or TLCA (deadline: 25 January 2013), or workshop proposals for RDP-2013 itself (deadline: 1 December 2012).

    For more information, see http://www.win.tue.nl/rdp2013/

  • 24-26 june 2013, 24th International Conference on Rewriting Techniques and Applications (RTA 2013), Eindhoven, The Netherlands (deadline: 1 February 2013)

    Newsitem added on 6 January 2013.

    The RTA conferences series serves as a forum for presenting original work on all aspects of rewriting.

    RTA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2013) and several related events.

    The Programme Committee invites submissions of oroginal papers, problem sets or system descriptions, on all aspects of rewriting. Abstract submission deadline: February 1st, 2013.

    For more information, see http://rta2013.few.vu.nl/

  • 8-10 March 2013, Second conference on proof-theoretic semantics, Tuebingen, Germany (deadline: 31 January 2013)

    Newsitem added on 23 December 2012.

    There will be a few slots for contributed talks (30 min). If you are interested in contributing a talk, please send an abstract to Thomas Piecha (PTS-CfP at informatik.uni-tuebingen.de) by 31 January 2013.

    For more information, see http://ls.informatik.uni-tuebingen.de/PTS/

  • 201 June 4, European Symposium on Medieval Logic and Semantics (ESMLS XX), June 2014, Cambridge, U.K. (deadline: 31 January 2013)

    Newsitem added on 9 January 2013.

    The 20th European Symposium on Medieval Logic and Semantics will take place in Cambridge (UK) in 2014, as was decided at the last meeting in Geneva. Most probably it will take place in the second half of June, although the exact dates has not yet been fixed. The topic for the meeting is: Theories and Uses of Relations in medieval logic, grammar and science.

    If you intend to participate (with or without a paper), please let the organizers know by the end of the month (January 31, 2013).

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4819.

  • 12-15 May 2013, International Frege Conference: Freunde und Feinde, Wismar, Germany (deadline: 31 January 2013)

    Newsitem added on 23 January 2013.

    Friedrich Ludwig Gottlob Frege/was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

    The conference contributions centre on /Gottlob Frege/ as a person, his scientific achievements and repercussions on contemporary philosophy, logics, and fundamental issues of mathematics. Contributions are allotted a time slot of at most 100 minutes, including discussion. Contributors may feel free to introduce a junior researcher who may present a rebuttal or a self-contained talk not exceeding 30 minutes within the same time slot. Deadline for submission of abstracts: 31 January 2013

    For more information, see http://www.hs-wismar.de/en/en-was/news/events-dates/conference/ and http://www.hs-wismar.de/was/aktuelles/veranstaltungen-termine/.

  • 6-7 May 2013, 1st International Workshop on Engineering Multi-Agent Systems (EMAS 2013), Saint Paul MN, U.S.A. (deadline: 30 January 2013)

    Newsitem added on 9 January 2013.

    EMAS is the result of the merging of three "parent" workshops: AOSE, DALT and ProMAS. It aims to look at the the design, implementation and deployment of multi-agent systems by bringing together the currently separate topics (but overlapping communities) that focus on software engineering aspects (AOSE), programming aspects (ProMAS), and the application of declarative techniques to design, programming and verification (DALT).

    We call for research papers that are concerned with any aspect of the engineering of multi-agent systems. Specifically including any topics that would fall within the scope of one or more of the three parent workshops:
    a) Agent-Oriented Software Engineering,
    b) Declarative Agent Languages and Technologies,
    c) Programming Multi-Agent Systems.
    We also seek application papers that describe developed applications. Such papers should not just describe an application, but also the lessons learned and the engineering challenges identified in building and deploying the applications. Paper submission deadline: 30th January 2013.

    For more information, see http://emas2013.otago.ac.nz

  • 1-5 July 2013, Computability in Europe (CiE 2013), Milan, Italy (deadline: 20 January 2013)

    Newsitem added on 17 October 2012.

    CiE 2013 is the ninth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

    CiE 2013 will focus on research of Computational Complexity and the interplay between Proof Theory and Computation, as well as the special theme of the 'Nature of Computation', that is, the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science.

    The Program Committee invites all researchers in the area of the conference to submit their papers for presentation at CiE 2013. Novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency are especially welcome. We particularly invite papers that build bridges between different parts of the research community. Submission deadline is 20 January 2013.

    For more information, see http://cie2013.disco.unimib.it

  • 11-12 April 2013, Workshop "Identity and Paradox", Lille, France (deadline: 16 January 2013)

    Newsitem added on 9 October 2012.

    On the one hand, the concept of identity naturally enters the discussion concerning many types of paradox that are not, primarily, about identity itself. On the other hand, there are a number of paradoxes considered as paradoxes of identity in which identity is apparently the concept generating the paradox (e.g., the ship of Theseus paradox, Chrysippus's paradox, the paradox of change, the paradox of constitution).

    The goal of the workshop is to discuss philosophical, logical and linguistic aspects of paradoxes in which the notion of identity plays a role. More specifically, we wish to examine whether the so-called paradoxes of identity really are paradoxes of identity in the sense that their paradoxicality is primarily connected to the concept of identity; and we want to investigate the role of concepts of identity in connection with the formulation/solution of other types of paradoxes.

    The organizers invite submissions presenting novel contributions to the topic from the viewpoints of philosophy, logic and/or linguistics. Up to 4 papers will be accepted for presentation at the workshop. Submission deadline: January 16, 2013.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4681 or contact tero.tulenheimo at univ-lille3.fr.

  • 10-12 April 2013, 6th Munich-Sydney-Tilburg conference on MODELS AND DECISIONS, Munich, Germany (deadline: 15 January 2013)

    Newsitem added on 31 October 2012.

    Mathematical and computational models are central to decision-making in a wide-variety of contexts in science and policy: They are used to assess the risk of large investments, to evaluate the merits of alternative medical therapies, and are often key in decisions on international policies – climate policy being one of the most prominent examples. In many of these cases, they assist in drawing conclusions from complex assumptions. While it is undisputable that models help, their increasingly widespread use raises several philosophical questions: What makes scientific models so important? In which way do they describe, or even explain their target systems? What makes models so reliable? And: What are the imports, and the limits, of using models in policy making?

    This conference will bring together philosophers of science, economists, statisticians and policy makers to discuss these and related questions. Experts from a variety of field will exchange first-hand experience and insights in order to identify the assets and the pitfalls of model-based decision-making. The conference will also address and evaluate the increasing role of model-based research in scientific practice, both from a practical and from a philosophical point of view.

    We invite submissions of extended abstracts of 1000 words by 15 December 2012. Decisions will be made by 15 January 2013.

    For more information, see http://www.lmu.de/ModelsAndDecisions2013/.

  • 8-10 April 2013, PhDs in Logic V, Munich, Germany (deadline: 15 January 2013)

    Newsitem added on 21 November 2012.

    The fifth edition of PhDs in Logic will take place at the Munich Center for Mathematical Philosophy. PhDs in Logic is a graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), and Brussels (2011).

    Following the previous meetings, the academic pattern is formed by two main parts:
    - tutorials given by researchers in logic
    - 20 to 25 min presentations by graduate students on topics pertaining to their research
    Besides that there will be opportunities for informal gatherings including a conference dinner

    PhD students interested in presenting a talk should send a 500-1000 word abstract to phdsinlogic at gmail.com by January 15th, 2013. We welcome PhD students in logic with a background in philosophy, computer science, mathematics or linguistics. Exceptions can be made for master students and first-year postdocs.

    For more information, visit our website http://sites.google.com/site/phdsinlogicv/

  • 10-14 June 2013, 14th International Conference on Artificial Intelligence & Law (ICAIL 2013), Rome, Italy (deadline: 11 January 2013)

    Newsitem added on 3 October 2012.

    The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

    ICAIL 2013 invites the submission of papers on a broad spectrum of research topics. In addition to papers about results and findings from systems, approaches, or theoretical models (in the conference's regular track), we encourage the submission of original papers about innovative applications. A session will be organized for the demonstration of creative, robust and practical working applications and tools. Finally, proposals for workshops and tutorials are also invited. Deadline for submission: December 7, 2012 (workshop and tutorial proposals) or January 11, 2013 (paper abstracts).

    For more information, see http://icail2013.ittig.cnr.it

  • 18-20 April 2013, Graduate Conference in Theoretical Philosophy, Groningen, The Netherlands (deadline: 4 January 2013)

    Newsitem added on 16 September 2012.

    The Department of Theoretical Philosophy at the University of Groningen is proud to organize and host the Dutch graduate conference focusing on topics within theoretical philosophy. The aim of the conference is to give graduate students working within some field of theoretical philosophy (e.g. epistemology, logic, metaphysics, philosophy of science / mind / language, etc.) the opportunity to present their work in progress and to get to know each other. Students from outside of the Netherlands are most welcome.

    To further enhance the experience, four professional keynote speakers will also be giving a talk providing inspiration for new ideas:
    Patrick Blackburn (Roskilde)
    John Dupré (Exeter)
    Hannes Leitgeb (Munich)
    Ruth Millikan (Connecticut)

    The Graduate Conference in Theoretical Philosophy invites graduate students working in any field of theoretical philosophy to present and discuss their research with fellow graduate students and experienced philosophers. Graduate students from in and outside the Netherlands are encouraged to submit abstracts for presentation of completed or ongoing work (20 minute presentation plus 10 minute discussion). The deadline for abstract submission is January 4, 2013.

    For more information, see http://www.philos.rug.nl/GCTP2013/

Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

  • 20-21 May 2013, 60th Parallel Workshop on Constructivism and Proof Theory, Stockholm, Sweden

    Newsitem added on 12 May 2013.

    The workshop focusses on developments in general constructive methods and results in logic and mathematics.

    Invited speakers include Benno van den Berg, Douglas S. Bridges, Eyvind Briseid, Jan von Plato and Sam Sanders

    Those interested to attend, or to give a talk should contact Henrik Forssell (forssell at math.su.se) More information about the workshop is available on the workshop web page at http://www.math.su.se/~palmgren/parallel60.html.

  • 13 May 2013, Pragmatics and the Philosophy of Language, Nottingham, U.K.

    Newsitem added on 28 April 2013.

    The Department of Philosophy at the University of Nottingham will host a half-day workshop on Pragmatics and the Philosophy of Language on May 13th.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5017

  • 12-15 May 2013, Frege: Freunde und Feine, Wismar, Germany

    Newsitem added on 21 November 2012.

    Friedrich Ludwig Gottlob Frege was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

    The conference contributions centre on Gottlob Frege as a person, his scientific achievements and repercussions on contemporary philosophy, logics, and fundamental issues of mathematics. Contributions are allotted a time slot of at most 100 minutes, including discussion. Contributors may feel free to introduce a junior researcher who may present a rebuttal or a self-contained talk not exceeding 30 minutes within the same time slot.

    For more information, see the website at http://www.hs-wismar.de/frege-konferenz

  • 6-10 May 2013, 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Saint Paul, Minnesota, U.S.A.

    Newsitem added on 19 August 2012.

    AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

    AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.

    For more information, see http://aamas2013.cs.umn.edu/

  • 4-5 May 2013, Category-Theoretic Foundations of Mathematics, Irvine CA, U.S.A.

    Newsitem added on 30 December 2012.

    The aim of this 2-day workshop is to provide a forum in which researchers from philosophy, mathematics, computer science, and allied disciplines can discuss the aims and significance of category-theoretic foundations of mathematics. The interdisciplinary character of this workshop provides a unique opportunity to discuss and deliberate upon what is specific to the success of category-theoretic foundations within the various disciplines.

    For more information, see: http://www.lps.uci.edu/node/15355

  • 2 May 2013, Algebra and Logic, Berne, Switzerland

    Newsitem added on 13 April 2013.

    Modern logic emerged in the mid-19th century century with the work of Boole and De Morgan. Since then, Algebra has played a very important role in the study of Logic. This one-day conference, organized by the Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS), aims to provide a wide audience with an overview of contemporary algebraic methods in Logic.

    Invited Speakers: Prof. Dr. George Metcalfe (University of Bern), Dr. Daniela Petrisan (University of Leicester) and Dr. Leonardo M Cabrer (University of Oxford)

    Please find a full program on http://www.sgslps.ch/events.php. All are welcome!

  • 27-29 April 2013, HOLIC 2013: History of Logic in China, Tianjin, China

    Newsitem added on 30 January 2013.

    The Second International Conference on the History of Logic in China(HOLIC2013) will take place on 27-29 April, 2013, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to take the first steps in a larger project, that of producing the *Handbook of Logical Thought in China*, to be published by Springer-Verlag<http://www.springer.com/>both online and in print in a few years. We aim to develop a coherent plan for the book during the conference, thorough discussion in area groups among potential authors and editors from both mainland China and outside.

    For more information, check the website: http://holicnet.net/?page_id=60

  • 26 April 2013, Philosophy of Information: The Value of Information, Washington DC, U.S.A.

    Newsitem added on 22 April 2012.

    The overall objective of this workshop is to study some of the open questions within philosophy of information with an emphasis on the study of the value of information and the philosophy of information processing.

    Topics include the value of information, quantifying information, processing complementary and contradicting information and the inter-relationship between information, computation and complexity.

    For more information, see http://www.american.edu/cas/economics/info-metrics/workshop/

  • 23-26 April 2013, The 2013 Lund Conference on Games, Interactive Rationality, and Learning (G.I.R.L.13@LUND), Lund University, Sweden

    Newsitem added on 7 December 2012.

    The 2013 Lund Conference on Games, Interactive Rationality, and Learning (G.I.R.L.13 at LUND) intends to bring together researchers in philosophy, cognitive science, linguistics, and economics sharing interest in agent-based modeling as a tool to investigate the emergence of rational behavior in groups of less-than-ideally rational agents, through learning, and interaction.

    For more information, see http://girl2013.loriweb.org/g-i-r-l-13lund-cfp/

  • 23-26 April 2013, Games, Interactive Rationality and Learning (GIRL 2013), Lund, Sweden

    Newsitem added on 4 April 2013.

    The 2nd Conference on Games, Interactive Rationality, and Learning, to be held April 23-26 in Kungshuset, Lund (Sweden), is coming soon!

    Everybody interested is welcome to attend, there are no registration fees, however, if you wish to participate to lunches and the conference dinner, we kindly ask you to register for meals (no later than April 15th).

    For more information, see http://girl2013.loriweb.org/

  • Announcement

    Date: 20-21 April 2013
    Location: Urbana-Champaign IL (U.S.A.)

    The GSCL is a conference organized and run by graduate students in mathematical and philosophical logic. All talks besides that of the keynote lecture, are given by graduate students. Of course participation is open to everyone. Most talks are accessible to students familiar with the foundations of mathematical logic, and they range from expository talks to original results. Everyone should find several things of value to take away from the conference.

    For more information, please head to the conference web-page at http://www.math.uiuc.edu/gscl2013/ or contact the conference organizers, Santiago Camacho and Allen Gehret, at gscl2013 at math.uiuc.edu

  • 18-20 April 2013, Algebra and Coalgebra meet Proof Theory (ALCOP 2013), Utrecht University

    Newsitem added on 27 February 2013.

    The fourth issue of the workshop Algebra and Coalgebra meet Proof Theory (ALCOP 2013), will take place in Utrecht, The Netherlands on April 18 - 20, 2013.

    ALCOP brings together experts in algebraic logic, coalgebraic logic, and proof theory with the goal of sharing new results and developing mutually beneficial relationships between these fields.

    More details can be found on the workshop webpage: http://www.phil.uu.nl/~iemhoff/Conferenties/ALCOP/

  • 18 April - 3 May 2013, Francqui lectures on Logic and Automata: Fundamentals and Perspectives, Mons, Belgium

    Newsitem added on 6 March 2013.

    Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

    Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

  • 8-12 April 2013, Midlands Graduate School 2013 in the Foundations of Computing, University of Leicester, UK

    Newsitem added on 23 December 2012.

    The School provides an intensive course of lectures on the Foundations
    of Computing. It is very well established, having run annually for
    10 years, and has always proved a popular and successful event.
    This year we have Philip Wadler, University of Edinburgh, as guest lecturer.

    For more information, see http://www.cs.le.ac.uk/events/mgs2013/

  • 3-5 Apr 2013, "The Analysis of Theoretical Terms", Munich, Germany

    Newsitem added on 2 September 2012.

    This conference is dedicated to the philosophical analysis of theoretical terms. Topics include the logic and semantics of our scientific theories, the epistemology and metaphysics of theoretical terms, and the philosophical consequences of these analyses for the philosophy of science and mathematics.

    For more information, see https://sites.google.com/site/theoreticalterms/

  • 29 March - 7 April 2013, 4th World Congress and School on Universal Logic (UNILOG 2013), Rio de Janeiro, Brazil

    Newsitem added on 28 October 2012.

    This is the fourth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers 21 tutorials on a wide range of subjects. The congress will follow with invited talks and contributed talks organized in many sessions including 13 workshops. This event is intended to be a major event in logic, providing a platform for future research guidelines.

    For more information, see http://uni-log.org/enter-rio

  • 3-7 April 2013, 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013), Rio de Janeiro, Brazil

    Newsitem added on 28 October 2012.

    Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.

    The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.

    For more information, see https://sites.google.com/site/imodallogic2013/

  • 3-5 April 2013, Simplicity: Ideals of Practice in Mathematics and the Arts, New York, U.S.A.

    Newsitem added on 3 March 2013.

    Lectures by and conversations among twenty-five mathematicians, artists, art historians, philosophers, and architects together with screenings of artist's films by Andy Goldsworthy (New York premiere), David Hammons, Richard Serra, Andy Warhol, and William Wegman.

    To find "criteria of simplicity" was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematics in Paris. At the same time, simplicity and economy of means are powerful impulses in the creation of artworks.

    Recognizing the aesthetic nature of Hilbert's question, this conference aims to focus on criteria of simplicity in mathematics that are informed by perspectives from art and architecture, the philosophy and history of mathematics, and current mathematical practice.

    For more information and to register, please visit the conference website at http://www.s-i-m-p-l-i-c-i-t-y.org/.

  • 29 Mar - 7 April 2013, 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil

    Newsitem added on 5 September 2012.

    The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013

    15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
    1 contest: Scope of logic theorems
    15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
    25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.

    For more information, see http://www.uni-log.org/

  • 28 March 2013, 13th Dies Natalis Faculty of Science, Room C0.05, Science Park 904, Amsterdam

    Newsitem added on 13 March 2013.

    The Faculty of Science will be celebrating its 13th foundation year, Dies Natalis, on Thursday 28 March 2013. The programme, which is in Dutch and which includes a talk by Rens Bod, can be found at the URL below, where you can also register for attendance. Drinks afterwards in the central hall at Science Park 904.

    For more information, see http://www.uva.nl/over-de-uva/organisatie/faculteiten/content/

  • 21-22 March 2013, 15th Jaina Studies Workshop: Jaina Logic in Context, London, UK

    Newsitem added on 25 September 2011.

    The workshop will be opened by the 13th Annual Jaina Lecture at SOAS by Professor Piotr Balcerowicz, University of Warsaw.

    For more information, see http://www.soas.ac.uk/jainastudies or contact Peter Flügel at pf8 at soas.ac.uk.

  • 16-17 March 2013, 1st Workshop on Strategic Reasoning (SR 2013), Rome, Italy

    Newsitem added on 7 October 2012.

    Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries.

    The SR international workshop is an ETAPS 2013 workshop and aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

    For more information, see http://www.strategicreasoning.net/

  • 15-22 March 2013, Interdisciplinary College 2013: "Wicked Problems, Complexity and Wisdom", Günne at Lake Möhne, Germany

    Newsitem added on 7 December 2012.

    The Interdisciplinary College (IK) is an annual, intense one-week spring school which offers a dense state-of-the-art course program in neurobiology, neural computation, cognitive science/psychology, artificial intelligence, robotics and philosophy. It is aimed at students, postgraduates and researchers from academia and industry.

    By combining humanities, science and technology, the IK endeavours to intensify dialogue and connectedness between the various disciplines. Courses include up-to-date introductions to the main fields of the IK, as well as an in-depth treatment of focus topic, which is changing from year to year.

    The focus theme "Wicked Problems, Complexity & Wisdom" for the Interdisciplinary College IK2013 tries to collect and present actual work on wisdom, complex problem solving, system complexity, decision support, and complex planning both theoretical and practical. The main focus would be on how to model and to explain the human capacity to create and solve complex problems from different disciplinary perspectives.

    For more information, see http://www.interdisciplinary-college.de/

  • 14-15 March 2013, Logic, Knowledge, and Language - Paul Gochet Memorial Conference, Brussels, Belgium

    Costs: Free, but registration is required
    Newsitem added on 27 January 2013.

    The impact of the development of formal logic on philosophy in the 20th Century is well-documented. More recently the rise of formal philosophy, and in particular the application of formal methods in epistemology and semantics has proved that logical and mathematical methods have a bright future in philosophy.

    With his work on Quine, P. Gochet played an important role in the former movement. Yet, he was also one of the first to recognize the importance of the interactive and dynamic turn in epistemology and formal semantics that characterize the latter movement.

    Speakers: Patrick Blackburn, Jaakko Hintikka (TBC), Philippe de Rouilhan, Dov Gabbay, Susan Haack, Gerhard Heinzmann, Hourya Sinaceur, Jean-Maurice Monnoyer, Johan van Benthem, Vincent Hendricks, Jacques Dubucs, Dagfinn Føllesdal, Alex Orenstein, Shahid Rahman.

    For more information, see http://www.bslps.be/LKL2013/ or contact lkl@bslps.be.

  • DIMACS Workshop on Current Trends in Cryptology, New York, U.S.A.

    Date: April 29 - May 1, 2013

    Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

    The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

    For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

  • 7-8 March 2013, Workshop on Modal Epistemology, Mainz, Germany

    Newsitem added on 6 February 2013.

    We seem to know a lot of modal facts. But how is modal knowledge possible? The Johannes Gutenberg-Universität Mainz holds a workshop to discuss latest answers to and arguments in the vicinity of this question.

    Invited Speakers: Thomas Krödel (Berlin), Christian Nimtz (Bielefeld), Sonia Roca-Royes (Stirling), Daniele Sgaravatti (L'Aquila).
    Organization: Ralf Busse, Silvère Schutkowski

    For more information and registration, contact schutkow at uni-mainz.de

  • 5 March 2013, Coalgebra in the Netherlands (COIN)

    Location: CWI, Amsterdam, The Netherlands
    Newsitem added on 27 February 2013.

    COIN — Coalgebra in the Netherlands is a bimonthly seminar, held alternately in Nijmegen and Amsterdam. The aim of COIN is to bring together coalgebra researchers at various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

    The next COIN meeting is scheduled for Tuesday, 5 March 2013, at CWI, in room L120. The schedule is as follows:
    13:30 — 14:15 Jean-Baptiste Jeannin
    14:15 — 15:00 Alexandra Silva
    15:15 — 16:00 Henning Basold

    For more information, see http://homepages.cwi.nl/~winter/coin.html

  • 27 February - 2 Mar 2013, 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Kiel, Germany

    Newsitem added on 7 May 2012.

    The 30th Symposium on Theoretical Aspects of Computer Science will be held in Kiel, Feb 27-Mar 2, 2013 (Wednesday through Saturday). As usual, the program will be composed of approximately 50-60 contributed and three invited talks, by Kousha Etessami, Kurth Mehlhorn, and Stéphan Thomassé. As this year's pre-conference tutorial on 'Iterative Methods in Combinatorial Optimization' by R. Ravi was a great success, STACS 2013 will also include a tutorial, by Dániel Marx on algorithmic graph structure theory.

    For more information, see http://www.stacs2013.uni-kiel.de or cotnact info at stacs2013.uni-kiel.de (for general information) or pc-chairs at stacs2013.uni-kiel.de (for information regarding paper submission).

  • 25-27 February 2013, Systematic Analytic Philosophy and Interdisciplinary Research, Graduate Workshop (SAPhIR), Bochum, Germany

    Newsitem added on 24 October 2012.

    The Institut für Philosophie II at the Ruhr-Universität Bochum is holding a graduate workshop on Systematic Analytic Philosophy and Interdisciplinary Research. Keynote speakers are Mathias Frisch (University of Maryland), Hans Radder (Vrije Universiteit Amsterdam) and Jason Stanley (New York University).

    For more information, contact tomoo.ueda at rub.de

  • 15-18 February 2013, 5th International Conference on Agents and Artificial Intelligence (ICAART 2013), Barcelona, Spain

    Newsitem added on 19 September 2012.

    The purpose of the 5th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

    For more information, see http://www.icaart.org

  • 8-9 February 2013, 18th Coalition Theory Network Workshop, Warwick, U.K.

    Newsitem added on 3 October 2012.

    The 18th CTN workshop will be held at the University of Warwick, on February 8-9, 2013. The workshop will be aimed at providing an avenue for presenting and discussing new contributions on network, coalition and matching theory. The workshop will start at 9.00 am on February 8 and end by 5.00 pm on February 9, so that most participants from continental Europe can leave in the evening of February 9 if they wish. Provision will be made for parallel sessions if all accepted papers cannot be accommodated in single sessions.

    Invited speakers:
    Herve Moulin, Rice University, USA
    Fuhito Kojima, Stanford University.

    For more information, see http://www.feem-web.it/ctn/events/13_Warwick/ctn18i.html

  • 4-7 February 2013, Bilinear Pairings in Cryptography, Bar-Ilan University, Tel Aviv, Israel

    Costs: free
    Newsitem added on 9 September 2012.

    The winter school will provide an in depth coverage of bilinear pairings and their role in cryptographic constructions. Among other things, we will study the basics of elliptic curves and elliptic curve cryptography, the basics of pairings, and the mathematics behind how pairings work and how to efficiently compute them. In addition, we will study the many applications of pairings to cryptography, including identity-based encryption (IBE) and variants, attribute-based encryption, functional encryption, broadcast encryption, anonymous credentials and non-interactive zero-knowledge. The school program includes approximately 20 hours of lectures and a social dinner.

    The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not elliptic curves or bilinear maps). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

    For more information, see http://crypto.biu.ac.il/winterschool2013/

  • 4-8 February 2013, Games Winter School 2013, Champery, Switzerland

    Newsitem added on 25 September 2012.

    The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, game theory, logic, and their applications for synthesis and verification. It is supported by the ESF project "GAMES for Design and Verification".

    The school will consist of nine lectures. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended. The GAMES winter School 2013 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome.

    Registration is accessible through the web-page of the conference (http://isi.unil.ch/champery2013/). Registration deadline: November 15, 2012.

  • 22-26 July, 2013, SSTiC 2013, Tarragona, Spain

    Costs: 580-630 euro
    Newsitem added on 30 January 2013.

    SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

    SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with diverse topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

    For more information, see the conference website at http://grammars.grlmc.com/sstic2013/

  • Undergraduate School on Experimental Quantum Information Processing 2013 (USEQIP 2013), Waterloo, Canada

    Date: May 27 - June 7 2013

    A summer school for undergraduate students, this is a two-week program on the theoretical and experimental study of quantum information aimed primarily at students completing their third undergraduate year. The lectures and experiments are geared toward students in engineering, physics, chemistry, mathematics and computer science, though all interested students are invited to apply.

    The program has space for 20 students. Accommodations and meals are covered, and funding is available for travel expenses.

    Application deadline is March 4, 2013. For more information, see http://iqc.uwaterloo.ca/conferences/useqip2013/home

  • 19-20 January 2013, 6th Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, U.K.

    Newsitem added on 23 September 2012.

    Keynote speakers: Vann McGee and Crispin Wright.

    For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4648, or contact the conference organisers, Lukas Skiba and Owen Griffiths, at cam.phil.grad.conf at googlemail.com.

  • 15 January 2013, Mini-workshop on realizability, Utrecht, The Netherlands

    Newsitem added on 23 December 2012.

    Following the PhD thesis defense of Wouter Stekelenburg on Monday, January 14 (at 16:15), a mini-workshop on Realizability and related topics will be held on Tuesday, January 15 from 11:15 to 17:00 in room BBL 071 (Buys Ballot Lab, Princetonplein, close to the Math Building), Utrecht.

    Participants include: Giuseppe Rosolini (Genova), Thomas Streicher (Darmstadt), Ieke Moerdijk, Wouter Stekelenburg, Jaap van Oosten, Benno van den Berg,... Speakers include: Thomas Streicher, Benno van den Berg, Jaap van Oosten.

    More detailed information will follow shortly before the meeting.

  • 10-12 January 2013, Indian Conference on Logic and its Applications (ICLA 2013), Chennai, India

    Newsitem added on 25 March 2012.

    ALI, the Association for Logic in India, announces the next edition of its biennial (International) Indian Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 10 to 12, 2013. ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. The conference has also included studies in systems of logic in the Indian tradition, and historical research on logic.

    This year's speakers will include Joseph Halpern, Martin Otto, Mark Reynolds and Gabriel Sandu.

    For more information, see the ICLA page at http://www.imsc.res.in/~icla and the ALI page at http://ali.cmi.ac.in/, or email icla at imsc.res.in.

  • 10-12 January 2013, Innovations in Theoretical Computer Science (ITCS 2013), Berkeley CA, U.S.A.

    Newsitem added on 8 July 2012.

    The 4th Innovations in Theoretical Computer Science (ITCS) conference (previously known as ICS) seeks to promote research that carries a strong conceptual message (e.g., introducing a new concept or model, opening a new line of inquiry within traditional or cross-interdisciplinary areas, or introducing new techniques or new applications of known techniques).

    For more information, see http://itcs2013.cs.berkeley.edu/ or cotnact itcs13chair at gmail.com.

  • 8-11 January 2013, 3rd International Conference on Logic, Argumentation and Critical Thinking, Santiago, Chile

    Newsitem added on 5 February 2012.

    The International Conference Logic, Argumentation and Critical Thinking III is a new academic effort of our Centre to continue to try not only to deepen and update the production of knowledge in the fields that this conference covers, but also to contribute to a positive valuation of different proposals that develop critical thinking and promote social debate with a standard of reasonableness.

    This Conference, organized by the Centre for the Study of Argumentation and Reasoning (CEAR) of the Faculty of Psychology at Diego Portales University, would like to generate tools, approaches and solutions to apply in those fields in which the uses of reason is fundamental: communication, law, education, etc. We do not have an official theoretical position, but rather we value the diversity of angles and proposals.

    For more information, see http://www.cear.udp.cl/conferencia/2012/index_en.html

  • 7-9 January 2013, 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIV), Chennai, India

    Newsitem added on 31 March 2012.

    The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

    TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India. TARK 2013 is the first TARK conference to be held in India, or in January. The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/.

    For more information, see the conference website at http://www.imsc.res.in/tark/

  • 6-8 January 2013, Logical Foundations of Computer Science (LFCS 2013), San Diego CA, U.S.A.

    Newsitem added on 2 April 2012.

    The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

    For more information, see http://lfcs.info/ or http://www.easychair.org/LFCS13/

  • 27 December 2012 - 4 January 2013, "Descriptive Set Theory and Model Theory", Kolkata, India

    Newsitem added on 5 July 2012.

    The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.

    Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.

    For more information, see http://www.isical.ac.in/~dst.model/

MoL and PhD defenses

  • 26 February 2013, Master of Logic defense, Cecilia Chavez Aguilera

    Title: Non-Well Founded Set Semantics for Infinitary Belief Revision
    Date and time: Tuesday 26 February 2013, 10:00
    Location: Room D1.112, Science Park 904, Amsterdam
    Supervisor: Alexandru Baltag
    For more information, please contact T.Kassenaar at uva.nl

Projects and Awards

  • KNAW: Descartes-Huygens Prize

    Newsitem added on 28 April 2013.

    The French and Dutch governments established the Descartes-Huygens Prize in 1995 to draw the attention of the public and researchers to Franco-Dutch relations in science and scholarship.

    The prize is awarded on a rotating basis to researchers in the humanities and social sciences, the natural sciences, and the life sciences. By agreement, the Netherlands selects the French candidate for the prize, and France selects the Dutch candidate.

    Submission deadline: Monday 1 July 2013. For more information, see http://smartsite.knaw.nl/Pages/DEF/27/206.bGFuZz1FTkc.html.

  • KNAW: Academy Merian Prize

    Newsitem added on 28 March 2013.

    The Academy Merian Prize was established to draw attention to female researchers and to encourage more women in the Netherlands to pursue careers in science and scholarship. The prize is made possible by the SNS REAAL Fund.

    Established in 2009, the Academy Merian Prize is awarded to a woman who will inspire others to embark on a career in science or scholarship. The biennial prize is conferred on an outstanding female researcher working alternately in the social sciences or humanities (2009) and in science (2011).

    The deadline for submitting nominations is 15 May 2013. For more information, see http://www.knaw.nl/smartsite.dws?lang=ENG&id=27218

  • VICI Grant Awarded to Khalil Sima`an

    Newsitem added on 6 February 2013.

    The ILLC is very proud to announce that Khalil Sima'an has been awarded a Vici grant by NWO for his project proposal "Machine Translators: Teaching Computers to Translate Using Their Own Words". Khalil Sima'an has been granted 1,5 million euro for this project, which will have a duration of five years. During this period, the project will provide funding for 3 PhD students (4 years) and 2 postdocs (3 years). Sima'an and his team plan to develop new statistical models that learn from data how to automatically produce meaning preserving translations.

    Vici is targeted at outstanding senior researchers who have successfully demonstrated the ability to develop their own innovative lines of research, and to act as coaches for young researchers. Unlike previous editions where the competition was contained within research fields, in the Vici round of 2013 applications from all research fields were assessed in a single, nationwide competition. In total, 32 Vici grants were awarded from among 218 submissions that participated in the 2013 competition.

    See also http://www.nwo.nl/actueel/nieuws/2013/ for more information, or contact Khalil Sima´an at k.simaan at uva.nl.

  • Phong Le wins STIL Thesis Prize

    Newsitem added on 16 January 2013.

    Phong Le, supervised by Jelle Zuidema, has won the STIL Thesis Prize for his MSc AI thesis entitled "Learning Compositional Semantics".

    STIL (Stichting Toepassing Inductieve Leertechnieken) is an association with as its goal the stimulation of research on the aplications of machine learning techniques. From 2009, STIL sponsors a prize for an MA thesis that describes high quality research in computational linguistics or its applications.

    The prize will be awarded by a member of the STIL board during CLIN 23 in Enschede.

    For more information, see http://www.let.rug.nl/vannoord/Clin/stilprijs.html

  • Elliott Wagner has been awarded the 2012 Popper Prize

    Newsitem added on 16 December 2012.

    The 2012 Sir Karl Popper Prize has been awarded to Elliott Wagner for his paper "Deterministic Chaos and the Evolution of Meaning." This prize is awarded for the best of those papers appearing in the British Journal for the Philosophy of Science which concern themselves with topics in the philosophy of science to which Sir Karl made a significant contribution.

    For more information, see http://www.thebsps.org/society/bsps/popper_prize.html.

  • New COST Action on Computational Social Choice

    Newsitem added on 8 December 2012.

    A new European research programme in the field of computational social choice has been launched by COST (European Cooperation in Science and Technology) in Brussels on 30 November 2012. COST Action IC1205 on Computational Social Choice has a budget of around 150k euro per year, for the coming four years, to support coordination, networking and dissemination activities in Europe. It will be run from the premises of the ILLC and is chaired by Ulle Endriss.

    For further information, see http://www.cost.eu/domains_actions/ict/Actions/IC1205.

  • Henkjan Honing awarded the Distinguished Lorentz Fellowship 2013/14

    Newsitem added on 7 December 2012.

    Henkjan Honing, Professor of Music Cognition at the Institute for Logic, Language and Computation, University of Amsterdam, wins the fifth Distinguished Lorentz Fellowship. Honing will explore what insights cognitive science and biology can provide on the origins of music and musicality.

    For more information, see http://www.nias-lorentz.nl/dlf-2013-14.html.

  • Zwaartekracht Project 'Language in Interaction'

    Newsitem added on 16 November 2012.

    ILLC is one of the three partners in the project 'Language in Interaction', which has been granted a total of 27.6 million euro for a period of 10 years, as part of a huge investment by NWO's Gravity (Zwaartekracht) programme in top research in the Netherlands. Johan van Benthem is co-applicant, other ILLC people involved are Rens Bod (workpackage leader) and Michiel van Lambalgen. The project entails a collaboration between the Max Planck Institute for Psycholinguistics (Nijmegen), the F.C. Dondersinstituut (Nijmegen) and the ILLC.

    Project Summary: Human language is the most powerful communication system that evolution has produced to date. In all its manifestations - over 6000 languages are spoken worldwide - it is the basis of our social and cultural life. At the same time, language is firmly embedded in our brain. In order to understand this characteristic fully, we need to examine language from the level of genes and the brain, to the level of social interaction and linguistic structures. This is the aim of the consortium Language in Interaction.

    For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_922FNK.

  • Marie Curie ITN Grant on Machine Translation awarded to EXPERT project with Dr Khalil Sima'an

    Newsitem added on 3 October 2012.

    The EXPERT (EXPloiting Empirical appRoaches to Translation) Initial Training Network (ITN) involves nine research centers from six countries, coordinated by University of Wolverhampton (UK). Its grant funding amounts to approximately four million Euro for four years and funds 12 PhD students and 3 postdocs. Two PhD students will be recruited at the ILLC under supervision of Dr. Khalil Sima'an (Language and Computation).

    The EXPERT ITN offers a combination of winter/summer schools, workshops, short visits and courses for early stage researchers on the topic of Machine Translation. Besides supervision at their home institute, every PhD student is partially co-supervised by an established researchers at a second research institute and is planned to spend brief research visits at other research sites.

    For more information on Marie Curie ITN grants, see http://ec.europa.eu/research/mariecurieactions/about-mca/actions/itn/

Funding, Grants and Competitions

  • ESF: Open Call for COST Proposals

    Newsitem added on 12 May 2013.

    COST invites researchers throughout Europe to submit proposals for research networks and use this unique opportunity to exchange knowledge and to embark on new European perspectives. A continuous Open Call for Proposals is used to attract the best proposals for new COST Actions.

    Deadline: Friday 27 September 2013. For more information, see http://www.cost.eu/participate/open_call

  • Call for Nominations: Ackermann Award 2013

    Newsitem added on 13 January 2013.

    Eligible for the 2013 Ackermann Award (the EACSL outstanding dissertation award for logic in computer science) are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2011 and 31.12.2012. The Award The 2013 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL (CSL'13), 2-5 September 2013, in Torino (Italy).

    The deadline for submission is 15 April 2013. Nominations can be submitted from 1 January 2013 on and should be sent to the chair of the Jury, Anuj Dawar, by e-mail. For more information, see http://www.eacsl.org/submissionsAck.html.

  • Amsterdam Science & Innovation Award 2013

    Newsitem added on 7 April 2013.

    Do you have an innovative and useful idea? Does your idea have commercial or societal impact? Then submit your idea and win € 5.000,-!

    The jury consisting of representatives from industry and the Amsterdam universities, will select five finalists from the submitted ideas. The ideas will be judged on Innovation, Feasibility and Fulfilment of a market need.

    Submission deadline: Friday 19 April 2013. For more information, see http://tto.uva.nl/en/news-and-events/events/content/events/2013/03/amsia13.html.

  • NWO Call for TOP Grant proposals and Research Program Ideas

    Newsitem added on 7 March 2013.

    Researchers can submit proposals for the new TOP grants at NWO Physical Sciences. The TOP grant at NWO Physical Sciences is open for curiosity driven research with an innovative, groundbreaking and challenging character. It enables a junior scientist to employ one PhD or postdoc, and it enables senior scientists to employ two or three PhDs or postdocs. Proposals must have a significant impact in one or more of the fields of astronomy, mathematics or computer science.

    Researchers within the physical sciences can also submit ideas for new research programmes. The ideas should address radical innovative and ambitious research as well as on cooperation within the discipline or sub-discipline. There will be scope for monodisciplinary, multidisciplinary and interdisciplinary research.

    The TOP Grants and Call for Ideas together substitute earlier funding for curiosity driven research, e.g. the Free Competition Scheme (Vrije competitie). Deadline for submissions is 21 March (for TOP Grant proposals) or 15 March (for Research Programme ideas).

    For more information, see http://www.nwo.nl/en/news-and-events/news/2013/ and http://www.nwo.nl/en/news-and-events/news/2013/.

  • Call for Nominations: IFAAMAS-12 Victor Lesser Distinguished Dissertation Award

    Newsitem added on 30 December 2012.

    Nominations are invited for the 2012 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2013 (http://aamas2013.cs.umn.edu/).

    Eligible doctoral dissertations are those defended between January 1, 2012 and December 31, 2012 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate signed by the IFAAMAS Chair and a 1500EUR payment.

    The dissertation must be nominated by the thesis supervisor and submitted on or before February 28, 2013. For more information, see http://aamas2013.cs.umn.edu/node/16

  • ERCIM: Alain Bensoussan Fellowship Programme

    Newsitem added on 13 February 2013.

    The European Research Consortium for Informatics and Mathematics, offers fellowships for PhD holders from all over the world.Topics cover most disciplines in Computer Science, Information Technology, and Applied Mathematics. Fellows are hosted in leading European Research Institutes.

    Deadline: Tuesday 30 April 2013. For more information, see https://fellowship.ercim.eu/

  • NWO: Innovational Research Incentives Scheme Veni

    Newsitem added on 14 October 2012.

    This form of grant offers researchers who have only recently completed their doctorates the opportunity to develop their ideas during three years.

    Closing date for the current round of applications is Thursday 3 January 2013. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5VTGL4_Eng

  • VSBfonds: Studygrants

    Newsitem added on 23 September 2012.

    [In Dutch only]

    VSBfonds stelt elk jaar een groot aantal beurzen beschikbaar voor bevlogen en gemotiveerde studenten, die zich graag verder willen ontwikkelen. "Je hoeft geen bolleboos te zijn, maar je hebt wel goede studieresultaten behaald. Jij bepaalt zelf wat je gaat doen, waar en waarom. Vervolgens overtuig je ons waarom jouw plan bijzonder is en waarom wij jouw plannen zouden moeten ondersteunen".

    Deadline: Friday 1 March 2013. For more information, see http://www.vsbfonds.nl/beurzen

Open Positions at ILLC

  • ILLC: 2 PhD fellowships

    Newsitem added on 12 April 2013.

    The Institute for Logic, Language and Computation (ILLC) currently has two PhD fellowships available at the Faculty of Science starting on 1st September 2013. Applications are now invited from excellent candidates wishing to conduct research in an area in which members of ILLC scientific staff affiliated with the Faculty of Science are active.

    Application deadline: 12 May 2013. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4987

  • Assistant Professor (UD) position at ILLC

    Newsitem added on 28 February 2013.

    The ILLC is strengthening its position as a leading institution in the study of logic, language and computation, by opening a vacancy for an Assistant Professor position in any of its three research groups: Logic and Language, Logic and Computation, and Language and Computation

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4911.

  • PhD student position in Cognitive Modelling available at ILLC (Faculty of Humanities)

    Newsitem added on 23 January 2013.

    The Institute for Logic, Language and Computation (ILLC) currently has a PhD fellowship available, appointment starting on 1 April 2013. Applications are now invited from excellent candidates wishing to conduct interdisciplinary research in the Brain & Cognition priority area of UvA.

    The PhD candidate will be appointed at the Faculty of Humanities of the University of Amsterdam. The appointment is for 4 years for 0,8 fte under the terms of employment currently valid for the Faculty. Initially a contract will be given for 16 months, with an extension for the following 32 months on the basis of a positive evaluation.

    The closing date for application is 15 February 2013. Vacancy number: 13-017. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4854 or contact Dr Jakub Szymanik at J.Szymanik at uva.nl.

  • PhD student position available at ILLC (Faculty of Humanities)

    Newsitem added on 18 November 2012.

    The Institute for Logic, Language and Computation (ILLC) currently has a PhD fellowship available at the Faculty of Humanities starting on 1 September 2013. Applications are now invited from excellent candidates wishing to conduct research in an area in which either the Logic and Language group or the Language and Computation group at ILLC are active.

    The PhD candidate will be appointed at the Faculty of Humanities of the University of Amsterdam. The appointment is for 4 years for 0,8 fte under the terms of employment currently valid for the Faculty. Initially a contract will be given for 16 months, with an extension for the following 32 months on the basis of a positive evaluation.

    The closing date for application is 14 January 2013. Vacancy number: 12-281. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4753 or contact Dr Robert van Rooij at R.A.M.vanRooij at uva.nl.

  • 2 PhD Students in Machine Translation (EU Project)

    Newsitem added on 6 November 2012.

    Both positions are in Language and Computation, and are four-year Early Stage Researcher pre-doctoral positions. The positions are part of the new EU Framework 7 Marie-Curie Network EXPERT, concerned with the exploitation of empirical approaches to machine translation, including statistical machine translation and example-based machine translation.

    Vacancy number: 12-251. Application deadline (extended): 10 January 2013. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4733.

Open Positions, General

  • Seven postdoctoral positions in the Dutch research consortium "Language in Interaction"

    Newsitem added on 17 March 2013.

    The Dutch research consortium "Language in Interaction" is looking for highly motivated postdoctoral researchers to enrich a unique consortium of researchers that aims to unravel the neurocognitive mechanisms of language at multiple levels. The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour.

    The research consortium, sponsored by a large grant from the Netherlands Organization for Scientific research (NWO), brings together many of the excellent research groups in the Netherlands (including the ILLC) with a research programme on the foundations of language. Together, this consortium realizes both quality and critical mass for studying human language at a scale not easily found anywhere else in the world.

    The Principal Investigators of the research consortium are distributed over seven so-called Work Packages (WPs). Each of the 7 WPs hereby advertised one postdoctoral position. This postdoctoral position will be for three years in the first instance, with a possible extension for two more years.  The appointment will be in one of the home institutions of the consortium (one of which is the ILLC). Duties will include coordination of Work Package activities and development of an independent research programme within the framework of the WP, and may include supervision of PhD students.

    Each WP postdoctoral position has its own requirements and profile. Starting date preferably September 2013. The deadline for applications: May 15, 2013. For more information, see http://www.illc.uva.nl/NewsandEvents/language_in_interaction.html or http://www.ru.nl/donders/collaborations/projects/zwaartekracht/.

  • PhD and Postdoc vacancies in Epistemic Protocol Synthesis, Nancy (France)

    Newsitem added on 2 April 2013.

    Two three-year PhD positions and one two-year Postdoc position are available at LORIA, Nancy (France), in the ERC (European Research Council) Starting Grant project called 'epistemic protocol synthesis'. The deadline for application is 15 May. The project leader is Hans van Ditmarsch, hans.van-ditmarsch at loria.fr .

    Deadline: 15 May 2013. For more information, see https://sites.google.com/site/hansvanditmarsch/

  • Visiting Assistant Professorship in medieval philosophy / epistemology / logic, Asheville NC (U.S.A.)

    Newsitem added on 9 May 2013.

    The Philosophy Department at the University of North Carolina at Asheville is seeking a Visiting faculty member at the assistant professor level, for the academic year 2013-14 (with the possibility of renewal for one year).

    AOS: Medieval philosophy broadly construed and epistemology; AOC: Logic and critical thinking. Applicants should have a wide range of intellectual interests; a dedication to teaching excellence; an appropriate level of professional activity, and enthusiasm in program building. Ability to offer courses in Jewish and Islamic philosophies would be a plus. Teaching load: 12 credit hours per semester. The successful candidate will be expected to contribute to the interdisciplinary Humanities Program and Liberal Arts requirements of the university.

    Review of applications will begin immediately and will continue until the position is filled or the closing date of May 15, 2013. For more information, see http://philosophy.unca.edu/.

  • Lectureship in Philosophy (expertise in logic), Belfast (U.K.)

    Newsitem added on 21 April 2013.

    The School of Politics, International Studies and Philosophy at Queen's University Belfast is now seeking applications for the a position from outstanding individuals with the desire and potential to undertake research in the relevant field, to teach at undergraduate and post graduate levels, and to contribute to the School's administration and outreach activity.

    The person appointed will be required to undertake high quality teaching, examining and postgraduate supervision in an area that will enhance the unit's particular research strengths in the analytic tradition. Although the area of specialization is open, research expertise in Epistemology, Language, Logic, Metaphysics or Mind is desirable.

    Closing date: Monday 13 May 2013. For more information, see https://hrwebapp.qub.ac.uk/tlive_webrecruitment/wrd/run/ or contact Dr Jeremy Watkins at j.watkins at qub.ac.uk.

  • PhD student positions in computer science, Liverpool (U.K.)

    Newsitem added on 25 April 2013.

    The Department of Computer Science of the University of Liverpool offers a number of PhD positions in the research fields pursued in the department.

    Applicants are encouraged to visit http://www.csc.liv.ac.uk/research.html and study the pages of our research groups on Agents, Complexity Theory and Algorithms, Economics and Computation, and Logic and Computation, and to contact prospective supervisors to discuss a research topic before applying.

    The deadline for this application round is Monday, May 13. Applications can be made through http://www.liv.ac.uk/study/postgraduate/applying/. Questions can be directed to phdadmissions at csc.liv.ac.uk.

  • Two postdoctoral research associate positions in philosophy of mind / cognitive science, Manchester (U.K.)

    Newsitem added on 28 April 2013.

    Applications are invited for two Postdoctoral Research Associates in the Philosophy of Mind/Cognitive Science at the University of Manchester. These positions are associated with the ERC-funded project "The Architecture of Consciousness", directed by Tim Bayne. Both positions are research-focused, and they involve no teaching or significant administrative responsibilities.

    Candidates must have a PhD degree in philosophy by January 2014; a background in psychology, neuroscience or psychiatry would be an advantage although it is not essential. The projected start date is 1 September 2013, although there is some room for flexibility here. The closing date for applications is May 7th, 2013.

    For more information, see https://www.jobs.manchester.ac.uk/DisplayJob.aspx?Jobid=20591 or contact Prof. Tim Bayne at tim.bayne at manchester.ac.uk.

  • 30 April 2013, European PhD Program in Computational Logic (EPCL): Call for Applications

    Location: Bolzano, Italy; Dresden, Germany; Vienna, Austria; Lisbon, Portugal
    Newsitem added on 24 March 2013.

    The European PhD Program in Computational Logic (EPCL) is jointly offered by four leading European universities in the field: The Free University of Bozen-Bolzano (Italy), the Technische Universität Dresden (Germany, coordinator), the Technische Universität Wien (Austria) and the Universidade Nova de Lisboa (Portugal). The program involves three years of PhD study in two of the partner universities and leads to a joint doctoral degree.

    The upcoming application deadline is 30 April 2013. For more information, see http://www.epcl-study.eu/content/call/call.php

  • Temporary (1y) assistant professorship in philosophy, Hamilton ON (Canada)

    Newsitem added on 25 April 2013.

    The Department of Philosophy at McMaster University invites applications for a one-year, contractually limited position, to begin July 1, 2013 at the rank of Assistant Professor.

    The successful candidate will have a PhD in philosophy, in hand or near completion by the starting date, previous teaching experience and demonstrated ability to teach undergraduate courses in philosophy. The successful candidate will also be expected to participate in the research and administrative activities of the department. Preference will be given to applicants qualified to teach the following courses: 1A03 Philosophical Texts, HUM 2C03 Critical Thinking, 2YY3 Intro Ethics, 3D03 Phil of Science, 3HH3 Metaphysics, 3O03 Theory of Knowledge, 4XX3 Intermediate Logic, and one further 3 unit course next spring/summer.

    Complete applications, including supporting documentation, which are received by April 30, 2013 will be assured of full consideration. For more information, see http://www.mcmaster.ca/vpacademic/Philosophy_CLA.html.

  • Bertrand Russell Visiting Professorship, Hamilton ON (Canada)

    Newsitem added on 28 April 2013.

    The Department of Philosophy at McMaster University invites applications for a Visiting Professorship in Russell and the History of Early Analytic Philosophy. McMaster University, which houses the Bertrand Russell Archives and the Bertrand Russell Research Centre, is one of the leading centres for research on Russell's philosophy.

    The Visiting Professorships, one of which will be available each year, are intended for established scholars whose research would be benefited by access to the Bertrand Russell Archives for an extended period. They are tenable for either one or two semesters, and involve the obligation to present at least one paper in the Philosophy Department's Speakers Series and teach one fourth year undergraduate course also open to graduates, preferably on the history of analytic philosophy (although a different topic may be agreed upon with the Chair of the Department of Philosophy), while undertaking research in the Russell Archives.

    The closing date for applications for 2013-14 is April 30, 2013. For more information, see http://www.mcmaster.ca/vpacademic/Bertrand_RussellVP.html or contact Dr. Sandra Lapointe, tel: 905-525-9140, ext. 24312.

  • Lectureship in Philosophy, Durham (U.K.)

    Newsitem added on 18 April 2013.

    This is a non-fixed-term, full-time lectureship, tenable from 1 October 2013. The successful applicant will have a PhD or equivalent, some strong publications, and clear research plans. Her/his principal research interests will be in one or more of the following: Ethics; Philosophy of Mind and/or Language; Metaphysics. She/he will be able to provide high quality teaching at undergraduate and postgraduate level.

    There is considerable flexibility concerning the areas of teaching to be covered. However, we have teaching needs in the following: Ethics; Political Philosophy; Philosophy of Mind and Language; Kant. The ability to teach in one or more of these areas may be an advantage. The successful applicant will also take on some administrative responsibilities, and will be expected to contribute to the lively research culture of the department.

    Reference Number: 2550. Closing Date: 28 April 2013. For more information, see https://ig5.i-grasp.com/fe/tpl_durham01.asp?newms=jj&id=80253.

  • Postdoctoral or PhD student position on "Semantic technology for context awareness", Dresden (Germany)

    Newsitem added on 7 April 2013.

    The Collaborative Research Center "HAEC - Highly Adaptive Energy-Efficient Computing" at the TU Dresden offers a position as a Postdoc / PhD student for the research project "Semantic Technology for Context Awareness" to start on July 1, 2013.

    This full-time position is available for 24 months and may be extendable for further 48 months. The successful candidate will be associated with the Chair of Automata Theory (headed by Prof. Baader), with her or his work focusing on logic-based knowledge representation, description-, modal- or temporal-logics, ontological reasoning, query languages for ontology-based data access or related areas. Required is an university degree (diploma, MSc or PhD) in computer science, mathematics or a related field.

    The closing date for applications is 20.04.2013. For further information please see: http://tu-dresden.de/vacancy/2499

  • Tenure-track position in Theoretical Computer Science, VU Amsterdam (The Netherlands)

    Newsitem added on 21 April 2013.

    At the Department of Computer Science of the VU University Amsterdam there is an open tenure-track position for Assistant/Associate Professor in Theoretical Computer Science.

    Applications should be sent before June 1, 2013. For information, see http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2013/047.asp or contact Prof. Wan Fokkink (tel: +31 (0)20 5987735, e-mail: w.j.fokkink at vu.nl).

  • PhD student scholarship on "Modelling and Normative Assessment of Collective Decisions", Hamburg (Germany)

    Newsitem added on 4 April 2013.

    The Departments of Philosophy and Economics at Hamburg University invite applications for a PhD scholarship within the graduate group "Modelling and Normative Assessment of Collective Decisions".

    The topic of the research group is collective decision making. The main focus is on the behavioural foundations, modelling and normative assessment of collective decisions. The project encompasses fundamental research in behavioural economics, ethics and philosophy of science as well as specific applications of collective decision making, like the provision of public goods, institutions in the welfare state, electoral competition etc. Both theoretical and empirical approaches, e.g. field and laboratory experiments, will be considered.

    Applicants should be interested in topics at the intersection of economics, politics, and philosophy. Ideally, candidates have a Master's degree in a multidisciplinary programme including at least two of the disciplines philosophy, economics, or political studies. We particularly like to encourage candidates with a background in political science to apply.

    The closing date for applications is 15 April 2013. For more information, see http://www.wiso.uni-hamburg.de/fr/fachbereiche/vwl/aktuell/aktuell/meldung/

  • PhD internships in mathematics (for graduate students), Warsaw (Poland)

    Newsitem added on 4 April 2013.

    WCMCS internships are directed to PhD students enrolled in scientific institutions outside Warsaw. The interns will participate in lectures and seminars at the institutions of WCMCS (MIMUW or IMPAN, Warsaw branch) as well as in the research projects conducted by the faculty of WCMCS. The interns are supervised by mentors from WCMCS; they also teach up to 60 hours per semester. The length of an internship is a semester, and it can be extended to up to three semesters. The monthly renumeration is 4000PLN, before taxes.

    For more information, see http://www.wcmcs.edu.pl/node/40. Deadline for submiting an application: April 15th, 2013.

  • The Drapers' Company Junior Research Fellowship in the Humanities, Oxford (U.K.)

    Newsitem added on 24 March 2013.

    The College invites applications for a Junior Research Fellowship in the Humanities, which has been generously funded by the Drapers' Company and will be tenable for a non-renewable fixed term of three years from 1st October 2013 until 30 September 2016. The Fellowship is open to graduates of any University who are of post-doctoral or equivalent standing and are already engaged in independent research. Eligible candidates should normally have submitted their doctoral thesis and have fewer than five years of post-doctoral research experience by the closing date.

    Further details and an application form can be found at http://www.hertford.ox.ac.uk/about/vacancies/ or obtained from the Principal's Secretary of Hertford College at principals.secretary at hertford.ox.ac.uk). Applications should be submitted by 12.00 noon on Friday 12 April 2013.

  • Analysis Studentship in analytic philosophy (at UK universities)

    Newsitem added on 4 April 2013.

    The Analysis Committee proposes to award at least one and up to three studentships equal to the full-time maintenance grant for an Arts and Humanities Research Board postgraduate studentship for the year 2013?2014. The studentship is designed to support a promising philosopher who does not have other means of support (e.g. a temporary or permanent lectureship or a research fellowship) and to enable him or her to conduct full-time research.

    Candidates for the studentship should be pursuing research at a British university, at the beginning of their academic career, and, at the time of taking up the award, should have completed at least three years of full-time research, or the part-time equivalent, on a subject which falls under the traditional concerns of Analysis. It is envisaged that the successful candidate will have recently completed a Ph.D. or be very close to completion, and have a CV which would make him or her a strong contender for a Junior Research Fellowship or similar appointment.

    Deadline for applications: 12th April. For more information, see http://www.analysistrust.org/society/analysis/studentship.html or contact Jules Holroyd (analysistrust.secretary at oup.com).

  • Postdoctoral position in secure communication, Seville (Spain)

    Newsitem added on 12 April 2013.

    We offer a one-year postdoc position at the University of Seville to work in a project on unconditionally secure communication. Candidates should have a PhD, a solid background and publications in computer science, logic, cryptography, algorithm specification or related areas. The position will start preferably from September 2013 and no later than November 2013. See full project description below. For more information: Fernando Soler-Toscano <fsoler at us.es>.

    Deadline for application: 1st June 2013. For more information, contact fsoler at us.es or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4989.

  • Assistant Professorship in Computer Science (tenure track), Sao Paulo (Brazil)

    Newsitem added on 30 January 2013.

    The Institute of Mathematics and Statistics of the University of São Paulo (IME-USP) invites applications for a faculty position at the Assistant Professor level. The Department is accepting applications in all areas of Computer Science.

    Candidates with strong potential for research and teaching are expected. Candidates should have a PhD in Computer Science or in a related area. The selected candidate will be responsible for developing research and for teaching in the undergraduate and graduate programs of the department.

    Application Deadline: April 10th 2013. For more information, see the formal call at http://www.ime.usp.br/dcc/faculty_position or the tranlation at http://www.vision.ime.usp.br/~cesar/usp/mac/chefia/tenure-instructions.html, or contact mac at ime.usp.br.

  • Full professorship in philosophy of science, Tilburg (The Netherlands)

    Newsitem added on 13 March 2013.

    The Department of Philosophy at Tilburg University seeks to appoint an out-standing candidate in the field of philosophy of science. The successful candidate will have developed an international reputation in the research area of philosophy of science, with a special emphasis on economics and/or the social and behavioral sciences. Areas of specialization: philosophy of science, epistemology Areas of competence: science policy and governance, philosophy and public policy

    The Department of Philosophy, which is a part of the School of Humanities of Tilburg University, is an internationally ranked and pluralist department whose core research areas are logic and the philosophy of science, general and applied ethics, legal philosophy, and German idealism. The successful candidate will become the head of the internationally renowned Tilburg Center for Logic and Philosophy of Science (TiLPS), whose scope has recently been extended to include general ethics. The appointment will be at the rank of tenured, full professor (fulltime).

    For more information, please contact Prof. dr. Harry Bunt at Harry.Bunt at uvt.nl or see http://erec.uvt.nl/vacancy?inc=UVT-EXT-2013-0082. The closing date for applications is April 8, 2013.

  • Postdoctoral and doctoral fellowships in philosophy of science, Munich (Germany)

    Newsitem added on 17 March 2013.

    The Chair of Philosophy of Science at the Faculty of Philosophy, Philosophy of Science and the Study of Religion and the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich seek applications for one Postdoctoral Fellowship and one Doctoral Fellowship, starting date: October 1, 2013 (or later).

    The MCMP is devoted to applications of logical, mathematical, and computational methods in philosophy. The official language at the Chair and at the MCMP is English and fluency in German is not mandatory.

    The postdoctoral stipend is for two years, the doctoral stipend for three years (at the end of which the fellow is expected to have finished her or his PhD thesis). The fellowships should be taken up by October 1, 2013, but a later starting date is also possible. Deadline for applications: April 7, 2013.

    For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/new-fellowships-3-13/.

  • Assistant Professorship (A13, 3y+3y) in philosophy, Munich (Germany)

    Newsitem added on 24 March 2013.

    The Chair of Philosophy of Science at the Faculty of Philosophy, Philosophy of Science and the Study of Religion and the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich seek applications for an Assistant Professorship with a specialization in (at least) one of the following areas: Philosophy of Psychology, Philosophy of Social Science, Philosophy of Economics, and Philosophy of Neuroscience. The position is for three years with the possibility of extension for another three years. The starting date is October 1, 2013.

    Note that there is no tenure-track option. The appointment will be made within the German A13 salary scheme, which means that one has the rights and perks of a civil servant. The appointee will be expected (i) to do philosophical research and to lead a research group in her or his field, (ii) to teach five hours a week in at least one of the above-mentioned fields and/or a related field, and (iii) to take on some management tasks.

    Applications must be received before 7 April, 2013. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/cfapplications_ass_prof_3-13/ or contact contact Professor Stephan Hartmann (S.Hartmann at lmu.de).

  • Postdoctoral fellow in theoretical philosophy (2y), Gothenburg (Sweden)

    Newsitem added on 7 April 2013.

    Now open: 2-year fixed-term employment as a postdoctoral research fellow in theoretical philosophy at the department of Philosophy, Linguistics, and Theory of Science, at the University of Gothenburg, Sweden.

    The successful candidate is expected to carry out most of his or her research in Gothenburg and to actively participate in the department?s weekly seminar activities. The holder should be proficient in either Swedish and English or only English. Closing date: 2013-04-25.

    For more information about the position, including the relevant application forms, go here: http://www.gu.se/english/about_the_university/ or contact the professor of theoretical philosophy, Anna-Sofia Maurin (anna-sofia.maurin at gu.se), or the department?s deputy head of research, Fredrik Bragesjö (fredrik.bragesjo at gu.se).

  • Stipendiary Lectureship in Philosophy at Merton College, Oxford (U.K.)

    Newsitem added on 10 March 2013.

    Merton College proposes to appoint a Stipendiary Lecturer in Philosophy for one year commencing on 1 October 2013. The main duties of the post will be: to teach undergraduates reading Philosophy for six hours per week in full term and to assist in the co-ordination of the subjects involving Philosophy in the College.

    The successful candidate will have completed or be about to complete a doctorate in Philosophy in a topic relevant to the teaching range required of this post holder. This will include at least two and preferably more of the following papers: Elementary Logic and General Philosophy for Mods and Prelims; Ethics, History of Philosophy from Descartes to Kant, and Philosophy of Mind, all for Finals. The ability to provide effective tutorial teaching to high-achieving undergraduates is essential.

    The closing date for applications is noon on 5 April 2013. Further particulars are available at http://www.merton.ox.ac.uk/vacancies/.

  • Postdoctoral researcher in machine learning, Oxford (U.K.)

    Newsitem added on 10 March 2013.

    We are seeking a full-time postdoctoral researcher to join the Machine Learning Research Group at the Department of Engineering Science (central Oxford). The post is funded by EPSRC and is fixed-term for 36 months, with a start date of 1 June 2013. The project is entitled 'Autonomous Behaviour and Learning in an Uncertain World' and is joint with the University of Cambridge.

    Candidates should possess a good first degree in Engineering or Mathematics/Statistics, with specialisation in probabilistic models and have or be about to complete a PhD in a relevant area. Experience in information theory, control theory, Bayesian inference and practical application in uncertain domains as well as expertise and experience in computer programming are essential.

    Only applications received before 12.00 midday on 5 April 2013 can be considered. For more information, see https://www.recruit.ox.ac.uk/pls/hrisliverecruit/. Informal enquiries may be addressed to stephen.roberts at eng.ox.ac.uk.

  • Postdoc position in TCS at KTH Royal Institute of Technology

    Newsitem added on 5 April 2013.

    The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in Theoretical Computer Science.

    This position is funded by the research project "Understanding the Hardness of Theorem Proving" in the area of proof complexity with connections to SAT solving, and much of the activities of the research group revolve around these themes. However, proof complexity has also turned out to have deep, and sometimes surprising, connections to other areas such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and therefore researchers in these or other related areas are also of interest.

    The project is led by Jakob Nordström (http://www.csc.kth.se/~jakobn) and is financed by a Breakthrough Research Grant from the Swedish Research Council and a Starting Independent Researcher Grant from the European Research Council. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader). Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.

    This is a full-time employed position for one year with a possible one-year extension. The successful candidate is expected to start at the latest in August-September 2013, although this is to some extent negotiable.

    The application deadline is May 5, 2013, but candidates are encouraged to apply right away since applications are reviewed on a continuous basis. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2013-0315-Eng.php. Informal enquiries are welcome and may be sent to Jakob Nordstrom.

  • PhD position in TCS at KTH Royal Institute of Technology

    Newsitem added on 5 April 2013.

    The Theory Group at KTH Royal Institute of Technology invites applications for a PhD position in Theoretical Computer Science.

    This position is funded by the research project "Understanding the Hardness of Theorem Proving" in the area of proof complexity with connections to SAT solving, and much of the activities of the research group revolve around these themes. However, proof complexity has also turned out to have deep, and sometimes surprising, connections to other areas such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and therefore research in these or other related areas are also of interest.

    The project is led by Jakob Nordström (http://www.csc.kth.se/~jakobn) and is described briefly at http://www.csc.kth.se/~jakobn/project-proofcplx. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader) and also receives short-term and long-term visitors on a regular basis.

    This is a full-time employed position, normally for five years including 20% teaching, with salary according to KTH PhD student regulations (internationally very competitive). The successful candidate is expected to start at the latest in August 2013, although this is to some extent negotiable.

    The application deadline is May 5, 2013, but candidates are encouraged to apply right away since applications are reviewed on a continuous basis. See http://www.csc.kth.se/~jakobn/openings/D-2013-0301-Eng.php for the full, formal announcement with more information and instructions for how to apply. Informal enquiries about this position are welcome and may be sent to Jakob Nordstrom.

  • W2 professorship in theoretical philosophy, Duesseldorf (Germany)

    Newsitem added on 17 March 2013.

    The Department of Philosophy at Heinrich Heine University Düsseldorf invites applications for a Full Professorship (W 2 salary level) in Theoretical Philosophy to take up appointment on the earliest possible date.

    The tasks of the professorship include the representation of the field of philosophy in research and teaching with particular focus on language and knowledge as well as participation in administrative work. Teaching covers Bachelor, Master and PhD programmes and comprises both, courses in logic as a mandatory part of the course of study and courses in the history of philosophy. Teaching responsibilities include a participation in the integrated Bachelor programmes Lingustics and Ancient Culture. It is highly desired that the candidate contribute to the field of Cognitive Sciences, which is currently being established as an interdisciplinary focus of research.

    Detailed applications encompassing the usual documents (without publications) should be submitted by 04.04.2013, citing Reference No 13 B 13-3.1 For more information, see http://www.uni-duesseldorf.de/home/universitaet/weiterfuehrend/stellenangebote/.

  • PhD and PostDoc positions in Logics for Qualitative Reasoning

    Newsitem added on 4 April 2013.

    The project is concerned with the logical foundations of qualitative representation and reasoning applied in artificial intelligence. Qualitative Reasoning (QR) has emerged as a subfield of Artificial Intelligence to deal with representation and reasoning about continuous aspects of entities and systems in a symbolic, but human-like manner. The main issue in the QR approach is to develop an adequate tool for modeling situations in which information is not sufficiently precise or cannot be described by numerical values.

    The project is looking for candidates for the PostDoc Position and PhD Student Position. Deadlines: June 30 for the PhD position and September 15 for the PostDoc.

    For more information, see http://www.logicsforqr.uw.edu.pl/

  • Thirteen postdoctoral fellowships (in all areas), Bremen (Germany)

    Newsitem added on 15 February 2013.

    Funded from the University's own Central Research Development Fund (CRDF) as well as from the Marie Curie COFUND fellowship program, the University of Bremen invites postdoctoral researchers (m/f) in the natural sciences, engineering, social sciences and humanities to apply for one of 13 Postdoctoral Fellowships (A32/13).

    Positions are available for early career, advanced, and international postdoctoral researchers. All fellows (m/f) can freely choose their research topic, but have to demonstrate that their project fruitfully connects with one of the University's research areas. Postdoctoral fellows (m/f) will receive a competitive salary and a generous budget for costs directly incurred by the project.

    Applications must be submitted online by 1 April 2013. For further information and contact details, please visit our website: http://www.uni-bremen.de/en/post-doc

  • Fully funded studentship in set theory, Norwich (U.K.)

    Newsitem added on 27 February 2013.

    The School of Mathematics at the University of East Anglia has a Fully Funded Studentship available for the project "Investigation of function spaces k^k, the generalised real numbers"

    This very ambitious Ph.D. project seeks to explore the properties of higher cardinal analogues of the Baire space \omega^\omega, using modern techniques and developing new ones. The ideal candidate will have a very strong background in mathematics and some experience in set theory. Supervisory Team: Professor Mirna Dzamonja and Dr David Aspero.

    Deadline: 1st April 2013. This studentship is available for a 1st October 2013 start. For more information, see https://www.uea.ac.uk/study/postgraduate/research-degrees/science/-/

  • W2/W3 Professorship in Cognitive Systems, Bremen (Germany)

    Newsitem added on 20 January 2013.

    The University of Bremen, Faculty of Mathematics and Informatics, invites applications for the permanent position of Professor of Cognitive Systems (W2 / W3 - Associate or Full Professor level, depending on qualifications). Application Code P 1/13. The successful applicant will represent the field of Cognitive Systems in research and teaching. He/she should have an excellent research and publication record in one or more of the relevant areas.

    The successful candidate will teach courses, seminars, and student projects in the informatics, digital media, and / or systems engineering curricula at undergraduate and graduate levels. Teaching languages are English and German. Experimental initiatives, didactic innovation, and contributions to the internationalization of the University of Bremen are expected. The successful applicant is expected to have or to acquire working competence in the German language.

    Applications must be received before 31 March, 2013. For more information, see http://cosy.informatik.uni-bremen.de/content/professor-cognitive-systems or contact the Dean of the Faculty for Mathematics and Informatics, Prof. Dr. Kerstin Schill. at dekanin at fb3.uni-bremen.de.

  • W1 junior professorship in computational methods for uncertainty quantification, Stuttgart (Germany)

    Newsitem added on 20 February 2013.

    At the Stuttgart Research Centre of Simulation Technology, the following junior-professorial position is offered: Junior Professorship (W1) on Computational Methods for Uncertainty Quantification at the Institute of Hydromechanics and Modelling of Hydrosystems (Faculty 2: Civil and Environmental Engineering) or at the Institute of Applied Analysis and Numerical Simulation (Faculty 8: Mathematics and Physics)

    The Junior Professor strengthens the field stochastic modelling and quantification of uncertain problems in continuum mechanics. The position is located at the interface between applied mathematics and engineering sciences. Prospective research fields in mathematics are all related aspects of probability theory and model-based numerical simulation. In engineering it is expected that the professor satisfies the demands of one or more relevant applications. This includes in particular fluid flow and dynamical processes in porous media.

    Applications with the usual documents should be sent to arrive not later than 31 March 2013. For more information, see http://www.uni-stuttgart.de/jobs/angebote/job951.html

  • Two postdoctoral positions in algorithms, Warsaw (Poland)

    Newsitem added on 17 March 2013.

    Two postdoctoral positions in the area of algorithms in the Department of Mathematics, Informatics and Mechanics at University of Warsaw under the guidance of Prof. Piotr Sankowski are currently open. All candidates with strong qualifications in algorithmic research are encouraged to apply and will be carefully considered.

    The positions are supported by the PAAl Project (Practical Approimation Algorithms) and the MULTIPLEX Project (Foundational Research on Multilevel Complex Networks and Systems). Both projects are being realized by the Algorithmic Analysis Group. Successful candidates can start after September 2013 (negotiable). Funding is available for up to two years and different durations are possible. No teaching responsibilities are associated with this position. Travel support is available.

    Applications should be submitted per e-mail (preferably as PDF attachments) by March 31st, 2013. For more information, see http://paal.mimuw.edu.pl/index.php?view=article&id=15:postdocs

  • Two PhD student positions in formal methods, Gothenburg (Sweden)

    Newsitem added on 20 February 2013.

    There are 2 PhD PhD Positions in Formal Methods available at the Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden.

    The Formal Methods group is an internationally recognized research group with a high-profile research track record and an excellent network of collaborators. The group's research focus is in the theoretical and practical aspects of formal software verification, including automated reasoning, interactive theorem proving, runtime verification, and test generation. Together with international collaborators, the group members co-developed widely recognized verification tools like KeY, Vampire, ALIGATOR and LARVA.

    The research of the two advertised PhD positions will be in the area of Software Verification, where one position has a stronger focus on the creative use and development of automated reasoning techniques for software verification, and the other has a stronger focus on combining static and runtime verification of software. The selection of the specific research topic will take into account both the interests of the new PhD student and the research agenda of the group. PhD student positions are limited to five years and normally include 20 per cent departmental work, mostly teaching duties. The positions are intended to start in spring or fall 2013.

    Application deadline: March 30, 2013. For more information, see http://www.chalmers.se/en/about-chalmers/vacancies/Pages/.

  • Two PhD student positions in philosophy, Bochum (Germany)

    Newsitem added on 13 February 2013.

    At the Institute of Philosophy II at the Ruhr-University in Bochum two grants for PhD students are offered, in the areas of 'philosophy of mind' and 'philosophical logic'.

    Candidates for the 'philosophy of mind' position should be interested in working out a PhD in the area of the philosophy of mind with a focus on emotion, social cognition, agency or self-consciousness. The PhD grant is connected with a joint supervision of Prof. Albert Newen and Prof. Shaun Gallagher. Deadline for applications: 24th of March 2013.

    The 'philosophical logic' position is associated with the chair of Logic and Epistemology (Prof. Heinrich Wansing) and comes with a mild teaching duty of one undergraduate class per semester. Candidates should have a decent background in the semantics and proof-theory of non-classical and modal logics. Deadline for applications: February 15th, 2013.

    For further information, see please feel free to contact Prof. Heinrich Wansing (Heinrich.Wansing at rub.de ).

    For more information, see http://www.ruhr-uni-bochum.de/philosophy/ii/jobs.html.de. Or contact albert.newen at rub.de or Heinrich.Wansing at rub.de.

  • PhD Studentship at Bath on "Efficient and Natural Proof Systems"

    Newsitem added on 24 March 2013.

    The Department of Computer Science at the University of Bath is looking for a PhD in the context of the EPSRC project 'Efficient and Natural Proof Systems', working under Alessio Guglielmi and/or Guy McCusker.

    In this project, we will define a new proof system which, essentially, will represent proofs as geometric shapes equivalent under continuous deformation. Three areas of mathematics and theoretical computer science concur in the definition of these proof systems: categorical semantics, proof theory and proof complexity. The result of this project will be the completion of three decades of efforts in proof theory that started with linear logic and continued with deep inference.

    Application Deadline: 17 April 2013. For more information, see http://www.cs.bath.ac.uk/ag/ENPS/ and http://www.findaphd.com/search/ProjectDetails.aspx?PJID=44514, or contact A.Guglielmi at bath.ac.uk.

  • PhD position in the MSP group at the Univ. of Strathclyde, Glasgow (Schotland)

    Newsitem added on 17 March 2013.

    The University of Strathclyde invites applications for PhD study under the supervision of Dr Clemens Kupke and Prof Neil Ghani in the area of coalgebra, category theory and logic with a special focus on linking the coalgebraic theory to applications in databases. The position is fully funded for EU students and will last for 3 years.

    The successful applicant will have a good degree or an MSc in Mathematics or Computer Science or a related subject with a strong Mathematics or Computer Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential.

    The Mathematically Structured Programming Group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into the next generation of programming languages. This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages - any attempt to sever this connection will diminish each component. In order to achieve these research goals we mainly use ideas from category theory, logic, type theory and functional programming. Besides Prof Neil Ghani and Dr Clemens Kupke, the group consists of a number of internationally leading researchers including Dr Patricia Johann, Dr Conor McBride and Dr Sam Lindley as well as a number of PhD students.

    Anyone interested should view the MSP-group website at http://www.msp.cis.strath.ac.uk/, or contact Dr Clemens Kupke at clemens.kupke at strath.ac.uk and outline their academic background. Applications will be considered starting from 15 April 2013.

  • Josef Raviv Memorial Postdoctoral Fellowship in Computer Science, various IBM Labs (worldwide)

    Newsitem added on 12 December 2012.

    IBM Research is proud to announce the 2012 Josef Raviv Memorial Postdoctoral Fellowship in Computer Science and Computer Engineering in memory of Dr. Josef Raviv, the founder and director of the IBM Research - Haifa laboratory. Dr. Raviv had a distinguished research career in Information Theory and was a pioneer in the Israeli high-tech industry.

    IBM will offer one postdoctoral fellowship to a recent Ph.D. who shows exceptional promise for a research career in computer science or computer engineering. The fellowship will be for one year, with an opportunity for IBM to renew for an additional year conditional on funding availability. The stipend will be highly competitive, and will include reasonable moving and travel expenses. A candidate must have received a Ph.D. degree between January 2008 and August 2012.

    Depending on proposed collaborations, the Fellow will spend most of his/her time at a laboratory of his/her choice from one of IBM's Research laboratories. The Fellow will be free to follow his/her own research interests, but is expected to work closely with other IBM researchers.

    Application deadline: January 6, 2013. For more information, see http://researcher.ibm.com/view_project.php?id=2941.

  • Fifteen interdisciplinary postdoctoral fellowships (in all fields), Konstanz (Germany)

    Newsitem added on 9 February 2013.

    The Zukunftskolleg of the University of Konstanz is offering up to fifteen ZIF Marie Curie 2-year Postdoctoral Fellowships in any discipline represented at the University of Konstanz (Salary Scale 13 TV-L) for researchers in the early stage of their career, so as to enable them to develop and implement individual and independent research projects. Fellowships will begin on September 1, 2013, and end on August 31, 2015.

    Applications, supporting materials, and two letters of reference should be submitted in English by March 15, 2013. Details concerning application requirements and information about the Zukunftskolleg are available at http://www.zukunftskolleg.uni-konstanz.de/funding-programmes/fellowship/, or contact Dr. Nani Clow at n.clow at uni.kn. Reference number 2013/015.

  • Frymoyer Endowed Chair in Information Sciences at Pennsylvania State University

    Newsitem added on 8 December 2012.

    The Pennsylvania State University College of Information Sciences and Technology (IST) is seeking candidates for the position of Frymoyer Chair. The Frymoyer Chair is a tenured, full professor in the College of Information Sciences and Technology. The College seeks a candidate who will provide research leadership as it moves forward in its second decade of existence. An anticipated start date is 2013.

    Review of applications will continue until the position is filled. >For more information, see http://ist.psu.edu/research/frymoyer-chair.

  • Two PhD student positions in Philosophy of Language/Mind, Leeds (U.K.)

    Newsitem added on 30 December 2012.

    The School of Philosophy, Religion and History of Science at Leeds is offering two studentships for students commencing a full-time PhD in Philosophy in October 2013. The students will form part of the ERC-funded research project "The nature of representation", in the research areas of Language and Mind.

    The Nature of Representation is a five-year project, funded by the European Research Council, on the metaphysics and epistemology of representation. The project is located at the University of Leeds under the direction of Robert Williams (School of Philosophy, Religion and History of Science). The project team will include two postdoctoral researchers (2013-17) and two PhD studentships (2013-16). Regular workshops will be held on project themes.

    The closing date for applications is 1st March 2013. For more information, see http://natureofrepresentation.wordpress.com/2012/12/14/. Correspondence regarding the application procedure may be directed to prhs_pgenquiries at leeds.ac.uk.

  • PhD student positions in computer science, Liverpool (U.K.)

    Newsitem added on 20 January 2013.

    The School of Electrical Engineering, Electronics and Computer Science (EEECS) at the University of Liverpool (UK) has funds to support up to 10 PhD students to begin at the start of October 2013. The application deadline for the first round is 28th Feb 2013.

    Main areas of expertise: Algorithms and complexity; Logic and computation; robotics and autonomous systems; multi-agent systems; algorithmic game theory; BioMEMs, Organic and Silicon Electronics; Industrial automation; Plasma and complex systems; Signal processing and Communications.

    For details and research areas see: http://www.liv.ac.uk/electrical-engineering-electronics-and-computer-science/

  • Intelligence Initiative Postdoctoral Fellowship, Cambridge MA (U.S.A.)

    Newsitem added on 6 February 2013.

    Applications are now invited for the second round of MIT Intelligence Initiative (I^2) Postdoctoral Fellowships. This program is designed to enhance and showcase interdisciplinary research on intelligence at MIT. The fellowship will be awarded only to candidates with an established independent research programs and who propose innovative research bridging at least two different MIT labs. Each Fellow will be required to organize at least one synergistic activity, such as a workshop or symposium.

    Current postdoctoral fellows/associates may apply as well as any recent PhD graduates (PhD program requirements must be completed prior to start of postdoctoral fellowship.)

    Applications must be received by midnight February 28, 2013. For more information, see http://isquared.mit.edu/news_detail/26.

  • Two PhD student positions in mathematical/philosophical logic, Canterbury (New Zealand)

    Newsitem added on 25 November 2012.

    Applications are invited for a fully-funded PhD scholarship on two separate Marsden-fundeds.

    The first position is at the University of Canterbury, on the project "Non-classical Foundations of Analysis. This project seeks to formulate and understand new mathematical models of the continuum using non-classical logics. The main thrust of the project will be to use paraconsistent logics to explore properties of sets, sequences, functions and continuity, and to prove interesting theorems that are classically hidden by inconsistency.

    The second position is at the University of Otago, on the project "Models of Paradox in Non-Classical Mereotopology". The goal of the project is to understand the nature of logical paradoxes. The strategy is to use mathematical models based on non-classical logics (paraconsistent and paracomplete).

    For details and how to apply, see the project websites at http://www.math.canterbury.ac.nz/~m.jordens/NCFA/ and http://sites.google.com/site/doctorzachweber/models-of-paradox.

  • PhD student position in computational complexity, Sydney (Australia)

    Newsitem added on 3 February 2013.

    In the context of a collaborative research project between National ICT Australia (NICTA) and The University of New South Wales (UNSW), applications are sought for the position of one PhD candidate to work on the computational complexity of resource allocation problems, with a focus on parameterized complexity.

    The successful candidate will be jointly supervised by the project leaders, Prof Toby Walsh at NICTA and Dr Serge Gaspers at UNSW. She/he will be part of the Algorithmic Decision Theory group. The expected start date is Semester 2 in 2013, i.e., around the end of July 2013.

    Applications must be received before 15 February, 2013. For more information, see http://www.cse.unsw.edu.au/~sergeg/PhDposition.html

  • Post-doctoral research position in Computational Linguistics at ZAS, Berlin (Germany)

    Newsitem added on 13 February 2013.

    The Centre for General Linguistics (ZAS), Berlin, Germany, invites applications for a post-doctoral researcher specializing in computational linguistics with expertise in developing dialogue systems with a starting date of June 1st, 2013, or soon thereafter.

    The position will be part of a research project funded by the German Research Foundation on "Pragmatic Requirements for Answer Generation in a Sales Dialogue" (PRAGSales; Principal Investigators: Anton Benz, ZAS, and Ralf Klabunde, University of Bochum). The goal of the project is to model three interacting pragmatic aspects of utterance generation between an artificial consultant and human customers: the use of rhetorical relations, framing effects, and implicatures. The key innovative aspect of this project is the application of game theoretic methods to the generation of pragmatically optimal answers.

    Application Deadline: 15 March 2013. Further information can be found at the project website at http://www.zas.gwz-berlin.de/pragsales.html?&L=1 or by contacting Anton Benz via e-mail at benz at zas.gwz-berlin.de.

  • Two postdoctoral positions in algorithms and lower bounds, Bristol (U.K.)

    Newsitem added on 16 January 2013.

    There are two postdoctoral positions available at the the Department of Computer Science of the University of Bristol, UK, in a major new EPSRC funded project concerned with the development of new algorithms and data structures as well as provable time and space lower bounds for pattern matching in dynamically changing as well as streaming data.

    Both posts will require a high level of expertise in areas which may include but not be limited to data structures/algorithms, probability and discrete mathematics. Particularly strong expertise in other related areas of mathematics will also be positively considered. Although some previous knowledge of pattern matching algorithms may be beneficial, it is *not* a requirement for the jobs.

    Appointments will be made at Research Assistant or Research Associate depending on skills and experience. The posts are funded for three years.

    Closing date for applications: 6 February 2013. More details as well as the application forms are available at http://www.bris.ac.uk/jobs/find/details.html?nPostingTargetID=1561 and http://www.cs.bris.ac.uk/Research/Algorithms/. Informal enquires can be made to Dr Raphael Clifford at Raphael.Clifford at bristol.ac.uk.

  • Postdoctoral position in theory of computation, Aarhus (Denmark)

    Newsitem added on 7 November 2012.

    CTIC (Center for the Theory of Interactive Computation) offers a postdoc position within the theory of computation and related areas at Aarhus University, Denmark, starting April 2013 or earlier.

    We look for applicants committed to playing an active part in continuously building strong research collaborations between the computer science department at Aarhus University and IIIS at Tsinghua University, Beijing. In particular, the successful applicant will spend significant time at IIIS, with funding for such visits being part of the post doc position.

    For more information, see http://ctic.au.dk/news/show-news/artikel/ or email ctic at cs.au.dk.

  • Postdoctoral positions in classical and quantum computing, Paris (France)

    Newsitem added on 7 November 2012.

    The Algorithms and Complexity group of LIAFA (CNRS and University Paris Diderot), Paris, France, is seeking excellent candidates for one or more postdoctoral positions in classical and quantum computing.

    For a starting date of September 2013, applications should be received by February 1st, 2013. For more information, see http://www.liafa.univ-paris-diderot.fr/algocomp/ Further information may also be obtained from any of the permanent members of the group.

  • Master's programme in Philosophy with funding, Atlanta (USA)

    Newsitem added on 17 November 2012.

    The Master's program of the Philosophy Department at Georgia State University in Atlanta, Georgia is accepting applications from qualified students for its two Neurophilosophy Fellowships, its Legal/Political Philosophy Scholarship, its German Philosophy Scholarship, and its Assistantships. All funding packages cover two years of full tuition.

    Initial application deadline: February 1, 2013. For more information, see http://www2.gsu.edu/~wwwphi/2105.html

  • Lectureships, Senior Lectureships and Professorships in Computer Science, Liverpool (U.K.)

    Newsitem added on 13 January 2013.

    The School of Electronics, Electrical Engineering and Computer Science at the University of Liverpool has several positions at the level of lecturer, senior-lecturer and Professor. If strong candidates apply, this will include positions in the Agent Research and Technology (ART) group and the Logic and Computation group.

    The deadline for applications is very soon (February 1st 2013). Further particulars may be found at http://www.jobs.ac.uk/job/AFT438/chair/ and http://www.jobs.ac.uk/job/AFT440/reader-senior-lecturer-lecturer/. Or contact Prof. Wiebe van der Hoek at Wiebe.Van-Der-Hoek at liverpool.ac.uk.

  • Postdoctoral and PhD student positions in algorithms and complexity, Saarbruecken (Germany)

    Newsitem added on 8 December 2012.

    The Max Planck Institute for Informatics seeks several Postdocs and PhD Students for the Algorithms and Complexity Department directed by Kurt Mehlhorn.

    Ph.D. positions are for three years (the initial contract will be for two years), while postdoctoral fellowships are available for one or two years. Conditions for postdocs depend on the qualifications of the applicants. We are looking for applicants from all areas of algorithmics, including related areas like computer algebra, complexity theory, and discrete mathematics. We are also explicitly looking for people interested in computational geometry and topology, algorithm engineering and the design and implementation of algorithm libraries.

    Applications must be sent by January 31, 2013. For further information, see http://www.mpi-inf.mpg.de/departments/d1/ad-2013.txt or http://www.mpi-inf.mpg.de/departments/ag1/offers.html.

  • PhD student position in computer science (social network analysis), Constance (Germany)

    Newsitem added on 20 January 2013.

    The Department of Computer and Information Science at the University of Konstanz offers a position for a PhD Student /Research Assistant in Computer Science (Salary Scale 13 TV-L /100 %) in the Social Network Analysis Group led by Jun.-Prof. Dr. Steffen Rendle.

    The position is available immediately, for a duration of up to 3 years with the possibility for an extension. In principle, this position could be divided into two half-time positions. The successful candidate will conduct research in the fields of machine learning and data mining. Candidates must hold a Diploma /Master degree in computer science, statistics or a related area, and must have a very good knowledge in at least one of the fields 'Machine learning', 'Data mining' or 'Computational statistics'.

    Applications received by January 31st, 2013 will receive full consideration: however, the search will remain open until the position is filled. More information is available on our website: http://www.informatik.uni-konstanz.de/rendle/joboffer/.

  • Postdoctoral research fellowship in verification, Warwick (U.K.)

    Newsitem added on 16 January 2013.

    Applications are invited for a postdoctoral position at the Department of Computer Science of tbe University of Warwick, on a two-year EPSRC-funded project in the area of semantics-based software verification. We are looking for candidates with a strong background in automata theory and/or program verification, who can contribute to the design and implementation of verification procedures involving automata over infinite alphabets.

    The project will be led by Andrzej Murawski (University of Warwick) in collaboration with Nikos Tzevelekos (Queen Mary, University of London). Other members of the Department at Warwick working on related topics include Marcin Jurdzinski, Sara Kalvala and Ranko Lazic.

    Deadline: Thursday 24 January 2013 (midnight, British time). The official advert can be found at http://www.jobs.ac.uk/job/AFS125/research-fellow/. The post is available immediately.

  • Postdoctoral position in "Efficient and Natural Proof Systems", Bath (U.K.)

    Newsitem added on 13 January 2013.

    We are looking for a researcher who can work with categorical models of proofs and who has an interest in geometric proof representations such as proof nets and atomic flows. The main focus of this position will be in the semantic aspects of the new proof theory, working mainly with Guy McCusker, Alessio Guglielmi and Paola Bruscoli.

    The post is associated with the three-year EPSRC project "Efficient and Natural Proof Systems", which is about developing an ambitious, modern semantic-motivated proof theory for representing natural proofs of minimal complexity. The post will be available for up to 3 years, with effect from 1st February 2013.

    Closing Date: Wednesday 23 January 2013 For more information, see https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=VH1457

  • Lectureship in Philosophy of Mathematics, Oxford (U.K.)

    Newsitem added on 23 December 2012.

    The Faculty of Philosophy and Lady Margaret Hall propose to appoint to a University Lecturership in Philosophy, in association with a Tutorship and Official Fellowship, with effect from 1 October 2013, or as soon as possible thereafter.

    The Area of Specialisation for this post is Philosophy of Mathematics. The successful candidate must be able to provide research-led teaching and supervision in this area at all levels, undergraduate and graduate. Applications from candidates whose work complements the research and teaching of the Faculty will be especially welcome. The successful candidate will also be expected to provide teaching for the College, in the form of tutorials, on a range of introductory (i.e., first-year) and advanced (i.e., second-year and beyond) Philosophy subjects for undergraduates.

    Applications must be received before 18 January, 2013. For more information, see http://www.philosophy.ox.ac.uk/vacancies/

  • Argumentation research position, Dundee (UK)

    Newsitem added on 20 January 2013.

    There's just one week to go until the deadline for applications for a second permanent academic position with reduced teaching load at lecturer, reader, or, in exceptional cases, professorial level. We are looking for outstanding researchers in computational linguistics, artificial intelligence or logic.

    The position is supported by the 'Dundee Fellows' scheme and is to be held in the Argumentation Research Group at the University of Dundee. We are particularly keen to expand the expertise of the group to cover linguistic, formal, rhetorical or legal facets of discourse, argument, debate and reasoning.

    Pay is in the range GBP37,012 - GBP52,706, the deadline for applications is 23 January 2013

    For more information, see http://www.dundee.ac.uk/dundeefellows/ amd http://www.arg.dundee.ac.uk/.

  • PhD Position in Computer Science (Bamberg, Germany)

    Newsitem added on 20 January 2013.

    The Software Technologies research group at the Otto-Friedrich University in Bamberg, Germany is offering a three-year PhD position starting as soon as possible. The group's research comprises the foundations and practice of software specification, verification and analysis. Foci of application are concurrent, reactive and embedded software. Recently the group has expanded its interest to machine learning and its application to program analysis and verification. Possible areas of research for a PhD candidate include, but are not limited to, interface theories, automated verification and synthesis, as well as heap analysis.

    For detailed information please refer to the original job advertisement that can be found at http://www.uni-bamberg.de/swt/news/phd-position-in-computer-science/. For questions contact info at swt-bamberg.de.

  • New Simons Institute for the Theory of Computing: research fellowships and call for programme proposals, Berkeley CA (U.S.A.)

    Newsitem added on 28 October 2012.

    The newly created Simons Institute for the Theory of Computing at UC Berkeley invites applications for Simons-Berkeley Research Fellowships for the Fall 2013 and Spring 2014 semesters. Simons-Berkeley Research Fellowships are intended for exceptional young scientists (within at most six years of the award of their Ph.D.). Applicants who already hold junior faculty or postdoctoral positions are welcome to apply. In particular, applicants who hold, or expect to hold, postdoctoral appointments at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow subject to the approval of the postdoctoral institution.

    Applications must be received before 15 January 2013. For more information, see http://simons.berkeley.edu/fellows.html

  • PhD student position in Theoretical Computer Science, Bochum (Germany)

    Newsitem added on 18 November 2012.

    In the Department of Mathematic at the Ruhr-University Bochum, the Research Group of Prof. Dr. Hans Ulrich Simon has an opening for a PhD-student in Theoretical Computer Science. The PhD-student will be involved in a project about "Privacy-preserving learning".

    The deadline for application is January 15, 2013. For more information about the project, see http://www.ubicrypt.hgi.rub.de/projekte/privacypreservinglearning.html. For more details on the position, see http://www.ubicrypt.hgi.rub.de/bewerbung/stellenangebote/index.html.en and http://www.ubicrypt.hgi.rub.de/bewerbung/bewerbungsverfahren/index.html.en.

  • Lectureship in Algorithms, Cambridge (U.K.)

    Newsitem added on 21 November 2012.

    The Faculty of Computer Science and Technology (the "Computer Laboratory") at the University of Cambridge is seeking to appoint a University Lecturer or Senior Lecturer in the general area of the Design, Analysis and Engineering of Algorithms.

    The closing date for applications is 15 January 2013. Quote Reference: NR23112. For more information, see the full announcement at http://www.jobs.cam.ac.uk/job/-23112/.

  • Research Fellowship in Theory of Computing, Berkeley CA (U.S.A.) & Saarbruecken (Germany)

    Newsitem added on 8 December 2012.

    Max Planck Institute offers joint research fellowships with the Simons Institute for the Theory of Computing, Berkeley, CA, USA. These fellowships are a major component of a collaboration between the two institutes directed at Theory of Computing and its applications in various fields. The fellowship holder will spend one semester (not necessarily the first) at the Simons Institute for the Theory of Computing and the remainder of the fellowship at the Max Planck Institute.

    For the residence at the Simons Institute there is a preference for the research topic to be related to a respective half-year research program run at the Simons Institute. Descriptions of these programs and other information about the Simons Institute can be found at http://simons.berkeley.edu.

    The deadline for receipt of the application is January 15, 2013. For more information, see http://domino.mpi-inf.mpg.de/internet/news.nsf/Employment/20121031.

  • Lectureship in Argumentation, Dundee (Scotland)

    Newsitem added on 25 November 2012.

    Applications are invited for a new lectureship in the Argumentation Research Group within the School of Computing at the University of Dundee.

    The post will be held in the Argumentation Research Group in the School of Computing at the University of Dundee. The group's expansion is associated with the development of new postgraduate level teaching in which the new lecturer will be expected to play a leading role. This teaching responsibility will involve development of module specifications, student recruitment, and preparation and delivery of materials in areas related to argumentation and negotiation.

    The group is looking to complement its existing research strengths with expertise which can link argumentation with computational linguistics, rhetoric, economics or the law. Some experience with argumentation in one of these contexts is essential, as is a strong background in computer science and artificial intelligence.

    The post will commence from 01 March 2013 (or other date by negotiation), and is permanent, subject to probation. The closing date for applications is 14 January 2013. Please quote Reference number ASE/0175. More information is available from the research group website at http://www.arg.dundee.ac.uk/.

  • 2013-14 Herman Goldstine Memorial Postdoctoral Fellowship, Yorktown NY (U.S.A.)

    Newsitem added on 8 December 2012.

    The Business Analytics and Mathematical Sciences Department of the IBM Thomas J. Watson Research Center invites applications for its 2013-2014 Herman Goldstine Memorial Postdoctoral Fellowship for research in mathematical and computer sciences. Areas of active research in the department include: algorithms, complex systems, data mining, dynamical systems, high-performance computing, inverse problems, numerical analysis, optimization, probability theory, statistics, simulation and operations management.

    Candidates must have received a Ph.D. after September 2008, or should expect to receive one before the fellowship commences in the second half of 2013 (usually in September). Up to two fellowships will be awarded with a stipend between $95,000 and $115,000 (depending on experience).

    Applications must be received between November 5, 2012 and January 13, 2013. Complete details are available at http://www.research.ibm.com/goldstine/

  • Faculty of Science: 5 MacGillavry Fellowships (tenure track) for women

    Newsitem added on 13 January 2013.

    The Faculty of Science at UvA is currently advertising five Mac Gillavry Fellowships. The programme is open for researchers in all of the faculty's disciplines.

    The MacGillavry Fellowship is primarily directed at ambitious women and we are therefore especially seeking women that excel in one of the faculty's disciplines, who possess leadership potential and aspire to a career as a professor at the University of Amsterdam. The ILLC management strongly encourages applications by women in the science-flavored research domain of the institute.

    The application procedure will close on 15 February 2013. For more information, see http://www.uva.nl/en/about-the-uva/organisation/faculties/content/.

  • Two postdoctoral research associate positions in verification of autonomous systems, London (U.K.)

    Newsitem added on 23 December 2012.

    An opportunity has arisen for 2 Research Associates (post-doctoral level) to work at the Imperial College London on themes of model checking for autonomous systems. The successful candidates will be part of the research group on verification of autonomous systems, based at the South Kensington campus.

    The main technical objective of the project is to develop verification methodologies for autonomous systems. The appointed researchers will be responsible for developing, in collaboration with Prof. Lomuscio, model checking methodologies, implementation toolkits, and case-study analysis. It is expected that one researcher will be working on the theoretical underpinnings of the verification problem and one will mainly work on implementations. Applicants are requested to state which area they are most comfortable with or whether they are interested in both aspects.

    Applications must be received before 11 January, 2013. For more information, see http://www3.imperial.ac.uk/computing/vacancies#AL%201112

  • Ten PhD and Postdoctoral positions in formal methods, Vienna (Austria)

    Newsitem added on 7 October 2012.

    The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 funded PhD/PostDoc positions in three exciting research projects addressing the reliability and correctness of software. The topics range from model checking, abstract interpretation, static analysis and automata theory to testing and runtime verification, offering ample research opportunities for talented scientists, from system enthusiasts to the more theoretically minded.

    You can find more details below or on our website http://www.forsyte.at/hiring. Please do not hestitate to contact us (hiring at forsyte.at), if you have further questions.

  • CryptoWorks21

    Time: January 18th, 2013
    Newsitem added on 6 January 2013.

    CryptoWorks21 is a supplementary program for graduate students and post-doctoral fellows in quantum and cryptographic research. This Canadian training program is focused on developing next-generation quantum-safe cryptographic tools for the 21st century.

    Deadline for applications: 18 January 2013. For more information, see https://cryptoworks21.ca/

  • PhD student position in epistemology / philosophy of science, Amsterdam (The Netherlands)

    Newsitem added on 8 December 2012.

    The Faculty of Philosophy at VU University Amsterdam (the Netherlands) is advertising four fully funded four year Ph.D. positions in epistemology / philosophy of science. The positions are embedded in a research project entitled 'Science Beyond Scientism', which aims to clarify the relations between scientific knowledge and other sources of knowledge, esp. in relation to knowledge of free will, morality, rationality, and religion.

    The deadline for applications is January 2nd, 2013. More details the positions and information about how to apply can be found at http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2012/1.2012.00314.asp. More background on the project is available at http://www.ph.vu.nl/sciencebeyondscientism.

    For further inquiries, please contact the project's principal investigator, René van Woudenberg, at r.van.woudenberg at vu.nl.

  • University of Leicester: Lecturer in Computer Science

    Newsitem added on 12 December 2012.

    The department of computer science in the University of Leicester is looking for a new lecturer (full time, permanent academic position).

    Submission deadline: Tuesday 15 January 2013. For more information, see http://www2.le.ac.uk/offices/jobs/opportunities/direct?id=78737

  • Lecturer (Assistant Professor) in Computational Game Theory, University of Oxford

    Newsitem added on 7 December 2012.

    The Department of Computer Science at the University of Oxford proposes to appoint a University Lecturer in Computational Game Theory with effect from 1 May 2013 or a mutually agreed date prior to 1 October 2013. The successful candidate will be offered a Non-Tutorial Fellowship at Balliol College.

    Applicants should hold a relevant PhD and have experience in any area related to computational game theory. Of particular interest are candidates with research interests in the computational aspects of cooperative game theory; computational social choice; and algorithmic game theory in general.

    The closing date for applications is Friday 4th January 2013. Full details of the post can be found at http://tinyurl.com/bqh7qlh (PDF). Further queries about the post may be addressed to Professor Michael Wooldridge (mjw at cs.ox.ac.uk).

  • PhD student and postdoctoral position(s) in Applied Cognitive Science & Design Research, ETH Zürich

    Newsitem added on 25 November 2012.

    Starting in February 2013, a new research group will be established at ETH Zurich with a focus on Applied Cognitive Science, especially linking cognitive science research to interactive systems and architectural design. The group is hosted in the Behavior section of the Department of Humanities, Social and Political Sciences, with strong links to computer science and architecture. Christoph Hölscher, Professor of Cognitive Science, will lead the group.

    The new group is open to researchers with a background in cognitive science, psychology / behavioral research, computer science, interaction design or architectural design, among others.

    For more information, see http://www.dgps.de/view.php?id=Nd2rZV

  • PhD position at KTH Royal Institute of Technology, Stockholm, Sweden

    Newsitem added on 21 November 2012.

    The Theory Group at KTH Royal Institute of Technology invites applications for a PhD position in Theoretical Computer Science for a project in the area of proof complexity with connections to SAT solving.

    The project is led by Jakob Nordström. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader) and also receives short-term and long-term visitors on a regular basis. A description of the project can be found at http://www.csc.kth.se/~jakobn/project-proofcplx.

    This is a full-time employed position, normally for five years including 20% teaching, with salary according to KTH PhD student regulations. The successful candidate is expected to start at the latest in August 2013, although this is to some extent negotiable.

    The application deadline is January 14, 2013. See http://www.csc.kth.se/~jakobn/openings/D-2012-0439-Eng.php for the full, formal announcement with more information and instructions for how to apply. Informal enquiries about this position are welcome and may be sent to Jakob Nordstrom at jakobn at csc.kth.se.

  • Postdoc position at KTH Royal Institute of Technology, Stockholm, Sweden

    Newsitem added on 18 November 2012.

    The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in Theoretical Computer Science for the research project "Understanding the Hardness of Theorem Proving" in the area of proof complexity with connections to SAT solving.

    The project is led by Jakob Nordström and is financed by a Breakthrough Research Grant from the Swedish Research Council and a Starting Independent Researcher Grant from the European Research Council. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader). Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.

    This is a full-time employed position for one year with a possible one-year extension. The successful candidate is expected to start at the latest in August-September 2013, although this is to some extent negotiable.

    To receive full consideration, applications should be received by January 14, 2013. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2012-0444-Eng.php. Informal enquiries are welcome and may be sent to Jakob Nordstrom at jakobn at csc.kth.se.

  • PhD Studentships, University of Edinburgh

    Newsitem added on 28 October 2012.

    The Institute for Language, Cognition and Computation (ILCC) at the University of Edinburgh invites applications for three-year PhD studentships starting in September 2013. Approximately 8 studentships from a variety of sources are available, covering maintenance at the research council rate of around GBP 13500 per year, plus tuition fees. Applicants should have a good honours degree or equivalent in computational linguistics, speech technology, cognitive science, computer science, or a related discipline.

    For a list of academic staff at ILCC with research areas, and for a selection of potential PhD topics, please consult the ILCC website at http://www.ilcc.inf.ed.ac.uk/. Details regarding the PhD programme and the application procedure can be found at: http://www.ed.ac.uk/schools-departments/informatics/postgraduate/ Please direct further inquiries to Henry Thompson ht at inf.ed.ac.uk, the ILCC PhD admissions coordinator.

    In order to ensure full consideration for funding, applications (including all supporting documents) need to be received by December 14, 2012.

  • 2 Postdoc Positions in Algorithmic Game Theory, Liverpool and Glasgow

    Newsitem added on 12 October 2012.

    Two postdoc positions in Algorithmic Game Theory are available at the Universities of Liverpool and Glasgow, on a EPSRC-funded research project entitled "Efficient Algorithms for Mechanism Design without Monetary Transfer".

    The aim of this project is to find new approximate and optimal, truthful mechanisms for combinatorial auctions, matching problems with preferences and facility location problems, in each case in the absence of monetary transfer. This will involve theoretical research, to include the design and analysis of new algorithms, and also practical implementation and experimental evaluation of these algorithms.

    Deadline: 12 November 2012. For more information, see http://www.csc.liv.ac.uk/%7Epiotr/EPSRC-postdoc.html or http://www.dcs.gla.ac.uk/~davidm/postdoc.html, or contact ulle.endriss at uva.nl.

Miscellaneous

  • 15 May 2013, KNAW: Meeting Open access versus Commercial Publishing in mathematics and computer science

    Date and time: Wednesday 15 May 2013, 14:00 - 17:30

    [Dutch only]
    Open access is in opkomst. Binnen wiskunde en informatica heeft een aantal bedrijven en verenigingen een sterke positie veroverd via de productie van subscription journals: Elsevier, Springer, IEEE, SIAM. Voor velen is het een grote stap om deze van oudsher gewaardeerde partijen de rug toe te keren om een nieuw ideaal vorm te geven: kosteloze internettoegang tot alle gepubliceerde materiaal voor iedereen ter wereld.

    For more information, see http://www.knaw.nl/Pages/DEF/35/117.html

  • Launch of the Society for the Philosophy of Information

    Homepage: http://www.socphilinfo.org/
    Newsitem added on 3 February 2013.

    Following a 10-year period of formal and informal collaboration between several researchers, the establishment of the Society for the Philosophy of Information inaugurates the next phase in the development of the philosophy of information as an independent and self-sustained philosophical field.

    For more information, see the website at http://www.socphilinfo.org/ or the official announcement at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4868.

  • The ILLC is moving to Science Park 107

    Newsitem added on 27 January 2013.

    The Institute for Logic, Language and Computation (ILLC) is moving from Science Park 904 to Science Park 107. Science Park 107 is accessible from Nikhef's main entrance at Science Park 105.

    The transition will take place from Monday 28 to Thursday 31 January. In that period, it can be difficult to reach ILLC staff, as computers and phones need to be reconnected.

    New address:
    Science Park 107, 1098 XG Amsterdam
    Visitors address:
    Science Park 105, 1098 XG Amsterdam (via main entrance Nikhef)
    Postal address (unchanged):
    PO Box 94242, 1090 GE Amsterdam
    Employee phone numbers will remain the same.

  • Relocation of ILLC - new address

    Newsitem added on 20 January 2013.

    Relocation of ILLC, 28th January to 1st February 2013

    Science Park 107, 1098 XG Amsterdam
    For visitors: Science Park 105, 1098 XG Amsterdam (this is via the main entrance of NIKHEF)
    For delivery of packages: Science Park 103, 1098 XG Amsterdam
    Postal address will remain the same: P.O. Box 94242, 1090 GE Amsterdam

    Access to Science Park 107 / terrain

    Access to rooms at the new location is by means of your current Employee/Guest pass. Your card will be programmed for your new room, and for other relevant rooms such as the seminar room, meeting rooms, common room, etc.

    Access to the building is by means of a so-called `druppel' (drop), which activates the locks on the outside doors / entrance gates. These druppels will be issued to all personnel and students in the course of next week. Access to the terrain after closing hours is organised by means of a protocol, which will be posted on the webpage later on next week. Access to the bicycle shed is also by means of the druppel.

    Visitors

    There is a protocol for announcing visitors to the reception desk at NIKHEF. This will be posted on the webpage later on next week.

    For more information, see http://www.illc.uva.nl/SupportandInfo/PracticalMatters/verhuizing2013.html

  • Johan van Benthem speaks at opening ceremony School of Humanities, Tsinghua University

    Newsitem added on 31 October 2012.

    Johan van Benthem speaks at the ceremony to honor the establishment of the School of Humanities, on October 20th.

    The ceremony was attended by Tsinghua University President Chen Jining, Tsinghua University Council Chairman Hu Heping, Tsinghua Vice President Xie Weihe, and Tsinghua Vice President Jiang Shengyao.

    For more information, see http://news.tsinghua.edu.cn/publish/newsen/6054/2012/20121025094237637836255/

  • Interview Johan van Benthem at `Elucidations' podcast

    Newsitem added on 12 October 2012.

    Elucidations is a monthly philosophy podcast recorded at the University of Chicago. Each month, a prominent philosopher sits down with our graduate student co-hosts to talk about his or her latest work and areas of philosophical expertise. The podcast covers a wide range of topics from the theoretical to the practical (including causation, metaphor, agency, religious freedom, and moral psychology) and explores a wide range of problems from the perennial to the cutting-edge (including skepticism and experimental philosophy).

    In this episode, Elucidations talks to Johan van Benthem, University Professor of pure and applied logic at the University of Amsterdam and Henry Waldgrave Stuart Professor of philosophy at Stanford University.

    For more information or to listen to the podcast, go to http://lucian.uchicago.edu/blogs/elucidations/2012/10/03/

  • Book by Rens Bod on must-read list

    Newsitem added on 7 October 2012.

    The book 'De Vergeten Wetenschappen' ('The Forgotten Sciences') of Professor Rens Bod is on the list of '25 books on science that you must have read''. The list was compiled by SPUI25, the NRC science editors, and readers.

    For more information (dutch only), see http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/item/.

Regular Events

  • Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)

    Date: Irregular, monthly
    Location: Room varies, Science Park 904, Amsterdam

    This is a seminar series on Provability, Interpretability, Intuitionism and Arithmetic, organized jointly by the universities of Amsterdam, Nijmegen and Utrecht. Each session will consist of informal technical talks, followed by elaborate discussion. The meetings will take place about once a month, either in Amsterdam or Utrecht.

    For more information, see http://jeroengoudsmit.com/piia/.

  • Cool Logic seminar for Logic Students

    Date and time: biweekly on Fridays, 17:30-18:30
    Location: Room varies, Science Park 904, Amsterdam

    Cool Logic is an internal seminar, where MScLogic and PhD students (only) of the ILLC can meet and keep each other updated about recent, current and ongoing work. It will be more informal than the Logic Tea, and students will be free to present not only finished results, but also e.g. ideas that are not yet fully worked out, or just any logic related topics that they find interesting.

    For more information, contact coollogic.uva at gmail.com.

  • The LeGO (Leerstoel Groepen Overleg) Seminar

    Date and time: biweekly on Fridays, 16:00-17:30
    Location: Room varies, Science Park 904, Amsterdam

    LeGO is an internal seminar where members of the LLA group (capacity group Logic and Language) keep each other updated about recent, current and ongoing work. Interested ILLC scholars and students are welcome and they can receive the announcements by subscribing to p.j.e.dekker at uva.nl or m.i.crespo at uva.nl.

  • LogiCIC Seminar

    Date: monthly on Tuesdays
    Location: Room F1.15, Science Park 107, Amsterdam

    The monthly LogiCIC seminar series is organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.

    For more information and abstracts, see http://sites.google.com/site/logicicproject/logicic-seminar.

  • SMART Cognitive Science Lectures

    Date and time: monthly, 15:00-18:00
    Location: UvA (building varies), Amsterdam

    The SMART (Speech & language, Music, Art, Reasoning & Thought) Cognitive Science initiative is part of the 'zwaartepunt' Brain & Cognitive Science of the Faculty. The main activity in SMART CS will be a new lecture series with internationally renowned cognitive scientists; additionally, we will support existing activities and initiate new ones, both online and offline, to bring together cognitive scientists at the ILLC, ACLC and other research institutes of the Faculty and to highlight the contributions of the humanities to the cognitive sciences. Our activitities are organized in close collaboration with the Cognitive Science Center Amsterdam.

    For more information, see http://smartcognitivescience.wordpress.com/.

  • ILLC Colloquium

    Date: semiannually

    The ILLC Colloquium is a half-yearly festive event (respectively the New Year's Colloquium and the Midsummernight Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

    For more information, see http://www.illc.uva.nl/ILLCColloquium/

  • Seminar on music cognition and computation

    Date: irregular
    Location: Room TBA, Science Park 904, Amsterdam

    A reading/discussion group on music cognition and computation exists since 2004. For each meeting one or two articles are chosen (and read by the participants beforehand) to form the basis for a discussion.

    The seminar on music cognition and computation homepage can be found at http://staff.science.uva.nl/~ahoningh/readinggroup.html.

  • Logic and Interactive RAtionality (LIRa)

    Date and time: weekly (tuesdays), 15:30-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    The LIRa seminar is a series of talks organized by the Amsterdam Dynamics Group, focusing on the logical, philosophical and computational aspects of agency, rational interaction and social-informational dynamics. The seminar covers research topics lying at the interface of Logic with Game Theory, Decision Theory, Learning Theory, Formal Epistemology, Social Choice Theory, Computer Science, Philosophy of Science or Philosophy of Language. Core areas of interest are Modal Logic approaches to interaction, as well as other approaches, e.g. game semantics,dynamic semantics for natural language, (co)algebraic approaches, or (in)dependence-friendly logics.

    The LIRA seminar homepage can be found at http://www.illc.uva.nl/lgc/seminar/. Information about the Amsterdam Dynamics Group can be found at http://www.illc.uva.nl/dg/.

  • Computational Social Choice Seminar

    Date: irregular
    Location: Science Park 904, Amsterdam

    The Computational Social Choice Seminar is a series of occasional talks that address issues at the interface of computer science (including logic, multiagent systems and artificial intelligence) and mathematical economics (including social choice theory, game theory and decision theory).

    For more information, see http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

  • The Colloquium on Mathematical Logic

    Date: irregularly
    Location: Room C1.112, Science Park 904, Amsterdam or Wiskundegebouw, Budapestlaan 6, Utrecht

    Starting in the Academic Year 2003/2004, the ILLC and the Mathematics and Philosophy Departments of the Universiteit Utrecht will be jointly organizing a Colloquium on Mathematical Logic (organizers: Allessandra Palmigiano, Jouko Väänänen, Jaap van Oosten and Rosalie Iemhoff). This joint colloquium revives the tradition of the InterCity seminar of the 1970s and 1980s and will be a venue for talks by external guests, researchers from Amsterdam and Utrecht, and last but definitely not least, students from Amsterdam and Utrecht.

    For more information, see http://staff.science.uva.nl/~bloewe/CML.html or http://www.math.uu.nl/people/jvoosten/seminar.html

  • Computational Linguistics Seminar

    Date and time: weekly on wednesdays, 16:00
    Location: Room A1.04, Science Park 904, Amsterdam

    Talks by locals and outsiders, alternating with a reading group, on Computational Linguistics -- that is, research that is or can be implemented in a computer program, and tries to process or account for natural language data (which includes language modeling, statistical modeling, pattern recognition and machine learning methods, formal linguistic grammars, speech recognition, machine translation, computational semantics, and other topics that one currently finds at ACL, COLING, or in the CL journal).

    For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

  • The DIP (Discourse and Philosophy) Colloquium

    Date and time: biweekly on fridays, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    The Discourse and Philosophy (DIP) Colloquium is organized by the Logic and Language group at the Institute for Logic, Language, and Computation, University of Amsterdam. The program reflects the current research interests of the group: cognition and reasoning, formal semantics and pragmatics, computational linguistics, and philosophy of logic and language.

    The DIP homepage can be found at https://sites.google.com/site/illcdip/

  • The Logic Tea

    Date and time: irregular, tuesdays, 17:00-18:00
    Location: Room A1.04, Science Park 904, Amsterdam

    The Logic Tea, a series of one-hour talks designed for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC, with discussion, tea and cookies afterwards.

    Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/.

        Back to top of page