News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 15 September 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)".
Date and time: Friday 19 September 2014, 17:30 - 19:00Location: Kapitein Zeppos, Gebed Zonder End 5, Amsterdam
On the occasion of Jeroen's retirement the ILLC and department of philosophy will organise a `borrel' at Kapitein Zeppos on Friday 19 September 2014. All are invited!
After having been visited by an international evaluation committee in June 2013, this summer we received the great news that the ILLC's interdisciplinary Master's programme, the Master of Logic, is now officially accredited by the NVAO as an excellent programme for the period of 2014-2020.
For more information, see http://www.illc.uva.nl/MScLogic/programme/accreditation.html or contact Ulle Endriss (ulle.endrissuva.nl).
Khalil Sima'an has been appointed professor of Computational Linguistics at the Faculty of Science.
For more information, see http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/content/hoogleraarsbenoemingen/.
Prof. F. Liu (1975) has been named professor by special appointment in the Amsterdam-China Logic Chair at the University of Amsterdam's Faculty of Science (FNWI). This is a new chair established by the Amsterdam University Fund Foundation.
For more information, see http://www.uva.nl/en/news-events/news/professorial-appointments/item/
The Joint Research Center in Logic of the ILLC and Tsinghua University has had its official launch in China on July 2d, with a workshop followed by the Third East-Asian Summer School in Logic, Language and Computation.
The website of the joint center with its current and future activities will soon be on air officially (http://www.illc.uva.nl/Jointcenter/en/). Several Chinese news items have appeared in connection with these events:
- Tsinghua frontpage news: http://www.tsinghua.edu.cn/publish/newthu/index.html
- School of Humanities news: http://news.tsinghua.edu.cn/publish/news/4205/2014/20140708131031899280060/, http://news.tsinghua.edu.cn/publish/news/4205/2014/20140705203019310829128/
- Changjiang ceremony: http://news.tsinghua.edu.cn/publish/news/4205/2014/20140708131031899280060/
For more information, see http://news.tsinghua.edu.cn/publish/news/4205/2014/20140705203019310829128/
Catalytic memory is the new term for a method of computation whereby the computer carries out a computation using memory that it is already filled with data, returning it to its original state after use. The result is counter intuitive and was conjectured to be impossible. In a article by Harry Buhrman (UvA, CWI), Richard Cleve (University of Waterloo), Michal, Koucký (Charles University Prague), Bruno Loff (CWI) en Florian Speelman (CWI), it is demonstrated not only that this is possible, but also that this gives rise to a new complexity class and a new way of thinking about memory use with some applications to cryptography.
The article was presented last week at the prestigious ACM Symposium on the Theory of Computing (STOC). An extensive review of the results are discussed in the well known weblog on theoretical computer science: http://rjlipton.wordpress.com/2014/06/01/how-to-avoid-leaving-clues/.
For more information, email buhrmancwi.nl