Institute for Logic, Language and Computation

Archives

News Archives 2015

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

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

Sections

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

There are also pages for former news items and past events for 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 and 2014, 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) 4 March 2015, Algebra|Coalgebra Seminar, Daniela Petrisan (Radboud University, Nijmegen)

    Speaker: Daniela Petrisan (Radboud University, Nijmegen)
    Title: Up-to techniques for bisimulations with silent moves
    Date and time: Wednesday 4 March 2015, 16:00-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

  • 28 February 2015, Debating Workshop

    Date and time: Saturday 28 February 2015, 13:30-17:00
    Location: Faculty Club (Tinbergen building), Erasmus University, Rotterdam

    Do you want to learn all the tricks of successful debating from the former Dutch Debating Champion??? Come and enjoy our interactive and challenging workshop which will enhance your persuasion and argumentation skills and spice up your speech!

    This unique event will take place on the 28th of February in Rotterdam, one of the most international hubs of the Netherlands. After the workshop you're also invited to join us for some drinks at a gezellig pub. The event is organized by the ILLC alumni Lena Kurzen, who was a MoL student and got her PhD at the ILLC.

    If you want to join us, please sign up on the event webpagehttp://www.hutac.com/index.php?page=events&action=details&id=39, or send Lena an email atlena.kurzen at gmail.com by 23 February.

  • 27 February 2015, Heyting Day 2015

    Date and time: Friday 27 February 2015, 9.15 - 18.00
    Location: Belle van Zuylenzaal, Academiegebouw, Domplein 29, Utrecht

    The Arend Heyting Foundation was founded in 1981 by prof. dr. A.S. Troelstra, under the auspices of the The Royal Netherlands Academy of Arts and Sciences and has as goal to further the knowledge of mathematical logic, and Intuitionism in particular. The Arend Heyting Foundation organizes an Arend Heyting Lecture at least once every three year. The 2015 Arend Heyting Lecture, entitled "136 years and still going strong?: Cantor's continuum problem", will be given by Michael Rathjen.

    The Heyting Day 2015 is dedicated to the celebration of the 75th birthdays of Dick de Jongh and Anne Troelstra. The speakers of this year's Heyting Day are: Lev Beklemishev, Nick Bezhanishvili, Jaap van Oosten, Paulo Oliva and Michael Rathjen.

    For more information, see http://phil.uu.nl/~albert/Heyting_Day/

  • 25 February 2015, PhD information event for all Science Master's students

    Date and time: Wednesday 25 February 2015, 19:00 - 22:00
    Location: Room C0.05, Science Park 904, Amsterdam

    As a Master student, you will have to make a choice on what to do after graduation. One of the possibilities is to apply for a PhD position. To inform you about this career path, the NSA Master committee (together with the student council and other student associations) organise a PhD information evening.

    Jean-Sebastien Caux (theoretical physicist) will give an introduction on the subject, after which a panel of PhD candidates from various fields will answer your questions and share their experiences with you.

    For more information, see http://www.uva.nl/en/about-the-uva/organisation/faculties/content/

  • 25 February 2015, XLSX seminar, Federico Gobbo (ACLC, UvA)

    Speaker: Federico Gobbo (ACLC, UvA)
    Title: Correlatives cross-linguistically: a constructive grammar approach
    Date and time: Wednesday 25 February 2015, 16:30-18:00
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    For more information, contact M. Aloni (m.d.aloni at uva.nl).

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

  • 20 February 2015, Special event in Celebration of Chinese New Year: From Chinese New Year customs to the communication between UvA and China, Meiyi Bao

    Speaker: Meiyi Bao
    Date and time: Friday 20 February 2015, 14:30-16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    The Chinese New Year 'Chun Jie' (Spring Festival) is coming soon, on February 19, according to the lunar calendar this year! Besides celebrating this important festival together, the customs of this traditional festival could also give us a hint of the modern Chinese culture and language.

    For more information, please contact chanjuan.pkucs at gmail.com.

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

  • 20 February 2015, Cool Logic, Pablo Oldaq

    Speaker: Pablo Oldaq
    Title: A clear maze: An introduction to Spinoza's Ethics
    Date and time: Friday 20 February 2015, 17:30-18:30
    Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    This talk will be focused on Spinoza's most important work, his Ethics demonstrated in geometrical order. We will focus on the first part of the book, while also paying attention to other interesting propositions, and show his particular way of reasoning that characterizes this whole book.

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

  • 18 February 2015, Algebra|Coalgebra Seminar, Helle Hvid Hansen

    Speaker: Helle Hvid Hansen
    Title: Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.
    Date and time: Wednesday 18 February 2015, 16:00-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

  • 16 February 2015, Theoretical Computer Science Seminar, Andreas Huelsing

    Speaker: Andreas Huelsing (TU Eindhoven)
    Title: Hash-based signatures and SPHINCS
    Date and time: Monday 16 February 2015, 16:00-17:00
    Location: CWI room L017, Science Park 123, Amsterdam

    Abstract: Hash-based signatures are currently the most confidence-inspiring replacement for the signature schemes used today. Their security is solely based on the security of the used hash function(s) and can be related to the same by means of standard-model security reductions. Today's hash-based signature schemes have performance close to that of RSA & Co and are currently subject to standardization. The only drawback of hash-based signature schemes in practice is that they are stateful, i.e., the secret key has to be updated after each signature. However, recent results show that this problem can actually be solved while maintaining practical performance and reliable security. This talk will discuss the basics of hash-based signature schemes. It will cover one-time and many-time signature schemes, Lamports scheme, the Winternitz OTS, Merkle's scheme, and XMSS. Finally, it will be explained how to build practical stateless hash-based signature schemes, explaining the concept of few-time signature schemes and introducing SPHINCS.

    For more information, contact Christian Schaffner (c.schaffner at uva.nl)

  • 16 February 2015, AUC Logic Guest Lectures, Johan van Benthem

    Speaker: Johan van Benthem
    Title: From logical consequence to styles of reasoning.
    Date and time: Monday 16 February 2015, 18:00-19:00
    Location: AUC common room, Science Park 113, Amsterdam

    Abstract: Logical consequences can be viewed as informational dependencies that would also hold in a world empty of people. While consequence is the basis for logic, human agents engage in styles of reasoning, of which I will discuss a few: mathematical proof generating knowledge, default inferences generating beliefs, and of course interactive argumentation where we try to persuade as well as convince. The surprising fact is that logical methods can also help model this wider world of intellectual abilities. In addition, if time permits, I will consider another key feature of human reasoning: its resource-boundedness, and what this means for the actual 'natural logic' we have available for 'thinking fast' in decisions, as opposed to the 'thinking slow' of long-term deliberation, and research.

    See also http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures

  • 13 February 2015, Logic and Interactive Rationality (LIRa), Junhua Yu

    Speaker: Junhua Yu (Tsinghua University)
    Title: Instantiable neighbourhood (joint work with Johan van Benthem and Nick Bezhanishvili)
    Date and time: Friday 13 February 2015, 14:30-16:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 13 February 2015, Cool Logic, Eileen Wagner

    Speaker: Eileen Wagner
    Title: What Is This Thing Called Love?
    Date and time: Friday 13 February 2015, 18:00-19:00
    Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    Our Valentine's Special investigates the metaphysics of love: what is the nature of romantic love? which metaphysical options are there? what are the formal properties of the loving relation? I will try to answer some of these questions, focussing on a plural interpretation of love. Expect obscure philosophy, plural logic, and *lots of pathos*.

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

  • 13 February 2015, DIP Colloquium, Marco Benini

    Speaker: Marco Benini
    Title: Constructive Adpositional Grammars, Formally
    Date and time: Friday 13 February 2015, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

  • 10 February 2015, Logic Tea, Marcos Cramer

    Speaker: Marcos Cramer
    Title: The Naproche system: Proof-checking mathematical texts in controlled natural language
    Date and time: Tuesday 10 February 2015, 17:30-18:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

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

  • 5 February 2015, Theoretical Computer Science Seminar, Kristiina Rahkema

    Speaker: Kristiina Rahkema
    Title: Quantum position verification in the random oracle model
    Date and time: Thursday, 5 February 2015, 16:00-17:00
    Location: CWI room L017, Science Park 123, Amsterdam

    I will present a quantum position verification scheme in the random oracle model and give a security proof sketch for 1D case. Then I will talk about difficulties in higher dimensions and open problems as well as what we are currently doing to solve these open problems.

    For more information, contact Christian Schaffner (c.schaffner at uva.nl).

  • 4 February 2015, Algebra|Coalgebra Seminar, Minghui Ma (Southwest University)

    Speaker: Minghui Ma (Southwest University)
    Title: Residuated Basic Algebras
    Date and time: Wednesday 4 February 2015, 16:00-17:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

  • 3 February 2015, LoLa Day II

    Speaker: Maria Aloni, Franz Berto, Elbert Booij, Jelle Bruineberg, Ricardo Pinosio, Soroush Rafiee Rad, Raquel Fernandez Rovira
    Date and time: Tuesday 3 February 2015, 9:15 - 16:00
    Location: Doelenzaal, Singel 425, Amsterdam (morning session) and Bungehuis 0.04, Spuistraat 210, Amsterdam (afternoon session)

    Everyone is welcome to attend the next LoLa day, which takes place on February 3, 2015 in the city center of Amsterdam.

    At this second edition of the LoLa day, we create a platform for the Lola members to present their new results and ongoing work.

    For more information, including the scientific programme, see http://www.illc.uva.nl/LoLa/LoLa-Day/.

  • 30 January 2015, Cool Logic, Stephen Pastan

    Speaker: Stephen Pastan
    Title: On the Puzzle of Change
    Date and time: Friday 30 January 2015, 17:30-18:30
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    The puzzle of change goes like so. A candle changes from straight to bent; the candle was straight, the candle is bent. But nothing can be both straight and bent. Contradiction! I will discuss the puzzle, its possible solutions, and the consequences it has for objects, properties, and time.

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

  • 27 January 2015, Computational Linguistics Seminar

    Title: Probabilistic logical models of compositionality
    Date and time: Tuesday 27 January 2015, 16:00
    Location: F1.15, Science Park 107, Amsterdam

    In this meeting we will discuss probabilistic models for semantic composition that are based on logical calculi.

    For the relevant readings and other information, see http://www.illc.uva.nl/LaCo/CLS/.

  • 23 January 2015, SMART Cognitive Science debate on "Shared mechanisms in language and music"

    Date and time: Friday 23 January 2015, 16:00-18:00

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

  • 21 January 2015, Algebra|Coalgebra Seminar, Junhua Yu (Tsinghua University)

    Speaker: Junhua Yu (Tsinghua University)
    Title: Non-self-referential realizable fragments of modal and intuitionistic logics
    Date and time: Wednesday 21 January 2015, 16:00-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (s.sourabh at uva.nl).

  • 16 January 2015, DIP Colloquium, Lucas Champollion

    Speaker: Lucas Champollion (NYU)
    Title: The interaction of compositional semantics and event semantics
    Date and time: Friday 16 January 2015, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

  • 13 January 2015, Computational Social Choice Seminar, Svetlana Obraztsova

    Speaker: Svetlana Obraztsova
    Title: Voting and Candidacy Games with Biased Players
    Date and time: Tuesday 13 January 2015, 16:00
    Location: Room D1.162, Science Park 904, Amsterdam

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

  • 13 January 2015, Computational Linguistics Seminar

    Title: Reading Group on Compositional Distributional Semantics
    Date and time: Tuesday 13 January 2015, 16:00
    Location: F1.15, Science Park 107, Amsterdam

    This time our reading group will focus on compsitional distributional semantics in multilingual settings. Please check the link below for the relevant papers.

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

  • 12 January 2015, Computational Social Choice Seminar, Maria Polukarov

    Speaker: Maria Polukarov
    Title: Strategic Voting and Candidacy
    Date and time: Monday 12 January 2015, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 9 January 2015, Celebration: 25 years of Coordination Models and Languages at CWI

    Date and time: Friday 9 January 2015, 13:30-18:30
    Location: Turing Room, CWI, Science Park 123, Amsterdam, The Netherlands

    Friday January 9, 2015 we celebrate prof. dr. Farhad Arbab's achievements of 25 years Coordination Models and Languages at the CWI. The program starts at 13.30 with lectures of the following eminent scientists: Prof. dr. Joseph Sifakis (EPFL/RiSD Lab/CIR/CNRS/VERIMAG); Prof. dr. Ugo Montanari (Università di Pisa); Prof. dr. Krzysztof R. Apt (CWI).

    If you wish to attend, please register (without further costs) at our website: https://www.cwi.nl/events/.

Calls for Papers

  • 4-6 August 2015, The 9th International Conference on Web Reasoning and Rule Systems (RR 2015), Berlin, Germany (deadline: 3 March 2015)

    Newsitem added on 18 January 2015.

    The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems.

    RR 2015 also hosts a doctoral consortium, which will provide PhD students with an opportunity to present and discuss their research directions, to be involved in discussions on the state-of-the-art research, and to establish fruitful collaborations. In particular, the doctoral consortium will include a mentoring lunch and a poster session, organized jointly with the 9th International Web Rule Symposium (RuleML 2015).

    The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. There are two submission formats: Full papers (presenting original and significant research results) and Technical Communications (promising but possibly preliminary work, position papers, system descriptions, and applications descriptions). Deadline for title and abstract submission: March 3, 2015.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6175 or http://www.csw.inf.fu-berlin.de/RR2015/, or contact lpulina at uniss.it

  • 25-27 June 2015, Workshop on the Morphological, Syntactic and Semantic Aspects of Dispositions, Stuttgart, Germany (deadline: 1 March 2015)

    Newsitem added on 5 February 2015.

    The goal of this workshop is to explore questions about the morpho-syntax, semantics and underlying ontology of words and constructions used to describe dispositions. The central aim of the workshop is to develop a better understanding of how existing and novel insights from different approaches to dispositions can be integrated into a single theory of dispositions and their linguistic descriptions.

    We welcome submissions for a 20 minute talk (followed by 10 minutes of discussion) or a poster on any topic relevant to the goals of the workshop. We particularly welcome contributions addressing the linguistic relevance of philosophical insights on dispositions or the philosophical relevance of linguistic insights on dispositions. Deadline for submissions: March 1st, 2015

    For more information, see the Workshop homepage at https://sites.google.com/site/dispositions2015/ or contact dispositions.workshop at gmail.com.

  • CfP special track of JAIR on "Cross-language algorithms and applications" (deadline: 1 March 2015)

    Newsitem added on 11 December 2014.

    The Journal of Artificial Intelligence Research (JAIR) is pleased to announce the launch of the Special Track on Cross-language Algorithms and Applications. The core Artificial Intelligence technologies of speech and natural language processing need to address the challenges of processing multiple languages. While the first challenge of multilingualism is to bridge the nomenclature gap for the same concepts, the next significant challenge is to develop algorithms and applications that not only scale to multiple languages but also leverage cross-lingual similarities for improved natural language processing.

    The goal of this special track is to serve as a home for the publication of leading research on Cross-language Algorithms and Applications, focusing on developing unified themes leading to the development of the science of multi- and cross-lingualism. Topics of interest include, but are not limited to: efforts in the direction of multilingual transliteration; multilingual document summarization; rapid prototyping of cross language tools for low resource languages; and machine translation.

    Deadline for Submissions: 1st March 2015. For more information and submission instructions, please see http://www.jair.org/specialtrack-claa.html or contact martaruizcostajussa at gmail.com

  • 11-15 June 2015, 10th Panhellenic Logic Symposium (PLS10), Samos, Greece (deadline: 1 March 2015)

    Newsitem added on 7 December 2014.

    The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.

    Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 1 March 2015.

    Graduate students and young researchers are invited to submit a short abstract on work in progress but not yet ready for a regular contributed talk. Those accepted will have an opportunity to present their results in poster form in a special poster session. Interested students should submit an abstract of no more than one page in pdf form by April 30, 2015 using the Easy Chair conference system.

    For more information, see https://samosweb.aegean.gr/pls10/ or contact the organizers at pls10 at aegean.gr.

  • 7-10 July 2015, VIII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science, Barcelona, Spain (deadline: 28 February 2015)

    Newsitem added on 14 December 2014.

    The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.

    The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.

    We invite submissions for both contributed papers and proposals for symposia (in English,Spanish or Catalan). Deadline for the submission of abstracts for contributed papers and symposia: February 28th, 2015.

    For more information, see http://www.ub.edu/slmfce8 or contact 8slmfce at gmail.com.

  • CfP volume on applications of logical methods outside of the core areas, edited by Urbaniak and Payette (deadline: 28 February 2015)

    Newsitem added on 5 February 2015.

    A special volume in Springer's series Logic, Argumentation and Reasoning on applied formal/mathematical philosophy is being edited by Rafal Urbaniak and Gillman Payette. We are requesting papers which apply logical/mathematical methods outside of the usual "core disciplines" of mathematical philosophy, i.e., outside of pure logic, philosophy of logic, philosophy of language, and metaphysics.

    The submission deadline is now February 28, 2015. If you're interested, please email your full paper, prepared in PDF and LaTeX formats, prepared for anonymous refereeing to both rfl.urbaniak at gmail.com and gpayette at dal.ca. Please include your contact details in the submission email.

  • 7-8 June 2015, PLM Masterclass, with David Chalmers, Stockholm (deadline: 28 February 2015)

    Newsitem added on 2 January 2015.

    Postgraduates are invited to apply for the 2nd PLM Masterclass, to be held at the Department of Philosophy, Stockholm University, 7-8 June 2015. The masterclass will be devoted to the work of David Chalmers, New York University and Australian National University. 9 graduate students will have the opportunity to present papers on David Chalmers's work. Professor Chalmers will comment on the papers and will also present new research.

    Each student talk will be 30 minutes long, and will be followed by comments by Professor Chalmers and a general discussion.

    Participation in the Masterclass will be free of charge, but students will have to find their own funding support for accommodation and living expenses.

    Applications are made by sending an abstract up to 1000 words of your proposed talk, together with a short cv, to plm.masterclass at gmail.com. The deadline for application is 28 February, 2015. Please use pdf (preferred), doc, or docx, as your file format. Notifications regarding acceptance will be sent out in the beginning of April.

    For more information, see http://langmind.eu/

  • 8-9 August 2015, The 20th Conference on Formal Grammar (FG 2015), Barcelona, Spain (deadline: 25 February 2015)

    Newsitem added on 10 December 2014.

    FG-2015 is the 20th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which takes place in 2015 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

    We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). The submission deadline (extended) is February 25, 2015. Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.

    For more information, see http://fg.phil.hhu.de/2015/

  • CfP special issue of JLAMP on "automated verification of programs and web systems" (deadline: 25 February 2015)

    Newsitem added on 7 December 2014.

    This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) provides a forum for researchers working in the areas of verification, program transformation, software engineering, rule-based programming, formal methods, and Web-oriented research, to submit their papers on the Automated Verification of Programs and Web Systems.

    This special issue is devoted to the themes of the WWV and VPT workshop series on Automated Specification and Verification of Web Systems (WWV) and on Verification and Program Transformation (VPT). This is however an open call for papers. Both participants of the most recent editions of the WWV and VPT workshop series and others working on the themes of this special issue are hereby invited to submit a paper. Abstract submission deadline: 25 February 2015

    For more information, see http://www.journals.elsevier.com/

  • 4-5 June 2015, 15th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference (LMP 2015), London, Ontario, Canada (deadline: 22 February 2015)

    Newsitem added on 15 January 2015.

    This year, the 2015 LMP Conference will precede the annual Philosophy of Physics Conference, taking place June 6-7. Elaine Landry (University of California-Davis) will be giving the keynote address.

    Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Papers should be submitted by February 22nd, 2015.

    Papers in philosophy of physics will be considered for the 12th Annual Clifton Memorial book prize. The contest will be adjudicated by philosophy of physics faculty members at Western.

    Additional information can be found on our website at http://logicmathphysics.ca. Please send questions to the LMP Conference Committee at uwolmp at gmail.com.

  • 4-6 June 2015, 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015), Pittsburgh PA, U.S.A. (deadline: 20 February 2015)

    Newsitem added on 27 November 2014.

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

    TARK 2015 is the 15th conference of the TARK conference series. Previous conferences have been held bi-annually around the world, most recently in 2013 at the Institute of Mathematical Sciences, Chennai, India.

    Submissions are now invited to TARK 2015. Deadline for submission of abstracts: February 20, 2015 Extended Abstracts can be submitted here: https://www.easychair.org/conferences/?conf=tark2015.

    For more information, see http://www.imsc.res.in/tark/tark15.html

  • 17-19 April 2015, Truth Pluralism and Logical Pluralism, Storrs CT, U.S.A. (deadline: 15 February 2015)

    Newsitem added on 2 January 2015.

    The Philosophy Department at the University of Connecticut in partnership with the Pluralisms Global Research Network funded by the National Research Foundation of Korea is delighted to announce a conference on *Truth Pluralism and Logical Pluralism*, to be held from April 17-19, 2015, at the University of Connecticut, Storrs.

    What does a mean for a sentence or proposition to be true? Can there be more than one way for something to be true? What does it mean for a logic to be "correct", and can there be multiple equally correct logics? This conference is aimed at exploring issues in pluralisms about truth and logic and their rival theories, as well as the connections between them.

    We will also have room for 2-3 contributed papers. We invite submissions of *full papers*, suitable for 35 minute presentation. Please submit the paper, in .pdf format and formatted for blind review, as well as a separate cover sheet with contact information. Papers should be submitted to Nathan Kellen nathan.kellen at gmail.com, by *11:59PM EST on February 15th, 2015*. Papers should address the topic of the conference, and papers addressing the connections between truth pluralism and logical pluralism are especially welcome. We encourage submissions from all scholars, including early career researchers and graduate students and especially those from underrepresented groups in philosophy.

    If you have any questions, please contact the conference organiser, Nathan Kellen <nathan.kellen at gmail.com>. For more information, see http://philosophy.uconn.edu/ and http://www.nikolajpedersen.com/pluralisms.html

  • 3-14 August 2015, ESSLLI-2015 Workshop "Logics for Resource-Bounded Agents", Barcelona, Spain (deadline: 15 February 2015)

    Newsitem added on 20 November 2014.

    Research in resource-bounded agency contributes both to reasoning about actions in philosophy and artificial intelligence, and to applications of logic in computer science, such as the practical verification of resource-bounded multi-agent systems. The Logics for Resource-Bounded Agents workshop will provide a forum for established researchers and advanced PhD students to present and discuss their work with colleagues working in related areas (particularly those represented at ESSLLI). In addition to logics of strategic ability where actions produce and consume resources, we solicit contributions from researchers working in epistemic logic, game theory, linear logic etc. on alternative approaches to modelling resource-bounded agency.

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

    We invite submissions of extended abstracts describing the topic of a 30 or 45 minute talk at the workshop. This talk may present original work or may be based on recently published work in the area of the workshop. Submissions due: February 15, 2015

    For more information, see http://www.cs.nott.ac.uk/~nza/lrba15/

  • 10-14 August 2015, "Empirical Advances in Categorial Grammar", Barcelona, Spain (deadline: 15 February 2015)

    Newsitem added on 20 November 2014.

    This workshop provides a forum for discussion of recent empirical advances in categorial grammar (CG). After the revival of interest in CG in linguistics in the 80s, various extensions to the Lambek calculus and an early version of Combinatory Categorial Grammar have been proposed. But the fundamental question of whether CG constitutes an adequate linguistic theory still seems to be wide open. Moreover, there are now numerous variants of CG, both in the TLCG tradition and in CCG. Which of these theories constitutes the most adequate version of an empirical theory of natural language?

    Logical, mathematical, and computational analyses have tended to take precedence over empirical ones in the past 30 years in CG research. These are all important and very illuminating, but at the same time we may now want to pause and reflect on the question of just where we are in terms of empirical adequacy. We think that the time is ripe to critically scrutinize the empirical consequences of the various formal techniques/frameworks proposed in the literature in the past 30 years, as well as ones that are being developed at this very moment.

    We invite submissions of anonymous abstracts of up to five pages. We welcome any submission whose topic pertains to the empirical adequacy of CG. We expect to allot 45 minutes for each accepted paper (30 minutes for presentation and 15 minutes for questions and discussion). Submission deadline: February 15, 2015

    For more information, see http://www.u.tsukuba.ac.jp/~kubota.yusuke.fn/cg2015.html

  • 20-23 July 2015, 22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015), Bloomington IN, U.S.A. (deadline: 15 February 2015)

    Newsitem added on 31 October 2014.

    WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.

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

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

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

  • 15-19 June 2015, Logica 2015, Hejnice, Czech Republic (deadline: 15 February 2015)

    Newsitem added on 30 October 2014.

    Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.

    Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.

    Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. The deadline for submissions is 15 February 2015.

    For more information, see http://logika.flu.cas.cz/cz/logica/logica-2015 or email logica at flu.cas.cz.

  • 17-19 June 2015, Eighth Workshop in Decisions, Games and Logic (DGL 2015), London School of Economics (deadline: 15 February 2015)

    Newsitem added on 15 January 2015.

    The Decisions, Games and Logic (DGL) workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic and philosophy working on formal approaches to rational individual and interactive decision making.

    This year, we invite submissions from graduate students, post-docs and other early career researchers in the fields of Decision Theory, Game Theory, Logic and Formal Philosophy. Preference will be given to conceptual/foundational work in these fields and to interdisciplinary approaches. Both full and poster presentations are solicited. Deadline for submission: 15 February 2015.

    DGL 2015 will be hosted by the Department of Philosophy, Logic and Scientific Method at the London School of Economics on 17-19 June 2015. The details of this year's workshop and the CFP can be found at the conference website at http://personal.lse.ac.uk/marcoci/dgl2015.html, or contact philosophy.probability at lse.ac.uk.

  • 14-16 May 2015, PhDs in Logic VII, Vienna, Austria (deadline: 12 February 2015)

    Newsitem added on 2 January 2015.

    PhDs in Logic is an annual graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. This year, the conference includes tutorials by Thomas Eiter (Vienna University of Technology), Michael Moortgat (Universiteit Utrecht), Revantha Ramanayake (Vienna University of Technology) and Torsten Schaub (University Potsdam).

    We also give PhD students the opportunity to do a twenty-minute presentation on (a) their own work or (b) an overview of some topic in their field. Students interested in doing a talk should send a 500-1000 word blinded abstract by February 12th, 2015.

    For more information, see http://phdsinlogic.logic-cs.at/. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com

  • 4-5 May 2015, Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2015), Istanbul, Turkey (deadline: 11 February 2015)

    Newsitem added on 10 January 2015.

    The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results.

    Three types of submissions are allowed: regular papers (describing original unpublished research, but position papers and visionary work in progress can also be submitted in this category), system descriptions (describing new systems or significant upgrades of existing ones) or extended abstracts reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Paper submission deadline: February 11, 2015.

    For more information, see http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm

  • 25 July - 1 August 2015, 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina (deadline: 8 February 2015)

    Newsitem added on 31 October 2014.

    IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

    A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

    Submissions are invited on significant, original, and previously unpublished research on all aspects of artificial intelligence. Deadline for abstract submission: Feb 8, 2015 (11:59PM, UTC-12).

    For more information, see http://ijcai-15.org/

  • 31 January - 7 February 2015, Winter School in Abstract Analysis (Set Theory and Topology), Hejnice, Czech Republic (deadline: 7 February 2015)

    Newsitem added on 12 October 2014.

    The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks. It is also open to advanced masters students as well as PhD students who are most welcome to not only participate but to also present their work.

    The program is split into a tutorial part and a research part. The tutorial part will consist of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: Claude Laflamme, David Milovich, Justin T. Moore and Andrzej Roslanowski. The research part will consist of presentations of research papers/problems from the area of Set Theory, Set-Theoretic Topology and related fields.

    Deadline for registration: December 31st (December 11th to apply for a fee waiver). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

  • 6-11 July 2015, 32nd International Conference on Machine Learning (ICML 2015), Lille, France (deadline: 6 February 2015)

    Newsitem added on 2 January 2015.

    ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

    We invite submissions of papers on all topics related to machine learning for the conference proceedings, and proposals for tutorials and workshops. This year, ICML will adopt a single reviewing cycle, with a single paper deadline on February 6th, 2015.

    For more information, see http://icml.cc/2015/

  • 26-28 May 2015, Sixth International Workshop on Computational Models of Narrative (CMN 2015), Atlanta GA, U.S.A. (deadline: 2 February 2015)

    Newsitem added on 15 January 2015.

    Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative, such as the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

    CMN 2015 will be co-located with the Third Annual Conference on Advances in Cognitive Systems (ACS 2015). The workshop will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative. Invited Speaker: Janet H. Murray (Georgia Institute of Technology, USA)

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Long, short and position papers are solicited. Papers should be relevant to issues fundamental to the computational modeling and scientific understanding of narrative. Submission deadline: February 2, 2015.

    For more information, see http://narrative.csail.mit.edu/cmn15

  • 26-28 May 2015, Sixth Workshop on Computational Models of Narrative (CMN'15), Atlanta GA, U.S.A. (deadline: 2 February 2015)

    Newsitem added on 9 October 2014.

    Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. The aim of this workshop series is to address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

    This year's workshop is associated with the Third Annual Conference on Advances in Cognitive Systems (ACS), and will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative.

    This workshop .

    This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Regardless of its topic, reported work should provide some sort of insight of use to computational modeling of narratives. Discussing technological applications or motivations is not prohibited, but is not required. We accept both finished research and more tentative exploratory work. Submission deadline is February 2nd, 2015.

    For more information, see http://narrative.csail.mit.edu/cmn15/

  • 14-18 September 2015, Ninth International Conference of the German Society for Analytic Philosophy (GAP.9), Osnabrück, Germany (deadline: 1 February 2015)

    Newsitem added on 9 January 2015.

    GAP.9 will take place in Osnabrück (Germany), September 14-17, 2015, hosted by the GAP and Osnabrück University. It is locally organized by the Philosophy of Mind and Cognition group of the Institute of Cognitive Science at Osnabrück University. The title of GAP.9 is "Philosophy Between Armchair and Lab".

    In addition to more than 250 national and international speakers in nine colloquia and thirteen sections, the four day conference will feature three plenary lectures, by Kirsten Meyer (Humboldt Universität Berlin, Germany), Jennifer Lackey (Northwestern University, USA) and Martine Nida-Rümelin (Université de Fribourg, Switzerland).

    The GAP invites all interested persons to submit contributions to GAP.9. In order to submit your paper or poster to GAP.9, please send an email by February 1, 2015.

    Details about the conference can be found at http://gap9.de/en/. Please address any remaining queries to info at gap9.de.

  • 4-8 May 2015, 20th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba, Poland (deadline: 1 February 2015)

    Newsitem added on 4 December 2014.

    We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

    Contributions related to logic, logical philosophy, pragmatics, foundations of mathematics and related areas are welcome. papers for presentation. Submission deadline is TBA.

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

  • 4-6 June 2015, 2015 meeting of the Bertrand Russell Society, Dublin, Ireland (deadline: 1 February 2015)

    Newsitem added on 20 November 2014.

    The Bertrand Russell Society (BRS), an international organization dedicated to the memory of the philosopher Bertrand Russell, will hold its annual meeting in Dublin in 2015. We meet at Trinity College, June 5-7. This meeting will be held in conjunction with the Society for the Study of the History of Analytic Philosophy, which will hold its annual meeting on June 4-6.

    If you are interested in presenting a paper at the BRS Annual Meeting, please contact Alan Schwerin, President of the BRS, at aschweri at monmouth.edu. We welcome papers on any aspect of Russell?s life, thought, work, and legacy. We also welcome proposals for other activities that might be appropriate for the meeting (e.g., a master class on an essay by/about Russell).

    Further details about the annual meeting (registration, etc.) will be posted at Alan Schwerin's website at https://sites.google.com/site/alanschwerinsphilosophycorner/home/

  • 17-19 June 2015, 20th International Conference on Application of Natural Language to Information Systems (NLDB'15), Passau, Germany (deadline: 31 January 2015)

    Newsitem added on 7 December 2014.

    Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field. The integration of databases and natural language has been an utopia for many years. However, progress has been made and this is now an established field thanks to developments in Natural Language and technologies that made the storage and manipulation of large linguistic resources and datasets possible. The use of Natural Language in Software Engineering has contributed to both improving the development process from the viewpoints of developers (improve the process of conceptual modeling, validation, etc) and the usability of applications by users (natural language query interfaces, etc). NLDB’2015 will take place in Passau, Germany.

    NLDB 2015 invites researchers from academia and industry to submit papers for oral or poster presentations on recent, unpublished research that addresses theoretical aspects, algorithms, applications, architectures for applied and integrated NLP, resources for applied NLP, and other aspects of NLP, as well as survey and discussion papers. For the 20th edition of NLDB, we especially solicit submissions for our special track: Natural Language and its connection to Semantic and Cognitive Computing. Deadline for paper submission: January 31, 2015.

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

  • CfP special issue of Journal of Logic and Analysis on "Continuity, Computability, Constructivity" (deadline: 31 January 2015)

    Newsitem added on 12 October 2014.

    After a further year of successful work in the EU-IRSES project COMPUTAL and an excellent workshop in Ljubljana (Slovenia) in September this year, we are planning to publish a collection of papers dedicated to the meeting and the project in the Journal of Logic and Analysis.

    The issue should reflect progress made in Computable Analysis and related areas, not only work in the project. Submissions are welcome from all scientists and should be on topics in the spectrum from logic to algorithms. Deadline for Submission: 31 January 2015.

    For more information, see http://computal.uni-trier.de/ and http://logicandanalysis.org/.

  • 1-3 July 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Warsaw, Poland (deadline: 30 January 2015)

    Newsitem added on 20 November 2014.

    The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Deadline: 30 January 2015.

    For more information, see http://www.mimuw.edu.pl/tlca/ and http://rdp15.mimuw.edu.pl/.

  • 29 June - 1 July 2015, 26th International Conference on Rewriting Techniques and Applications (RTA 2015), Warsaw, Poland (deadline: 30 January 2015)

    Newsitem added on 20 November 2014.

    RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).

    The Programme Committee cordially invites all researchers to submit their papers for presentation. This year we particularly welcome submissions on applications of rewriting. In addition to full research papers, application papers, systems descriptions and problem sets that provide realistic, interesting challenges in the field of rewriting techniques are also welcome. Submission deadline (title and abstract): 30 January 2015.

    For more information, see http://rewriting.loria.fr/rta/ and http://rdp15.mimuw.edu.pl/, or contact the PC chair: Maribel.Fernandez at kcl.ac.uk

  • 29 June - 1 July 2015, 12th International Conference on Mathematics of Program Construction (MPC 2015), Koenigswinter (Germany) (deadline: 26 January 2015)

    Newsitem added on 31 October 2014.

    The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.

    Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The notion of "program" is broad, from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. Deadline for submission of abstracts: 26 January 2015.

    For more information, see http://www.cs.ox.ac.uk/conferences/MPC2015/ or email jv at informatik.uni-bonn.de.

  • 30-31 March 2015, 7th Workshop on the Philosophy of Information (7WPI): Conceptual challenges of data in science and technology, London, England (deadline: 23 January 2015)

    Newsitem added on 4 December 2014.

    Run by the Society for the Philosophy of Information. each WPI workshop is a small scale gathering, with an open Call for Papers to present works in the large variety of research areas that focus on information, both in scientific and conceptual terms. This includes works in progress and we aim at discussing open problems in the area.

    Invited speakers include William Wong (Middlesex University), Emma Tobin (UCL), Judith Simon (IT University of Copenhaghen) and Rob Kitchin.

    Send your 500-1000 words abstract, suitable for anonymous review, by 23rd January 2015. Issues of interest include (but are not limited to): Causality, Data Quality, Security and Big Data.

    For more information, see http://socphilinfo.org/news/cfp/ or contact the organizers at phyllis.illari at ucl.ac.uk or G.Primiero at mdx.ac.uk.

  • 29 June - 3 July 2015, Computability in Europe 2015 (CiE 2015), Bucharest, Romania (deadline: 21 January 2015)

    Newsitem added on 2 October 2014.

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

    Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

    In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. The Programme Committee invites all researchers in the area of the conference to submit their papers for presentation at CiE 2015. We particularly invite papers that build bridges between different parts of the research community. Submission deadline (extended): 21 January 2015.

    For more information, see http://fmi.unibuc.ro/CiE2015/

  • 1-4 June 2015, 4th International Congress on Tools for Teaching Logic, Rennes, France (deadline: 18 January 2015)

    Newsitem added on 10 August 2014.

    The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.

    We invite submission on all aspects of teaching logics. Submission deadline is 18th January 2015.

    For more information, see http://ttl2015.irisa.fr/

  • 19-20 March 2015, Redrawing Pragmasemantic Borders, Groningen, The Netherlands (deadline: 16 January 2015)

    Newsitem added on 30 October 2014.

    Semantics and pragmatics have long recognized multiple meaning types: asserted and entailed meaning, world knowledge and lexically based inferences, presupposition, expressive content, and conversational and conventional implicature. These each get their own separate treatments and/or are thought of as separate ‘dimensions’ of meaning.

    There are two main strands of research that question the traditional divisions: accounts that seek more unifying characteristics and accounts that identify exceptional behavior in a subset of a certain meaning type. The aim of the workshop is to discuss how to cut the pragmasemantic pie.

    Invited Speakers: Craige Roberts, Judith Tonhauser, Hans-Martin Gärtner.

    We solicit submissions dealing with:
    - formal arguments or empirical data that support unifying different information types based on for instance projection properties
    - formal arguments or empirical data suggesting new distinctions
    - work that integrates the analysis of different meaning types with contextual or discourse effects
    - new theoretical approaches to representing and integrating different types of information (e.g. multi-dimensional semantics).
    Deadline for abstract submission:Fri, January 16th, 2015.

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

  • 20-22 May 2015, 12th Annual Formal Epistemology Workshop (FEW 2015), St. Louis MO, U.S.A. (deadline: 16 January 2015)

    Newsitem added on 26 October 2014.

    The Formal Epistemology Workshop will be held in connection with the 2015 meeting of the St. Louis Annual Conference on Reasons and Rationality (SLACRR), which will take place immediately before, from May 17-19, 2015.

    There will be conference sessions all day on May 20 & 21, and in the morning on May 22. Keynote speakers: Tom Kelly (Princeton), Jeff Horty (University of Maryland, College Park).

    Contributors are invited to send full papers as PDF files (suitable for presenting as a 40 minute talk) by Friday, January 16, 2015. Submissions should be prepared for anonymous review. Submitting the same paper to both FEW and SLACRR is permitted.

    For more information, see the conference webpage at https://sites.google.com/site/juliastaffelphilosophy/few.

  • 28-29 May 2015, Workshop 'Gradability, Scale Structure, and Vagueness: Experimental Perspectives', Madrid, Spain (deadline: 15 January 2015)

    Newsitem added on 2 January 2015.

    The workshop is concerned with the semantics of gradability, scale structure and vagueness from an experimental perspective.

    We invite papers that challenge or confirm current formal analyses of these phenomena in view of experimentally collected data; that discuss how semantic and pragmatic theory can benefit from experimental methodologies; and that aim for an explicit and detailed account of the use, mental representation, online processing, neural correlates or acquisition of expressions of gradability, scalarity, and vagueness. Abstract submission deadline: January 15th, 2015.

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

  • 17-19 May 2015, St. Louis Annual Conference on Reasons and Rationality, St. Louis MO, U.S.A. (deadline: 15 January 2015)

    Newsitem added on 20 November 2014.

    St. Louis Annual Conference on Reasons and Rationality provides a forum for new work on practical and theoretical reason, broadly construed. Keynote Speaker: Pamela Hieronymi (UCLA).

    The Programme Committee cordially invites all researchers to submit their papers for presentation. SLACRR includes papers in ethics, epistemology, and other areas of philosophy that deal with reasons, reasoning, or rationality. Please submit an anonymized abstract of 750-1500 words by January 15, 2015.

    For more information, see http://www.umsl.edu/~slacrr/ or email slacrr at gmail.com.

  • 16-17 May 2015, Wyclif and the Realist Tradition in 14th Century Logic, St Andrews, Scotland (deadline: 12 January 2015)

    Newsitem added on 2 January 2015.

    Historians of logic have known for decades that the 14th century was a tremendously productive period in the Latin West. As far as the relationship between logic and metaphysics is concerned, however, research has tended to focus on the nominalist tradition associated with Ockham and Buridan. The aim of this workshop is to redress the balance a little by focussing instead on the realist tradition that spans the 14th century. We have singled out for special mention the influential figure of John Wyclif, whose Logic is currently being re-edited here at St Andrews, but we welcome contributions involving other figures from Walter Burley to Paul of Venice.

    Each accepted paper will standardly be allocated an hour including time for discussion. Authors of accepted papers will be provided with meals during the conference and overnight accommodation for three nights. Please submit abstracts of around 250 words to the organizers Mark Thakkar (mnat at st-andrews.ac.uk) and Stephen Read by Monday 12 January 2015. We will notify you of the outcome by the end of January.

    For more information, see http://www.st-andrews.ac.uk/arche/events/event?id=866

  • 20-23 February 2015, 16th Szklarska Poreba Workshop on the Roots of Pragmasemantics 16th Workshop on the Roots of Pragmasemantics, Szklarska Poreba, Poland (deadline: 5 January 2015)

    Newsitem added on 27 November 2014.

    Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 16th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on 20-23 February 2015.

    The two main themes of this year's convention are (1) "Mental Representation of Semantic and Pragmatic Lexical Knowledge" and (2) "The Role of Linguistics in the Cognitive Sciences". Confirmed invited speakers are Jaroslav Peregrin (Charles University Prague), Judith Tonhauser (Ohio State University, with 97% certainty), Berit Gehrke (CNRS / Paris Diderot) and Reinhard Blutner (retired, University of Amsterdam).

    We invite submission of blind abstracts of no longer than 250 words in PDF. Deadline for abstracts: 5 January
    .

    For more information, see https://sites.google.com/site/szklarskaporebaworkshop16/call-for-papers or contact szklarskaporebaworkshop16 at gmail.com.

  • 24-26 June 2015, Society for Philosophy of Science in Practice Fifth Biennial Conference (SPSP 2015), Aarhus, Denmark (deadline: 5 January 2015)

    Newsitem added on 2 October 2014.

    The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.

    Keynote speakers will include: Marcel Boumans (Eramus University of Rotterdam), Nancy J. Nerssessian (Georgia Institute of Technology), Hans-Jörg Rheinberger (Max Planck Institute for the History of Science), and Léna Soler (University of Paris-I). There will be a pre-conference workshop on teaching philosophy of science to scientists to be held at Aarhus University, Aarhus on 23 June, as well as a pre-conference casual social event that evening.

    We welcome contributions from not only philosophers of science, but also philosophers working in epistemology and ethics, as well as the philosophy of engineering, technology, medicine, agriculture, and other practical fields. Additionally, we welcome contributions from historians and sociologists of science, pure and applied scientists, and any others with an interest in philosophical questions regarding scientific practice. We welcome both proposals for individual papers, and also strongly encourage proposals for whole, thematic sessions with coordinated papers, particularly those which include multiple disciplinary perspectives and/or input from scientific practitioners. Abstract Submission Deadline: 5 January 2015.

    For more information on local arrangements and updates on the conference, please see http://spsp2015.au.dk/, or contact Sabina Leonelli, S.Leonelli at exeter.ac.uk.

  • 3-5 July 2015, Formal Ethics 2015, Bayreuth, Germany (deadline: 3 January 2015)

    Newsitem added on 20 November 2014.

    The formal analysis of ethical concepts and theories (via the application of tools from logic, rational choice theory, natural language semantics, AI) is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. The series Formal Ethics conferences aims at providing an international platform for the discussion and promotion of formal approaches to ethics, to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy, and to push the frontiers of the research being conduced in this field.

    We invite submissions to Formal Ethics 2015. We encourage researchers at all level to submit, including graduate students. Submissions will be considered both for full contributed talks and for poster presentation. Submissions in all areas of formal ethics, broadly construed, are welcome. For Formal Ethics 2015, submissions related to ethics and responsibility are particularly welcome. Deadline for submissions: January 3rd, 2015.

    Contact and further information:
    Email: organization at formalethics dot net
    Web: www dot formalethics dot net

  • Contribute to Amsterdam Science magazine (deadline: 1 January 2015)

    Newsitem added on 4 December 2014.

    Are you eager to share your research? Are there developments in your field that we should all know about? Then contribute to Amsterdam Science.

    Amsterdam Science is a new university science magazine, publishing the best science writing of students and researchers in Amsterdam. The magazine will showcase research conducted by master students, PhD students and researchers in all areas, e.g., mathematics, chemistry, astronomy, physics, biological and biomedical sciences, ecology, earth and environmental sciences, forensic science, computer science, logic. The core of the magazine consists of scientific reports about recent research, written in an accessible yet academic style. The magazine will be distributed for free in print and online.

    To contribute, please contact the scouting editors on magazine-science at uva.nl. They will guide you through the submission process. The publication of the first issue is scheduled for March 2015. The submission deadline is 1 January 2015. Two more issues will follow in the course of 2015.

    For more information, see http://amsci.nl/

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.

  • 4-7 March 2015, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Garching, Germany

    Newsitem added on 29 June 2014.

    The scope of the conference includes algorithms and data structures, automata and formal languages, computational complexity, and logic in computer science, ass well as current challenges such as natural computing, quantum computing and mobile and net computing. The conference features invited speakers Sanjeev Arora (CS, Princeton), Manuel Bodirsky (CNRS, LIX, Palaiseau) and Peter Sanders (KIT, Karlsruhe), as well as tutorials on Computational Social Choice (by Felix Brandt, TUM, Munich) and Algorithmic Game Theory (TBA).

    For more information, see http://www14.in.tum.de/STACS2015 or email pc-chairs-stacs2015 at easychair.org (for information regarding paper submission).

  • 2-6 March 2015, Jaist Logic Workshop Series 2015 "Constructivism and Computability", Kanazawa, Japan

    Newsitem added on 26 October 2014.

    JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. In 2015, JAIST Logic Workshop Series focuses on 'Constructivism and Computability', aiming at interaction and knowledge transfer between constructive mathematics and computability theory.

    For more information, see http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/

  • 2-6 March 2015, 9th International Conference on Language and Automata Theory and Applications (LATA 2015), Nice, Spain

    Newsitem added on 12 October 2014.

    LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. LATA 2014 will consist of invited talks and and peer-reviewed contributions

    For more information, see http://grammars.grlmc.com/lata2015/ or contact florentinalilica.voicu at urv.cat

  • 27 February - 1 March 2015, South-Eastern Logic Symposium (SEALS 2015), Gainesville FL, U.S.A.

    Newsitem added on 11 December 2014.

    The Southeastern Logic Symposium 2015 will take place at University of Florida in Gainesville on the weekend of February 28/March 1, beginning with a colloquium talk on Friday February 27, 4pm. The main theme will be computability, descriptive set theory,and their interaction.

    We have secured 25 prominent speakers for the conference. The plenary speakers include Denis Hirschfeldt, Andrew Marks, and Theodore Slaman; the Friday colloquium will be given by Henry Towsner. We do offer travel support for graduate students. We strongly encourage especially graduate students in set theory who wish to present a talk to apply.

    The website of the conference can be found at http://people.clas.ufl.edu/zapletal/event/seals-2015

  • 25-27 February 2015, Reasoning, Argumentation and Critical Thinking Instruction (RACT2015), Lund, Sweden

    Newsitem added on 29 June 2014.

    RACT2015 brings together international experts from fields as diverse as education, philosophy, speech communication, psychology, mathematics, and rhetoric, among others. The main purpose is to assess the state of the art in research on reasoning and argumentation that can play a load-bearing role in the development of cutting-edge critical thinking instruction, both as dedicated courses and across the curriculum.

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

  • 25-27 February 2015, Young Researchers' Conference "Frontiers of Formal Methods", Aachen, Germany

    Newsitem added on 7 December 2014.

    This conference is a forum of young researchers (typically PhD students) for exchanging current research results and broadening their academic network. The scope of the conference ranges over formal and algorithmic methods in computer science, in a broad sense.

    The conference consists of invited lectures by Moshe Vardi (Houston), Jean-Francois Raskin (Brussels), Joel Ouaknine (Oxford), Bernd Finkbeiner (Saarbrücken), Azadeh Farzan (Toronto), and Eric Bodden (Darmstadt), and short presentations (talks of 12 minutes duration).

    For more information, see http://ffm2015.rwth-aachen.de/

  • 23 February - 12 June 2015, M.Sc. distance learning course on "Modal Logics and Description Logics", Manchester, U.K.

    Newsitem added on 18 January 2015.

    For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

    Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

    The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

  • 15-19 February 2015, 5th Bar-Ilan Winter School on Cryptography: Advances in Practical Multiparty Computation, Tel Aviv, Israel

    Costs: free (registration required)
    Newsitem added on 9 October 2014.

    In the setting of secure multiparty computation, two or more parties with private inputs wish to compute some joint function of their inputs. The security requirements of such a computation are privacy (meaning that the parties learn the output and nothing more), correctness (meaning that the output is correctly distributed), independence of inputs, and more. This setting encompasses computations as simple as coin-tossing and agreement, and as complex as electronic voting, electronic auctions, electronic cash schemes, anonymous transactions, and private information retrieval schemes. Due to its generality, secure computation is a central tool in cryptography.

    The aim of the school is to start from the basics, and teach the material needed to bring the participants up to date with the latest results in this exciting field. The school program includes approximately 27 hours of lectures and a half-day excursion to Jerusalem. The last day of the school will be a mini-workshop where latest results will be presented.

    The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

    Participation is free, but registration is required. Please register by December 30, 2014. For more information, see http://crypto.2bwebsite.co.il/5th-biu-winter-school

  • 5-6 February 2015, Logic Now and Then 3 (LNAT3), Brussels, Belgium

    Newsitem added on 20 November 2014.

    The conference will be devoted to the relationship between the semantics and pragmatics of logical constants (connectives, quantifiers, modal operators). Its aim is to critically assess and contribute to semantic and pragmatic theories developed for constructions containing such operators in natural language. On the one hand, we hope to bring together cutting edge contributions to debates that are currently in full swing, but at the same time, we very much invite contributions of a more historical nature, which shed light on antecedents of current views and issues, thereby placing them in a wider diachronic perspective. In short, the semantics and pragmatics of logical constants now and then.

    Invited speakers:
    * Rick Nouwen (Utrecht University)
    * Daniel Rothschild (University College London)
    * Johan van der Auwera (University of Antwerp)

    For more information, see http://www.crissp.be/lnat3

  • 30-31 January 2015, Quantum computation, Quantum information and the exact sciences, Munich, Germany

    Newsitem added on 11 September 2014.

    This conference will feature keynote speakers Hans J. Briegel (Innsbruck), Leah Henderson (Carnegie Mellon) and Christopher Timpson (Brasenose/Oxford). It will also include submissions from both philosophers and scientists exploring the connections between the philosophy and foundations of quantum computation and quantum information theory (QCIT), and more traditional philosophical and foundational questions in physics, computer science, information theory, and mathematics.

    Website where more information on the conference will be posted soon: http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/index.html

  • 30 January - 1 February 2015, Very Informal Gathering (VIG 2015), on the occasion of Tony Martin's retirement, Los Angeles CA (U.S.A.)

    Newsitem added on 27 November 2014.

    There will be a Very Informal Gathering of Logicians at UCLA from 1:00 PM, Friday, January 30 to 1:00 PM, Sunday, February 1, 2015 (VIG 18), dedicated to Tony Martin on the occasion of his formal retirement. The invited speakers are Kit Fine, Sherwood Hachtman, Steve Jackson, Andrew Marks, Antonio Montalban (Hjorth lecturer), Itay Neeman, Charles Parsons, Pierre Simon, Sergei Starchenko, John Steel, Katrin Tent, Anush Tserunyan and Hugh Woodin.

    There are no registration fees, and it is expected that travel grants will be available for graduate students and faculty in early career stages; write to ynm at math.ucla.edu if you are interested. For further information as it develops, check the Web page for the meeting, http://www.logic.ucla.edu/vig2015.

  • 28 January 2015, Wadge theory and automata, Turin, Italy

    Newsitem added on 2 January 2015.

    The logic group in Turin is pleased to announce a one-day workshop on "Wadge theory and automata". Wadge theory is an area of descriptive set theory dealing with the classification of subsets of reals in terms of their topological complexity. It has strong connections with automata theory, in particular when it comes to classifying omega-regular languages that can be recognized by different types of automata.

    The workshop will consist of four talks, by Jacques Duparc (Lausanne), Alessandro Facchini (Warsaw), Victor Selivanov (Novosibirsk) and Olivier Finkel (Paris). The meeting will be concluded by a brief discussion session outlining some open problems and future directions of the area.

    More information can be found on the webpage of the workshop: http://www.personalweb.unito.it/luca.mottoros/workshop280115.html

  • 27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India

    Newsitem added on 20 July 2014.

    The 1st Indian Winter School on Diagrams aims to bring together graduate students and early career researchers, from all over the world, with interests in diagrams research. Participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering two main themes: diagrammatic logics alongside philosophical and historical developments. Courses will be delivered by internationally renowned experts to small groups of delegates and will have an emphasis on interactivity.

    The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in diagrammatic reasoning. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators. It is expected that delegates who attend the winter school will become equipped to identify research questions in the diagrams field and be knowledgeable of current research endeavours. The School will also include one-on-one discussion sessions where delegates can meet with the expert facilitators to identify suitable research contributions that match their skills and interests.

    Details on the courses running, their scope and any required prerequisite knowledge can be found here: https://sites.google.com/site/winterschoolondiagrams/winter-school-program.

  • 26-27 January 2015, Winter School on Paradoxes and Dilemmas, Groningen, The Netherlands

    Newsitem added on 20 November 2014.

    On January 26th-27th 2015, the Faculty of Philosophy of the University of Groningen will host a short Winter School aimed at advanced undergraduate students and early-stage graduate students. The theme of the winter school isParadoxes and Dilemmas, and it will consist of 6 tutorials where the topic will be discussed from different viewpoints. The program will showcase the high level of teaching and research of the three departments of the Faculty (theoretical philosophy; ethics, social and political philosophy; history of philosophy).

    Scholarship application deadline: December 1st 2014 Registration deadline: December 15th 2014 For more information, see http://www.rug.nl/filosofie/news/events/winter-school-paradoxes-and-dilemmas Further inquiries can be directed to Catarina Dutilh Novaes, c.dutilh.novaes at rug.nl.

  • 22-23 January 2015, Workshop "Formal Semantics Meets Cognitive Semantics", Nijmegen

    Newsitem added on 2 October 2014.

    Semantics is a divided discipline. On one side we have Formal Semantics, which has its roots in logic and analytical philosophy (Frege, Montague). Meaning here is viewed as a relation between language and external reality, formalized in terms of reference, truth, possible worlds, etc. On the other side we have Cognitive Semantics, a central part of the Cognitive Linguistics movement, which grew out of dissatisfaction with formal linguistics (in particular, formal semantics and generative syntax) in the seventies (Fauconnier, Lakoff, Talmy). In this framework meaning is primarily a relation between language and the mind, described in terms of mental spaces, conceptual schemata, frames, etc.

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

  • 18-22 January 2015, Winterschool on practical quantum communications, Les Diablerets in the Swiss Alps

    Costs: 3480 EUR
    Newsitem added on 9 October 2014.

    This program will deal with quantum cryptography, quantum computing and quantum repeaters. The goal of this event is to introduce this exciting topic in a relaxed and stimulating atmosphere to a general audience of physicists and computer scientists with little or no background in practical quantum communications. Special emphasis will be placed on practical aspects of quantum communications, such as the implementation of quantum key distribution systems and quantum repeaters, as well as concrete steps towards a quantum computer. The emerging applications of these promising technologies will also be discussed.

    For more information, see http://www.idquantique.com/instrumentation/training.html

  • 17-18 January 2015, 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, England

    Newsitem added on 20 September 2014.

    Keynote Speakers this year are Prof Alan Weir (Glasgow) & Mary Leng (York).

    The conference website may be found at http://www.phil.cam.ac.uk/events/camb-grad-conf-2015. For any further information, please see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5928 or contact the conference organisers, Fiona Doherty and Fredrik Nyseth at cam.phil.grad.conf at googlemail.com.

  • 12-13 January 2015, Symposium on the Foundations of Mathematics: Competing Foundations (SOTFOM II) , London, U.K.

    Newsitem added on 28 August 2014.

    The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant philosophical impact, and represents a shift in attitudes towards the philosophy of mathematics. This conference will bring together leading scholars in these areas to showcase contemporary philosophical research on different approaches to the foundations of mathematics.

    To accomplish this, the conference has the following general aims and objectives. First, to bring to a wider philosophical audience the different approaches that one can take to the foundations of mathematics. Second, to elucidate the pressing issues of meaning and truth that turn on these different approaches. And third, to address philosophical questions concerning the need for a foundation of mathematics, and whether or not either of these approaches can provide the necessary foundation.

    For more information, see the conference website at http://sotfom.wordpress.com/.

  • 8-10 January 2015, 6th Indian Conference on Logic and its Applications (ICLA 2015), Mumbai, India

    Newsitem added on 20 April 2014.

    ALI, the Association for Logic in India, announces the sixth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology, Bombay, from January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian Logic Conference to be held during January 5-8, 2015.

    ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

    For more information, see http://www.cse.iitb.ac.in/~icla15/. Any further queries related to the conference may be sent to the following email address: icla15 at cse.iitb.ac.in.

  • 6-7 January 2015, "Logic in Kant's Wake", Hamilton ON, Canada

    Newsitem added on 31 October 2014.

    On 6-7 January 2015 The Bertrand Russell Research Centre at McMaster University will be hosting an international workshop on the development of logic at the turn of the 19th century, in Kant's wake.

    The speakers include: Risto Vilkko (Helsinki), Michael Forster (Chicago), Lydia Patton (Virginia Tech), Sandra Lapointe (McMaster), Jeremy Heis (UC, Irvine) and Hans-Johann Glock (Zürich)

    Attendance is free and lunch will be catered. Places are limited, however. Those interested in attending the workshop are invited to contact the organizers. Funding may be available.

    For more information, contact Dr. Sandra Lapointe, http://www.humanities.mcmaster.ca/~lapointe

  • 5-9 January 2015, Boolean algebras, Lattices, universal Algebra, Set theory, Topology (BLAST 2015), Las Cruces NM, U.S.A.

    Newsitem added on 15 June 2014.

    BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. It is supported by the NSF and circulates among different universities.

    BLAST 2015 will feature invited talks by Papiya Bhattacharjee, George Gratzer, Thomas Icard, John Krueger, Julie Lindman, Jan van Mill, Daniele Mundici and Constantine Tsinakis, as well as tutorials on Algebraic Logic (Nick Bezhanishvili), Set Theory (Joel Hamkins), Point-free Topology (Jorge Picado) and Universal Algebra (Matt Valeriote).

    For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.

  • 5-8 January 2015, Fourteenth Asian Logic Conference (ALC 2015), Mumbai, India

    Newsitem added on 11 September 2014.

    The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.

    The programme will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic. In addition there will be many contributed talks. The conference topics include, but are not limited to: Set Theory; Model theory; Recursion Theory; Proof theory; Computability Theory; Algebraic Structures; Logical Aspects of Computation; Philosophical Logic.

    Conference page: http://www.cse.iitb.ac.in/~alc15/index.html

MoL and PhD defenses

  • 25 February 2015, Master of Logic defense, Masa Mocnik

    Title: Slovenian Perfective and Imperfective Explicit Performative Utterances
    Date and time: Wednesday, 25 February 2015, 12:00 o'clock
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisors: Dr. M.D. Aloni & Prof.dr. F. Veltman
    For more information, please contact G.Beekelaar at uva.nl
  • 23 February 2015, Master of Logic defense, Sanne Kosterman

    Title: Learning in Games through Social Networks
    Date and time: Monday 23 February 2015, 14:00 hours
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisors: Nina Gierasimczuk, Krzysztof Apt and Jan Willem van Houwelingen (KPMG)
    For more information, please contact G.Beekelaar at uva.nl
  • 30 January 2015, Master of Logic defense, Ignas Vysniauskas

    Title: Pi-dist: Towards a Typed Pi-calculus for Distributed Programming
    Date and time: Friday 30 January 2015, 11:00-12:30.
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisors: Dr. Benno van den Berg (University of Amsterdam) and Dr Wouter Swierstra (Utrecht University)
    For more information, please contact G.Beekelaar at uva.nl
  • 30 January 2015, Master of Logic defense, Johannes Emerich

    Title: Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch
    Date and time: Friday 30 January 2015, 09:30 - 11:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisors: Dr. Benno van den Berg (University of Amsterdam) and Dr. Tijs van der Storm (CWI, Amsterdam)
    For more information, please contact G.Beekelaar at uva.nl
  • 28 January 2015, Master of Logic defense, Jouke Witteveen

    Title: Structural Parameterized Complexity
    Date and time: 28 January 2015, 11:00-13:00
    Location: Room F1.15, Sciencepark 105/107
    Supervisor: Dr. Leen Torenvliet
    For more information, please contact G.Beekelaar at uva.nl

Projects and Awards

  • UvA-master Logic beoordeeld als excellent

    Newsitem added on 9 November 2014.

    (dutch only)
    De master Logic aan de Universiteit van Amsterdam (UvA) heeft de status excellent toegekend gekregen van de Nederlands-Vlaamse Accreditatieorganisatie (NVAO). Het visitatiepanel van de NVAO beoordeelt Logic ‘als een van de beste, zo niet het beste programma op het gebied van logica ter wereld’.

    Voor meer informatie, zie http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/content/persberichten/2014/11/.

  • Ciyang Qing wins Unilever Research Prize 2014

    Newsitem added on 26 October 2014.

    MSc Logic graduate Ciyang Qing will receive the Unilever Research Prize 2014. This award, which comes with an associated sum of 2,500 euros, recognises significant research carried out by students in the natural and social sciences at Dutch universities.

    Ciyang, who is now a PhD student at Stanford University, worked on a number of research projects during his time as an MSc Logic student at the ILLC, leading to several publications in a diverse range of fields, including cognitive science, formal semantics, computational linguistics and multiagent systems. His Master's thesis on Quantitative Social-Cognitive Experimental Pragmatics was supervised by Michael Franke.

    The award will be presented on 27 November 2014 at Unilever's R&D Centre in Vlaardingen, in the presence of Jet Bussemaker, Minister for Education, Culture and Science.

    See also<
    Unilever Research Prize: http://www.unilever.nl/innovatie/unileverresearchprijs/
    MSc Logic: http://www.illc.uva.nl/MScLogic/

    For further information, please contact Ulle Endriss <ulle.endriss at uva.nl>.

  • Royal honour for University Professor Johan van Benthem

    Newsitem added on 4 October 2014.

    Prof. Johan van Benthem was named Knight in the Order of the Netherlands Lion upon his retirement as University Professor of Pure and Applied Logic at the University of Amsterdam (UvA) on Friday, 26 September. Van Benthem received the royal honour in recognition of his myriad research accomplishments and the leading and inspirational role he has played in the academic community.

    For more information, see http://www.uva.nl/en/news-events/news/uva-news/item/

Funding, Grants and Competitions

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

    Newsitem added on 11 December 2014.

    Nominations are invited for the 2014 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems, and to be presented at AAMAS-2015.

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

    The dissertation must be nominated by the thesis supervisor and submitted on or before February 28, 2015. For more information, see the IFAAMAS and AAMAS-2015 websites at http://www.ifaamas.org/ and http://www.aamas2015.com/.

  • E.W. Beth Prize: 2015 call for nominations

    Newsitem added on 8 February 2015.

    Since 2002, FoLLI (the Association for Logic, Language, and Information) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2014. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize.

    Deadline for Submissions: April 27th, 2015. For more information, see http://www.folli.info/?page_id=84 .

  • NWO: Added Value through Humanities

    Newsitem added on 5 February 2015.

    Added Value through Humanities provides grants for experienced researchers in the field of humanities wishing to start a collaboration with public and/or private partners or to strengthen an already existing collaboration.

    Submission deadline: Thursday 18 June 2015 14:00. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/gw/

  • PhD funding in philosophy, Bristol, England

    Newsitem added on 20 November 2014.

    The University of Bristol is a member of the Arts and Humanities Research Council-funded South West and Wales Doctoral Training Partnership (SW&W DTP). The DTP consortium, which consists of eight universities, will award more than 50 scholarships for students commencing doctoral research in 2015-16. Candidates are welcome to submit proposals in any field of the arts and humanities with supervision expertise in the University of Bristol. The University of Bristol also expects to be in a position to offer a number of its own postgraduate research scholarships to outstanding applicants. Students who apply for a DTP scholarship based at Bristol will also be automatically considered for a University of Bristol scholarship.

    Applications can be made to the DTP after *26 November 2014*. The closing date for applications is *12 January 2015*. For more details of PhD funding opportunities at the University of Bristol see http://www.bristol.ac.uk/arts/gradschool/funding.

  • PhD Studentships at the University of Bath

    Newsitem added on 16 December 2014.

    The University of Bath offers 3.5-year PhD positions in mathematics and theoretical computer science. Applicants should have or expect to gain at least the equivalent of a 2.1 BSc/MSc in a relevant subject area and must satisfy RCUK residency rules for the full studentship (fees + stipend).

    Deadline: 28 February 2015, but applications are processed as they are received.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6127 or the research-group homepage at http://bath.ac.uk/comp-sci/research/mathematical-foundations. To apply, including information on prerequisites, see http://www.bath.ac.uk/science/graduate-school/research-programmes/.

  • ABC Project and Talent grants

    Newsitem added on 19 October 2014.

    The Amsterdam Brain and Cognition center invites proposals for the ABC Project and Talent grants.

    Proposals for the ABC Project grant should be research proposal for 1 postdoc or 1 PhD student for 2 years (max. 250k€) with an interdisciplinary focus (involvement of at least 2 different faculties), preferably related to a visiting professor. Deadline: November 15, 2014.

    ABC Talent grants are for maximally 1 year (max. 100k€) and aimed at high potential research master students or post docs who aim to apply or have applied for a research grant to the ABC. Deadline: January 5, 2015.

    For more information, see http://abc.uva.nl/about-the-center/abc-calls-2014-2015/abc-project-grant/.

Open Positions at ILLC

  • PhD candidate in Semantics, Pragmatics and Cognition

    Newsitem added on 16 December 2014.

    The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam is looking for a highly motivated, creative and talented PhD candidate to enrich a unique consortium of researchers that aims to unravel the neurocognitive mechanisms of language at multiple levels. The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour.

    The PhD position is part of the larger Dutch NWO Gravitation consortium 'Language in Interaction'. This research consortium brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. This project will involve collaborative work to be carried out at the Institute of Logic, Language, and Computation (ILLC) at the University of Amsterdam (Prof. Van Rooij) and the Donders Institute for Brain, Cognition and Behaviour at Radboud University (Prof. H. Schriefers). The position will be embedded in the ILLC. Both involved institutes offer an international research.

    Application deadline: 1 February 2015. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6129.

Open Positions, General

  • Research assistant position (postdoctoral) in "Social Machines of Mathematics", Oxford (U.K.)

    Newsitem added on 5 February 2015.

    We are pleased to announce the opening of a full-time Research Assistant position at the University of Oxford, as part of the EPSRC Social Machines of Mathematics project, led by Professor Ursula Martin.

    This project works towards a broad goal of understanding the production of mathematics as a social machine, a combination of people, computers, and archives to create and apply mathematics. Project activities include: studies of mathematicians working collaboratively, both on-line and face-to-face, to understand more about the production of mathematics; developing a theory of such collaborative activities; and designing prototype tools to support collaboration. The post is fixed-term for up to 2 years, with the possibility of extension.

    Vacancy ID : 116879. The closing date for applications is 12.00 noon on 4 March 2015. For more information, see https://www.recruit.ox.ac.uk/pls/hrisliverecruit/ or contact Professor Ursula Martin at Ursula.Martin at cs.ox.ac.uk.

  • Postdoctoral position in logic-based refactoring of description logic ontologies, Oxford (U.K.)

    Newsitem added on 8 February 2015.

    We are pleased to announce the opening of a full-time Research Assistant position at the University of Oxford, as part of the EPSRC project 'LOREF: Logic-based refactoring of description logic ontologies' led by Dr Nadeschda Nikitina.

    You would be contributing to the research of the group by developing algorithms and software for refactoring Description Logic ontologies, and related Semantic Web infrastructure. The primary selection criteria are a PhD in computer science or related discipline (or shortly be expecting to obtain one), good verbal and written communication skills, and proven research experience in description logic and/or semantic web technologies. Good programming skills are desirable, preferably in Java.

    Closing Date : 02-Mar-2015 12.00 noon. Interviews are expected to be held in the second week of March 2015. For more information, see https://www.recruit.ox.ac.uk/pls/hrisliverecruit/ or contact Nadeschda Nikitina at Nadeschda.Nikitina at cs.ox.ac.uk

  • One postdoctoral position and two PhD student positions in "Emergence of Relativism", Vienna (Austria)

    Newsitem added on 19 January 2015.

    One Postdoc Position (four years) and Two PhD Studentships (three years) are available at the Department of Philosophy, University of Vienna, in the ERC-funded project "The Emergence of Relativism: Historical, Philosophical and Sociological Perspectives" (ERC Advanced Grant, PI: Prof. Martin Kusch), June 2014 to May 2019.

    For the postdoc position we are looking for a philosopher, or a historian of philosophy, or a sociologist of knowledge, interested in studying the emergence and development of relativistic themes in the 19th and early 20th century in works about the social world by political philosophers, forerunners and practitioners of the social sciences in general, and the sociology of knowledge in particular.

    For the PhD studentship positions we are looking for philosophers with an interest in studying relativism from a systematic rather than a historical perspective. The PhD project must fit within the framework of the overall ERC project as outlined in the documents above. We are particularly interested in proposals focusing on debates around the sociology of knowledge or historicism, but other proposals will also be considered.

    None of these positions involves a teaching obligation. The ability to work in an interdisciplinary team is important. Deadline for applications: March 1st 2015.

    For more information see the project page at http://philosophie.univie.ac.at/forschung/. Informal enquiries should be addressed to Prof. Dr. Martin Kusch at martin.kusch at univie.ac.at.

  • Tenure-track position in theoretical computer science, Salt Lake City UT (U.S.A.)

    Newsitem added on 16 November 2014.

    The School of Computing at the University of Utah seeks applications for four tenure-track faculty at the rank of Assistant Professor, beginning Fall 2015. Exceptional candidates at higher ranks will be also be considered.

    One of the four positions is targeted at theoretical computer science, particularly with an emphasis on models and analysis for large data problems. Also, computational statistics or statistical underpinnings of the analysis of large data.

    Close Date: March 1, 2015. For more information (and how to apply) please see the ad at https://utah.peopleadmin.com/postings/36205

  • Three Assistant Professorships in Logic & Philosophy of Language, Munich (Germany)

    Newsitem added on 2 January 2015.

    Ludwig-Maximilians-University Munich is seeking applications for three Assistant Professorships in Logic and Philosophy of Language, at the Chair of Logic and Philosophy of Language (Professor Hannes Leitgeb) and the Munich Center for Mathematical Philosophy (MCMP) at the Faculty of Philosophy, Philosophy of Science and Study of Religion. The positions, which are to start from October 1st 2015, are for three years with the possibility of extension.

    Each appointee will be expected (i) to do philosophical research, especially in philosophical logic and related areas (such as philosophy of logic, philosophy of language, philosophy of mathematics, formal epistemology), (ii) to teach five hours a week in corresponding areas, and (iii) to participate in the organisation of the MCMP.

    Applications should be sent by February 28th, 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/assist_prof_2015/. Contact for informal inquiries: office.leitgeb at lrz.uni-muenchen.de.

  • Postdoctoral position in set theory, Singapore (Singapore)

    Newsitem added on 27 November 2014.

    There is a one-year postdoctoral position in set theory available at the National University of Singapore. The expected starting date is April 1, 2015.

    The job advertisement is given at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6071. To apply for it please email your complete CV to Dilip Raghavan at raghavan at math.nus.edu.sg. Please also CC your email to Lynette Wong at lynettewong at nus.edu.sg.

    http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6071 or
  • PhD student position in dependent type theory, Brighton (England)

    Newsitem added on 2 January 2015.

    Applications are invited for a fully funded 3-year PhD studentship in the Department of Informatics at the University of Sussex, starting in October 2015.

    The topics for the studentship is: dependent types for concurrent processes. That involved combining two major research traditions in type theory: (1) dependent type-theories a la Martin-Loef and homotopy type theory, and (2) types for concurrent processes such as session types.

    Closing date for applications is 23 February 2015. For further details about the application process, please see http://www.sussex.ac.uk/informatics/pgstudy/doctoral/funding. Informal enquiries may be addressed to M.F.Berger at sussex.ac.uk

  • Postdoctoral position (3y) and Project-coordinator position (3y) in "Conditionals and Information Transfer" (Philosophy), Konstanz (Germany)

    Newsitem added on 29 January 2015.

    The DFG Research Unit FOR 1614 "What if: On the epistemological, pragmatic, psychological, and cultural significance of counterfactual thinking" offers a Post-Doc Position for three years within the subproject "Conditionals and Information Transfer" directed by the speaker of the unit, Prof. Dr. Wolfgang Spohn.

    The position starts at July 1, 2015, at the latest. For the postdoctoral position, the salary is 100% TVL E13, and PhD or equivalent degree is presupposed. For the project-coordinator position, the salary is 50% TVL E13, and MA or comparable degree is presupposed, Good knowledge of formal epistemology and English and some knowledge of German is required. The project-coordinator position is ideal for pursuing a PhD project (which is preferably, but need not be related to the topics of the unit).

    Please send your application before February 22, 2015. For more information, see http://cms.uni-konstanz.de/what-if/jobs/.

  • Doctoral candidate (PhD student) in Collective Reasoning

    Newsitem added on 22 February 2015.

    The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg (year 1 and 2), and in the Department of ESPP at the University of Groningen led by Prof. Frank Hindriks (year 3 and 4). You will obtain a joint degree from both institutions (cotutelle). The goal of the PhD project is to develop and evaluate a conceptual, formal and computational framework for the analysis of collective reasoning and decision-making. The aim is to advance understanding of mutually beneficial and normatively appropriate choices in cooperative settings. Applications can concern expert panels and committee decision-making in general, and, for instance, central bank monetary policy committees, climate panels, medical ethical committees, and parliamentary committees in particular.

    Interested candidates are invited to send their complete application before March 31, 2015. For more information, see http://emea3.mrted.ly/lli8

  • PhD Position in Computational Models of Language and Vision

    Newsitem added on 19 February 2015.

    One PhD position/studentship to study computational models of language and vision is available in the Language, Interaction and Computation track of the 3-year PhD program offered by the Center for Mind/Brain Sciences at the University of Trento (Italy). Possible research directions include: Compositionality in images; Methaphors in images; Searching for images through natural language queries; Language, vision and reasoning. The selected student will work closely with the research team of the ERC project COMPOSES.

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

  • Visiting Fellowship in Mathematical Philosophy, Munich (Germany)

    Newsitem added on 16 November 2014.

    The Munich Center for Mathematical Philosophy invites applications for visiting fellowships for one to three months in the academic year 2015/16 (15 October 2015 to 15 February 2016 or 15 April to 15 July 2016) intended for advanced Ph.D. students ("Junior Fellowships") and postdocs or faculty ("Senior Fellowships"). Candidates should work in general philosophy of science, the philosophy of one of the special sciences, formal epistemology, or social epistemology and have a commitment to interdisciplinary and collaborative work.

    We also encourage groups of two to four researchers, which may also include scientists, to jointly apply for fellowships (?Research Group Fellowships") to work on an innovative collaborative project from the above-mentioned fields which is of relevance for the research done at the MCMP and which ideally includes a member of the MCMP as a collaborator.

    The deadline for applications is 15 February 2015. Decisions will be made by 1 March 2015. For further information, see http://www.mcmp.philosophie.uni-muenchen.de/news/visiting_fs_201516/ or contact Alexander.Reutlinger at lrz.uni-muenchen.de.

  • PhD student position in description logic, Bremen (Germany)

    Newsitem added on 29 January 2015.

    The University of Bremen, Department 3 (Mathematics and Computer Science), invites applications for a PhD position (Computer Science - Salary Scale TV-L 13, 100%) in the DFG-funded project "Conservative Extensions in Ontology Languages: Beyond Description Logics". The position is available from March 1st, 2015, subject to clearance by the University administration, and is limited to 36 months.

    In description logic, the notion of a conservative extension provides an important foundation for ontology refinement, reuse, versioning, and modularity. The aim of the project is to study conservative extensions beyond description logics, with an emphasis on computational complexity and model-theoretic characterizations. Logics of interest include guarded fragments of first-order logic and existential rules.

    The appointed candidate will carry out research in the described project and will be given the opportunity to pursue a scientific qualification (PhD studies). The position requires a computer science degree on the MSc level or a comparable qualification. Good knowledge of logic and/or knowledge representation are desirable. The successful candidate will work in the group "Theory of Artificial Intelligence" led by Carsten Lutz.

    Please send your application by February 15th, 2015, quoting the vacancy A5/15. For more information, see http://www.informatik.uni-bremen.de/cms/detail.php?id=81570 or contact Prof. Dr. Carsten Lutz (clu at cs.uni-bremen.de) or Dr. Thomas Schneider (ts at cs.uni-bremen.de).

  • PhD student or postdoctoral position in epistemology, Leuven (Belgium)

    Newsitem added on 15 January 2015.

    The Centre for Logic and Analytic Philosophy at KU Leuven invites applications for one full-time position at either doctoral or postdoctoral level as part of a research project on "Knowledge First Virtue Epistemology" which is funded by a KU Leuven OT and an FWO grant (PI: Christoph Kelp) and will run until 2017/18. Duration: 3 years (PhD) or 2 years (Postdoc). Starting date: October 1, 2015.

    The candidate will be part of the Leuven Epistemology Group and will work on topics related to the project. At present, two postdoctoral researchers and one PhD student are working on the project. Additional hires at doctoral and postdoctoral level are expected. The members of the research group will work closely together and are expected to actively contribute to the project and to activities at Leuven Epistemology Group and the Centre for Logic and Analytic Philosophy.

    PhD candidates must have obtained a master's level degree in philosophy before taking up the position. Postdoctoral candidates must have obtained a PhD in philosophy before taking up the position. His/her area of specialisation should include epistemology (preferably: virtue epistemology and/or knowledge first epistemology).

    Applications must be received before 15 February, 2015. For further information about the project and the position, please visit the project website at http://christoph-kelp.com/knowledge-first-virtue-epistemology/.

  • Assistant Professorship in Cognitive Science, Los Angeles CA (U.S.A.)

    Newsitem added on 16 November 2014.

    Occidental College invites applications for a tenure-track appointment at the rank of assistant professor in Cognitive Science. We seek someone working in computer science, with scholarly or research interests in artificial intelligence (broadly construed to include areas such as robotics, computer vision, natural language processing, computational linguistics, human-computer interactions, reasoning under uncertainty, or other areas at the intersection of computation and cognition). A strong commitment to teaching and research at a liberal arts institution is essential. Candidates must have a Ph.D. in computer science or a related field by the start date of August 2015. The successful applicant will help strengthen our computer science minor, teach introductory courses in programming, fundamentals courses in computer science, upper-level courses in computer science, courses in cognitive science, and involve undergraduate students in research.

    Review of applications will begin on December 5, 2014. For more information, see http://www.oxy.edu/human-resources/working-oxy/faculty-positions. Questions about the position can also be directed to the Department Chair, Dr. Saul Traiger, at traiger at oxy.edu.

  • PhD student position in philosophy of mathematics, Konstanz (Germany)

    Newsitem added on 18 January 2015.

    At the Department of Philosophy (Theoretical Philosophy / Prof. Dr. Thomas Müller) there is currently a vacancy for a Part-time Ph.D. student Position (Salary Scale 13 TV-L, 50%). The position will be immediately available; an early start is preferred. The position will be granted initially for 12 months, with an option for an extension for a second year; funding for a third year will be applied for once the project is under way.

    The position is advertised as part of the new research project "Kulturen der mathematischen Forschung: Identitätspraktiken im Hinblick auf nationale Mathematikkulturen und Beweisstile" (Cultures of mathematical research: identification practices with respect to national cultures of mathematics and styles of proof). The principal investigators of this project are Prof. Dr. Thomas Müller (Konstanz) and Prof. Dr. Benedikt Löwe (Hamburg & Amsterdam). The hired applicant will be based in Konstanz and it is the intention that the applicant be enrolled as a Ph.D. student and receive a Ph.D. degree in philosophy at the Universität Konstanz, but the project involves active and regular interaction with the Universiteit van Amsterdam and the Universität Hamburg, including extended research visits of up to one semester.

    This research project deals with the question of whether there is mathematical content to national mathematical cultures: clearly, there are differences in the mathematical styles of researchers from different countries. But are these differences more than superficial? In other words, can these differences be explained in purely mathematical terms. The project aims to approach this question with empirical means using techniques from the digital humanities (national literary cultures) and qualitative and quantitative empirical social studies.

    The deadline for applications is 12 February 2015. For more information, see http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2015/.

  • Three-year fellowship in philosophy at St Hugh's College, Oxford (England)

    Newsitem added on 16 November 2014.

    Applications are invited for the post of Career Development Fellow in Philosophy at St Hugh's College, tenable from 1st October 2015. This is a fixed-term, 3-year position intended for an individual who has recently completed a doctorate and wishes to embark on an academic career. It is open to those working in any area of Philosophy.

    The successful candidate will be expected to use the period of the Fellowship to begin building an international research profile. The postholder will also be required to offer teaching for up to four hours per week during term. Career Development Fellows at St Hugh's College are encouraged to take a full part in the intellectual life of the College.

    Further details are available on the College website at http://www.st-hughs.ox.ac.uk/vacancies. The closing date for applications is Monday 9th February 2015.

  • Postdoctoral position on "Ontology after Quine", Hamburg (Germany)

    Newsitem added on 11 December 2014.

    The University of Hamburg offers a postdoctoral research position in association with the Emmy Noether Research Group "Ontologie nach Quine", which is based in the Department of Philosophy and led by Richard Woodward.

    The Research Group began in July 2013 and will run until July 2018. Its official title translates as "Ontology after Quine: Fictionalism and Fundamentality" and, as its name suggests, the Group's research Project focuses on issues in metametaphysics and metaontology, set against the historical backdrop of the Quine-Carnap debate about the respectability of ontological inquiry. The remit of the project is thus broad, incorporating not only issues in first- and second-order metaphysics and ontology, but also connected issues in metaphilosophy and the philosophies of logic and language.

    The advertized position is full-time and will last for a period of one (1) year. The exact starting date is negotiable, but the successful candidate should take up their position by July 1st 2015 at the latest. The successful applicant is expected to have completed their doctoral studies (i.e. submitted their doctoral thesis) by the time they take up the position.

    The application deadline is January 31st, 2015. The official advert, with further information and instructions, can be found here: http://www.uni-hamburg.de/uhh/stellenangebote/wissenschaftliches-personal/. More information about the Group and its activities can be found at our website: http://carvingnature.net/.

  • PhD student or postdoctoral position in theoretical philosophy, Zuerich (Switzerland)

    Newsitem added on 10 January 2015.

    The Institute of Philosophy at the University of Zurich invites applications for the post of Assistant (50%) to be filled from 1st April 2015 at the Chair of Theoretical Philosophy (Prof. Dr. Hans-Johann Glock). The post is for three years in the first instance, but can be extended for another three years.

    The application deadline is 31st January 2015. For more information, see http://www.philosophie.uzh.ch/news/allgemein/ausschreibungapril15.html or contact Ms Sarah Tietz (sarah.tietz at uzh.ch).

  • PhD Scholarships in Toulouse

    Newsitem added on 22 January 2015.

    The International Center for Mathematics and Computer Science of Toulouse (http://www.cimi.univ-toulouse.fr/en) offers 6 PhD scholarships on topics in mathematics or in computer science. The deadline for applications is on the 28 February 2015, with starting date in September 2015. The scholarships last for three years with a gross salary of 1684€/month. Complimentary funds for research training and travelling can be asked for with a separate application procedure. Candidates will be evaluated on the quality of their track-record, which must be judged excellent.

    Candidates interested in applying with a research project in computational social choice are encouraged to contact Umberto Grandi (umberto.grandi at ut-capitole.fr).

    For more information, refer to the following pages.
    Doctoral fellowships: http://www.cimi.univ-toulouse.fr/en/doctoral-fellowships
    Travel grants: http://www.cimi.univ-toulouse.fr/en/call-research-projects

  • Two postdoctoral positions in Philosophy of Mathematics (2y), Munich (Germany)

    Newsitem added on 2 January 2015.

    Ludwig-Maximilians-University Munich is seeking applications for Two Postdoctoral Positions in Philosophy of Mathematics (for two years) at the Chair of Logic and Philosophy of Language (Professor Hannes Leitgeb) and the Munich Center for Mathematical Philosophy (MCMP) at the Faculty of Philosophy, Philosophy of Science and Study of Religion. The positions, which are to start from April 1st 2015, are for two years.

    One of the two positions is a full-time position that will be devoted to the topic "Mathematical Structuralism". The other one is a half-time (50%) position that will be devoted to the topic "Theoretical Terms in Science vs. Mathematical Terms". Both positions belong to an ANR-DFG project on "Mathematics: Objectivity by Representation".. Each appointee will be expected to do philosophical research in the respective project area and to participate in the organisation of the project. Each successful candidate will have a PhD in philosophy or logic.

    Applications should be sent by January 18th, 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/post_doc_2015/. Contact for informal inquiries: office.leitgeb at lrz.uni-muenchen.de

  • MA in Logic and Theory of Science in Budapest

    Newsitem added on 18 January 2015.

    The Logic and Theory of Science MA is a two-year program in English, run by the Department of Logic at E”tv”s Lorand University Budapest . Beyond a core curriculum in logic and formal approaches to the philosophy of science, we offer a wide range of advanced courses in logic, philosophy of mathematics, foundations of physics, logical methods in linguistics, philosophy of language, metaphysics, and formal models in social sciences. Students can choose a focus according to their own field of interest. The MA is research oriented, and most students continue with a PhD in logic or related fields.

    The program is open to students with a BA or BSc degree in Philosophy, Mathematics, Physics, Computer Science, Linguistics, Social Science, and all related fields.

    Application deadline: 24th Aug. 2015. For more information, see http://phil.elte.hu/logic/ma, or find us on Facebook at http://www.facebook.com/elte.logic. If you have further questions, please contact Andras Mate, the head of the department, at mate.andras at btk.elte.hu.

  • 2015/16 Herman Goldstine Memorial Postdoctoral Fellowshop (in algorithms), Yorktown NY (U.S.A.)

    Newsitem added on 16 November 2014.

    The Mathematical Sciences department of the IBM Thomas J. Watson Research Center invites applications for its 2015-2016 Herman Goldstine Memorial Postdoctoral Fellowship for research in the mathematical and computer sciences. The fellowship provides scientists of outstanding ability an opportunity to advance their scholarship as resident department members at the Research Center.

    Areas of research include algorithms, complex systems, data mining, dynamical systems, high-performance computing, inverse problems, numerical analysis, optimization, probability theory, statistics, simulation, and operations management.

    Applications will be accepted only if submitted by Jan 16, 2015. More details can be found at http://www.research.ibm.com/goldstine/

  • Visiting Assistant Professorship (1y) teaching logic, Schenectady NY (U.S.A.)

    Newsitem added on 27 November 2014.

    The Department of Philosophy at Union College invites applications for a one-year, full-time Visiting Assistant Professor, beginning September 2015. Non-renewable. Areas of expertise and competence are open, but the successful candidate will have to teach courses in logic and in a period of the history of philosophy. A Ph.D. in philosophy is preferred, but advanced ABDs in philosophy will be considered.

    Deadline for applications is January 15 2015. For more information, see http://www.union.edu/offices/human-resources/jobs/faculty/

  • PhD Studentship, Computational Social Choice, Auckland, New Zealand

    Newsitem added on 10 January 2015.

    A PhD scholarship (paying stipend of NZ$25,000 plus fees for 3 years) is available at the University of Auckland, New Zealand, funded by the Marsden Fund grant UOA 1420, "Axioms and algorithms for multi-winner elections” (Prof A. Slinko, Dr Mark C. Wilson, Dr G. Pritchard). We seek a well-prepared student to work on part of this project concerned with determining optimal parameters for parliamentary electoral systems. A strong background (e.g. First Class Honours/Masters) in computer science, mathematics and/or statistics is necessary.

    Applicants should contact Mark Wilson (mcw at cs.auckland.ac.nz) or Geoff Pritchard (geoff at stat.auckland.ac.nz) as soon as possible, with a CV and cover letter. We plan for the student to start on 1 March 2015, although some variation in date is possible.

  • PhD student positions in computer science, Oxford (England)

    Newsitem added on 27 November 2014.

    Following a generous donation by Google, the Department of Computer Science at the University of Oxford is delighted to invite applications for up to 15 fully-funded DPhil (Oxford'ss PhD) studentships tenable from 1st October 2015.

    The studentships are for three years and are open to students of any nationality. The topics for the studentships are open, but should relate to the interests of one of the Department's research areas: Algorithms, Artificial Intelligence, Automated Verification, Computational Biology, Foundations, Logic & Structures, Information Systems, Machine Learning, Multi-Agent Systems, Programming Languages, Security, Semantics and Software Engineering. We also encourage applications in cross disciplinary areas such as Linguistics, Biology, Medicine and Quantum Foundations & Quantum Computation.

    Closing date for applications:  9th January 2015 For more information, see http://www.cs.ox.ac.uk/files/6952/studentshipad.pdf. Informal enquiries may be addressed to Julie.sheppard at cs.ox.ac.uk

  • Faculty positions in theoretical computer science, Urbana-Champaign IL (U.S.A.)

    Newsitem added on 16 November 2014.

    The Department of Computer Science at the University of Illinois, Urbana-Champaign is hiring multiple tenure-track faculty positions. We are particularly interested in the following (overlapping) areas:
    * Theoretical Computer Science
    * Machine Learning
    * Programming Languages
    * Computer Systems (including trustworthy computing, distributed, cloud, mobile, OS)
    * Computer Architecture and Parallel Processing

    To ensure full consideration, applications must be received by January 5, 2015. Applicants may be interviewed before the closing date; however, no hiring decision will be made until after that date. For more information, including application instructions, please see our ad at http://cs.illinois.edu/faculty-candidates.

  • Temporary teaching associateship in philosophy (teaching needs: logic and philosophy of mathematics), Cambridge, England

    Newsitem added on 2 January 2015.

    The Faculty of Philosophy at the University of Cambridge is seeking to appoint a temporary Teaching Associate in Philosophy from 1st October 2015. The limit of tenure is twenty-one months, ending on 30th June 2017. This covers the period resulting from Dr Tim Button's award of a Philip Leverhulme Prize. The post is based in central Cambridge.

    The vacancy presents an excellent opportunity particularly for an early career scholar to gain teaching experience and research support within a prestigious philosophy department. The Faculty has immediate teaching needs in logic and philosophy of mathematics. In particular, the successful candidate will be expected to do the majority of the Faculty's first year logic lecturing.

    Vacancy Reference No: GV05022. Applications must be submitted by 10.00 hours GMT on Monday 19 January 2015, using the Faculty's online Job Applications system. For more information, see http://www2.phil.cam.ac.uk/job_apps_online/position/view/21

  • PhD Position, Quantitative Logics and Automata, Dresden, Germany

    Newsitem added on 2 January 2015.

    The DFG Research Training Group GRK 1763 “Quantitative Logics and Automata” at TU Dresden offers 1 Doctoral Scholarship for applicants interested in performing high-quality research on the connection between quantitative logics and automata as well as their applications in verification, knowledge representation, natural language processing, and semi-structured data (XML).

    The start date is April 1, 2015, and the application deadline is January 9, 2015 (although later applications will be considered as long as the position is not filled).

    More information on QuantLA can be found at http://lat.inf.tu-dresden.de/quantla/ and more information on how to apply in the call for applications at http://lat.inf.tu-dresden.de/quantla/images/documents/quantla-call-2015.pdf.

  • Assistant/Associate Professor, Algorithmic Game Theory, University of British Columbia

    Newsitem added on 2 January 2015.

    The Department of Computer Science at the University of British Columbia is seeking outstanding investigators for full-time faculty positions at the rank of Assistant Professor and Associate Professor. We are seeking candidates of exceptional scientific talent who have demonstrated research success in the area of Algorithmic Game Theory. The anticipated start date is July 1, 2015.

    For more information, see https://www.cs.ubc.ca/our-department/employment/faculty-positions. The website will remain open for submissions through the end of the day on January 31, 2015.

  • PhD Studentships, Computer Science, University of Nottingham

    Newsitem added on 14 December 2014.

    Applications are invited for up to ten fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2015.

    To discuss possible PhD topics in the area of (Logics for) Agents contact Natasha Alechina (nza at cs.nott.ac.uk) or Brian Logan (bsl at cs.nott.ac.uk).

    Closing date for applications: 14th January 2015. For more information, see http://www.jobs.ac.uk/job/AJW968/

  • Postdoc position at KTH Royal Institute of Technology

    Newsitem added on 14 December 2014.

    The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in computational complexity and/or SAT solving.

    The postdoctoral researcher will be working in the research group of Jakob Nordstrom. Much of the activities of this group revolve around the themes of proof complexity and SAT solving. On the theoretical side, proof complexity has turned out to have deep, and sometimes surprising, connections to other topics such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and therefore researchers in these or other related areas are more than welcome to apply. On the practical side, some interesting problems are to gain a better understanding of the performance of current state-of-the-art SAT solvers --- in particular, solvers using conflict-driven clause learning (CDCL) --- and to explore techniques that would go beyond CDCL, such as approaches based on algebraic or geometric reasoning.

    The research project is financed by a Breakthrough Research Grant from the Swedish Research Council and a Starting Independent Researcher Grant from the European Research Council. In addition to the research group leader, the group currently consists of one postdoc and four PhD students. Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.

    This is a full-time employed position for one year with a possible one-year extension. The successful candidate is expected to start in August-September 2015, although this is to some extent negotiable.

    The application deadline is January 25, 2015. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2014-0761-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.

  • Postdoc Position in Logic and Game Theory, University of Oxford

    Newsitem added on 11 December 2014.

    A research position is available, tenable immediately, attached to a European Research Council (ERC) Advanced Grant obtained by Prof Michael Wooldridge. The project is entitled "Reasoning about Computational Economies" (RACE), and carries out work at the intersection of game theory, complexity, logic, and verification. Applicants must have, or shortly be expecting to obtain, a PhD in multi-agent systems, game theory, logic/model checking, or a closely related topic. The position is a full-time appointment, available for up to 28 months.

    Deadline: 12 January 2015 (noon). To discuss informally, please contact: Mike Wooldridge at mjw at cs.ox.ac.uk. For full details and to apply please visit: http://tinyurl.com/p4lbzrs

  • Post-doctoral fellowships in mathematics and/or computer science

    Newsitem added on 4 December 2014.

    The Labex Archimède (Institute for Mathematics and Computer Science in Marseille) offers several PhD and Post-doc positions in mathematics and computer science. Some of these positions will be opened in the Laboratoire d'Informatique Fondamentale de Marseille (LIF - UMR7279 Aix-Marseille University / CNRS). The research areas of applicants can be any of the research topics studied in our lab.

    Applications must be completed (including reference letters) by January 15th, 2015. For more information, see http://www.lif.univ-mrs.fr and http://archimede.lsis.org/labex/spip.php?id_rubrique=10&lang=en

  • 2015 Software Engineer New Graduate role at Google

    Newsitem added on 27 November 2014.

    If you graduated in 2014 or are preparing to graduate in 2015 you can apply to join Google as a full-time Software Engineer. We have open roles at our Mountain View headquarters http://www.google.com/about/careers/locations/mountain-view/ in Silicon Valley, with additional roles available throughout our offices in Europe including London and Zurich.

    Who can apply: Bachelor, Master or PhD in Computer Science or a related technical field.

    For more information, see How to apply: https://www.google.com/about/careers/

  • 2015 Software Engineering Internships at Google

    Newsitem added on 27 November 2014.

    Internships at Google are full time paid positions, take place year-round and have a minimum duration of three months. If you are interested in an internship at Google in 2015 you should apply online as soon as possible.

    Who can apply: BSc/MSc/PhD students in Computer Science or a related technical field. You must be returning to university after the internship is complete, which means you won't be able to do an internship after you graduate.

    Where can you intern: We're hiring interns at our headquarters in Silicon Valley (we support visa and relocation!) as well as throughout our offices in Europe.

    For more information, see http://www.google.com/about/careers/lifeatgoogle/hiringprocess and https://www.google.com/about/careers/.

  • Full Professor of Theoretical Philosophy, Utrecht University, The Netherlands

    Newsitem added on 27 November 2014.

    Utrecht University is looking for a full professor of Theoretical Philosophy as from September 1, 2015. The chair of Theoretical Philosophy is one of the core chairs in philosophy at the Department of Philosophy and Religious Studies and is an important point of contact within Utrecht University for questions regarding the foundations of mathematics and philosophy of science. The professor is to play a key role in structuring the profile of research and education in Theoretical Philosophy. Where research is concerned he/she will focus on one of the sub- sections of Theoretical Philosophy, i.e. metaphysics, philosophy of science, epistemology or logic.

    The application deadline is 05/01/2015. For more information, see http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/

  • Postdoc and Student Positions in post-quantum cryptography and quantum algorithms, Waterloo, Ontario, Canada

    Newsitem added on 27 November 2014.

    The NSERC CREATE Training Program in Building a Workforce for the Cryptographic Infrastructure of the 21st Century (CryptoWorks21) is a supplementary program for graduate students and postdoctoral fellows who would like to develop next-generation cryptographic tools.

    The Postdoctoral and Graduate Programs are now accepting applications for January 2015. For more information, see https://cryptoworks21.uwaterloo.ca/apply/.

    Graduate student applicants should also apply at one of the relevant graduate programs at the University of Waterloo (https://uwaterloo.ca/discover-graduate-studies/ready-apply/application-process/).

  • 2 PhD Positions in Philosophy of Mind (especially Philosophy of Perception at University of Antwerp

    Newsitem added on 6 November 2014.

    Applications are invited for three fully and (for US and UK standards) very generously paid PhD studentships in philosophy at the University of Antwerp. The PhD student will be part of Bence Nanay's research group and will be supervised by Professor Nanay. The PhD in Belgium normally takes four years and PhD students are public employees with very generous benefits. Antwerp is commutable from a number of European cities, including Paris, London, Amsterdam, Frankfurt and Cologne. All research and communication is conducted in English.

    Deadline: November 9. Starting date of the position: Winter/Spring/Summer 2015 (negotiable). For more information, see http://uahost.uantwerpen.be/bence.nanay/paw.htm.

  • Schlumberger Foundation "Faculty for the Future" 2015-2016 Fellowships

    Newsitem added on 26 October 2014.

    The Schlumberger Foundation is accepting new applications for the 2015–2016 Faculty for the Future Fellowships from September 10th to November 14th, 2014.

    The Faculty for the Future program, launched in 2004, awards fellowships to women from developing and emerging economies to pursue PhD or Post-doctorate studies in science, technology, engineering and mathematics (STEM) disciplines at leading universities worldwide.

    The long-term goal of the program is to generate conditions that result in more women pursuing academic careers in STEM disciplines thus contributing to the socio-economic development of their home countries and regions. The program is growing each year and has become a community of 405 women scientists and technologists from 68 countries. Grant recipients are selected as much for their leadership capabilities as for their scientific talents. Ultimately they are expected to return to their home countries to continue their academic careers, to further their research, to teach and to become inspirational role models for other young women, especially in the STEM fields.

    For more information, see http://www.facultyforthefuture.net/ and http://www.foundation.slb.com/.

  • Assistant Professor of Game Theory / Operations Research / Social Choice Theory

    Location: Maastricht University
    Newsitem added on 26 October 2014.

    The Mathematical Economics and Operations Research Group at the Department of Quantitative Economics has a strong research orientation and record in the fields of game theory, mechanism design and social choice theory, including algorithmic and computational aspects. The applicant will be appointed as a tenure track assistant professor and contribute to research and teaching within the overlapping areas of game theory, operations research, and social choice theory. Teaching concerns courses in economics, economic theory, and operations research. Research falls under the program Economic Theory, Behavior and Computation.

    Application deadline: 7 November 2014. For more information, see https://www.academictransfer.com/24947/.

  • Two Fixed-Term Lectureships, University of Reading

    Newsitem added on 26 October 2014.

    The Department of Philosophy at the University of Reading, UK, seeks to appoint two fixed-term (three-year), full-time lecturers, from January 2015 to December 2017.

    One will be a lecturer in non-Western Philosophy, the other a lecturer in Moral Philosophy (although what they each teach for us may not be limited to these areas). The successful applicants will each have a PhD in philosophy or a closely related discipline. In each case s/he will be able to provide high quality teaching at undergraduate and postgraduate level.

    The closing date for applications is Sunday November 2nd, 2014. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=5976, http://www.reading.ac.uk/jobs/4485257pCL (Lecturer in Moral Philosophy link) or http://www.reading.ac.uk/jobs/3132657pCL (Lecturer in Non-Western Philosophy link).

Miscellaneous

  • Theme issue on musicality appears with Philosophical Transactions of the Royal Society

    Newsitem added on 1 February 2015.

    Why do we have music? And what enables us to perceive, appreciate and make music? The search for a possible answer to these and other questions forms the backdrop to a soon-to-be released theme issue of Philosophical Transactions, which deals with the subject of musicality. An initiative of Henkjan Honing, professor of Music Cognition at the University of Amsterdam (UvA), this theme issue will see Honing and fellow researchers present their most important empirical results and offer a joint research agenda with which to identify the biological and cognitive basis of musicality.

    For more information, see http://www.uva.nl/en/news-events/news/uva-news/item/

  • Harry Buhrman gives serie of online lectures on quantum computers at UvNL

    Newsitem added on 18 January 2015.

    (Dutch only)
    Elke werkdag zet de Universiteit van Nederland we een nieuw, gratis college online. Afgelopen week was het de beurt aan prof. dr. Harry Buhrman van Universiteit van Amsterdam die college gaf over Kwantumcomputers.

    Het eerste college is getiteld "Waarom is een computer soms zo traag?":
    "Computers kunnen alles. ERROR! Niet dus. Prof. dr. Harry Buhrman, computerwetenschapper aan de Universiteit van Amsterdam en onderzoeker aan het Centrum van Wiskunde & Informatica, legt uit dat er nog steeds fundamentele wiskundige problemen zijn waar onze huidige computers nog niet tegen kunnen opboksen."

    Voor meer informatie, zie http://www.universiteitvannederland.nl/college/

  • The TeX Users Group requests your help!

    Newsitem added on 11 December 2014.

    For more than three decades since its creation by Donald Knuth, the TeX software family has been creating beautiful texts. The software continues to assist many people, from a school student typesetting her homework to a large corporation churning out complex multilingual documents.

    Since 1980, the TeX Users Group has been a steward of TeX development, advocacy and education. TUG is a not-for-profit organization by, for, and of its members. It works in close cooperation with the developers of modern TeX distributions, maintainers of the Comprehensive TeX Archive Network (CTAN), authors of TeX-related software, etc. We organize conferences, publish our flagship journal TUGboat and occasional books, provide development resources and coordinate efforts, maintain the website and perform many other tasks, large and small.

    This work is done by TUG members working as volunteers, with the necessary financial support coming almost entirely from membership dues and generous donations. TUG membership is an important way to care for the future stability and success of TeX. Many individuals and organizations using TeX might be interested in joining, but simply do not know about us.

    For more information, see https://www.tug.org/membership/

  • Heb je uitzonderlijk muzikaal gehoor? Doe de test!

    Newsitem added on 4 December 2014.

    Ben jij een beetje muzikaal? Kun jij een liedje op de perfecte toonhoogte meezingen? Hoor jij meteen of er een valse snaar op een gitaar zit? Sommigen mensen zijn volledig toondoof. Maar mensen met absoluut gehoor kunnen (zonder te kijken!) aan een pianotoets al horen welke noot het is. Een heel zeldzame gave! Maar is deze luistereigenschap wel zo bijzonder? Hoogleraar Muziekcognitie prof. dr. Henkjan Honing (UvA) legt je uit wat nog veel opmerkelijker is aan gehoor.

    For more information, see http://www.universiteitvannederland.nl/college/

  • "History of Humanities" a new journal!

    Newsitem added on 20 November 2014.

    The ILLC will be the editorial home of a new journal: “History of Humanities” which will be published by the University of Chicago Press. This journal takes as its subject the evolution of a wide variety of disciplines including archaeology, art history, historiography, linguistics, literary studies, logic, musicology, philology, and media studies, tracing these fields from their earliest developments, through their formalization into university disciplines, and to the modern day. By exploring these subjects across time and civilizations – from Europe to China -- and along with their epistemic implications, the journal takes a critical look at the concept of humanities itself.

    Editors and associate editors from the ILLC include Rens Bod, Fenrong Liu and Jaap Maat.

    For more information, see http://www.press.uchicago.edu/pressReleases/2014/October/1410HOH.html.

  • Wereldwijde aandacht voor eerste resultaten Hooked on Music

    Newsitem added on 9 November 2014.

    (dutch only)
    De belangstelling voor de eerste onderzoeksresultaten van het project 'Hooked on Music', waarin UvA-wetenschappers Henkjan Honing en Ashley Burgoyne samenwerken met het Museum of Science and Industry in Manchester, wordt steeds groter en internationaler. Wereldwijd berichten de (sociale) media over Wannabe van de Spice Girls als meest catchy hitsingle.

    Voor meer informatie, zie http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/content/nieuwsberichten/2014/

Regular Events

  • Cognition@ILLC

    Date: monthly
    Location: Room F1.15, Science Park 107, Amsterdam

    The goal of the seminar is to create a joint platform to discuss cognition related research. It is organized jointly by three ILLC research groups: LoCo, LaLo, and LaCo. If you have some questions/suggestions please contact Jakub Szymanik at jakub.szymanik at gmail.com.

  • Algebra|Coalgebra Seminar

    Date and time: biweekly on Thursdays, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    The purpose of the meeting is to discuss results and insights about and around algebraic and coalgebraic methods in logic. The atmosphere is very informal, talks usually last one hour and the rest of the time is devoted to discussion.

    The A|C homepage can be found at http://www.illc.uva.nl/alg-coalg/

  • Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)

    Date: Irregular, monthly
    Location: Room varies, Science Park 904, Amsterdam

    This is a seminar series on Provability, Interpretability, Intuitionism and Arithmetic, organized jointly by the universities of Amsterdam, Nijmegen and Utrecht. Each session will consist of informal technical talks, followed by elaborate discussion. The meetings will take place about once a month, either in Amsterdam or Utrecht.

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

  • Cool Logic seminar for Logic Students

    Date and time: biweekly on Fridays, 17:30-18:30
    Location: Room varies, Science Park 904, Amsterdam

    Cool Logic is an internal seminar, where MScLogic and PhD students (only) of the ILLC can meet and keep each other updated about recent, current and ongoing work. It will be more informal than the Logic Tea, and students will be free to present not only finished results, but also e.g. ideas that are not yet fully worked out, or just any logic related topics that they find interesting.

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

  • The LeGO (Leerstoel Groepen Overleg) Seminar

    Date and time: biweekly on Fridays, 16:00-17:30
    Location: Room varies, Science Park 904, Amsterdam

    LeGO is an internal seminar where members of the LLA group (capacity group Logic and Language) keep each other updated about recent, current and ongoing work. Interested ILLC scholars and students are welcome and they can receive the announcements by subscribing to p.j.e.dekker at uva.nl or m.i.crespo at uva.nl.

    The LEGO homepage can be found at http://www.illc.uva.nl/LoLa/LeGO-Seminar/

  • LogiCIC Seminar

    Date: monthly on Thursdays
    Location: Room F1.15, Science Park 107, Amsterdam

    The monthly LogiCIC seminar series is organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.

    For more information and abstracts, see http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

  • SMART Cognitive Science Lectures

    Date and time: monthly, 15:00-18:00
    Location: UvA (building varies), Amsterdam

    The SMART (Speech & language, Music, Art, Reasoning & Thought) Cognitive Science initiative is part of the 'zwaartepunt' Brain & Cognitive Science of the Faculty. The main activity in SMART CS will be a new lecture series with internationally renowned cognitive scientists; additionally, we will support existing activities and initiate new ones, both online and offline, to bring together cognitive scientists at the ILLC, ACLC and other research institutes of the Faculty and to highlight the contributions of the humanities to the cognitive sciences. Our activitities are organized in close collaboration with the Cognitive Science Center Amsterdam.

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

  • ILLC Colloquium

    Date: semiannually

    The ILLC Colloquium is a half-yearly festive event (respectively the New Year's Colloquium and the Midsummernight Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

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

  • Seminar on music cognition and computation

    Date: irregular
    Location: Room TBA, Science Park 904, Amsterdam

    A reading/discussion group on music cognition and computation exists since 2004. For each meeting one or two articles are chosen (and read by the participants beforehand) to form the basis for a discussion.

    The seminar on music cognition and computation homepage can be found at http://staff.science.uva.nl/~ahoningh/readinggroup.html.

  • Logic and Interactive RAtionality (LIRa)

    Date and time: weekly (usually Fridays), 14:30-16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    The LIRa seminar is a series of talks organized by the Amsterdam Dynamics Group, focusing on the logical, philosophical and computational aspects of agency, rational interaction and social-informational dynamics. The seminar covers research topics lying at the interface of Logic with Game Theory, Decision Theory, Learning Theory, Formal Epistemology, Social Choice Theory, Computer Science, Philosophy of Science or Philosophy of Language. Core areas of interest are Modal Logic approaches to interaction, as well as other approaches, e.g. game semantics,dynamic semantics for natural language, (co)algebraic approaches, or (in)dependence-friendly logics.

    Note that the day on which LIRa lectures are held may vary between terms.

    The LIRA seminar homepage can be found at http://www.illc.uva.nl/lgc/seminar/. Information about the Amsterdam Dynamics Group can be found at http://www.illc.uva.nl/dg/.

  • Computational Social Choice Seminar

    Date: irregular
    Location: Science Park 904, Amsterdam

    The Computational Social Choice Seminar is a series of occasional talks that address issues at the interface of computer science (including logic, multiagent systems and artificial intelligence) and mathematical economics (including social choice theory, game theory and decision theory).

    For more information, see http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

  • The Colloquium on Mathematical Logic

    Date: irregularly
    Location: Room C1.112, Science Park 904, Amsterdam or Wiskundegebouw, Budapestlaan 6, Utrecht

    Starting in the Academic Year 2003/2004, the ILLC and the Mathematics and Philosophy Departments of the Universiteit Utrecht will be jointly organizing a Colloquium on Mathematical Logic (organizers: Allessandra Palmigiano, Jouko Väänänen, Jaap van Oosten and Rosalie Iemhoff). This joint colloquium revives the tradition of the InterCity seminar of the 1970s and 1980s and will be a venue for talks by external guests, researchers from Amsterdam and Utrecht, and last but definitely not least, students from Amsterdam and Utrecht.

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

  • Computational Linguistics Seminar

    Date and time: weekly on wednesdays, 16:00
    Location: Room A1.04, Science Park 904, Amsterdam

    Talks by locals and outsiders, alternating with a reading group, on Computational Linguistics -- that is, research that is or can be implemented in a computer program, and tries to process or account for natural language data (which includes language modeling, statistical modeling, pattern recognition and machine learning methods, formal linguistic grammars, speech recognition, machine translation, computational semantics, and other topics that one currently finds at ACL, COLING, or in the CL journal).

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

  • The DIP (Discourse and Philosophy) Colloquium

    Date and time: biweekly on fridays, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    The Discourse and Philosophy (DIP) Colloquium is organized by the Logic and Language group at the Institute for Logic, Language, and Computation, University of Amsterdam. The program reflects the current research interests of the group: cognition and reasoning, formal semantics and pragmatics, computational linguistics, and philosophy of logic and language.

    The DIP homepage can be found at http://www.illc.uva.nl/LoLa/DIP-Colloquium/

  • The Logic Tea

    Date and time: irregular, tuesdays, 17:00-18:00
    Location: Room A1.04, Science Park 904, Amsterdam

    The Logic Tea, a series of one-hour talks designed for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC, with discussion, tea and cookies afterwards.

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

        Back to top of page