News and Events: Upcoming Events

These pages provide information about recent developments at ILLC (last update: 14 May 2012). Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

*    Headlines Upcoming Events


*    Upcoming Events

  • 24 April - 28 June 2012, Course on models of computation
    Location: Utrecht University

    Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.

    The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.

    Lecturers: Vincent van Oostrom and Clemens Grabmayer

    For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.

  • 18 May 2012, DIP Colloquium, Stefan Wintein
    Speaker: Stefan Wintein (Tilburg)
    Date and time: Friday 18 May 2012, 16.00-17.30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 22-23 May 2012, Conference on Education in the Sciences

    On 22-23 May 2012, the Innovatiecentra Academisch Bètaonderwijs (ICAB) will organise a conference on education in the sciences (in Dutch). If you are a lecturer in the MSc Logic programme and would like to participate, please tell Ulle Endriss (the registration fee can be convered from a central UvA budget).

    For more information, see http://www.icab.nl/?pid=3.

  • (New) 23 May 2012, A|C seminar, Kohei Kishida
    Speaker: Kohei Kishida
    Title: Topological- and Neighborhood-Sheaf Semantics for First-Order Modal Logic
    Date and time: Wednesday 23 May 2012, 11:00-13:00
    Location: Room B0.201, Science park 904, Amsterdam

    This talk extends Tarski's classical topological semantics for propositional modal logic to first-order modal logic, with respect to the following two aspects: (i) It takes a sheaf over a topological space, and shows that such structures (or the category of them) model first-order modal logic by equipping points of the space with domains of individuals. (ii) It is also shown how topological semantics extends to the more general case of neighborhood semantics, at the level of sheaf semantics. These extensions provide semantics for the simple unions of first-order logic with S4 modal logic and with more general modal logics. Corresponding to the point-set and algebraic formulations of Tarski's topological semantics, the semantics of this paper will be presented in both point-set and topos-theoretic formulations.

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

  • 30 May 2012, A|C seminar, Umberto Rivieccio
    Speaker: Umberto Rivieccio
    Title: Bilattices with modal operators
    Date and time: Wednesday 30 May 2012, 11:00-13:00
    Location: Room B0.209, Science Park 904, Amsterdam

    Some authors have recently started to consider modal expansions of the well-known Belnap four-valued logic, either with implication (S. Odintsov, H. Wansing et al.) or without it (G. Priest). Given that some bilattice logics are four-valued (conservative) expansions of the Belnap logic, we may wonder whether it makes sense to consider modal expansions of bilattice logics and their algebraic counterpart, which would be bilattices with modal operators. I will present a few ideas on how this can be done.

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

  • 5-6 June 2012, Tarski Workshop, VU University, Amsterdam

    This workshop brings together experts on Alfred Tarski's work, with a variety of backgrounds. Together they throw light on the many facets of Tarski's work, such that the extent of it becomes visible and the interrelation between the various parts emerges.

    For more information, see http://axiom.vu.nl/Tarski_Workshop/

  • 11 June 2012, Colloquium on Mathematical Logic, Michael Beeson
    Speaker: Michael Beeson
    Title: Logic of Ruler and Compass Constructions
    Date and time: Monday 11 June 2012, 16.00-17.00
    Location: Room 010, Drift 23, Utrecht

    For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

  • 16 June 2012, 5th Interaction and Concurrency Experience, Stockholm, Sweden
    Speakers: Marcello Bonsangue and Ichiro Hasuo
    Homepage: http://www.artist-embedded.org/artist/-ICE-2012-.html

    Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions. The theme of ICE 2012 is Distributed coordination, execution models, and resilient interaction.

    Since its 1st edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members.

    For more information, see http://www.artist-embedded.org/artist/-ICE-2012-.html

  • 6-17 August 2012, 24th European Summer School in Logic, Language and Information (ESSLLI-2012), Opole, Poland

    The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

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

  • 7 September 2012, Intuitionism in 2012
    Location: VOC-zaal, Oost-Indisch Huis (UvA), Kloveniersburgwal 48, Amsterdam

    On the 7th of September a workshop on Intuitionism will be organised. Speakers include Benno van den Berg, Rosalie Iemhoff and Joan Rand Moschovakis.

    For more information, contact illc at uva.nl

  • 7 September 2012, Arend Heyting Lectures, Yiannis Moschovakis
    Speaker: Yiannis Moschovakis
    Title: The Church-Turing Thesis and relative recursion
    Date and time: Friday 7 September 2012, 16:00-18:00
    Location: Trippenzaal, KNAW, Kloveniersburgwal 29, Amsterdam

    The Arend Heyting Stichting was founded in 1981. It's goal is to further knowledge of the foundations of mathematics, in particular Intuitionism. On 7 September 2012 Yiannis Moschovakis will deliver the Arend Heyting Lecture to support this goal.

    For more information, contact illc at uva.nl. The Heyting Lecture is part of the celebration of the Alan Turing Year 2012.

  • (New) 7 September 2012, "Intuitionism in 2012"
    Date and time: Friday 7 September 2012, 10:00-15:00
    Location: Oostindisch huis, VOC-zaal, KLoveniersburgwal 48, Amsterdam

    September 7, 2012 there will be a day "Intuitionism in 2012", preceeding the Heyting lecture by Yiannis Moschovakis. Invited speakers: Benno van den Berg, Rosalie Iemhoff, Joan Rand Moschovakis.

  • 12-14 September 2012, Workshop on Lattices and Relations (L&R 2012), University of Amsterdam
    Costs: no registration fee
    Homepage: http://www.illc.uva.nl/Workshops/LR2012/

    Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.

    The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik Szeged and Marcel Jackson La Trobe.

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

  • 19-21 September 2012, SEMDIAL 2012 (SeineDial) -- First Call for Papers, Paris, France

    The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.

    For more information, see the SemDial page at http://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl

  • 13 November 2012, Symposium: the cultural meaning of the life-sciences
    Location: KNAW, Tinbergenzaal, Kloveniersburgwal 29, Amsterdam

    American philosopher Daniel Dennett (Center for Cognitive Studies at Tufts University) has addressed two of the major cultural questions of our time, questions that have defined our self-image: Where do we come from and What is consciousness? He has shown that through the power of thinking combined with sheer hard work one can add new insights to the fields of study that these questions traditionally have belonged to, in this case evolutionary biology, neurobiology and psychology. Dennett addresses philosophical questions with tools derived from the Life Sciences. The new insights that he has developed are challenging and considered groundbreaking among the experts. However, they are also highly accessible to a wider academic readership.

    This symposium offers a select group of PhD students an opportunity to enter into discussion with Daniel Dennett on a range of philosophical topics. The idea is that questions to Dennett should be inspired by on-going PhD work of the students. Deadline for applications: Tuesday 1 May 2012

    For more information, see http://www.huizingainstituut.nl/

  • 5-16 August 2013, 25th European Summer School in Logic, Language and Information (ESSLLI-2013), Duesseldorf, Germany

    The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

    For more information, see http://esslli2013.de/

        Back to top of page

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