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, 7 November 2011. Your second research report must be handed in by Monday, 12 December 2011.
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, U. Endriss, U. Grandi, D. Porello, and J. Uckelman. Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections. Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011. | Femke | 3 |
| Maria Aloni | M. Aloni and F. Roelofsen. Resolving Concealed Questions. To appear in Linguistics and Philosophy, 2011. | Elbert | 3 |
| Alexandru Baltag | A. Baltag and S. Smets. The Dynamic Turn in Quantum Logic. Synthese. In press (2011). | Gijs | 5 |
| Alexandru Baltag | A. Baltag, N. Gierasimczuk, and S. Smets. Belief Revision as a Truth Tracking Process. Working Paper, 2011. (This is an extended version of a paper that appeared at TARK-2011.) | Callum, Anthony, Zoé, Hugo, Andreea, Will | 6 |
| Raquel Fernández | R. Kunert, R. Fernández, and W. Zuidema. Adaptation in Child Directed Speech: Evidence from Corpora. Proc. 15th SEMDIAL Workshop on the Semantics and Pragmatics of Dialogue (Los Angelogue), 2011. | Dieuwke | 3 |
| Aline Honingh | A. Honingh and R. Bod. In Search of Universal Properties of Musical Scales. Journal of New Music Research, 40(1):81-89, 2011. | Hans | 2 |
| Aline Honingh | A. Honingh and R. Bod. Clustering and Classification of Music by Interval Categories. Working Paper, 2011. | Pedro, Ben | 2 |
| Dick de Jongh | N. Gierasimczuk and D. de Jongh. On the Complexity of Conclusive Update. Proc. 26th International Symposium on Computer and Information Sciences (ISCIS), 2011. | 3 | |
| Michiel van Lambalgen | T. Achourioti and M. van Lambalgen. A Formalisation of Kant's Transcendental Logic. Review of Symbolic Logic, 4(2), 2011. | Giovanni | 5 |
| Bendikt Löwe | B. Löwe. Set Theory of Infinite Imperfect Information Games. In: A. Andretta (ed.), Set Theory: Recent Trends and Applications, Napoli, 2005. | Apostolos, Sanne | 2 |
| Bendikt Löwe | B. Löwe. Methodological Remarks about Comparing Formal Frameworks for Narratives. ILLC Publications PP-2011-17, 2011. | George, Vlasta | 2 | Alessandra Palmigiano | W. Conradie, A. Palmigiano and S. Sourabh. Algebraic Modal Correspondence: Sahlqvist and Beyond. Working Paper, 2010. | Gianluca, Zhiguang, Tanmay | 3 |
| Robert van Rooij | P. Cobreros, P. Egré, D. Ripley and R. van Rooij. Tolerant, Classical, Strict. Journal of Philosophical Logic. In press (2011). | Heleen | 3 |
| Robert van Rooij | P. Cobreros, P. Egré, D. Ripley and R. van Rooij. Reaching Transparent Truth. Working Paper, 2011. | Sebastian | 3 |
| Galit W. Sassoon | G.W. Sassoon and A. Toledo. Absolute and Relative Adjectives and their Comparison Classes. Working Paper, 2011. | Radek | 3 |
| Christian Schaffner | H. Buhrman, N. Chandran, S. Fehr, R. Gelles, V. Goyal, R. Ostrovsky, and C. Schaffner. Position-Based Quantum Cryptography: Impossibility and Constructions. Proc. 31st International Cryptology Conference (CRYPTO-2011), 2011. | 3 | |
| Christian Schaffner | H. Buhrman, S. Fehr, C. Schaffner, and F. Speelman. The Garden-Hose Game: A New Model of Computation, and Application to Position-Based Quantum Cryptography. Working Paper, 2011. | Max F. | 3 |
| Katrin Schulz | K. Schulz. If you'd wiggled A, then B would've changed: Causality and counterfactual conditionals. Synthese, 179(2):239-251, 2011. | Aybüke, Nathaniel, Ryan | 3 |
| Martin Stokhof | M. Stokhof and M. van Lambalgen. Abstractions and Idealisations: The Construction of Modern Linguistics. To appear in Theoretical Linguistics, 2011. | Eric, Max H., Robert, Ásgeir, Adam | ∞ |