News and Events:
ILLC News and Events
These pages provide information about recent developments at or relevant to the ILLC (last update: 20 October 2014). 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 ILLC News
Headlines ILLC Events this week
General events may be found in the Upcoming Events section.
Prof. Johan van Benthem was named Knight in the Order of the Netherlands Lion upon his retirement as University Professor of Pure and Applied Logic at the University of Amsterdam (UvA) on Friday, 26 September. Van Benthem received the royal honour in recognition of his myriad research accomplishments and the leading and inspirational role he has played in the academic community.
For more information, see http://www.uva.nl/en/news-events/news/uva-news/item/
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam, and the Centrum Wiskunde & Informatica (CWI) are looking for a PhD candidate in the area of quantum cryptography.
The aim of the PhD project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their limitations. An example of an active research is position-based quantum cryptography. Another aspect is to investigate the security of classical cryptographic schemes against quantum adversaries (post-quantum cryptography). The successful applicant will work under the supervision of Christian Schaffner.
Application deadline: 31 October 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-295.html.
Title: Constructing variants of the category of partial equivalence relationsDate and time: Tuesday 28 October 2014, 16:00 - 18:00Location: Room B0.207, Science Park 904, AmsterdamSupervisor: Benno van den BergFor more information, please contact G.Beekelaaruva.nl
Speaker: Leonardo Cabrer (University of Florence)Title: Exact Unification Type and Admisible rulesDate and time: Wednesday 29 October 2014, 16:00Location: ILLC Room F1.15, Science Park 107, Amsterdam
Date and time: Friday 31 October 2014, 16:00-17.30
As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.
For more information, contact illcuva.nl
Speaker: Enkhbold Nyamsuren (UvA)Date and time: Friday 31 October 2014, 14:30-16:00Location: Room F1.15, Science Park 107, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar