Logic, Language and Computation: Autumn 2014


This is the central obligatory course in the Master of Logic programme. Through a series of guest lectures, the course provides an overview of the different research areas that are being pursued at the ILLC. It also provides a place to meet for all the new MoL students.

Guest Lectures. Each week a different member of staff of the ILLC will give a guest lecture (see the schedule). This will provide you with a good overview of the kind of research taking place at the institute and should be helpful in terms of deciding what specialised courses to take later on, what seminars to attend, whom to approach for supervision of individual projects and eventually your thesis, and more generally what research area(s) to get involved in. You will be asked to write summaries of these guest lectures of 150-200 words each.

Research Meetings. Over the course of the semester you have to arrange two research meetings: one with a member of the scientific staff of the ILLC to discuss one of their (recent) papers with them, and one with a PhD student at the institute to discuss their thesis research with them. This will give you some insight into what it is like to do research and what it is like to be a PhD student. The list of members of staff who have volunteered to take part in this exercise (and their papers) can be found at the bottom of this page. The list of PhD students at the ILLC is available here; you are welcome to try contacting anyone of them. Each meeting should take around one hour. You should prepare well for these meetings, by reading the paper in question (for the staff meetings) and by thinking of some issues to discuss and questions to ask. After each meeting you have to hand in a research report of up to 300 words (150 words on the paper/thesis and 150 words on the meeting itself). It is your responsibility to arrange these meetings and to do so in good time for you to meet the deadlines. Keep in mind that some people may decline your request and that they may not always be around or have time to meet you.

Grading. Each individual piece of work will be graded as either excellent, good, pass, or fail, taking into account both content and style. Your overall grade for the course will be either pass or fail. To pass the course, you must receive (at least) a pass grade on (at least) eight summaries and you must receive (at least) a pass grade on both research reports.

Deadlines. Summaries must be handed in before the start of the next guest lecture (for the last lecture of the semester the deadline is one week after that lecture). Your first research report must be handed in by Monday, 3 November 2014. Your second research report must be handed in by Monday, 1 December 2014.

Schedule. Below is the schedule of the guest lectures:

Papers. Below is the list of members of staff of the ILLC offering to meet students to discuss their papers with them. Please let me (Ulle) know once you have arranged a meeting. Please only contact people for whom the upper limit of students has not yet been reached. I encourage you pick a paper that nobody else has picked so far.

Contact Paper Students Limit
Alexandru Baltag A. Achimescu, A. Baltag, and J. Sack. The Probabilistic Logic of Communication and Change. Proc. 11th Conference on Logic and the Foundations of Game and Decision Theory (LOFT-2014). Almudena, Sirin 5
Benno van den Berg B. van den Berg, E. Briseid, and P. Safarik. A Functional Interpretation for Nonstandard Arithmetic. Annals of Pure and Applied Logic, 163(12):1962-1994, 2012. Daniil, Auke 3
Nick Bezhanishvili G. Bezhanishvili and N. Bezhanishvili. Profinite Heyting Algebras. Order, 25(3):211-223, 2008. Mees, Kristina, Stefan 3
Ashley Burgoyne J.A. Burgoyne, J. Wild, and I. Fujinaga. Compositional Data Analysis of Harmonic Structure in Popular Music. Proc. 4th International Conference on Mathematics and Computation in Music (MCM-2013). Tim 1
Ashley Burgoyne J.A. Burgoyne, D. Bountouridis, J. van Balen, and H. Honing. Hooked: A Game for Discovering What Makes Music Catchy. Proc. 14th International Society for Music Information Retrieval Conference (ISMIR-2013). Anna O. 1
Ulle Endriss U. Endriss und U. Grandi. Binary Aggregation by Selection of the Most Representative Voter. Proc. 28th AAAI Conference on Artificial Intelligence (AAAI-2014). John, Zeno 2
Ulle Endriss V. Hashemi and U. Endriss. Measuring Diversity of Preferences in a Group. Proc. 21st European Conference on Artificial Intelligence (ECAI-2014). Nikita 2
Raquel Fernández K. Abramova, R. Fernández, and F. Sangati. Automatic Labeling of Phonesthemic Senses. Proc. 35th Annual Conference of the Cognitive Science Society, 2013. Nina, Arianna, Leela, Daan 4
Nina Gierasimczuk A. Baltag, N. Gierasimczuk, and S. Smets. Truth Tracking by Belief Revision. To appear in Studia Logica. Minke, Olim 3
Luca Incurvati L. Incurvati. The Graph Conception of Set. Journal of Philosophical Logic, 43(1):181-208, 2014. Philip, Merlijn, Bas, Michael 4
Michiel van Lambalgen G. Baggio, M. van Lambalgen, and P. Hagoort. Language, Linguistics and Cognition. In R. Kempson, T. Fernando, and N. Asher (eds.), Philosophy of Linguistics, Elsevier, 2012. Marco, Pablo, Jeremias, Anna F., Andrés, Mathijs 10
Floris Roelofsen F. Roelofsen and D. Farkas. Polarity Particle Responses as a Window onto the Interpretation of Questions and Assertions. To appear in Language. Thom, Anna B. 3
Robert van Rooij R. van Rooij. A Fine-Grained Global Analysis of Implicatures. Manuscript, 2014. Albert, Iliana, Andrzej 3
Christian Schaffner H. Buhrman, S. Fehr, and C. Schaffner. On the Parallel Repetition of Multi-Player Games: The No-Signaling Case. To appear in the Proceedings of the 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC-2014). Rana 3
Sonja Smets A. Baltag, V. Fiutek and S. Smets. DDL as an "Internalization" of Dynamic Belief Revision. In R. Trypuz (ed.). Krister Segerberg on Logic of Actions. Outstanding Contributions to Logic, Volume 1, pp. 253-280, Springer-Verlag, 2014. Guido, Laura, James 3
Luca Spada V. Marra and L. Spada. Two Isomorphism Criteria for Directed Colimits. Manuscript, 2013.   3
Martin Stokhof M. Stokhof. Arguing about Dynamic Meaning. To appear in: A. Baltag and S. Smets (eds.), Logical/Informational Dynamics, Springer-Verlag. Note: only for students who can meet in Sept or late Nov
Christopher, Tom, Richard
3
Jakub Szymanik C. Dégremont, L. Kurzen, and J. Szymanik. Exploring the Tractability Border in Epistemic Tasks. Synthese, 191(3):371-408, 2014.   2
Jakub Szymanik J. Kontinen and J. Szymanik. A Characterization of Definability of Second-order Generalized Quantifiers with Applications to Non-definability. Journal of Computer and System Sciences, 80(6):1152-1162, 2014. Evan 2
Yde Venema L. Olde Loohuis and Y. Venema. Logics and Algebras for Multiple Players. The Review of Symbolic Logic, 3:485-519, 2010. Sander, Guillaume 3
Ronald de Wolf A. Drucker and R. de Wolf. Quantum Proofs for Classical Theorems. Theory of Computing (ToC Library, Graduate Surveys 2), 2011. Thomas 2