'Logic and theoretical computer science are inseparably entangled in a mathematical duality.'
Inaugural Lecture, 'Algebra en Coalgebra: bespiegelingen in de Logica' (Algebra and Coalgebra: reflections in Logic), October 28th, 2011
Prof. dr Yde Venema, Professor of Logic (Mathematical logic and Foundations of Computer Science)
 

  ILLC News

Postdoc position in Logics for Quantum Interaction

ILLC currently has a 2.5 year Post-Doc position available in Dr Sonja Smets' Vidi project 'Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols'.
(continued)

Two Full Professor Positions, in Philosophy of Language,
and in Philosophical Logic

The University of Amsterdam offers a full-time vacancy in each of the fields mentioned. The professor in Philosophy of Language will be appointed in the Faculty of Humanities (Department of Philosophy), the professor of Philosophical Logic will be appointed in the Faculty of Science (Institute for Logic, Language and Computation, ILLC). The research of both professors will be embedded in the ILLC.
(continued)

Assistant Professor (UD) position in Computational Linguistics / Natural Language Processing

The ILLC is looking for excellent candidates for an Assistant Professorship in the field of Computational Linguistics / Natural Language Processing.
(continued)

 

  Quick Links

Master of Logic in Amsterdam

 

  

  ILLC Events this week

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
(continued)

25 May 2012, SMART Cognitive Science Lecture, Willem Zuidema / Carel ten Cate

Speaker: Willem Zuidema / Carel ten Cate
Title: SMART Perspective on Evolutionary Linguistics / On the linguistic abilities of songbirds
Date and time: Friday 25 May 2012, 16:00-17:30
Location: Room UT3.01, Universiteitstheater, Nieuwe doelenstraat 16-18, Amsterdam
(continued)