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.
<< April 2014 | ||||||
---|---|---|---|---|---|---|
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 March - 2 April 2014, Amsterdam Quantum Logic Workshop
This three-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.
For more information, see http://www.joshuasack.info/events/workshop2014/.
1 April 2014, Logic Tea, Guillaume Thomas
For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).
Or see here.
1 April 2014, AUC Logic Guest Lectures, Jakub Szymanik
Jakub Szymanik (ILLC) will talk about 'Logic and Complexity in Cognitive Science' to the first year AUC students currently following the course 'Logic, Information flow and Argumentation'. The lecture is open to all interested parties.
For more information, please contact t.achourioti at uva.nl.
31 March - 2 April 2014, Amsterdam Quantum Logic Workshop
This three-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.
For more information, see http://www.joshuasack.info/events/workshop2014/.
2 April 2014, Computational Linguistics Seminar, Wilker Aziz
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
3 April 2014, Algebra|Coalgebra Seminar, Fatemeh Seifan
Abstract
In this talk we will use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoy the uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under projection, which is known to hold for weak-pullback preserving functors, to a more general class of functors, i.e.; functors with quasi-functorial lax extensions. Then we will show thatclosure under projection implies definability of the bisimulation quantifier in the language of coalgebraic fixpoint logic, and finally we prove the uniform interpolation theorem.
For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.Sourabh at uva.nl).
4 April 2014, DIP Colloquium, Speaker: Atocha Aliseda
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
8 April 2014, Theoretical Computer Science Seminar, Niel de Beaudrap (CWI)
For abstracts and more information, see here or contact Ronald de Wolf (rdewolf at cwi.nl)
10 April 2014, Logic and Interactive Rationality (LIRa), Ivano Ciardelli
For more information, see http://www.illc.uva.nl/lgc/seminar
11 April 2014, Cool Logic, Eileen Wagner
For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.
12 April 2014, Philosophical Festival DRIFT
DRIFT is a yearly philosophical festival organized by students of the University of Amsterdam. We aim at presenting academic philosophy in a relaxed setting by offering a night filled with lectures, debates, music, poetry and theatre, followed by a party.
With Markus Gabriel, Ray Brassier, Ruth Sonderegger, Francesco Berto, Phillipe Descola, Wayne Martin, Katrien Schaubroeck, Paul Cliteur, Victor Kal, and more!
For more info or tickets, see http://festivaldrift.nl/en/.
15 April 2014, Theoretical Computer Science Seminar, Daniele Micciancio (University of California, San Diego)
For abstracts and more information, see here or http://www.cwi.nl/crypto/risc.html
16 April 2014, Algebra|Coalgebra Seminar, Sam van Gool
Abstract
We give a construction of finitely generated free algebras
for Gödel-Löb provability logic, GL. On the semantic side,
this construction yields a notion of canonical graded model
for GL and a syntactic definition of those normal forms which
are consistent with GL. Our two main techniques are
incremental constructions of free algebras and finite duality
for partial modal algebras. In order to apply these techniques
to GL, we use a rule-based formulation of the logic GL by
Avron (which we simplify slightly), and the corresponding
semantic characterization that was recently obtained by
Bezhanishvili and Ghilardi.
For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (sumit.sourabh at gmail.com).
16 April 2014, Computational Social Choice Seminar, Justin Kruger
For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).
17 April 2014, LIRa Student Session, Johannes Marti and Riccardo Pinosio
For more information, see http://www.illc.uva.nl/lgc/seminar
23 April 2014, Computational Linguistics Seminar, Gideon Maillette de Buy Wenniger
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
23 April 2014, Colloquium on Mathematical Logic, Thierry Coquand (Gothenburg)
For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html
23 April 2014, Logic Tea / DIP Colloquium, Daniel Altshuler
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/, http://www.illc.uva.nl/logic_tea/ or here.
24 April 2014, Valedictory speech, Frank Veltman
On Thursday April 24th 2014, Frank Veltman will deliver his valedictory speech. Drinks will be served afterwards.
For more information, contact illc at uva.nl
25 April 2014, LeGO Seminar, Harald Bastiaanse
For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.
30 April 2014, Joint PIIA and A|C seminar, Fatemeh Seifan / Jeroen Goudsmit
For more information, see http://jeroengoudsmit.com/piia/ and http://www.illc.uva.nl/alg-coalg.