Institute for Logic, Language and Computation

Archives

News Archives 2016

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, 2014 and 2015, 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) 12 February 2016, Cool Logic, Lucy van Oostveen

    Speaker: Lucy van Oostveen
    Title: Computational models of emotion regulation
    Date and time: Friday 12 February 2016, 17:30-18:30
    Location: F1.15 (ILLC seminar room), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD candidates

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

  • (Updated) 12 February 2016, Logic and Interactive Rationality (LIRa), Rahim Ramezanian

    Speaker: Rahim Ramezanian
    Title: Epistemic Protocols for Dynamic Gossip
    Date and time: Friday 12 February 2016, 13:00-14:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 9 February 2016, FGw Information meeting NWO Free Competition

    Date and time: Tuesday 9 February 2016, 13:00-14:30
    Location: Bungehuis Room 0.04, Spuistraat 210, Amsterdam

    NWO will soon open the call for the Vrije Competitie-grant ('Free competition'); the deadline for grant applications is (tentatively) scheduled for 1 April 2016. The grant team has scheduled an information meeting where members of the grant team will provide basic information on the grant and on setting the budget; we will invite a former laureate to talk about 'best practices' and a former comittee member to talk about his/her experiences reviewing grant applications.

    Please send us an e-mail if you are planning to attend this meeting at subsidie-fgw at uva.nl. For more NWO-information on the Free Competition-grant, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/free-competition/gw/ (note that this information has not yet been brought up-to-date)

  • 9 February 2016, FGw Information meeting ERC Advanced grant

    Date and time: Tuesday 9 February 2016, 15:00-16:30
    Location: PC Hoofthuis room 5.19 , Spuistraat 134, Amsterdam

    On 9 February we will start our support track for the ERC Advanced grant with an information meeting. The ERC advanced grant is open to all experienced researchers who are leaders in their field.

    Please contact the Grant Team to register for this meeting at subsidie-fgw at uva.nl. For more information, see https://erc.europa.eu/advanced-grants

  • 9 February 2016, Computational Linguistics Seminar

    Title: Ding et al. (2015): Cortical tracking of hierarchical linguistic structures in connected speech
    Date and time: Tuesday 9 February 2016, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 5 February 2016, Logic and Interactive Rationality (LIRa), Fan Yang

    Speaker: Fan Yang (TU Delft)
    Title: Dependence Logic and Arrow’s Theorem
    Date and time: Friday 5 February 2016, 13:00-14:30
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam

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

  • 29 January 2016, Cool Logic, Bartosz Wcisło

    Speaker: Bartosz Wcisło
    Title: Measuring the Content of Truth
    Date and time: Friday 29 January 2016, 17:30-18:30
    Location: Room F1.15 (ILLC seminar room), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD candidates

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

  • 29 January 2016, SMART Cognitive Science Debate on Defining Cognition

    Date and time: Friday 29 January 2016, 16:00-17:30
    Location: OMHP Room F2.01C, Oudemanhuispoort 4-6, Amsterdam

    Friday, January 29th, there will be a SMART Cognitive Science debate on "Defining Cognition" with Jelle Zuidema, Fred Weerman, Jeannette Schaeffer, Rens Bod, Juilan Kiverstein and Patricia Pisters, followed by drinks and snacks.

    For more information, see http://smartcs.humanities.uva.nl/news/debate-on-defining-cognition/

  • 29 January 2016, Amsterdam Brain & Cognition (ABC) Lecture, Steve Fleming

    Speaker: Steve Fleming (UCL)
    Title: The reflective mind: computations supporting metacognitive awareness
    Date and time: Friday 29 January 2016, 16:00
    Location: Room 5.01, Diamantbeurs, Weesperplein 4, Amsterdam

    For more information, see http://abc.uva.nl/events/item/abc-colloquium-steve-fleming.html

  • 27 January 2016, Algebra|Coalgebra Seminar, Silvio Ghilardi (Università degli Studi di Milano)

    Speaker: Silvio Ghilardi (Università degli Studi di Milano)
    Title: Monadic second order logic as the model companion of temporal logici
    Date and time: Wednesday 27 January 2016, 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 Frederik Lauridsen (F.M.Lauridsen at uva.nl).

  • 22 January 2016, Music Cognition Reading Group

    Title: Patel and Iversen
    Date and time: Friday 22 January 2016, 15:00-16:30
    Location: Room F1.15, Science Park 107, Amsterdam

    In this meeting will discuss the paper: The evolutionary neuroscience of musical beat perception: the Action Simulation for Auditory Prediction (ASAP) hypothesis.

    For more information, see https://musicreadinggroup.wordpress.com/

  • 21 January 2016, Logic and Interactive Rationality (LIRa), Theo Kuipers

    Speaker: Theo Kuipers (Groningen)
    Title: Concretizations of two-sided nomic truth approximation: quantification, refinement, and stratification
    Date and time: Thursday 21 January 2016, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 15 January 2016, ILLC Midwinter Colloquium 2016, ILLC Common room, Science Park 107, Amsterdam

    Newsitem added on 4 November 2015.

    The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter 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.

    Note that it was previously announced that this event was going to take place on 8 January 2016.

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

Calls for Papers

  • 20 - 24 June 2016, Logica 2016, Hejnice, Czech Republic (deadline: 15 February 2016)

    Newsitem added on 17 December 2015.

    Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

    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 is 15 February 2016.

    For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

  • 9-11 May 2016, PhDs in Logic VIII, Darmstadt, Germany (deadline: 7 February 2016)

    Newsitem added on 14 January 2016.

    PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.

    The program will involve five tutorials by established researchers in different fields as well as short presentations by PhD students on their research.

    We invite abstracts by PhD students on their research in any general field of Logic: Mathematical Logic, Philosophical Logic, Logic in Computer Science. The abstracts will be reviewed anonymously by two members of the Scientific Committee: the chosen abstracts will be presented by their authors during the conference in a 20 minute presentation. Please submit your blinded abstract by February 7th 2016.

    For more information, see www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/

  • 22-25 April 2016, 29th International Workshop on Description Logics (DL 2015), Cape Town, South Africa (deadline: 7 February 2016)

    Newsitem added on 14 January 2016.

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

    This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).

    We invite contributions on all aspects of description logics, Paper registration deadline: February 7, 2016.

    For more information, see http://dl2016.cs.uct.ac.za/

  • 19-24 June 2016, 33rd International Conference on Machine Learning (ICML 2016), New York, U.S.A. (deadline: 5 February 2016)

    Newsitem added on 14 January 2016.

    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 5th.

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

  • 9 or 10 May 2016, Logical Aspects of Multi-Agent Systems (LAMAS'16), Singapore (deadline: 1 February 2016)

    Newsitem added on 3 December 2015.

    There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

    The workshop is intended to cover, but it is not limited to, the following subjects:
    - Logical systems for specification, analysis, and reasoning about MAS
    - Modeling MAS with logic-based models
    - Logic in game theory
    - Logic in social choice theory
    - Deductive systems and decision procedures for logics for MAS
    - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
    - Logic-based tools for MAS
    - Applications of logics in MAS

    We will allow three types of submissions to attract a broad audience and to have a mixed bag of contributions: regular papers, system descriptions and extended abstracts. Paper submision deadline is February 1, 2016, with author notification at March 2 and camera-ready deadline on March 10.

    For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

  • 22-24 June 2016, 21st International Conference on Applications of Natural Language to Information Systems (NLDB 2016), Manchester, UK (deadline: 31 January 2016)

    Newsitem added on 19 November 2015.

    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.

    NLDB 2016 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 review and discussion papers. Submission deadline is 31 January 2016.

    For more information see http://www.salford.ac.uk/conferencing-at-salford/conference-management/

  • 11-15 November 2016, 5th World Congress on the Square of Opposition, Easter Island - Rapa Nui (deadline: 31 January 2016)

    Newsitem added on 18 December 2015.

    This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

    To submit a contribution send a one page abstract before January 31, 2016. All talks related to the square of oppostion are welcome, as well as Diagrammatic and Artistic works related to the square of oppposition.

    .

    For more information, see http://www.square-of-opposition.org/square2016 or contact rapanui2016 at square-of-opposition.org.

  • 22-26 June 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, Portugal (deadline: 29 January 2016)

    Newsitem added on 12 November 2015.

    FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions can be made in two categories: regular research papers and system descriptions. Submission deadline (title and abstract): 29 January 2016.

    For more information, see http://fscdconference.org/ and http://fscd2016.dcc.fc.up.pt/ or email fscd2016 at dcc.fc.up.pt.

  • 12-17 June 2016, 15th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL HLT 2016), San Diego, U.S.A. (deadline: 6 January 2016)

    Newsitem added on 19 November 2015.

    The conference covers a broad spectrum of disciplines working towards enabling intelligent systems to interact with humans using natural language, to understanding computational and other linguistic properties of language, and to enhancing human-human communication through services such as speech recognition, automatic translation, information retrieval, text summarization, and information extraction

    The conference invites the submission of long and short papers on substantial, original, and unpublished research in all aspects of automated language processing and creation of language resources. The short paper format may also be appropriate for a small, focused contribution, a work in progress, a negative result, an opinion piece or an interesting application nugget. Deadline for both Long and Short paper submission: Jan 6, 2016.

    For more information see http://naacl.org/naacl-hlt-2016/

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.

  • 25-29 January 2016, 2016 Winter School on Quantum Security, Darmstadt, Germany

    Costs: only travel and accommodation
    Newsitem added on 25 October 2015.

    The first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.

    As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.

    The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.

    For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-2016/

  • 15 January 2016, Workshop "Backgrounded reports: commitment and negation in parenthetical reports and reportative evidentials", Radboud University, Nijmegen, the Netherlands

    Speakers: Regine Eckardt, Martina Faller, Julie Hunter, Todor Koev, Corien Bary & Emar Maier
    Newsitem added on 18 October 2015.

    There are various forms of reported speech in which the aspect of reporting is somehow backgrounded, or not-at-issue. and the content of the report itself, i.e., the complement or quoted phrase, serves as the main point. In this workshop we want to bring together the more or less disjoint strands of research on the different classes of backgrounded reporting to explore the possibilities of a unified approach of all these phenomena that takes into account the relevant facts about commitment, denial, and projection.

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

  • 9-10 January 2016, 98th Peripatetic Seminar on Sheaves and Logic, Doorn, The Netherlands

    Newsitem added on 17 December 2015.

    We are happy to announce the 98th Peripatetic Seminar on Sheaves and Logic, which will take place during the weekend of 9 and 10 January 2016 in Doorn, the Netherlands. As usual, we invite talks on every aspect of category theory or its applications in mathematics.

    To have a clear estimate of the number of participants, we ask participants to register preferably before December 21. For more information, see https://staff.fnwi.uva.nl/b.vandenberg3/PSSL98/

  • 6-9 January 2016, 2015-16 ASL Winter Meeting, Seattle WA, U.S.A.

    Newsitem added on 10 May 2015.

    The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

    For more information, see http://www.aslonline.org/asl_meetings.php

  • 4-7 January 2016, Logical Foundations of Computer Science 2016 (LFCS'16), Deerfield Beach FL, U.S.A.

    Newsitem added on 13 April 2015.

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

    For more information, see http://lfcs.info/lfcs-2016/

  • 4-17 January 2016, 6th Bar-Ilan Winter School on Cryptography, Tel-Aviv, Israel

    Newsitem added on 17 September 2015.

    The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. 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. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

    For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

MoL and PhD defenses

  • 15 January 2016, Master of Logic defense, Sarah Hiller

    Title: Corrective Feedback in First Language Acquisition
    Date and time: 15 January 2016, 11:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Raquel Fernandez Rovira
  • 8 January 2016, Master of Logic defense, Nikolas Nisidis

    Title: A decompositional analysis of discourse relations
    Date and time: Friday 8 January 2016, 14:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Henk Zeevat
    For more information, please contact t.kassenaar at uva.nl

Projects and Awards

  • (New) NWO Vici for Arianna Betti

    Newsitem added on 12 February 2016.

    NWO has awarded 32 scientists a Vici grant of 1.5 million Euros, including ILLC staff member prof. Dr. Arianna Betti for the project 'Ideas at scale - Towards a computational history of ideas (e-Ideas)'. The funding will enable the laureates to do research for the next five years and to build up their own research group. Vici is one of the largest grants for individual scientists in the Netherlands and is part of NWO's Talent Scheme.

    For more information, see http://www.nwo.nl/en/research-and-results/programmes/Talent+Scheme/awards/

  • (New) ERC Consolidator Grant awarded to Franz Berto

    Newsitem added on 7 February 2016.

    The European Research Council (ERC) has awarded a Consolidator Grant to five researchers from the University of Amsterdam (UvA), including ILLC staff member Prof.dr. Franz Berto (for the project LoC, "The Logic of Conceivability: Modelling Rational Imagination with Non-Normal Modal Logics"). An ERC Consolidator Grant is a prestigious personal grant of about two million euros and provides research support to talented researchers for a period of five years.

    For more information, see http://www.uva.nl/en/news-events/news/uva-news/content/press-releases/2016/02/ or contact F.Berto at uva.nl

  • ILLC Alumnus Erik Rietveld member of Society of the Arts

    Newsitem added on 21 January 2016.

    The Society of Arts has selected thirteen new members. Amongst the nwe members are ILLC Alumnus and Vidi Laureaat Erik Rietveld together with his brother Ronald, for their work at the crossroads of architecture, art and science.

    For more information, see http://www.knaw.nl/en/about-us/society-of-arts and http://www.knaw.nl/nl/actueel/nieuws/.

  • Fenrong Liu is awarded Changjiang Distinguished Professorship

    Newsitem added on 28 January 2016.

    Fenrong Liu, Professor at Tsinghua University and holder of the Amsterdam-China Visiting Chair, has been awarded a Changjiang Distinguished Professorship by the Ministry of Education in China. The highly competitive national Changjiang Program, founded in 1998, is considered to be China's most prestigious scholarly honor.
    Fenrong Liu is the first logician to receive this award, in recognition of her academic contributions.

    Fenrong Liu obtained her Ph. D. at the ILLC, University of Amsterdam in 2008, and became a full professor at Tsinghua University in 2011. She is currently a Co-Director of the Tsinghua-UvA Joint Research Center for Logic.

    For more information, see http://www.moe.gov.cn/srcsite/A04/s8132/201601/t20160111_227571.html

  • ERC Starting Grants awarded to Floris Roelofsen and Ivan Titov

    Newsitem added on 17 November 2015.

    The European Research Council (ERC) has awarded a Starting Grant to six researchers from the University of Amsterdam (UvA), including our own Dr Floris Roelofsen (for the project "QuModQu Quantification and Modality in the Realm of Questions") and Dr Ivan Titov (for the project "BROADSEM: Induction of Broad-Coverage Semantic Parsers"). Our PhD student Ivano Ciardelli has made important contributions to the QuModQu research proposal and will play a prominent role in the project as a postdoctoral researcher.

    A Starting Grant is a personal grant of about 1.5 million euros and provides research support to talented researchers for a period of five years.

    For more information, see http://www.uva.nl/en/news-events/news/uva-news/content/press-releases/2015/11/.

  • 1st Luxembourg Art Prize

    Newsitem added on 17 November 2015.

    On September 19 this year, Albert Janzen, one of our Master of Logic students, was awarded the first Luxembourg Art Prize 2015.
    For his art work, which you can see on the website below, Albert received a grant to produce a solo exhibition to be held at La Galerie Hervé Lancelin in Luxembourg in 2016.

    For more information, see https://www.artluxembourg.lu/albert-janzen-laureat-2015/

Funding, Grants and Competitions

  • (New) NIAS: Theme-group Fellowships

    Newsitem added on 12 February 2016.

    Theme Groups bring together scholars of different backgrounds with specific expertise to work together on a daily basis, to advance knowledge on a particular theme. A NIAS research theme group is a group composed of maximum five scholars, half of them from the Netherlands, the other half from other countries. They become Fellows at NIAS for one semester of five months. Researchers work both individually and as a team on a clearly defined research topic with the aim of producing a concrete result such as a book, scientific paper or conference.

    Deadline for submitting a Theme Group Proposal for the research year 2017/18: 15 April 2016. For more information, see http://www.nias.knaw.nl/theme-groups

  • (New) NWO Vici

    Newsitem added on 12 February 2016.

    The Innovational Research Incentives Scheme Vici is a grant for senior researchers. It is a funding instrument from the Talent Scheme, and gives senior researchers the opportunity to build up their own research group, often in anticipation of a tenured professorship.

    Deadline for applications: Thursday 24 March 2016. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/

  • (New) Paris Institute for Advanced Study Fellowships

    Newsitem added on 12 February 2016.

    The Paris Institute for Advanced Study welcomes applications from high level international scholars and scientists in the fields of the humanities, the social sciences and related fields for periods of five or nine months, during the academic year 2017-2018. The Paris IAS will host around twenty guest researchers, allowing them to work freely on the project of their choice. The researchers will benefit from the scientific environment of the Institute and have the opportunity to create contacts with researchers in the academic institutions of Greater Paris.

    Deadline for applications: 1 March 2016. For more information, see http://www.paris-iea.fr/en/apply/calls-for-applications/

  • The Cooperation Flanders programme

    Newsitem added on 8 January 2016.

    The Cooperation Flanders programme funds and encourages joint research by Flemish and Dutch researchers in the humanities. Many scientific questions cross boundaries and so national borders should not hinder researchers. The research programme funds projects that are jointly realised by two researchers at a time: one Dutch and one Flemish researcher.

    2016 Application deadlline: Friday 1 April 2016. For more information, see http://www.nwo.nl/en/research-and-results/programmes/gw/cooperation-flanders/.

  • Cooperation Japan (JSPS) - Invitation fellowship

    Newsitem added on 8 January 2016.

    NWO has a cooperation agreement with the Japan Society for the Promotion of Science (JSPS). The programme Cooperation Japan (JSPS) is for Dutch researchers who want to cooperate with colleagues in Japan. It offers the possibility of a JSPS Invitation fellowship in Japan.

    For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/cooperation-japan-jsps/

  • Robert J. Glushko Dissertation Prizes

    Newsitem added on 8 January 2016.

    The Cognitive Science Society and the Glushko-Samuelson Foundation will award up to five outstanding dissertation prizes in cognitive science. The goals of these prizes are to increase the prominence of cognitive science, and encourage students to engage in interdisciplinary efforts to understand minds and intelligent systems. The hope is that the prizes will recognize and honor young researchers conducting ground-breaking research in cognitive science.

    Application deadline: Saturday 30 January 2016, For more information, see http://www.cognitivesciencesociety.org/about_awards_glushko_nominations.html

  • Heinrich Boell Stiftung: student and doctoral scholarships

    Newsitem added on 6 December 2015.

    The scholarship department of the Heinrich Böll Foundation grants scholarships to undergraduates, graduates, and doctoral students from inside and outside Germany.

    We hold the application process twice a year. The application deadline is 1 March and 1 September. Please note: We only accept online applications. The application portal will be opened about 6 weeks before the application deadline.

    Deadline: Sunday 1 March 2016. For more information, see https://www.boell.de/en/foundation/application and http://www.boell.de/en/2015/04/02/application-process-spring-2016.

Open Positions at ILLC

Open Positions, General

  • (New) University of Strathclyde: PhD Position

    Newsitem added on 7 February 2016.

    Applications are invited for PhD study under the supervision of Dr Clemens Kupke and Prof Neil Ghani in coalgebra, category theory and logic with special focus on coalgebraic fixpoint logics and their applications in databases and economic game theory. The position is fully funded for EU students and will last for 3.5 years.

    For more information, please contact P.vanOrmondt at uva.nl

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

  • (New) University of Strathclyde: Research Associate

    Newsitem added on 7 February 2016.

    Applications are invited for a Research Associate to work under the supervision of Dr Clemens Kupke on the EPSRC grant "Coalgebraic Foundations of Semi-Structured Data".

    Deadline: 29 Februari 2016. For more information, see https://bit.ly/1KLxjMz

  • Postdoc research fellows, Basque Country, Spain

    Newsitem added on 21 January 2016.

    Ikerbasque - the Basque Foundation for Science, launched a call offering 15 contract positions for postdoctoral researchers, within any of the Basque Research Institution (Universities, BERC - Basque Excellence Research Centres, CIC – Cooperative Research Centres, Biomedical institutions and Technology Corporations, among others). These Fellowships are intended to offer young promising researchers a track towards a PI role and independent research. The applicants must have their PhD completed between 1/1/2006 and 31/12/2013. The positions are for a period of 5 years. Application deadline: 4 April 2016.

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

  • University of Lublin: PhD position

    Newsitem added on 17 January 2016.

    The Faculty of Philosophy at the John Paul II Catholic University of Lublin invites applications for one PhD position (33 months) starting from 01 April 2016 or soon after. The Faculty is a vital research and teaching environment in Philosophy and Cognitive Science, offers excellent career development opportunities. The position will be in the project "Permissions, Information and Institutional Dynamics, Obligations, and Rights" under the supervision of Prof. Piotr Kulicki.

    Deadline: Monday 15 February 2016. For more information, see http://www.philosophy.kul.pl/phd-student-position/ and http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft//

  • PhD Position in Logic, University of Bern

    Newsitem added on 17 January 2016.

    The Mathematical Institute at the University of Bern invites applications for a PhD position in the Mathematical Logic Group of Prof. George Metcalfe.

    Applicants are expected to have a strong background in Logic and an interest in pursuing research on topics related to Universal Algebra, Proof Theory, and/or Non-Classical Logics. Due to University regulations, applicants should also have at least a (Bachelor) Minor in Mathematics and a Masters degree before starting the position.

    The salary for the position, including a 15 percent teaching assistantship, is approximately 50,000 Swiss Francs per year.

    For more details, and information on how to apply (closing date: 30.4.2016) please contact Prof. George Metcalfe by email atgeorge.metcalfe at math.unibe.ch.

  • PhD position in Logic, AI and philosophy, Utrecht (the Netherlands)

    Newsitem added on 14 January 2016.

    An open PhD position is available in the REINS project on the topic of 'Responsible agency'. We are looking for a student with a formal/philosophical logic background (not necesarilly a mathematical logic background) who wants to further develop his knowledge and skills in an interdisciplinary project with legal theorists, AI-researchers and philosophers.

    More on the informal aspects of the project can be found at http://www.projects.science.uu.nl/reins/ For inquiries, please send an email directly to Jan Broersen at J.M.Broersen at uu.nl.

  • Postdoc Position in Multi-agent Systems, EPFL, Lausanne

    Newsitem added on 8 January 2016.

    Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.

    LIA has en opending for a post-doc position. The position is not attached to a specific project but candidates should have a background in the broad area of multi-agent systems, ranging from AI planning to computational game theory. The position offers possibilities for career development through teaching and supervision of student projects at all levels. The annual salary is very competitive at about 80000 Swiss Francs/year. The starting date can be as soon as possible but is flexible.

    For more information, see the LIA-website at http://liawww.epfl.ch/, or contact prof. Boi Faltings by email: boi.faltings at epfl.ch.

  • PhD Positions in Artificial Intelligence, EPFL, Lausanne

    Newsitem added on 8 January 2016.

    Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.

    LIA has several openings for Ph.D. candidates in Artificial Intelligence, with particular interest in autonomous intelligent agents, multi-agent systems, computational game theory, and multi-agent learning. Studies will be part of the EDIC Ph.D. program. The positions carry an assistantship with an annual salary of about 50000 Swiss Francs/year.

    Applications have to be submitted to EDIC at http://phd.epfl.ch/edic by April 15th, 2016. For more information, see the LIA-website at http://liawww.epfl.ch/, or contact prof. Boi Faltings by email: boi.faltings at epfl.ch.

  • Lecturer (Assistant Professor) Position in Computer Science, Liverpool

    Newsitem added on 8 January 2016.

    We seek a research-active, motivated, and highly professional individual expected to contribute in a variety of ways to the research areas mentioned below. You should have an excellent research track record or high research potential in the area of your expertise, strong interest in securing research funding, and ability to contribute to teaching provided by the Department. Preference will be given to those with potential in interdisciplinary research, research impact, and outreach activities. The Department is renowned internationally for excellent research in Algorithms and Optimisation; Argumentation; Automata, Computability and Complexity Theory; Data Mining and Machine Learning; Economics and Computation; Networks and Distributed Computing; Knowledge Representation; Robotics and Autonomous Systems; and,Verification.

    Closing date for receipt of applications: Friday, 15 January 2016 at 17:00 GMT. For more information, see https://www.liverpool.ac.uk/working/jobvacancies/currentvacancies/academic/

  • Postdoc position in SAT solving at KTH Royal Institute of Technology

    Newsitem added on 13 December 2015.

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.

    The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. 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.

    These are full-time employed positions for one year with a possible one-year extension. The expected start date is August-September 2016, although this is to some extent negotiable.

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

  • Postdoc position at KTH Royal Institute of Technology

    Newsitem added on 13 December 2015.

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in computational complexity.

    The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research 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.

    These are full-time employed positions for one year with a possible one-year extension. The expected starting date is August-September 2016, although this is to some extent negotiable.

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

  • PhD position in Logic & Foundations of Decision Making

    Newsitem added on 6 December 2015.

    A PhD position is open at the Faculty of Technology, Policy and Management at the Delft University of Technology.

    The PhD candidate will conduct research at the interface of logic and computer science, and theories of decision making, such as decision theory, game theory, and social choice theory. The research project will be formulated in consultation with the PhD candidate. Particular topics of interest include the development of modal logics of strategic ability, belief and rationality, as well as algebraic/coalgebraic methods for reasoning about dynamic decision making processes. The PhD candidate will be supervised by Dr. Helle Hvid Hansen who works closely with the Applied Logic group at TPM, as well as with other researchers in coalgebra and logic in the Netherlands and abroad.

    For more details, and information on how to apply (closing date: 14 Dec 2015), go to http://recruitment2.tudelft.nl/vacatures/.

  • Hack Your Future

    Newsitem added on 17 November 2015.

    Hackyourfuture is an initiative that teaches computer programming to refugees in Dutch refugee centers. At the moment many refugees have very few possibilities in terms of work and education during their time in a refugee center. Our aim is to teach refugees to program and to bring them in contact with our network of businesses that hire programmers. Currently we're developing our on-line educational program and we're looking for programmers who would like to help out to create a high quality course.

    We are looking for people who'd like help as:
    - tutors, who help our students with their programming exercises and help them with more general questions. (like what language to learn next, career questions etc.) This is mainly done on-line and takes 2-4 hours a week. (we will teach multiple programming languages)
    - program developers, who organize and structure the educational set-up of the program. This mainly comes down to creating a curriculum of interesting exercises for our students after they have learned the basics of programming.

    If you're interested in helping, or have any questions mail usinfo at hackyourfuture.net. Also have a look at our website: http://www.hackyourfuture.net/. All help is greatly appreciated.

  • PhD and Postdoc Positions at QMATH Copenhagen

    Newsitem added on 15 November 2015.

    The positions are available in the frame of the recently announced Villum Center for Excellence in the Mathematics of Quantum Theory (QMATH) at the University of Copenhagen.

    QMATH will focus on research in quantum information theory and mathematical physics and will work in close collaboration with experimental quantum science in Copenhagen.

    For more information and current activities, please see: http://www.math.ku.dk/english/research/gamp/qit/.
    Postdoc call (deadline: Nov 30, 2015): http://employment.ku.dk/faculty/?show=778262.
    PhD call (deadline January 3, 2016): http://www.math.ku.dk/english/about/jobs/phd_2016/.

  • PhD student position in Cottbus

    Newsitem added on 5 November 2015.

    Klaus Meer informed us that there is an opening for a PhD student in theoretical computer science at the TU Cottbus. The position is a three year full-time position with teaching duties starting from 1 April 2016.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7036 or contact professor Meer at meer at b-tu.de.

Miscellaneous

  • NWO Open Competition grant for "The Flow of Cognitive Goods"

    Newsitem added on 10 January 2016.

    Rens Bod (ILLC) and Jeroen van Dongen (Institute of Physics) received an NWO Open Competition grant to carry out their project "The Flow of Cognitive Goods: Towards a Post-Disciplinary History of Knowledge". The project will fund two PhD positions and one Postdoc position (738.000 Euro). It will investigate the long-term exchanges of ideas and methods across disciplines using both digital humanities techniques (analyzing cross-citations from 46 million publications) and historical methods (primary and secondary sources).

    For more information, see Rens Bod <rens.bod at gmail.com>

  • Master in Pure and Applied Logic

    Location: Barcelona
    Newsitem added on 31 December 2015.

    The biannual two-year 'Master in Pure and Applied Logic' programme for 2016-2018, jointly organized by the University of Barcelona and Polytechnical University of Catalunya, is open for (pre) registration.

    The Barcelona Logic Master caters in the most central aspects of advanced logic. Professors related to the Barcelona Master in Pure and Applied Logic come from various prominent Universities and Research Institutes in the area of Barcelona.

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

  • Honorary doctorate Dick de Jongh and Matthias Baaz

    Newsitem added on 5 October 2015.

    An honorary doctorate was awarded by the Ivane Javakhishvili Tbilisi State University to Professors Dick de Jongh (ILLC, University of Amsterdam) and Matthias Baaz (Vienna University of Technology) in recognition of their contribution to the development of the Georgian schools of logic and linguistics.

    The ceremony was held during The Eleventh Tbilisi Symposium on Logic, Language and Computation, Tbilisi, Georgia, 25 September, 2015.

    For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/Honorary-doctorate

Regular Events

  • Music Cognition Reading Group

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

    The Music Cognition Reading Group is a monthly meeting where we discuss recent papers in the field of music cognition and occasionally have a guest speaker over. The meetings are open to anyone interested in music cognition.

    For more information, see https://musicreadinggroup.wordpress.com/

  • Theoretical Computer Science Seminar

    Date: irregular
    Location: Science Park 904, Amsterdam

    The Theoretical Computer Science seminar is a series of talks about theoretical computer science, focusing on topics related to algorithms, complexity, cryptography and quantum computing. Talks are organized in cooperation with the Algorithms and Complexity group at CWI. Events usually take place at CWI or at the ILLC.

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

  • 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, see http://www.illc.uva.nl/coollogic/ or 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://smartcs.humanities.uva.nl/.

  • 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), 13:00-14:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

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

  • (New) Dutch Social Choice Colloquium

    Newsitem added on 9 February 2016.

    The Dutch Social Choice Colloquium will organise regular half-day meetings in Amsterdam, Maastricht, and Rotterdam on a wide variety of topics related to social choice theory, with local and international speakers from, amongst others, Philosophy, Political Science, Economics, Mathematics, Artificial Intelligence, and Computer Science. Everyone is welcome to attend. Please subscribe to the DSCC mailing list for announcements of individual metings.

    For more information on the programme and the mailing list, please visit http://www.illc.uva.nl/DSCC/.

        Back to top of page