News Archives 2012

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 and 2011, 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

  • (New) 22 February 2012, LogiCIC and LiQuID tutorial, Robterto Giuntini (University of Cagliari)
    Speaker: Robterto Giuntini (University of Cagliari)
    Title: The logic of unsharp quantum mechanics
    Date and time: Wednesday 22 February 2012, 14:00-16:00
    Location: Room B0.203, Science Park 904, Amsterdam

    For more information and an abstract, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4978 or contact kishidakohei at gmail.com.

  • 17 February 2012, DIP Colloquium, Alex Oliver
    Speaker: Alex Oliver (Cambridge)
    Title: A Theory of Plural Descriptions
    Date and time: Friday 17 February 2012, 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 February 2012, Seminar on music cognition and computation, Makiko Sadakata
    Speaker: Makiko Sadakata
    Title: Enhanced perception of various linguistic features by musicians: a cross-linguistic study.
    Date and time: Friday 17 February 2012, 14:00
    Location: Room C3.108, Science Park 904, Amsterdam

    Two cross-linguistic experiments comparing musicians and non-musicians were performed in order to examine whether musicians have enhanced perception of specific acoustical features of speech in a second language (L2). These discrimination and identification experiments examined the perception of various speech features; namely, the timing and quality of Japanese consonants, and the quality of Dutch vowels. We found that musical experience was more strongly associated with discrimination performance rather than identification performance. The enhanced perception was observed not only with respect to L2, but also L1. It was most pronounced when tested with Japanese consonant timing.

    These findings suggest the following: 1) musicians exhibit enhanced early acoustical analysis of speech, 2) musical training does not equally enhance the perception of all acoustic features automatically, and 3) musicians may enjoy an advantage in the perception of acoustical features that are important in both language and music, such as pitch and timing.

    For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html

  • 14 February 2012, Logic Tea, Christian Schaffner
    Speaker: Christian Schaffner
    Title: Position-Based Cryptography
    Date and time: Tuesday 14 February 2012, 17:00-18:00
    Location: Room A1.04, Science Park 904, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com) or Matthijs Westera (M.Westera at uva.nl).

  • 10-11 February 2012, Amsterdam Workshop in Set Theory
    Location: University Library (Room Potgieterszaal), Singel 425, Amsterdam
    Newsitem added on 29 January 2012.

    On Friday February 10th 2012, Yurii Khomskii will publicly defend his PhD thesis in Amsterdam (11am, Aula). Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

    For more information and a programme, see http://staff.science.uva.nl/~zhenhao/SetThy12/index.html

  • 9 February 2012, UvA Technology Transfer Office: STW funding opportunities
    Date and time: Thursday 9 February 2012, 14:00 - 17:00
    Location: Room B 0.160, het Glazen Huis, Science Park 904

    STW funds excellent research, which can lead to the development of a product. In its’ evaluation processes both scientific excellence and possibility for utilization are equally important. Therefore when you write an STW application you need to keep in mind what it takes to get from research to product, and you need to get the parties necessary to bring the product to market aboard.

    Dr Eppo Bruins, director of STW, will give a presentation on the ins- and outs of STW funding. Dr Marja Oosterlaken will talk about the do’s and don't’s, and dr (tbc, Erik Manders) will give his tips for writing a successful STW application.

    This workshop is intended for researchers, and for possible industry partners. Feel free to invite your industry contacts to this meeting.

    The workshop will be given in English. Participation is free

    For more information, see http://www.english.uva.nl/technology-transfer-office/workshops-and-training.cfm/

  • 9 February 2012, Logic and Interactive Rationality (LIRa), Kohei Kishida
    Speaker: Kohei Kishida
    Title: Autonomy of Substructures and the Converse Barcan Formula
    Date and time: Thursday 9 February 2012, 15:00
    Location: Room TBA, Science Park 904, Amsterdam

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

  • 15 Feburary 2012, General Mathematics Colloquium, Krzysztof Apt
    Speaker: Krzysztof Apt
    Title: Choosing Products in Social Networks
    Date and time: Wednesday 15 Feburary 2012, 11.15-12.15
    Location: Room C1.112, Science Park 904, Amsterdam

    The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/ For more information, please contact Tanja Eisner (t.eisner at uva.nl), Hessel Posthuma (h.b.posthumsa at uva.nl) or Neil Walton (n.s.walton at uva.nl)

  • 7 February 2012, On Worst-Case Allocations in the Presence of Indivisible Goods, E. Markakis
    Speaker: E. Markakis (Athens)
    Date and time: Tuesday 7 February 2012, 16:00
    Location: CWI, Science Park 123, room L017

    We study a fair division problem, where a set of indivisible goods is to be allocated to a set of n agents. Each agent may have different preferences, represented by a valuation function that is a probability distribution on the set of goods. In the continuous case, where goods are infinitely divisible, it is well known that proportional allocations always exist, i.e., allocations where every agent receives a bundle of goods worth to him at least 1/n. In the presence of indivisible goods however, this is not the case and one would like to find worst case guarantees on the value that every agent can have. We focus on algorithmic and mechanism design aspects of this problem.

    In the work of [Hill 1987], an explicit lower bound was identified, as a function of the number of agents and the maximum value of any agent for a single good, such that for any instance, there exists an allocation that provides at least this guarantee to every agent. The proof however did not imply an efficient algorithm for finding such allocations. Following upon the work of Hill, we first provide a slight strengthening of the guarantee we can make for every agent, as well as a polynomial time algorithm for computing such allocations. We then move to the design of truthful mechanisms. For deterministic mechanisms, we obtain a negative result showing that a truthful 2/3-approximation of these guarantees is impossible. We complement this by exhibiting a simple truthful algorithm that can achieve a constant approximation when the number of goods is bounded. Regarding randomized mechanisms, we also provide a negative result, showing that we cannot have truthful in expectation mechanisms under the restrictions that they are Pareto-efficient and satisfy certain symmetry requirements.

    Joint work with Christos-Alexandros Psomas

    For more information, contact k.r.apt at cwi.nl

  • 7 February 2012, Logic Tea, Yurii Khomskii
    Speaker: Yurii Khomskii
    Title: Regularity Properties and Definability
    Date and time: Tuesday 7 February 2012, 17:00-18:00
    Location: Room A1.04, Science Park 904, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

  • 6, 8, 13 and 15 February 2012, LogiCIC and LiQuID tutorial
    Speaker: Roberto Giuntini (University of Cagliari)
    Title: The Logics of Quantum Computation: An Introduction
    Date and time: 6, 8, 13 and 15 February 2012, 16:00-18:00
    Location: Room varies, Science Park 904, Amsterdam

    In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

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

  • 1 February 2012, Algebra|Coalgebra Seminar, Fabio Zanasi
    Speaker: Fabio Zanasi
    Title: A tutorial on monads and algebraic theories
    Date and time: Wednesday 1 February 2012, 15:00-17:00
    Location: Room A1.06, Science Park 904, Amsterdam

    For more information, see http://staff.science.uva.nl/~yde/ac/seminar.html or contact Yde Venema (Y.Venema at uva.nl).

  • 31 January 2011, ACG Colloquium, Jos Baeten
    Speaker: Jos Baeten (CWI/TUE)
    Title: Reactive Turing Machines
    Date and time: Tuesday 31 January 2011, 13.30
    Location: Room L.120, CWI, Science Park 123, Amsterdam

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

  • 30-31 January 2012, Interrogative Model of Inquiry Workshop, Paris, France
    Newsitem added on 26 January 2012.

    The aim of the Interrogative Model of Inquiry Workshop is to bring together researchers interested in Hintikka's Interrogative Model of Inquiry (IMI), and to promote cooperation and exchange on research projects related to the development of the IMI. The workshop will be the occasion to assess the different past scientific contributions to the IMI, and to open and discuss possibilities for new research directions.

    The IMI Workshop is made possible by the IMI Project funded by the ANR and hosted by the IHPST.

    For more information, see http://imi2012.sciencesconf.org/ or contact Henri Galinon at henri.galinon at gmail.com.

  • 27-28 January 2012, Workshop "Vagueness in Language, Reasoning, and Cognition"
    Location: Doelenzaal, Universiteitsbibliotheek, Singel 425, 1012 WP Amsterdam
    Newsitem added on 8 December 2011.

    This is the closing workshop for the NWO project On Vagueness - And How to Be Precise Enough (2008-2012). The workshop brings together philosophers, linguists, and psychologists working on the topic.

    Organisers: Harald Bastiaanse, Robert van Rooij, Galit W. Sassoon, and Frank Veltman.

    For more information, see: http://sites.google.com/site/vaguenesscircle/workshop. Participation in the workshop is free of charge, but we kindly ask you to let us know if you have plans to come (galitadar at gmail.com), so that we have an estimation of number of participants (for technical arrangements).

  • 27 January 2012, Seminar on music cognition and computation, Michiel Schuijer
    Speaker: Michiel Schuijer
    Title: Pitch-Class Set Theory and the Notion of Distance in Music
    Date and time: Friday 27 January 2012, 2 pm
    Location: C3.108

    In my book Analyzing Atonal Music: Pitch-Class Set Theory and Its Contexts, one of my aims was to show that pitch-class set theory was not just tailored to the analysis of revolutionary compositions, and that it neither heralded a new era of computational musicology - although it has been identified with each of these two claims from early on. What struck me was the continuity it exhibited with music theories of the past. And it seemed to enable the same kind of engagement with twentieth-century, "modernist" music as earlier generations had felt for the great masterworks of the eighteenth and nineteenth centuries.

    In this talk, I will take my cue from the relation between "similarity" and "distance", and discuss the "roadmaps" that music theorists of the eighteenth and nineteenth centuries conceived to establish the distances between tonal keys.

    For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html

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

  • 26 January 2012, Geesteswetenschappen presenteert, Bart de Boer
    Speaker: Bart de Boer
    Title: Evolutie van spraak: het raadsel van de keelzakken
    Date and time: Thursday 26 January 2012, 13:15
    Location: Spui 25-27, 1012 WX, Amsterdam

    (Dutch only)
    Taal is essentieel voor de mens. Mensen zijn de enige diersoort met taal en essentikle dingen die ons mens maken, zoals samenwerking, cultuur en wetenschap zouden niet mogelijk zijn zonder taal. Wetenschappers zijn daarom zeer geonteresseerd in hoe taal gekvolueerd is. Het enige aspect van taal waar fossiel bewijs voor is, is spraak. Deze presentatie behandelt een onderdeel van dat fossiele bewijs: het verdwijnen van de keelzak.

    Keelzakken zijn grote zakken die verbonden zijn met het spreekkanaal. Alle apen hebben keelzakken, behalve de mens. Waarom zijn die keelzakken bij de mens verdwenen en heeft dat iets met spraak te maken? Deze vragen worden beantwoord en er kan zelfs gezegd worden hoe lang geleden dit allemaal gebeurd is.

    De lezing van Bart de Boer wordt ingeleid door prof. dr. Paul Boersma.

    For more information, see http://www.spui25.nl/spui25/programma.cfm/8E8CA761-2F20-43B5-AD2B7B3F6349055E

  • 26 January 2012, Logic and Interactive Rationality (LIRa), Denis Bonnay
    Speaker: Denis Bonnay
    Title: Trust and Bayes
    Date and time: Thursday 26 January 2012, 15:00 - 17:00
    Location: D1.113, Science Park 904, Amsterdam

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

  • 24 January 2012, LogiCIC Seminar, Kevin T. Kelly and Hanti Lin
    Speakers: Kevin T. Kelly and Hanti Lin
    Title: Propositional Reasoning that Tracks Probabilistic Reasoning / Uncertain Acceptance and Contextual Dependence on Questions
    Date and time: Tuesday 24 January 2012, 16:00-18:00
    Location: Room A1.10, Science Park 904, Amsterdam

    We have the pleasure to invite you to participate in our new monthly LogiCIC seminar series which is being organized within our 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 the opening of this seminar next Tuesday, we have the honor to present you with two lectures. The speakers are Kevin T. Kelly and Hanti Lin from Carnegie Mellon University.

    For more information and an abstract, see http://ninagierasimczuk.com/logicic or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4290.

  • 23 January 2012, Coalgebra in the Netherlands (COIN)
    Location: Nijmegen, The Netherlands
    Newsitem added on 15 January 2012.

    COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from 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 Monday, 23 January 2012, at the Huygens building of the Radboud Universiteit Nijmegen, in room HG00.086. The schedule is as follows:
    14:30 - 15:15 Jörg Endrullis (VU)
        Part 1: Causality via productivity
        Part 2: Degree of undecidability of stream equality
    15:15 - 16:00 Bart Jacobs (RU)
        Bases as coalgebras
    16:15 - 17:00 Joost Winter (CWI)
        Generalized context-freeness

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

  • 20 January 2012, Workshop "More Structure for Better Statistical Machine Translation?"
    Speakers: Kevin Knight (University of Southern California), Bill Byrne (University of Cambridge), Phil Blunsom (University of Oxford), Dekai Wu (HKUST), Markos Mylonakis and Khalil Sima'an (University of Amsterdam)
    Date and time: Friday 20 January 2012, 9:30-16:30
    Location: Room P.017, Euclides Building, Roeterseiland, Plantage Muidergracht 24, Amsterdam
    Costs: Free; registration via e-mail to k.simaan@uva.nl

    For more information on the workshop and the full program, please visit: http://staff.science.uva.nl/~simaan/workshop2012.html or e-mail k.simaan at uva.nl or m.mylonakis at uva.nl.

  • 20 and 23 January 2012, Tutorial, Kevin Kelly (Carnegie Mellon)
    Speaker: Kevin Kelly (Carnegie Mellon)
    Title: Topological Epistemology
    Date and time: Friday 20 and Monday 23 January 2012, 13:00-16:00 (1st part) / 13:00-17:00 (2nd part)
    Location: Room A1.10, Science Park 904, Amsterdam

    Professor Kelly, who is currently a visitor at ILLC, will give a two-part tutorial on Topological Epistemology for a general audience.

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

  • 19 January 2012, Logic and Interactive Rationality (LIRa), Pietro Galliani (ILLC)
    Speaker: Pietro Galliani (ILLC)
    Title: Dynamic Logics of Imperfect Information and Transition Semantics
    Date and time: Thursday 19 January 2012, 15:00 - 17:00
    Location: Room C1.112, Science Park 904, Amsterdam

    For the abstract of the talk, visit http://www.illc.uva.nl/lgc/seminar/?p=1209

  • 18 January 2012, SMART Cognitive Science Lecture, Kevin Knight
    Speaker: Kevin Knight
    Title: Code-breaking and Language Translation: Some Connections
    Date and time: Wednesday 18 January 2012, 16:00-18:00
    Location: BH0.04, Bungehuis, Spuistraat 210, Amsterdam

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

  • 16 January 2012, Stand van de wetenschap, John Michon en Henkjan Honing
    Speaker: John Michon en Henkjan Honing
    Title: Over tijd en muziek
    Date and time: Monday 16 January 2012, 20:00-22:00
    Location: Spui 25-27, 1012 WX, Amsterdam

    (Dutch only)
    Tijd is onlosmakelijk verbonden met muziek en is eveneens een centrale notie in de muziekcognitie, de studie naar de manier waarop muziek door de hersenen wordt verwerkt. Cognitiewetenschappers doen onderzoek naar mentale processen zoals kennisverwerving en -verwerking door het menselijk brein. Juist omdat muziek met onze cognitieve functies speelt, zijn deze wetenschappers muziek als onderzoeksobject in de loop der jaren steeds interessanter gaan vinden – zeker naarmate de computer en nieuwe technieken het makkelijker maakten theorieën over muziek toetsbaar te maken. In deze aflevering van ‘Stand van de Wetenschap’ bieden John Michon en Henkjan Honing een inkijkje in de ontwikkelingen binnen de muziek- en cognitiewetenschap, aan de hand van verschillende onderzoeken naar de notie tijd in de muziek.

    For more information, see http://www.spui25.nl/spui25/programma.cfm/43709F9E-C3AE-44D4-B42ACD3CA472AC4E

  • 13 January 2012, ILLC New Year's Colloquium 2012
    Date and time: Friday 13 January 2012, 16:00-19:00
    Location: C1.110, Science Park 904, Amsterdam

    The ILLC will celebrate the New Year at the ILLC New Year's Colloquium 2012.

    Program:
    16.00-16.30: Jelle Zuidema: Is Recursion Monkey Business?
    16.30-17.00: Jan van Eijck: Logic of Communication
    17.00-17.30: Katrin Schulz: The Semantic Anatomy of Conditional Sentences
    17.30-19.00: New Year's toast and drinks

    For more information see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4242 or contact illc at uva.nl.

  • 13 January 2012, ACLC Lab Meeting, Gideon Borensztajn
    Speaker: Gideon Borensztajn (ILLC)
    Title: The emergence of syntactic categories and their relations in an integrated semantic-episodic memory system
    Date and time: Friday 13 January 2012, 13.00-15.00
    Location: Room 420, Bungehuis, Spuistraat 210, Amsterdam

    For more information, see http://www.hum.uva.nl/aclc-news/events.cfm/C358946E-BBBB-45E5-81F6ECFDCE5A8490

  • 12 January 2012, First Amsterdam Workshop on Decomposing and Regenerating Syntactic Trees
    Date and time: Thursday 12 January 2012, 14:00 - 18:00
    Location: Room 110, Oude Manhuispoort 4-6, Amsterdam.

    For more information, see http://staff.science.uva.nl/~fsangati/WSJ12/.

  • 12 January 2012, Logic and Interactive RAtionality
    Title: Logic and Learning Theory
    Date and time: Thursday 12 January 2012, 10:00-18:00
    Location: Room F1.02, Science Park 500, Amsterdam

    As part of our "Logic and Interactive Rationality" series of workshops and seminars, on 12 January we will have a workshop on connections between Logic, Learning Theory and Epistemology, with the occasion of Kevin Kelly's visit to ILLC.

    Speakers include Kevin Kelly (Carnegie Mellon), Johan van Benthem (ILLC and Stanford), Jan van Eijck (ILLC, CWI and Utrecht), Peter Grunwald (CWI and Leiden), Sonja Smets (ILLC), Nina Gierasimczuk (ILLC), Alexandru Baltag (ILLC).

    More information, including full program and abstracts, will be posted at the LIRA homepage at http://www.illc.uva.nl/lgc/seminar/.

  • 9 January 2012, Workshop "The Mathematical Legacy of Alan Turing" (Spitalfields Day), Cambridge, U.K.
    Newsitem added on 8 December 2011.

    On the 9th January 2012, the programme "Semantics & Syntax" will be officially opened. In addition to being the official opening of the programme, this event will provide the general mathematical public (with strong emphasis on postgraduate students) a glimpse of the current state of the art and explain what is going to happen during the six months at Cambridge.

    The day is one of the Spitalfields Days of the London Mathematical Society, named in honour of the Spitalfields Mathematical Society, a precursor of the London Mathematical Society which flourished from 1717 to 1845. Spitalfields Days provide survey lectures aimed at a general mathematical audience.

    If you are a postgraduate student and wish to apply for a travel grant (£100), please contact the organizer at bloewe at science.uva.nl by 15 December 2011.

    For more information, see http://www.newton.ac.uk/programmes/SAS/sasw05.html

  • 7 January 2012, SMART Cognitive Science Colloquium with Daniel Dennett
    Date and time: Saturday 7 January 2012, 10:00-16:00
    Location: City center, Amsterdam (details t.b.a.)

    A colloquium on the occasion of Daniel Dennett's honorary doctorate at the UvA, with talks and discussions on Logic, Philosophy & Cognition and Modelling, Evolution & Intelligence. Speakers include Daniel Dennett, Michiel van Lambalgen, Julian Kiverstein and Jelle Zuidema

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

*    Calls for Papers

  • (New) 11-13 October 2012, Time & Temporality in Language and Human Experience (TIMELing 2012), Poland, Lodz (deadline: 15 May 2012)
    Newsitem added on 19 February 2012.

    The conference will offer a forum for the presentation of multidisciplinary perspectives on the concept of time and its embodied, phenomenological experience as expressed in diverse systems, above all human language, and should thus be of interest to students and researchers in philosophy, anthropology and psychology of time.

    Also welcome are scholars who investigate temporal experience, time expressions and categorization in language and literature, including metaphor and figurative language, learning-acquisition of temporal concepts as well as annotation and identification of temporal structures in language corpora. In addition, the organizers hope to attract researchers who propose cognitive, formal and other models of time and time-related dimensions in the framework of event structures.

    Presentations pertaining to the construal and coding of events in linguistic or non-linguistic narrative, gestures and other forms of human communication systems would be relevant. Deadline for Abstracts: May 15th 2012.

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

  • 19-23 August 2012, 32nd International Cryptology Conference (CRYPTO 2012), Santa Barbara, CA, USA (deadline: 17 February 2012)
    Costs: ca. 600 USD
    Newsitem added on 30 November 2011.

    The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.

    Original papers on all technical aspects of cryptology are solicited for submission. Submission deadline: February 17, 2012.

    For more information, see http://www.iacr.org/conferences/crypto2012/.

  • 17-19 May 2012, First Logic and Cognition Conference, Poznan, Poland (deadline: 15 February 2012)
    Newsitem added on 19 January 2012.

    In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.

    Poznan Logic and Cognition Conference is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at sheding the light on actual reasoning processes.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for paper submission: February 15, 2012.

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

  • 3-5 June 2012, Trends in Logic XI: Advances in Philosophical Logic, Bochum, Germany (deadline: 12 February 2012)
    Newsitem added on 23 September 2011.

    The 11th Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from June 3-June 5, 2012 under the title "Advances in Philosophical Logic". It is organized by the chair of Logic and Epistemology at the Department of Philosophy II of Ruhr University Bochum, in co-operation with the journal Studia Logica,

    We invite submissions presenting substantial recent advances in formal philosophical logic. Abstract submission deadline: 12 February, 2012

    For more information, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi

  • 18-20 May 2012, 8th International Symposium of Cognition, Logic and Communication "Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives", Riga, Latvia (deadline: 12 February 2012)
    Newsitem added on 22 January 2012.

    Fundamental results in the mathematical theory of games were obtained early on in the 20th century by Zermelo, Borel, and von Neumann; after the publication of Theory of Games and Economic Behavior by von Neumann & Morgenstern in 1944, it quickly became of fundamental importance to economic theory, being applied later on to other fields such as biology, while in philosophy David Lewis¹ Convention was an important early application. Games also played a significant role within mathematics, especially in model theory with, e.g., the back-and-forth games, and with the work of Lorenzen in the 1950s and Hintikka in the 1960s, game semantics emerged, again leading to important developments in philosophy, e.g., within epistemic logic. Showing again the extraordinary fruitfulness and interdisciplinary nature of the concept of game, game semantics has become since a paradigm in logic and in computer science where it have been used inter alia to model interactive computation and multi-agents systems, as well as in linguistics and argumentation theory. The consequences on philosophy of these numerous developments need to be explored.

    In an interdisciplinary spirit, this conference will bring together a number of key contributors to and welcomes papers on the concept of games, game theory and game semantics, with applications in economics, logic, computer science, linguistics, argumentation theory, and philosophy.

    A limited number of papers will be selected for presentation at the symposium and considered for inclusion in the proceedings in the Baltic International Yearbook. Submitted papers should be prepared for blind review. Deadline for submission is 12 February 2012.

    For more information, see http://cognition.lu.lv/symp/8-call.html.

  • CfP: "Choice and Inference", Honoring Horacio Arló-Costa (deadline: 1 February 2012)
    Newsitem added on 22 August 2011.

    We have all been shocked and saddened by the untimely passing of Horacio Arló-Costa. To honor Horacio Arló-Costa's memory and influence on all of us in the community, Jeffrey Helzner, Vincent F. Hendricks, Paul Pedersen and Gregory Wheeler will be editing a book with essays on his philosophy, his intellectual biography, his official obituary, words of remembrance from his friends and colleagues, his unpublished manuscripts and notes, and other relevant communications from or about Horacio.

    If you have words of remembrance, please feel welcome to post them at Choice and Inference under the entry In Memory of Horacio Arló-Costa, as we will, with your permission, use your words of remembrance for the volume. Please send all other material (correspondences, notes, etc.) to any one of the editors by email.

    Deadline for submissions is February 1, 2012. For more information, see http://choiceandinference.com/2011/07/31/honoring-horacio-arlo-costa/

  • 28-30 June 2012, Decision, Games and Logic 2012 (DGL'12), Munich (deadline: 1 February 2012)
    Newsitem added on 13 November 2011.

    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 DGL 2012, these will be: Richard Pettigrew (Decision Theory), Amanda Friedenberg (Game Theory), and Sonja Smets (Logic). At DGL 2012, we will also have a round table on "Qualitative vs. Quantitative Representations of Beliefs."

    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. Submission deadline: February 1st, 2012.

    For more information, see the conference website at http://www.meansandends.com/workshop12/, or contact: Thomas.Meier at lrz.uni-muenchen.de

  • 2-4 July 2012, Symposium on Mathematical Practice and Cognition II, Birmingham, U.K. (deadline: 1 February 2012)
    Newsitem added on 8 December 2011.

    This symposium is part of the AISB/IACAP World Congress 2012 in honour of Alan Turing. It is a sequel to the Symposium Mathematical Practice and Cognition held at the AISB convention 2010 in Leicester. That multidisciplinary symposium welcomed researchers into mathematical practice from cognitive science, philosophy, psychology, computational linguistics and robotics. The aim of this symposium is to continue this work, with particular (but not exclusive) emphasis on cognitive science and the role of computers in mathematical practice.

    2012 is the centenary of Alan Turing's birth, and his life and scientific impact are being celebrated as the Alan Turing Year. In honour of this, the symposium will include a Turing-themed session.

    We invite researchers from these disciplines and beyond to present their latest work. We especially encourage interdisciplinary submissions that link previously unassociated fields. Submission deadline: 1st February, 2012

    For more information, see http://homepages.inf.ed.ac.uk/apease/aisb12/home.html

  • CfP special issue of JLC on "Intuitionistic Modal Logics" (deadline: 31 January 2012)
    Newsitem added on 23 October 2011.

    We are soliciting papers for a special volume of the Journal of Logic and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last workshop, but also to include work on constructive modal logics not presented at the workshop.

    Papers (under 20 pages long) should be submitted by 31st January 2012. Reviews should be provided to authors before the end of May 2012 and the volume should be ready in 2012.

    Please contact one of the editors (Valeria de Paiva valeria.depaiva at gmail.com or  Natasha Alechina nza at cs.nott.ac.uk) if you're not sure that your paper is within the scope of this special volume.

  • 19-21 April 2012, 1st Conference on Games, Interactive Rationality and Learning (G.I.R.L.'12@Lund), Lund, Sweden (deadline: 31 January 2012)
    Newsitem added on 12 January 2012.

    Formal philosophy relies increasingly on simulations, and sometimes on empirical test, coming closer to both computer-, cognitive- and social sciences. Some examples are learning-theoretic models of inquiry, network theory-based approaches in social epistemology, and game-theoretic evolutionary approaches of communication. The aim of the G.I.R.L.'12 Conference is to bring together researchers in philosophy, cognitive science and artificial intelligence, to investigate new areas where the game- and learning-theoretic simulation approaches can lead to fruitful results.

    We welcome submissions of either already published research, or original material. Deadline for submissions: January 31, 2012.

    For more information, see http://www.fil.lu.se/conferences/conference.asp?id=49&lang=se

  • 10-11 May 2012, Fourth Workshop on the Philosophy of Information (4WPI), Hatfield, U.K. (deadline: 27 January 2012)
    Newsitem added on 27 October 2011.

    The Fourth Workshop on the Philosophy of Information, will take place at the University of Hertfordshire, 10-11 May 2012. The topic this year will be the intersections between PI, epistemology and philosophical semantics.

    The current list of participants includes:
    Keynotes: Stephan Hartmann, Gregory Wheeler.
    Speakers: Patrick Allo, Simon D'Alfonso, Hilmi Demir, Luciano Floridi, Nir Fresco, Phyllis Illari, Mark Jago, Giuseppe Primiero, Sebastian Sequoiah-Grayson, Sonja Smets, Matteo Turilli, Orlin Vakarelov.

    Submissions are invited for the workshop. The authors of the selected papers will be eligible for bursaries that will cover transportation, accommodation and subsistence. Bursaries will be awarded on the basis of need and scientific merit.

    Please send your submission to Mrs Penny Driscoll <p.j.driscoll2 at herts.ac.uk>

  • 7-11 May 2012, 17th Szklarska Poreba Conference on the Applications of Logic in Philosophy and Foundations of Mathematics: "Part-whole theory", Szklarska Poreba, Poland (deadline: 26 January 2012)
    Newsitem added on 26 October 2011.

    Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.

    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.

    The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.

  • 18-23 June 2012, Computability in Europe 2012 (CiE 2012): The Turing Centenary Conference, Cambridge, UK (deadline: 20 January 2012)
    Newsitem added on 6 April 2011.

    CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.

    Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for paper submission: 20 January 2012 (standard submissions) or 11 May 2012 (brief presentations).

    For more information, see http://www.cie2012.eu/.

  • 12-13 April 2012, PhDs in Logic IV, Ghent, Belgium (deadline: 15 January 2012)
    Newsitem added on 10 November 2011.

    /PhDs in Logic//IV/is a graduate conference organized by and for PhD-students. This edition is the fourth one of an annual Belgian--Dutch happening; earlier editions took place in Ghent (2009), Tilburg (2010), and Brussels (2011).

    As all previous PhDs in Logic conferences, this two-day graduate conference follows this threefold plan:
    * Four established tutorial speakers will each give two one-hour tutorial sessions on a relevant topic in logic.
    * Ten to twenty PhD students are given the opportunity to do a presentation on their own work.
    * Networking will be encouraged by providing for generous breaks and by having lunch with the entire group.

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

    For more information, visit our website at http://www.phdsinlogic2012.ugent.be.

  • 25-27 June 2012, VaNiM 2012: Values and Norms in Modeling, Eindhoven, The netherlands (deadline: 10 January 2012)
    Newsitem added on 8 September 2011.

    It is widely acknowledged that a large variety of values and norms (including epistemic, moral, and political values and norms) play an important role in modeling. Although the literature about value-free science is huge, the specific theme of values and norms exclusively focusing on modeling has not yet received the attention it should. Models are often conceived of as being approximate representations with epistemic or even non-epistemic purposes, which makes them subject to a plethora of normative influences. This conference seeks to address these and related issues from a foundational as well as an applied perspective.

    We invite papers addressing these and related issues from a foundational as well as an applied perspective. We especially welcome contributions on non-epistemic values in engineering modeling, climate modeling and modeling in operations research. Abstracts can be sent until January 10, 2012.

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

  • 16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, China (deadline: 10 January 2012)
    Newsitem added on 29 September 2011.

    TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 11:59pm EST Jan. 10, 2012.

    For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.

  • 30 May - 1 June 2012, The First Annual Conference on Complexity and Human Experience (Human Complexity 2012): Modeling Complexity in the Humanities and Social Sciences, Charlotte NC, U.S.A. (deadline: 2 January 2012)
    Newsitem added on 18 August 2011.

    The University of North Carolina will inaugurate an annual conference series, beginning in 2012, dedicated to complexity theory, with particular application to understanding the intricacies of human experience across all domains. The goal of the series is to provide a trans-disciplinary venue for scholars from the humanities and the social sciences, as well as some aspects of the natural sciences (such as neuroscience, pharmacology, etc.). Since matters of life and death pertain to human experience in profound and important ways, the conference hopes to attract representatives from the allied health sciences as well.

    The conference series will be dedicated to a particular topic each year. The topic for our first conference will be: *Modeling Complexity in the Humanities and Social Sciences.*

    Submissions are invited on any specific topic that falls within the parameters described above. The committee is particularly interested in papers that show novel applications of Complexity Theory to enhance research in the areas here specified. Thus, preliminary work in progress or plans for a research program are welcomed and encouraged. Submission Deadline: January 2nd, 2012.

    For more information, see http://sites.google.com/site/humancomplexity2012/

*    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.

  • 23-24 February 2012, Workshop: The Epistemology of Modality, Cologne, Germany
    Newsitem added on 17 November 2011.

    Modal discourse is ubiquitous in everyday life: how things could have been different, what we might do, what the future could be. Analytic philosophy also concerns itself with modal discourse in many ways; as an object of analysis, as a tool (when a modal account is offered of apparently non-modal phenomena) and, more directly, when philosophers argue about metaphysical modal claims. But how do we get to know the answers to the modal questions? By definition, modal claims transcend the way things are. In the workshop, we aim to discuss and develop different answers that have been given recently to this problem.

    Speakers: Jacek Brzozowski (Köln), Bob Hale (Sheffield), Sonia Roca-Royes (Stirling), Daniele Sgaravatti (Köln), Anand Vaidya (San Jose), Timothy Williamson (Oxford).

    Participation to the workshop is free, but registration is needed and there is a limited number of available places. For registration and inquiries write to: contact at fromthearmchair.net before January 10, 2012. For more information, see http://fromthearmchair.net/events/modal-epistemology.

  • 20-24 February 2012, Methods in Bioinformatics, Tarragona, Spain
    Title: 2012 International Winter School in Methods in Bioinformatics (WSMBio 2012)
    Target group: Graduate (and eventually advanced undergraduate) students from around the world
    Newsitem added on 19 January 2012.

    WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

    Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

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

  • 19-22 February 2012, 2nd Bar-Ilan Winter School on Cryptography: Lattice-Based Cryptography and Applications, Bar Ilan University, Israel
    Costs: Participation is free, but registration is required.
    Newsitem added on 30 November 2011.

    The winter school will provide an in depth coverage of lattices and their role in cryptographic constructions. Among other things, we will study the basics of lattices, hard problems on lattices and advanced reductions between problems. In addition, we will study cryptographic constructions based on lattices. These will include encryption, interactive protocols, advanced encryption (identity based and others), and finally recent advances in fully homomorphic encryption. The school program includes approximately 20 hours of lectures, a social dinner and an excursion.

    The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not lattices). 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/winterschool2012/

  • 18-19 February 2012, Turing in Context (TiC@King's), Cambridge, U.K.
    Newsitem added on 5 January 2012.

    In the year 2012, the academic world will celebrate Alan Turing's (1912-1954) birth centenary as the Alan Turing Year. The event "Turing in Context" will highlight the many contributions of Alan Turing for a general academic audience, in particular for undergraduate and postgraduate students of all fields, and put these contributions in a historical context. Our seven speakers will cover topics such as British war intelligence, discrimination laws, pattern formation in biological systems, artificial intelligence, as well as logic and foundations of computing.

    Since there is only limited seating capacity in Keynes Hall, we ask for advance registration by sending an e-mail to Jenny Mackay at programmes at newton.ac.uk with the subject line "Registration for Turing in Context, 18-19 Feb 2012". Acceptance is on a first-come first-served basis. For more information, see http://www.math.uni-hamburg.de/home/loewe/TiC@Kings/

  • 13-14 February 2012, Properties and Optionality in Syntax and Semantics, Utrecht University
    Newsitem added on 9 February 2012.

    The variety of optionality and modification phenomena, and their intricate relations with intensional properties, lead to some hard puzzles about syntax and semantics. This workshop will examine, from the perspectives of formal syntax and semantics and the formal philosophy of intensional properties, a few of these questions:

    1. Should there be a unified grammatical framework for analyzing phenomena of optionality?
    2. Is there still a role for intensional properties in accounting for optionality effects?
    3. How precise and elegant are current hypotheses about optionality in natural language grammar?

    For more information, see http://www.hum.uu.nl/medewerkers/h.devries1/poss2012.htm.

  • 3-4 February 2012, Degrees and Randomness (60th birthday of Klaus Ambos-Spies), Heidelberg, Germany
    Newsitem added on 8 September 2011.

    Klaus Ambos-Spies' 60th birthday in November is approaching. On the occasion of his anniversary, a two-day symposium "Degrees and Randomness" will be held in Heidelberg on 3 and 4 February, 2012. The meeting will start on Friday afternoon and will comprise a social dinner on Friday night.

    For details see the preliminary web page for the meeting at http://math.uni-heidelberg.de/logic/e_aktuelles.html or contact the local organizers at logic at math.uni-heidelberg.de.

  • 1 February 2012, Judgment Aggregation Computational Perspectives Workshop, Luxembourg, Luxembourg
    Newsitem added on 26 January 2012.

    How can a group of agents aggregate their individually assigned truth-values to a collection of logically related propositions into a consistent aggregate? This is a social choice problem studied by the theory of judgment aggregation. relatively new problem of social choice, much is unknown about the theory, methods, implementation and application of judgment aggregation.

    In the past decade we witnessed the role of a computer shifting from the computer being a self contained machine for executing software, a ``personal computer", to being a ``net-book", a global communication tool and an access node for disseminating information. As computers and computing become more distributed, pervasive and invisible, the need is created for aggregating information from various sources into a consistent aggregate. Can judgment aggregation fill this need? This is the topic of the workshop organized by the University of Luxembourg and the Cost AGGREEMENT TECHNOLOGIES action.

    For more information, see http://icr.uni.lu/JAWorkshop/

  • 23-27 January 2012, WSLST 2012: Winter School in Language and Speech Technologies, Tarragona, Spain
    Newsitem added on 6 October 2011.

    WSLST 2012 offers a broad and intensive series of lectures on language and speech technologies at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

    The school is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, Philosophy, or Cognitive Science) are welcome too.

    Early registration deadline: November 13, 2011. For more information, see http://grammars.grlmc.com/wslst2012/ or contact Florentina-Lilica Voicu at florentinalilica.voicu at urv.cat.

  • 9-20 January 2012, Fourth Indian School on Logic and its Applications (ISLA 2012), Manipal, India
    Newsitem added on 8 August 2011.

    The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, and University of Hyderabad. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The fourth conference was held at Delhi University, in January 2011, and the proceedings published as LNCS 6521 in the FoLLI series. The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

    The deadline for receiving applications is December 15, 2011. For more information, see http://ali.cmi.ac.in/isla2012/.

  • 3-7 January 2012, International Conference on Game Theory, Operations Research and their Applications (GTORA 2012) and Workshop on Game Theory, Chennai, India
    Newsitem added on 10 November 2011.

    In recent years, there has been an increasing interest (nationally as well as internationally) in Game Theory and Operations Research – theoretical aspects, computational aspects as well as applications. As its contribution towards sustaining this interest and developing this area further, Indian Statistical Institute, Chennai Centre would like to invite you to the above conference and workshop to be held in Chennai.

    Our focus areas include (but is not restricted to) Algorithmic Game Theory, Evolutionary Games, and applications of Game Theory and Mathematical Programming to Supply Chain Management, Networks (Social as well as Communication Networks) and to areas such as Computational Neuroscience.

    Our conference website is: http://www.isichennai.com/gtora2012/. Or contact the organizers at gtora2012 at gmail.com.

*    MoL and PhD defenses

  • 10 February 2012, PhD defense, Yurii Khomskii
    Title: Regularity Properties and Definability in the Real Number Continuum
    Date and time: Friday 10 February 2012, 11:00
    Location: Aula, Lutherse Kerk, Singel 411
    Promotor: Benedikt Löwe, Jouko Väänänen
    Copromotor: Jörg Brendle

    For more information, contact Yurii Khomskii at yurii at deds.nl.

  • 27 January 2012, Master of Logic defense, Sylvia Boicheva
    Title: Mechanism design without Money
    Date and time: Friday 27 January 2012, 16:00
    Location: Room A1.04, Science Park 904, Amsterdam
    Supervisor: Krzysztof Apt

  • 19 January 2012, PhD defense, Markos Mylonakis
    Title: Learning the Latent Structure of Translation
    Date and time: Thursday 19 January 2012, 12:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Remko Scha
    Copromotor: Khalil Sima'an

    For more information, visit http://staff.science.uva.nl/~mmylonak/thesis.html or contact mmylonakis at gmail.com

  • 12 January 2012, PhD defense, Federico Sangati
    Title: Decomposing and Regenerating Syntactic Trees
    Date and time: Thursday 12 January 2012, 10:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Rens Bod
    Copromotor: Willem Zuidema

    An electronic version of the dissertation can be found here: http://www.illc.uva.nl/Research/Dissertations/DS-2012-01.text.pdf.

    For more information, please contact federico.sangati at gmail.com.

*    Projects and Awards

  • Four Veni grants 2011 at ILLC
    Newsitem added on 20 October 2011.

    Four young ILLC researchers have been awarded a Veni grant 2011:
    * Michael Franke, for his project Models of Language Evolution and the Topology of Semantic Space: The Case of Gradable Adjectives
    * Aline Honingh, for her project Representing Music: a New Basis for Computational Musicology
    * Floris Roelofsen, for his project Interpreting Questions - fine-grained compositional semantics
    * Bryan Renne, for his project Evidence-Based Belief Revision

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4147 or http://www.nwo.nl/nwohome.nsf/pages/NWOP_8MQKAT.

*    Funding, Grants and Competitions

  • New pilot scheme 'Synergy Grant'
    Newsitem added on 6 October 2011.

    In recent years, small research groups of principal investigators and their teams have emerged as an increasingly productive link in the research chain. These groups often tackle interdisciplinary research problems, pooling together their expertise, knowledge and resources. Building on its two core funding schemes supporting individual researchers, the Eurpopean Research Council is launching a new pilot initiative - the 'Synergy Grant' - to fund small groups of excellent researchers to push forward the frontiers of knowledge.

    The ERC aims to support proposals that demonstrate the complementarity and added-value of joint research leading to breakthroughs that would not necessarily be possible to achieve without the proposed group configuration. Groups of between two to four researchers can apply for a maximum grant of € 15 Mio for a period of up to six years. The total funding of the first pilot 'Synergy Grant' call is € 150 Mio, representing approximately 10% of the 2012 ERC budget for calls. No more than 10 to 15 'Synergy Grants' will be awarded in 2012, and only exceptional proposals are likely to be funded.

    The first call will be published on 25 October 2011 with a deadline for submission in January 2012. For more information, see http://erc.europa.eu/funding-schemes/synergy-grants.

  • FWO: Odysseus Programme
    Newsitem added on 12 January 2012.

    The Odysseus initiative is intended to offer start-up funding to a number of outstanding researchers who have built up a career outside Flanders, in order to develop a research group within a Flemish university or to set up a research line and become progressively more involved in the Flemish research establishment.

    What makes the Odysseus programme so special, is the unique combination between sufficient project financing to establish a new research team within a Flemish university and a permanent position for the Odysseus beneficiary within the same university. These symbiosis forms the ideal starting point to attract high level, international researchers.

    The procedure consists of nominations by one or more Flemish universities and a quality control by the FWO, which also controls the finances. An indexed sum of 12.7 million EUR has been made available since 2006. This can be increased.

    Deadline for 2012 applications: 1 April 2012. For more information, see http://www.fwo.be/Odysseusprogramma.aspx

  • FWO: Pegasus Marie Curie Fellowships
    Newsitem added on 12 January 2012.

    The goals of PEGASUS are:
    - to attract excellent postdoctoral researchers to Flanders in order to contribute to the advancement of Flemish science
    - to provide the selected fellows with optimal conditions to further develop their research career in Flanders or abroad.

    Deadline for 2012 applications: 1 Februari 2012 (3-year postdocs) or 1 May 2012 (1-year postdocs). For more information, see http://www.fwo.be/Pegasus-Marie-Curie-fellowships-postdoc.aspx

  • KNAW: Academy Colloquia grants
    Newsitem added on 30 December 2011.

    Academy Colloquia bring together a select international group of researchers to discuss a topical theme. The Academy can organise up to seven colloquia a year at the Trippenhuis Building in Amsterdam. Academy Colloquia last from two to three days.

    Application deadline: prior to 1 March of the year preceding the year in which the colloquium is to take place.

    For more information, see http://www.knaw.nl/Pages/DEF/27/245.bGFuZz1FTkc.html

  • VSBfonds: Grants for Master or Bachelor students [Dutch only]
    Newsitem added on 15 September 2011.

    Het 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 voor aanvragen: 1 maart 2012. Voor meer informatie, zie http://www.vsbfonds.nl/beurzen/

*    Open Positions at ILLC

  • PhD position in logic and theoretical philosophy
    Newsitem added on 20 November 2011.

    A 4-year PhD position is available at the Institute for Logic, Language and Computation, University of Amsterdam. This position is connected to the LogiCIC project which is funded by the European Research Council, under the ERC Starting Grant awarded to Dr. Sonja Smets.

    Vacancy number W11-216. Applications will be reviewed starting 1 February 2012 and are accepted until the position is filled. For more information, see http://www.science.uva.nl/werkenbijdefnwi/vacatures.cfm/ or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4209.

  • PhD fellowship at ILLC (Faculty of Humanities)
    Newsitem added on 13 October 2011.

    The Institute for Logic, Language and Computation (ILLC) currently has a PhD fellowship (0.8 fte) available at the Faculty of Humanities starting on 1st September 2012. 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.

    Completed applications should be submitted by 23.59 hours (CET) on the 1st of February, 2012. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4131 or contact the chairman of the selection committee, Prof.dr. Rens Bod L.W.M.Bod at uva.nl.

*    Open Positions, General

  • Pre- or postdoctoral position in Artificial Intelligence, Osnabrueck (Germany)
    Newsitem added on 5 February 2012.

    The Artificial Intelligence Group of the Institute of Cognitive Science (IKW) at the University of Osnabrueck (Germany) seeks applicants for a doctoral / postdoctoral position (salary level E 13 TV-L, 50%) The position is limited until September 30th, 2014 and provides the possibility of further scientific qualification (PhD / Habilitation). The main research areas of the AI group are non-classical forms of reasoning, ontologies and text technology, neural-symbolic integration, and cognitive architectures.

    The deadline for applications is 21.02.2012. For more information, see http://ikw.uni-osnabrueck.de/en/node/722 or contact Prof. Dr. Kai-Uwe Kuehnberger (kkuehnbe at uni-osnabrueck.de).

  • Master in Pure and Applied Logic at Barcelona
    Newsitem added on 20 November 2011.

    The biannual Master in Pure and Applied Logic for 2012-2014, jointly organized by the University of Barcelona (UB) and Polytechnical University of Catalunya (UPC), is open for (pre) registration. The Barcelona Logic Master caters in the most central aspects of advanced logic. Professors related to the Barcelona Master in Pure and Applied Logic come from various prominent Universities and Research Institutes in the area of Barcelona.

    Interested students can find more information at http://www.ub.edu/masterlogic/. Questions, also questions related to scholarships, housing etc., can be sent to masterlogic at ub.edu.

  • Lectureship in pure mathematics, Bristol (U.K.)
    Newsitem added on 5 February 2012.

    There is a new position available within the Pure Maths group within the School of Mathematics at the University of Bristol. The position is open to Logicians and Set Theorists to complement the work of the group, and such are encouraged to apply.

    Full details are available at http://www.jobs.ac.uk/job/ADW381/. Informal enquiries can be addressed to Philip Welch p.welch at bris.ac.uk Please note the closing date is Feb 20th and referee letters should be arranged to arrive by then.

  • Permanent research staff position at IBM Watson Center, Hawthorne NY (U.S.A.)
    Newsitem added on 5 February 2012.

    We invite applications for a permanent research staff position in the Algorithms group at IBM TJ Watson Research Center. We do basic research in optimization, approximation and online algorithms and other areas of theoretical computer science and apply our theoretical ideas to industrial problems. Applicants must have a Ph.D. (or obtain the degree by the time of employment) in Computer Science or in a closely related field.

    Deadline: February 19, 2012 For more information, see https://jobs3.netmedia1.com/cp/job_summary.jsp?job_id=RES-0362481.

  • Professorship in nonclassical logics in computer science, Vienna (Austria)
    Newsitem added on 22 January 2012.

    Announcement of an open position at the Faculty of Informatics, Vienna University of Technology, Austria Professorship of Nonclassical Logics in Computer Science for a five year term. The applicant is required to have an outstanding academic record in the field of Logic. In particular it is expected that he/she has made substantial scientific contributions to proof theory in nonclassical logics (cut-elimination, development of analytic calculi), including applications to computer science and other scientific areas. Experience in university teaching as well as experience in raising funds and in managing scientific research projects is highly appreciated.

    Application Deadline: February 18th, 2012. A more detailed announcement and information on how to apply can be found at: http://www.informatik.tuwien.ac.at/NCL.pdf.

  • Tenure-track position in algorithms, Corvallis OR (U.S.A.)
    Newsitem added on 13 November 2011.

    The School of Electrical Engineering and Computer Science at Oregon State University invites applications for up to four tenure-track positions in Computer Science. Amongst the 4 areas being considered is algorithms, with a focus on optimization or probabilistic reasoning.

    Please see the CRA website for full information: http://www.cra.org/ads/ads-view/ For full consideration, applications must be received before 16 February 2012.

  • PhD Positions in Computer Science at University of Liverpool
    Newsitem added on 11 December 2011.

    The Department of Computer Science at the University of Liverpool has several funded PhD positions available. Note that the department has very strong groups in Logic and Computation, Multiagent Systems, and Economics and Computation.

    The deadline for the first round of applications to be received is 15th Feb 2012. For more information, see http://www.csc.liv.ac.uk/~pwg/2012-studentships.htm.

  • Two postdoctoral fellowships (1y each) in history and philosophy of mathematics, Berlin (Germany)
    Newsitem added on 30 December 2011.

    The Max Planck Institute for the History of Science, Berlin (Independent Research Group on Modern Geometry and the Concept of Space; Director: Vincenzo De Risi) announces Two Post-doctoral Fellowships for one year in the academic year 2012-2013 (with the possibility to begin as soon as Summer 2012). Research projects should concern the history of geometry, the history of mathematical epistemology or the history of the concept of space from the Ancient to the Early Modern Age.

    Applications must be received before February 15th, 2012. For more information, see http://www.mpiwg-berlin.mpg.de/en/news/jobs.html or the project webpage at http://www.mpiwg-berlin.mpg.de/en/research/projects/MRGdeRisi, or contact Dr. Vincenzo De Risi at vderisi at mpiwg-berlin.mpg.de.

  • Postdoctoral fellowship in history and philosophy of science, Pittsburgh PA (U.S.A.)
    Newsitem added on 8 January 2012.

    The Department of History and Philosophy of Science is pleased to offer a one or two term Mellon Post Doctoral Fellowship in the period August 30, 2012-April 30, 2013. The Fellowship is to support a scholar with a clearly defined monograph project in some area of the history of science or history and philosophy of science. The successful candidate would, in addition to pursuing his or her research goals, be expected to teach one course each term centered on that research, and would grant the University of Pittsburgh Press the first option to publish the monograph. Senior scholars should apply for a single semester; junior scholars may apply for two semesters. The fellowship is in the amount of $40,000, and comes with a full package of benefits.

    This Fellowship is funded as part of a grant from the Mellon Foundation to support the development of publishing in the History and Philosophy of Science through University of Pittsburgh Press and interactions between the World History Center and the Department of History and Philosophy of Science. Special consideration will be given to applications that are consonant with the goals of those projects.

    Application Deadline: February 15, 2012. For more information, see http://www.hps.pitt.edu/news/#job_ad

  • 3 associate professorships in computer science at KTH, Sweden
    Newsitem added on 2 February 2012.

    The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for 3 associate professor positions in computer science, including but not limited to theoretical computer science. The TCS group at KTH would love to see strong theory applicants for these positions.

    The associate professorships are permanent positions including both research and teaching at the undergraduate and master levels. Details regarding teaching load and support package for getting started with research in Sweden will be negotiated on an individual basis with the successful candidates.

    The deadline for applications is February 29, 2012. For the full announcement including instructions how to apply, see http://www.kth.se/en/om/work-at-kth/vacancies/. Informal enquiries are welcome and may be directed (from TCS candidates) to Johan Hastad, johanh at csc.kth.se.

  • 3 PhD positions in Computational Linguistics, Discourse and Communication, and Semantics and Cognition at Groningen
    Newsitem added on 2 February 2012.

    The Graduate School for the Humanities at Groningen University offers 3 positions to MA/MSc graduates within the fields of the Center of Language and Cognition (CLCG). Candidates need to submit a research proposal (max. 1500 words). The subject should fit into one of the following themes: Computational Linguistic, Discourse and Communication, or Semantics and Cognition. Application before 1 March 2012, 24:00 CET. Starting date of the PhD projects: 1 September 2012.

    For more information, see http://www.rug.nl/gradschoolHumanities/admissions/phdPositions/

  • Postdoctoral position in classical and quantum computing, Paris (France)
    Newsitem added on 22 September 2011.

    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. Topics of interest include (but are not limited to): algorithms, online algorithms, streaming algorithms, approximation algorithms, communication complexity, cryptography, computational game theory, quantum computing, computational applications of logic, randomness in computing, privacy.

    To apply please send a CV, a summary of research and names of at least three references to algocomp-apply at liafa.jussieu.fr . For a starting date of January 2012 applications should be received by November 1st, 2011. For a starting date of September 2012 applications should be received by February 1st, 2012.

    LIAFA is a joint laboratory of the CNRS (the French National Center for Scientfic Research) and University Paris Diderot - Paris 7. For more information about LIAFA, please see http://www.liafa.jussieu.fr , and for more information about the Algorithms and Complexity group please see http://www.liafa.jussieu.fr/algocomp . Further information may be obtained from any of the permanent members of the group.

  • Full professorship in Communication and Cognition, Tilburg (The Netherlands)
    Newsitem added on 8 December 2011.

    The Tilburg center for Communication and Cognition (TiCC) is looking for an enthousiastic and competent colleague for the position of Full Professor. Excellent young candidates who do not yet qualify for a full professorship, are also invited to apply, and will initially be offered an associate professorship.

    The candidate is expected to initiate and conduct fundamental and applied research in the Creative Computing (CC) research program. Within the program, the research currently focuses on computational modeling of cognitive processes, with application domains in language, vision, games and social signal processing. Furthermore, the candidate contributes (both in terms of teaching and organization) to the teaching program Communication and Information Sciences, in particular in the track Human Aspects of Information Technology (HAIT) and in the new track Data Journalism. The candidate has an important task in acquiring external projects and in managing tasks on the department and faculty level. Experience with applying computational techniques to humanities research in general is considered a bonus.

    Full details can be found here: http://erec.uvt.nl/vacancy?inc=UVT-EXT-2011-0517. Applications including curriculum vitae and names of three referents must be submitted before February 1, 2012.

  • PhD student position in reachability problems, Bordeaux (France)
    Newsitem added on 26 October 2011.

    The ANR project REACHARD proposes several PhD positions on reachability problems for counter systems, including vector addition systems and related models. The PhD position can start in 2011 or 2012 and will take place either at LaBRI or at LSV , France. The duration is 3 years, with an annual salary of 21,000 euros after tax + benefits.

    The main objective of the ANR project REACHARD is to propose a satisfactory solution to the reachability problem for vector addition systems, that will provide significant improvements both conceptually and computationally. Many standard verification problems can be rephrased as reachability problems, and there exist powerful methods for infinite-state systems; see e.g. the theory of well-structured transition systems. However, obtaining decision procedures is not the ultimate goal, which we rather see in crafting provably optimal algorithms---required for practical use. In the ANR project REACHARD, we focus on algorithmic issues for the verification of counter systems, more specifically to reachability problems for vector addition systems with states (VASS) and related models.

    For more information, see http://www.lsv.ens-cachan.fr/Projects/anr-reachard/Documents/Announce. Any further inquiry should be sent to anr-reachard at lsv.ens-cachan.fr.

  • Scientific Programmer or Postdoc position at UvA for computational linguist
    Newsitem added on 26 January 2012.

    (dutch only)
    De UvA heeft binnen de ILPS groep een vacature voor een wetenschappelijk programmeur/postdoc voor 1 jaar (.75fte) binnen het Namescape project, een samenwerking tussen ING-Huygens, INL-Leiden en ILPS. Het project gaat over het gebruik van named entities in Nederlandstalige literatuur.

    Gezocht wordt naar iemand met een achtergrond in computationele linguistiek, kunstmatige intelligentie of informatica met affiniteit voor de Nederlandse taal en ervaring met Linux, XML (XQuery en/of XSLT) en werken met tekstuele data.

    Aanvang positie: Maart-April 2012. Deadline sollicitatie: 15 Februari. Voor meer informatie, zie http://politicalmashup.nl/2012/01/vacature-wetenschappelijk-programmeur/

  • Postdoctoral fellowship: Foundations and future of AI, Oxford (U.K.)
    Newsitem added on 30 December 2011.

    Applications are invited for James Martin Postdoctoral Research Fellowship within the Future of Humanity Institute at Oxford University. The post is fixed-term for the period 30 January 2012 (or as soon as possible thereafter) to 30 September 2012. The postholder will conduct independent and collaborative research related to artificial intelligences and other cognitive systems, machine intelligence, superintelligence, and other associated topics.

    The Future of Humanity Institute (FHI) is a unique multidisciplinary research institute at the University of Oxford, and is directed by Professor Nick Bostrom. The Institute's mission is to bring excellent scholarship to bear on big-picture questions for humanity. The FHI is part of the Oxford Martin School, and is hosted by the Faculty of Philosophy.

    The deadline for applications is noon (UK time) on Monday 23 January 2012. Further particulars are available from the FHI website at http://www.fhi.ox.ac.uk/news/2011/academic_vacancy_at_the_fhi or by emailing Nailya.Nikitenko at philosophy.ox.ac.uk. Protocol Reference Number: HUM/1014F/E.

  • University of Gent: six postdoctoral positions
    Newsitem added on 22 January 2012.

    Six postdoctoral positions in Ghent University’s Faculty of Sciences will be available with effect from 1 October 2012, for a duration of 3 years.

    Application deadline: Wednesday 29 February 2012. For more information, see http://www.ugent.be/we/en/vacancy.htm.

  • Postdoctoral research positions in artificial intelligence, Durban (South Africa)
    Newsitem added on 20 October 2011.

    Applications are invited for Postdoctoral Research positions in the UKZN/CSIR Meraka Centre for Artificial Intelligence Research (CAIR) within the School of Computer Science, University of KwaZulu- Natal, South Africa. The successful applicants will be expected to engage in full-time postdoctoral research under the supervision of a member of the academic staff of CAIR. The positions are for a duration of one year and are renewable for a second year, subject to satisfactory performance.

    The following two positions will be jointly funded and jointly supervised in collaboration with the School of Informatics, University of Edinburgh (UED). Postdoctoral researchers will be primarily based at CAIR in Durban or Pretoria and will undertake short research placements to UED. The research areas are: 1) Behavior representation and detection in video surveillance systems under the supervision of Dr. Deshen Moodley (UKZN) and Prof. Bob Fisher (UED), and 2) Knowledge Representation and Reasoning under the supervision of Prof. Tommie Meyer (CAIR) and Prof. Alan Bundy (UED). A third general position is also available in any area of Artificial Intelligence currently under investigation within CAIR.

    There is no fixed application deadline. Scholarships will be awarded based on the suitability of candidates and the availability of funds. For more information, see http://cair.meraka.org.za/join-cair

  • PhD Positions in Theoretical Computer Science, Stockholm (Sweden)
    Newsitem added on 15 November 2011.

    The Theoretical Computer Science group at KTH Computer Science and Communication (KTH CSC) invites applications for PhD positions in Theoretical Computer Science with a focus on proof complexity and connections to SAT solving. The students will work in the research project "Understanding the Hardness of Theorem Proving", which aims to understand what makes formulas hard or easy in practice by combining theoretical study and practical experiments (as well as gain theoretical insights into other crucial but poorly understood issues in SAT solving). The project is led by Jakob Nordström.

    The application deadline is January 20, 2012 but candidates are encouraged to apply already now. See http://www.csc.kth.se/~jakobn/openings/D-2011-0503-Eng.php for the full, formal announcement with more information. Informal enquiries about these positions are welcome and may be sent to Jakob Nordström at jakobn at csc.kth.se.

  • Postdoc in Language Technology at Gothenburg, Dialogue Technology lab
    Newsitem added on 19 January 2012.

    The Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg announces a two year postdoc located in the Dialogue Technology Lab at the Centre for Language Technology (CLT). Research in the Dialogue Technology Lab includes dialogue system building based on the information state update approach, theoretical work on dialogue semantics in particular semantic coordination and learning through interaction, empirical work on spoken dialogue corpora and mobile communication, and forensic phonetics. The application deadline is the 23rd of February 2012.

    For more information, see http://gu.se/english/about_the_university/Job_opportunities/.

  • Postdoctoral position in mathematical logic, Utrecht (The Netherlands)
    Newsitem added on 8 December 2011.

    A two year postdoc position in Mathematical Logic is available at the Department of Philosophy of Utrecht University in The Netherlands. The position is part of the research project "The power of constructive proofs", which is a five year project on proof theory and constructive mathematics, funded by the Netherlands Organisation for Scientific Research. A background in proof theory or algebraic logic is highly recommended.

    The deadline for applications is January 15, 2012. For more information on the project and application procedure, please visit http://www.uu.nl/NL/Informatie/sollicitanten/Pages/Vacatures.aspx

  • 2 PhD student positions on Forensic Bayesian networks, Groningen & Utrecht (The Netherlands)
    Newsitem added on 8 December 2011.

    These two PhD positions are part of the project "Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios". The project is a cooperation of the University of Groningen (Department of Artificial Intelligence) and Utrecht University (Department of Information and Computing Sciences) supported by partners from forensic legal practice.

    It is well-known that lawyers and other non-experts in statistics often make serious mistakes when confronted with statistical evidence, while there is ample evidence that lawyers tend to think in terms of arguments and scenarios. Therefore the project aims to develop methods for supporting argumentation- and narrative-based communication about statistical evidence. Both the design and the understanding of models of evidence will be investigated. This study will be carried out in two subprojects, addressing, respectively, argumentation and narrative techniques.

    Applications must be received before January 15th, 2011. For more information, see http://www.academictransfer.com/12220/ Or contact Dr B. Verheij at b.verheij at ai.rug.nl.

  • Postdoctoral Fellowship in Theory of Computing, Cambridge MA (U.S.A.)
    Newsitem added on 20 November 2011.

    The Theory of Computation (TOC) group at the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT is seeking candidates for a 2-year post-doctoral position in the general area of the theory of computation, starting the summer or fall of 2012. Applicants in /all areas/ of theory are encouraged to apply, including (but not exclusive to) algorithms, complexity theory, combinatorial optimization, cryptography, distributed computing, game theory and computation, geometry, parallel computing, and quantum computing. This fellowship is made possible by a generous gift from the Simons Foundation.

    Please submit complete applications by January 6, 2012. For more information, see http://theory.csail.mit.edu/simons.html.

  • Postdoc position at KTH Royal Institute of Technology
    Newsitem added on 8 January 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 Nordstrom and is financed by a Starting Independent Researcher Grant from the European Research Council. The postdoctoral researcher will be part of a team consisting also of the PI and two PhD students. Travel funding is included, and the group also expects to continue receiving 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 in August-September 2012, although this is to some extent negotiable.

    To receive full consideration, applications should be received by January 31, 2012. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2011-0603-Eng.php. Informal enquiries are welcome and may be sent to Jakob Nordstrom at jakobn at csc.kth.se.

  • Faculty positions in theoretical computer science, San Antonio TX (U.S.A.)
    Newsitem added on 20 October 2011.

    The Department of Computer Science at The University of Texas at San Antonio invites applications for tenure/tenure-track positions at the Assistant, Associate or Professor level, starting Fall 2012. All areas of computer science will be considered. We are particularly interested in candidates in theory and algorithms as well as computer architecture, with a focus on computer and information security as a cross-cutting concern.

    Screening of applications will begin on January 2, 2012. Please klick on the link below for more information: http://www.cs.utsa.edu/news/64/51/Opennings-for-Faculty-Positions/

  • Postdoctoral position (3y) in "Explanatory Reasoning" in Tilburg
    Newsitem added on 30 December 2011.

    The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science (TiLPS) invite applications for a three-year full-time postdoc position, commencing April 1, 2012 (or earlier). The successful candidate is expected to work on the DFG-funded project 'Explanatory Reasoning: Normative and Empirical Considerations'.

    The deadline for applications is January 5, 2012. For more information, see the full announcement at http://erec.uvt.nl/vacancy?inc=UVT-EXT-2011-0511 or the TiLPS website at http://www.tinyurl.com/tilpsDFG, or email Professor Stephan Hartmann at S.Hartmann at uvt.nl.

  • Stockholm University: 2 years postdoc position in Mathematical Logic
    Newsitem added on 18 December 2011.

    The Department of Mathematics at Stockholm University is looking for a postdoc interested to work in the areas of the logic group and related subjects.

    The research in mathematical logic at the department of mathemtatics include such subjects as constructive mathematics, point-free topology and locale theory, semantics and proof theory of type theory and constructive set theory, category-theoretic logic, topos theory and constructive aspects of mathematical logic.

    Application deadline: Monday 23 January 2012. For details, and how to apply, see the advertisement at the department web page at http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=101279.

  • PhD/Postdoc position, Logic-based Knowledge Representation and Reasoning, University of Ulm
    Newsitem added on 18 December 2011.

    The Institute for Artificial Intelligence has an opening for a PhD student or a postdoc in the area of logic-based knowledge representation and reasoning.

    The position is a fulltime position and initially limited to two years. The successful candidate will be associated with the Institute of Artificial Intelligence with his or her work focusing on logic-based knowledge representation (in particular description logics), ontological reasoning, query languages for the Semantic Web or related areas.

    Deadline: January 15, 2012. For more information, see http://www.uni-ulm.de/en/in/ki/open-positions.html or contact Juniorprof. Dr. Birte Glimm at birte.glimm at uni-ulm.de.

  • Phd/Postdoc Position in Knowledge Representation and Applied Reasoning at Karslruhe Institue of Technology
    Newsitem added on 15 December 2011.

    The Chair for Pervasive Computing Systems and the TECO group at the Karlsruhe Institute of Technology (KIT), Germany, are looking for a research assistant (doctoral or post-doctoral level, TV-L 13) in the area of knowledge representation and applied reasoning.

    The candidate will cooperate with international industry partners and academic research groups to perform novel research on knowledge representation, modeling and reasoning in the context of digital preservation. The goal of this research is to design and implement a reasoning system that is able to learn and reason about dependencies in service-oriented and distributed systems.

    Please submit your applications by 2012-01-31. For more information, see http://www.teco.edu/jobs/#topic_2.

  • Position for Computational Linguist at Hilversum office of Mystery Swedish Firm
    Newsitem added on 8 December 2011.

    Talent Search People is looking for Computational Linguists or Linguists (with a Native Level of Dutch) to join the team of a Swedish client who has offices in several European countries that develop virtual assistants in several different European Languages.

    As a Knowledge Engineer, you will be reporting to a Line Manager. Your objective will be to design, build, maintain and develop knowledge-based systems, in domains such as artificial intelligence, databases, expert systems, and natural language processing systems according to the company methodology.

    For more information, see http://www.talentsearchpeople.com/jobs/.

  • Readership/Professorship in Philosophy at King's College, London
    Newsitem added on 30 November 2011.

    Applications are invited for a Readership or Professorship in the Department of Philosophy at King's College London, starting in September 2012. The successful candidate will have expertise in one or more of the following areas: Philosophy of Mind, Philosophy of Psychology, Philosophy of Language.

    Closing date: 4th January 2012. For more information, see http://www.kcl.ac.uk/depsta/pertra/vacancy/external/

  • PhD Positions in Computer Science, University of Oxford
    Newsitem added on 17 November 2011.

    The Department of Computer Science, University of Oxford, invites applications for full and partial scholarships for DPhil (Doctor of Philosophy) study to commence in October 2012.

    Areas of interest inlcude, amongst others, Foundations, Logic and Structures (http://www.cs.ox.ac.uk/research/fls/), Information Systems (http://www.cs.ox.ac.uk/research/is/) and Verification (http://www.cs.ox.ac.uk/research/verification/). There is also the opportunity for cross-disciplinary research in areas such as Linguistics, Biology, Medicine, Quantum Foundations and Quantum Computation.

    Scholarship applicants are strongly encouraged to apply before 18 November 2011, and must apply by 20 January 2012 at the latest. For more information, see http://www.cs.ox.ac.uk/news/399-full.html.

  • 3 (Renewable) 2-Year Post-Doc Positions
    Newsitem added on 4 November 2011.

    The CIMeC-CLIC laboratory of the University of Trento announces the availability of at least 3 (renewable) 2-year Post-Doc positions. The scholarships are funded by a 5-year European Research Council Starting Grant awarded to the COMPOSES (COMPositional Operations in SEmantic SPACE) project, that aims at modeling composition in distributional semantics.

    Given the interdisciplinary nature of the project, we seek brilliant researchers with any of the following backgrounds:
    - Machine learning
    - Psycholinguistics, experimental linguistics or cognitive science
    - Formal and/or computational
    Advanced programming and mathematical skills are required of candidates from machine learning. Linguists and cognitive scientists must possess at least basic programming skills and a reasonable knowledge of statistics.

    For more information, see http://clic.cimec.unitn.it/composes.

  • Research positions at DFKI, Bremen, Germany
    Newsitem added on 3 November 2011.

    The DFKI research department Safe and Secure Cognitive Systems in Bremen, Germany, currently has several vacancies in projects related to logic, formal methods, and ontologies.

    For more information, , see http://www.informatik.uni-bremen.de/dfki-sks/vacancies.html.

  • Research and Teaching Assistant Position at University of Koblenz-Landau:
    Newsitem added on 23 October 2011.

    The position is in the area of formal methods and theoretical computer science, with emphasis on logic, automated reasoning, decision procedures and verification (in the group of Prof. Dr. Viorica Sofronie-Stokkermans).

    The position is initially for 3 years, with the possibility of extension. The teaching obligations are of 4h/week during the semesters. There is the possibility of pursuing a PhD during this time. Applicants should have a MSc degree (or comparable University degree) in Computer Science, Mathematics or a related discipline.

    Code number of position: 115/2011. Application deadline: 3 November 2011. For more information, see http://www.stellenwerk-koblenz-landau.de/uploads/tx_exinitswkjobs/.

  • University of Kent: AHRC PhD studentship in Philosophy
    Newsitem added on 23 October 2011.

    The PhD project will focus on the question of whether new versions of inductive logic survive a number of philosophical critiques. This will require competence in philosophical argumentation and knowledge of epistemology and elementary logic. Applicants will be expected to hold a Master's degree, and a Bachelor's degree at class 2(i) or higher; at least one of these degrees should be in philosophy.

    The deadline for applications is Thursday 15 December 2011. For more information, see http://www.kent.ac.uk/reasoning/obeil.pdf

  • University of Kent: AHRC Postdoctoral Research Associate in Philosophy
    Newsitem added on 23 October 2011.

    The Postdoctoral Research Associate will focus on the development of a particular inductive logic, analysis of its key properties, and the development of computationally tractable methods for performing inferences in the inductive logic. This will require some familiarity with probability and logic. Programming competence would also be desirable. Applicants will be expected to hold a PhD on a related topic in mathematics, computing, philosophy or a related subject.

    The deadline for applications is Thursday 15 December 2011. For more information, see http://www.kent.ac.uk/reasoning/obeil.pdf

  • Delft Technology Fellowship: High-profile Tenure-track Positions for Female Scientists
    Newsitem added on 20 October 2011.

    Delft University of Technology is aiming to substantially increase the number of top female scientists. To help accelerate this, Delft Technology Fellowship offers high-profile, tenure-track positions to top female scientists in research fields in which Delft University of Technology (TU Delft) is active. As a fellow you will be offered the unique chance to establish your own research programme of international repute, including generous start-up funding. The five-year fellowships are awarded at the Assistant, Associate or full Professor level.

    Deadline: 15 January 2012. For more information, see http://www.jobsindelft.com/fellowship.

  • Two PhD Positions in Philosophy, University of Groningen
    Newsitem added on 13 October 2011.

    There are two fully funded PhD positions available at the Faculty of Philosophy of the University of Groningen, the Netherlands. Applications are open for research in any of the four principal research areas of the Faculty: History of philosophy, Ethics, Theoretical philosophy, and Practical philosophy.

    Deadline for applications: November 16, 2011. For further information, see http://www.tangram-tis.nl/10378/Vacatures/00347-0000004697/.

  • Professorship in Logic at the Université catholique de Louvain
    Newsitem added on 9 October 2011.

    The Université catholique de Louvain is looking for a full-time specialist in Logic. The successful candidate will carry out research in the field of logic, with opening to other fields of philosophy, for example philosophy of sciences.

    Deadline for applications: December 15th, 2011. For more information, see http://www.uclouvain.be/en-261821.html.

  • Munich Center for Mathematical Philosophy
    Newsitem added on 6 October 2011.

    Dr. Niki Pfeiffer is looking to fill up two positions (one PhD and one Master's student) in his project "Rational reasoning with conditionals and probabilities."

    Deadline for applications: extended - until filled. For more information, see http://www.pfeifer-research.de/spp.html

*    Miscellaneous

  • Henkjan Honing appointed professor of Cognitive and Computational Musicology
    Newsitem added on 5 February 2012.

    On 1 March 2012, Henkjan Honing (1959) will officially be appointed professor of Cognitive and Computational Musicology at both the Faculty of Humanities and the Faculty of Science of the University of Amsterdam.

    Honing researches the role of perception, attention, expectation and memory when listening to music. He hereby analyses the cognitive mechanisms which form the basis for musicality. In his research, Honing uses theoretical, empirical and computational methods.

    For more information, see http://www.hum.uva.nl/english/home.cfm/DDEAF4A2-4468-408A-ACF3ACF93F615421

  • The Cost Of Knowledge: researchers taking a stand against Elsevier
    Newsitem added on 26 January 2012.

    Tim Gowers recently started a large-scale discussion of Elsevier by scientists, by blogging to explain that he will no longer be submitting papers to Elsevier journals, refereeing for Elsevier, or otherwise supporting the company in any way. The post now has more than 120 comments, with many mathematicians and scientists voicing similar concerns. Following up from the discussion on Gowers’s post, Tyler Neylon has created a website called The Cost of Knowledge, where researchers can declare publicly their unwillingness to support Elsevier.

    For more information, see http://michaelnielsen.org/blog/on-elsevier/ or http://thecostofknowledge.com/.

  • Book on Model Theory by Kees Doets available for download at CSLI
    Newsitem added on 13 November 2011.

    The book Basic Model Theory by Kees Doets (CSLI publications 1996) has been made available for download by the publisher.

    For more information, see http://cslipublications.stanford.edu/site/1575860481.shtml.

  • John McCarthy (1927-2011)
    Newsitem added on 30 October 2011.

    John McCarthy, a professor emeritus of computer science at Stanford, the man who coined the term "artificial intelligence" and subsequently went on to define the field for more than five decades, died suddenly at his home in Stanford in the early morning Monday, Oct. 24. He was 84.

    For more information, see http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html.

*    Regular Events

  • LogiCIC Seminar
    Date and time: monthly, 16:00-18:00
    Location: Room A1.10, Science Park 904, 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. University.

    For more information and abstracts, see http://ninagierasimczuk.com/logicic.

  • 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
    Date: biweekly (wednesdays or mondays)
    Location: Science Park 904, Amsterdam

    The LIRA seminar is a series of talks focusing on the social and interactive aspects of rationality. Core topics that are addressed by the seminar are topics in modal and dynamic logic, and topics that lie at the interface of logic and economic disciplines such as, eminently, game theory. The seminar regularly hosts long thematic sessions with two/three speakers.

    The LIRA homepage can be found at http://www.illc.uva.nl/lgc/seminar/

  • 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 Processing) Colloquium
    Date and time: biweekly on fridays, 15:00-17:00
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    The Discourse Colloquium (DIP) is held every two weeks at the University of Amsterdam, Departments of Philosophy and Linguistics. The colloquium aims to bring together researchers and students who are interested in discourse analysis and to encourage discussion, collaboration and cross-fertilization of ideas. The main topic is the interpretation of utterances in their (textual) context. The orientation of the colloquium is quite broad: the talks may focus on semantics, pragmatics, prosody, or even syntax.

    The DIP homepage can be found at http://www.illc.uva.nl/dip/

  • The Logic Tea
    Date and time: irregular, mondays, 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.

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/.

        Back to top of page

Back to top
About the UvA
About the UvA
Vacancies
Library
UvA Alumni Community
Education
International Study Programmes
Studying in Dutch
Research
Research at the UvA
Research priority areas
PhD at the UvA
Professors
Research Institutes
For staff and students
Current students
Staff
Student email
Webmail
MyUvA
Timetables
Course catalogue
Blackboard
Faculties
Economics and Business
Humanities
Medicine (AMC-UvA)
Social and Behavioural Sciences
Science
Law
Dentistry (ACTA)