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. Your grade will depend on both your lecture summaries (2/3) and your research reports (1/3). You are encouraged to write summaries for all guest lectures, and you must write at least eight such summaries. Only your eight best summary grades will count. Grading will take both content and style into account. We will use the standard Dutch scale from 1 to 10 to grade each individual piece of work.
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, 8 November 2010. Your second research report must be handed in by Monday, 13 December 2010.
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 |
|---|---|---|---|
| Stéphane Airiau | S. Airiau and U. Endriss. Multiagent Resource Allocation with Sharable Items: Simple Protocols and Nash Equilibria. Proc. 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010), 2010. | Kyndylan | 4 |
| Stéphane Airiau | S. Airiau and S. Sen. On the Stability of an Optimal Coalition Structure. Proc. 19th European Conference on Artificial Intelligence (ECAI-2010), 2010. | 4 | |
| George Barmpalias | G. Barmpalias and C. Vlek. Kolmogorov Complexity of Initial Segments of Sequences and Arithmetical Definability. Working Paper, 2010. | Maria D | 3 |
| George Barmpalias | G. Barmpalias and T. Sterkenburg. On the Number of Infinite Sequences with Trivial Initial Segment Complexity. Working Paper, 2010. | 3 | |
| Reinhard Blutner | R. Blutner and E. Hochnadel. Two Qubits for C.G. Jung's Theory of Personality. Cognitive Systems Research, 11:243-259, 2010. | 2 | |
| Jeroen Groenendijk | J. Groenendijk and F. Roelofsen. Inquisitive Semantics and Pragmatics. Workshop on Language, Communication and Rational Agency, 2009. | Aleks, Alessandra, Katya | ∞ |
| Davide Grossi | D. Grossi. On the Logic of Argumentation Theory. Proc. 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010), 2010. | Riccardo, Adil | 3 |
| Davide Grossi | D. Grossi and P. Turrini. Dependence Theory via Game Theory. Proc. 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010), 2010. | Roelienda | 3 |
| Henkjan Honing | H. Honing. From Time to Time: The Representation of Timing and Tempo. Computer Music Journal, 35(3):50-61, 2001. | Hraban, Maja | 5 |
| Aline Honingh | A. Honingh and R. Bod. Pitch Class Set Categories as Analysis Tools for Degrees of Tonality. Proc. 11th International Society for Music Information Retrieval Conference (ISMIR 2010), 2010. | Daphne, Annelli | 3 |
| Aline Honingh | A. Honingh, T. Weyde and D. Conklin. Sequential Association Rules in Atonal Music. Proc. 2nd International Conference of the Society of Mathematics and Computation in Music (MCM-2009), 2009. | Leo | 3 |
| Dick de Jongh | Ç. Gencer and D. de Jongh. Unifiability in Extensions of K4. Logic Journal of the IGPL. 17(2):159-172, 2009. | 3 | |
| Maxim Khalilov | M. Khalilov, J.A.R. Fonollosa and M. Dras. A New Subtree-Transfer Approach to Syntax-Based Reordering for Statistical Machine Translation. Proc. 13th Annual Conference of the European Association for Machine Translation (EAMT-2009), 2009. | 2 | |
| Michiel van Lambalgen | M. van Lambalgen. Independence Structures in Set Theory. In Logic: From Foundations to Applications (European Logic Colloquium 1993), Oxford University Press, 1996. | Fenner | 4 |
| Alessandra Palmigiano | W. Conradie, A. Palmigiano and S. Sourabh. Algebraic Modal Correspondence: Sahlqvist and Beyond. Working Paper, 2010. | 3 | |
| Daniele Porello | D. Porello. Incompatibility Semantics from Agreement. To appear in Philosophia, 2010. | 3 | |
| Daniele Porello | D. Porello and U. Endriss. Modelling Combinatorial Auctions in Linear Logic. Proc. 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), 2010. | Tomasz | 3 |
| Floris Roelofsen | I. Ciardelli and F. Roelofsen. Inquisitive Logic. To appear in the Journal of Philosophical Logic, 2010. | Fabio | ∞ |
| Floris Roelofsen | F. Roelofsen and S. van Gool. Disjunctive Questions, Intonation and Highlighting. In Logic, Language, and Meaning: Selected Papers from the 17th Amsterdam Colloquium, Springer 2010. | Haitao, Rebecca, Cecilia | ∞ |
| Robert van Rooij | P. Cobreros, P. Egré, D. Ripley and R. van Rooij. Tolerant, Classical, Strict. To appear in the Journal of Philosophical Logic, 2010. | David L, Tong, Pawel | 3 |
| Galit W. Sassoon | G.W. Sassoon. Adjectival versus Nominal Categorization Processes: The Rule versus Similarity Hypothesis. Working Paper, 2010. | 3 | |
| Galit W. Sassoon | G.W. Sassoon. A Typology of Multidimensional Predicates. Working Paper, 2010. | Jessica, Avi, David vT | 3 |
| Martin Stokhof | M. Stokhof. Hand or Hammer? On Formal and Natural Languages in Semantics. Journal of Indian Philosophy, 35(5-6):597-626, 2007. | Jonne, Nal, Alexander, Paula | 10 |
| Sara Uckelman | S.L. Uckelman. A Unified Dynamic Framework for Modeling Obligationes. Working Paper, 2010. | ∞ | |
| Sara Uckelman | J. Alama and S.L. Uckelman. A Curious Dialogical Logic and its Composition Problem. Working Paper, 2010. | Maria V | ∞ |