Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

News and Events: Upcoming Events

These pages provide information about recent developments at or relevant to the ILLC. 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.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

<< January 2019 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Click on an event to view details.

7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The Netherlands

Date: 7 - 11 January 2019
Location: Amsterdam, The Netherlands

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The Netherlands

Date: 7 - 11 January 2019
Location: Amsterdam, The Netherlands

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The Netherlands

Date: 7 - 11 January 2019
Location: Amsterdam, The Netherlands

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The Netherlands

Date: 7 - 11 January 2019
Location: Amsterdam, The Netherlands

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The Netherlands

Date: 7 - 11 January 2019
Location: Amsterdam, The Netherlands

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

illc_no_text_logo.jpg

14 January 2019, ILLC New Year's Colloquium 2019

Date & Time: Monday 14 January 2019, 16:00-17:15
Location: ILLC Common Room, Room F1.21, Science Park 107, Amsterdam

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.

For more information, see http://www.illc.uva.nl/ILLCColloquium/ or contact Christian Schaffner at .

(New) 17 January 2019, ILLC Meeting on ICT Facilities

Date & Time: Thursday 17 January 2019, 16:00-17:00
Location: ILLC, room F1.15, Science Park 107, Amsterdam

We are planning a meeting to discuss ICT facilities available to people at ILLC. In particular, we would like to make an inventory of
what is available now and to whom. And we wish to discuss if this is
enough, or if more is needed. And if so, what exactly.

For more information, contact Peter van Ormondt at .

18 January 2019, Dutch Social Choice Colloquium

Date & Time: Friday 18 January 2019, 13:30-18:00
Location: Maasstricht

Speakers: Kristof Bosmans, Bettina Klaus, Flip Klijn, Jordi Massó, Ton Storcken.

21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the Netherlands

Date: 21 - 25 January 2019
Location: Doelenzaal, University Library, Singel 425 Amsterdam, the Netherlands
Deadline: Friday 19 October 2018

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

For more information, see http://events.illc.uva.nl/SYSMICS2019/.

21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the Netherlands

Date: 21 - 25 January 2019
Location: Doelenzaal, University Library, Singel 425 Amsterdam, the Netherlands
Deadline: Friday 19 October 2018

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

For more information, see http://events.illc.uva.nl/SYSMICS2019/.

21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the Netherlands

Date: 21 - 25 January 2019
Location: Doelenzaal, University Library, Singel 425 Amsterdam, the Netherlands
Deadline: Friday 19 October 2018

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

For more information, see http://events.illc.uva.nl/SYSMICS2019/.

21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the Netherlands

Date: 21 - 25 January 2019
Location: Doelenzaal, University Library, Singel 425 Amsterdam, the Netherlands
Deadline: Friday 19 October 2018

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

For more information, see http://events.illc.uva.nl/SYSMICS2019/.

21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the Netherlands

Date: 21 - 25 January 2019
Location: Doelenzaal, University Library, Singel 425 Amsterdam, the Netherlands
Deadline: Friday 19 October 2018

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

For more information, see http://events.illc.uva.nl/SYSMICS2019/.

25 January 2019, LUNCH Seminar, Catholijn Jonker

Speaker: Catholijn Jonker
Date & Time: Friday 25 January 2019, 13:00-14:00
Location: ILLC Common Room (F1.21), Science Park 107, Amsterdam

Catholijn Jonker from TU Delft is the second speaker of the ILLC LUNCH seminar!

For more information, see https://events.illc.uva.nl/LUNCH/ or contact Sirin Botan at , or Zoi Terzopoulou at .

25 January 2019, Open Access: turning promises into reality

Date & Time: Friday 25 January 2019, 14:30-17:00
Location: Turing room, Science Park 123, 1098 XG Amsterdam

CWI organizes a meeting concerning Open Access aimed for a broad audience. It will be devoted to a discussion of Plan S, an initiative for Open Access publishing, launched in September 2018, and supported by an international consortium of research funders, including NWO, and to two radical initiatives, SciPost, and Open Research Central.

(New) 28 January 2019, Logic and Interactive Rationality (LIRa), Dag Westerstahl

Speaker: Dag Westerstahl
Date & Time: Monday 28 January 2019, 16:30-18:00
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

(New) 31 January 2019, Logic and Interactive Rationality (LIRa), Gabrielle Gramelsberger

Speaker: Gabrielle Gramelsberger
Date & Time: Thursday 31 January 2019, 16:30-18:00
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam