News Archives 2012
These pages provide information about recent developments at or relevant to the ILLC. 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.
Headlines Past Events
Headlines Calls for Paper
Headlines Past Conferences
Headlines MoL and PhD defenses
Headlines Projects and Awards
Headlines Funding, Grants and Competitions
Headlines Open Positions at ILLC
Headlines Open Positions, General
No Past appointments
No Former Regular Events
20 December 2012, Logic Tea, Thomas BrouwerSpeaker: Thomas BrouwerTitle: Rejection and IrrationalityLocation: Room B0.209, Science Park 904, Amsterdam
19 December 2012, ILLC Current Affairs MeetingLocation: Room C0.110, Science Park 904, Amsterdam
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, amongst them the possible merger of the Science faculties at UvA & VU, and the relocation of ILLC within Science Park early in 2013. All ILLC staff, PhD students and guests are invited to attend. Christmas drinks will be served afterwards in the ILLC Common Room, C3.113.
There will certainly be room to ask questions at this meeting. Should you wish to ask a more extensive question for which the answer may require preparation by us, please let us know in advance.
19 December 2012, 27th SARA SuperdayLocation: Turingzaal, Science Park 125, Amsterdam
The theme of the 27th Superdag will be: Next generation computing in service of Science and R&D.
An advanced national ICT research infrastructure is of essential importance for academia and industry. The use of this infrastructure has great impact on the knowledge economy and will enhance the internationally competitive position of the Netherlands now and in the future.
For more information, see https://www.sara.nl/form/sara-superdag-19-december-2012
17 December 2012, Computational Social Choice Seminar, Justin KrugerSpeaker: Justin KrugerTitle: Convergence of Iterative Voting in Small CasesLocation: Room B0.209, Science Park 904, Amsterdam
17 December 2012, Computational Social Choice Seminar, Femke BekiusSpeaker: Femke BekiusTitle: College Admissions with Stable Score-LimitsLocation: Room B0.209, Science Park 904, Amsterdam
14 December 2012, Cool Logic, Sumit SourabhSpeaker: Sumit SourabhTitle: Duality Theory in LogicLocation: D1.113, Science Park 904, AmsterdamTarget audience: MSc Logic and PhD students
14 December 2012, Inaugural Lecture, Rens BodSpeaker: Rens BodLocation: Aula Universiteit van Amsterdam, Singel 411, AmsterdamFor more information, please contact rens.bod at gmail.com
14 December 2012, SMART Cognitive Science Lecture, Marc Slors (Nijmegen)Speaker: Marc Slors (Nijmegen)Title: Folk-Psychology as Reconstruction: Why Social-Cognitive Processes Need Not Resemble Their Linguistic RepresentationsLocation: P.C. Hoofthuis Room 1.04, Spuistraat 134, Amsterdam
14-15 December 2012, Belief Change in Social Context - LogiCIC Project kick-off workshopLocation: (<em style="color: red">changed!</em>) Room 105, P.C. Hoofthuis, Spuistraat 134, 1012 VB Amsterdam
This workshop will create a platform for researchers coming from different fields to present their work and exchange ideas on the topic of belief change in social contexts. We look both at already-established work as well as the possible new connections that can emerge between the areas of logic, belief revision theory, learning theory, game theory and social science.
We are particularly interested in the conceptual-theoretical work as well as in the applications of formal models to specific multi-agent scenarios in which belief revision plays a crucial role. In contrast to the classical single-agent approach to Belief Revision Theory, the new developments from the area of Logic and Game Theory make it now possible to pursue a multi-agent perspective. Similarly, the study of the iterated belief revision procedures can benefit from the work on learning strategies in Formal Learning Theory. Bringing the ideas from these different areas together allows us to put forward new theoretical work which can lead to new modeling techniques and offer a better understanding of puzzling social-informational phenomena (such as pluralistic ignorance, the bandwagoning effect, group polarization, etc.).
Everybody is welcome to attend, please register via the workshop website. For more information, see http://www.ninagierasimczuk.com/logicic/kickoff/.
7 December 2012, Computational Social Choice Seminar, Jan van EijckSpeaker: Jan van EijckTitle: Modeling Gibbard-Satterthwaite with PDLLocation: Room A1.06, Science Park 904, Amsterdam
6 December 2012, LIRa/LogiCIC Seminar, Thomas Bolander and Hans van DitmarschSpeaker: Thomas Bolander and Hans van DitmarschLocation: Room B0.201, Science Park 904, Amsterdam
First talk (15:00-16:30):
Speaker: Thomas Bolander (TU Denmark)
Title: Don't Plan for the Unexpected: Planning Based on Plausibility Models
Second talk (16:30-18:00):
Speaker: Hans van Ditmarsch (LORIA, Nancy & IMSc, Chennai)
Title: Refinement modal logic
For more information, see http://www.illc.uva.nl/lgc/seminar.
5 December 2012, LIRa-affiliated lunch talk, Torben BraunerSpeaker: Torben Brauner (Roskilde University)Title: Hybrid-Logical Proof-Theory: With an Application to Reasoning in False-Belief TasksLocation: Room D1.115, Science Park 904, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1736
30 November 2012, Cool Logic, Nikhil MaddiralaSpeaker: Nikhil MaddiralaTitle: Reading Wittgenstein's TractatusLocation: Room D1.113, Science Park 904, AmsterdamTarget audience: MSc Logic and PhD students
30 November 2012, DIP Colloquium, Leon HorstenSpeaker: Leon Horsten (Bristol)Title: Absolute Infinity (joint work with Philip Welch)Location: Room C1.112, Science Park 904, Amsterdam
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
29 November 2012, Colloquium on Mathematical Logic, Silvio GhilardiSpeaker: Silvio GhilardiTitle: Revisiting amalgamation and strong amalgamationLocation: Room 204, Drift 25, Utrecht
29 November 2012, Logic and Interactive Rationality (LIRa), Johan van BenthemSpeaker: Johan van Benthem (UvA & Stanford)Title: Reasoning about strategiesLocation: Room C1.112, Science Park 904, Amsterdam
23 November 2012, SMART Cognitive Science Lecture, Mark Steedman (Edinburgh)Speaker: Mark Steedman (Edinburgh)Title: Using Linguistic Knowledge in Natural Language ProcessingLocation: VOC-zaal, Kloveniersburgwal 48, Amsterdam
23 November 2012, Computational Linguistics Seminar, Andreas van CranenburghSpeaker: Andreas van CranenburghTitle: Discontinuous Data-Oriented ParsingLocation: Room A2.01, Oude Manhuispoort 4-6, Amsterdam.
22 November 2012, LIRa/LogiCIC Seminar, Rohit Parikh (CUNY)Speaker: Rohit Parikh (CUNY)Title: Epistemic Logic in Real Life and LiteratureLocation: Room D1.113, Science Park 904, Amsterdam
21 November 2012, PIIA Seminar, Nick Bezhanishvili / Apostolos Tzimoulis & Zhiguang ZhaoSpeaker: Nick Bezhanishvili / Apostolos Tzimoulis & Zhiguang ZhaoLocation: Room TBA, Science Park 904, Amsterdam
For more information, see http://jeroengoudsmit.com/piia/.
20 November 2012, An Overview of Stanford Pre-collegiate Programs, Rick Sommer (Stanford)Speaker: Rick Sommer (Stanford)Location: Science Park 904, D1.113
16 November 2012, Cool Logic, Martin AherSpeaker: Martin AherTitle: Some funny cases of implicationLocation: Room D1.113, Science Park 904, AmsterdamTarget audience: MSc Logic and PhD students
15 November 2012, Logic and Interactive Rationality (LIRa), Nick BezhanishviliSpeaker: Nick Bezhanishvili (Utrecht)Title: Extended dualities and Sahlqvist theorem for compact Hausdorff spacesLocation: Room B0.207, Science Park 904, Amsterdam
13 November 2012, Symposium: the cultural meaning of the life-sciencesLocation: KNAW, Tinbergenzaal, Kloveniersburgwal 29, Amsterdam
American philosopher Daniel Dennett (Center for Cognitive Studies at Tufts University) has addressed two of the major cultural questions of our time, questions that have defined our self-image: Where do we come from and What is consciousness? He has shown that through the power of thinking combined with sheer hard work one can add new insights to the fields of study that these questions traditionally have belonged to, in this case evolutionary biology, neurobiology and psychology. Dennett addresses philosophical questions with tools derived from the Life Sciences. The new insights that he has developed are challenging and considered groundbreaking among the experts. However, they are also highly accessible to a wider academic readership.
This symposium offers a select group of PhD students an opportunity to enter into discussion with Daniel Dennett on a range of philosophical topics. The idea is that questions to Dennett should be inspired by on-going PhD work of the students. Deadline for applications: Tuesday 1 May 2012
For more information, see http://www.huizingainstituut.nl/
9 November 2012, DIP Colloquium, Jakub DotlacilSpeaker: Jakub DotlacilTitle: The incremental interpretation of sentence-internal "same" (joint work with Adrian Brasoveanu)Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
8 November 2012, Logic and Interactive Rationality (LIRa), Joshua SackSpeaker: Joshua Sack (ILLC, UvA)Title: Compositional Reasoning for Multi-Modal LogicsLocation: Room G0.05, Science Park 904, Amsterdam
6 November 2012, Logic Tea, Vlasta SikimicSpeaker: Vlasta SikimicTitle: Interfering in the Dispute between Carroll's Achilles and the Tortoise: Possible Ground for an Improvement of Inferential SemanticshereLocation: Room A1.04, Science Park 904, Amsterdam
2 November 2012, Cool Logic, Hugo NobregaSpeaker: Hugo NobregaTitle: Characterizations by nice forbidding setsLocation: Room D1.113, Science Park 904, AmsterdamTarget audience: MSc Logic and PhD students
1 November 2012, Logic and Interactive Rationality (LIRa), Lijun ZhangSpeaker: Lijun Zhang (TU Denmark)Title: Bisimulations Meet Logical Equivalences for Probabilistic AutomataLocation: Room B0.207, Science Park 904, Amsterdam
31 October 2012, Computational Linguistics Seminar, Phong LeSpeaker: Phong LeTitle: Learning Compositional SemanticsLocation: Room D1.16, Science Park 904, Amsterdam
31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremonyLocation: Room Z.009, CWI, Science Park 123, Amsterdam
The afternoon will start at 13.00 hour with the award ceremony of the Stieltjes Prize for the best Mathematics PhD thesis in the Netherlands followed by a lecture by the prize winner. The prize winner is dr. Jop Briët (CWI) for a thesis defended at UvA, promotor prof. dr. Harry Buhrman (CWI and UvA/ILLC).
This will be followed by two lectures on the work of Abel prize winner 2011 Endre Szemeredi.
For more information on the Stieltjes prize awarded to Job Briët, see http://www.cwi.nl/news/2012/ or http://www.uva.nl/en/news-events/news/uva-news/item/. The thesis itself may be found at http://dare.uva.nl/en/record/395592.
26 October 2012, SMART Cognitive Science Lecture, Afra Alishahi (Tilburg)Speaker: Afra Alishahi (Tilburg)Title: Computational Modeling of Language AcquisitionLocation: Doelenzaal, Singel 421, Amsterdam
Computational Modeling of Language Acquisition
For abstracts and more information, see http://smartcognitivescience.wordpress.com/
25 October 2012, Logic and Interactive Rationality (LIRa), Giuseppe Greco and Alessandra PalmigianoSpeaker: Giuseppe Greco and Alessandra PalmigianoTitle: Epistemic updates on algebras, and display-style sequent calculi for dynamic logicsLocation: Room D1.113, Science Park 904, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1606
23 October 2012, Logic Tea, Kohei KishidaSpeaker: Kohei KishidaTitle: A Sequent Calculus for Aristotle's SyllogisticLocation: Room A1.04, Science Park 904, Amsterdam
23 October 2012, RUG Inaugural lecture, prof. dr. B.P. KooiSpeaker: prof. dr. B.P. KooiTitle: The Magic of LogicLocation: Aula Academy Building, Broerstraat 5, Groningen
For more information, see http://www.rug.nl/corporate/nieuws/archief/archief2012/promoties_oraties/.
19 October 2012, Cool Logic, Tanmay InamdarSpeaker: Tanmay InamdarTitle: Horrors with and without the Axiom of Choice: With Particular Emphasis on a Proof of the Banach-Tarski TheoremLocation: Room D1.113, Science Park 904, AmsterdamTarget audience: MSc Logic and PhD students
18 October 2012, CSCA Lectures, Prof. dr Eric ClarkeSpeaker: Prof. dr Eric ClarkeTitle: Music perception and musical consciousness hereLocation: Oudemanhuispoort, Oudemanhuispoort 4-6, Amsterdam
CSCA lecture - Prof. dr. Eric F. Clarke, University of Oxford, Faculty of Music
For more information, see http://csca.uva.nl/events/item/
17 October 2012, LIRa/LogiCIC Seminar, Daisuke Bekki and Valentin GorankoSpeaker: Daisuke Bekki and Valentin GorankoTitle: Dependent type semantics: the framework (Bekki, 15:00-) / Modeling the Dynamics of Information and Abilities of Players in Multi-Player Games (Goranko, 16:30-)Location: Room A1.04, Science Park 904, Amsterdam
For more information and abstracts, see http://www.illc.uva.nl/lgc/seminar.
12 October 2012, DIP Colloquium, Bob van TielSpeaker: Bob van TielTitle: Scalar alternativesLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
12 October 2012, NAP-Dag 2012
The NAP-dag ('Nieuw Amsterdams Peil') is an annual event at which PhD candidates from the ACLC and the ILLC present their research. This event is free and is open to the public.
For more information, see http://www.hum.uva.nl/acl-nw-events/events.cfm.
12, 15 and 18 October 2012, LogiCIC tutorial sessionsSpeaker: Valentin GorankoTitle: Logics for multi-agent systemsLocation: Science Park 904, Amsterdam
Times and rooms of the three lectures:
- Friday 12 October: 15-17h, room B0.203
- Monday 15 October: 15-17h, room B0.206
- Thursday 18 October: 13:30-15:30, room B0.206
For an outline of each lecture of the course, see http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/
Please note that Valentin Goranko will also give a talk (separate from this tutorial) within the joint LogiCIC/LIRa seminar session on Wednesday, October 17th.
11 October 2012, Logic and Interactive Rationality (LIRa), Jakub SzymanikSpeaker: Jakub Szymanik (Groningen)Title: Complexity of Backward Induction GamesLocation: Room B0.203, Science Park 904, Amsterdam
Note: this talk was earlier announced to take place in September. It has been postponed due to a scheduling conflict.
For more information, see http://www.illc.uva.nl/lgc/seminar
9. October 2012, Logic Tea, Mathias MadsenSpeaker: Mathias MadsenTitle: Logic as a Social Science: A Grammatical Case StudyLocation: Room A1.04, Science Park 904, Amsterdam
5 October 2012, Cool Logic, Maja JaaksonSpeaker: Maja JaaksonTitle: What's a Theory to Do? On Classicality with the Purpose of CapturingLocation: Science Park, D1.113Target audience: MSc Logic and PhD students
5 October 2012, Computational Social Choice Seminar, Mees de Vries and Ruben BrokkelkampSpeaker: Mees de Vries and Ruben BrokkelkampTitle: Convergence of Ordered Improvement Paths in Generalized Congestion GamesLocation: Room B0.203, Science Park 904, Amsterdam
5 October 2012, Computational Social Choice Seminar, Krzysztof AptSpeaker: Krzysztof AptTitle: A Classification of Weakly Acyclic GamesLocation: Room B0.203, Science Park 904, Amsterdam
5 October 2012, turing100.nl, Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
The year 2012 marks the centenary of the birth of Alan M. Turing. All over the world, researchers are celebrating the 100th birthday of this great and inspiring scientist by workshops and conferences. The Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL) decided to add an opportunity for the Dutch community of researchers to engage in similarly fruitful discussions and have a meeting that will put Turing's achievements into a contemporary research context in Amsterdam in October 2012.
turing100.nl will be open for all researchers in the fields of logic, artificial intelligence, history of computing, and theoretical computer science; it will serve as a forum for Dutch researchers to meet international top experts. The meeting will feature five speakers, two from history of computing, two from the research areas resting on Turing's ideas, and the science journalist Bennie Mols who published the book "Turings Tango. Waarom de mens de computer de baas blijft". In the evening, the University Players Hamburg will perform Hugh Whitemore's Breaking the Code about Alan Turing's life and work. The meeting is funded by NWO.
For more information, see http://www.turing100.nl/
4 October 2012, Logic and Interactive Rationality (LIRa), Lorenz DemeySpeaker: Lorenz DemeyTitle: Surprise in Probabilistic Dynamic Epistemic LogicLocation: Room G0.05, Science Park 904, Amsterdam
4-5 October 2012 (Amsterdam), Theatre production of Hugh Whitemore's play "Breaking the Code"Location: Paderborn, Hamburg, Braunschweig, Amsterdam, and Almere
Breaking the Code is a 1986 play by Hugh Whitemore about the British mathematician Alan Turing whose 100th birthday is being celebrated all over the world during the year 2012 as the Alan Turing Year. Turing, one of the foundational thinkers behind the modern theory of computation, was also a key player in breaking of the German Enigma code at Bletchley Park during World War II. The play thematically links Turing's cryptographic activities with his attempts to grapple with his homosexuality.
The University Players at the Universität Hamburg take their motto of "teaching theatre" very seriously. Under the guidance of experienced actors and directors, new members of the University Players gather practical experience in all areas of the theatre (production, publicity, programs, directing, acting, lighting, sound, costuming, stage design, make-up, etc.). The workshop atmosphere of the University Players has won the group national recognition as a remarkable and unique enterprise.
The University Players will perform Breaking the Code as part of the Alan Turing Year celebrations at the following locations:
14 September 2012: Paderborn, Germany
16 September 2012: Hamburg, Germany
19 September 2012: Braunschweig, Germany
4 October 2012: Amsterdam, The Netherlands
5 October 2012: Amsterdam, The Netherlands
1 November 2012: Almere, The Netherlands
There will be two performances in Amsterdam, one on 4 October, 17:00 in Cafe Oerknal at Science Park Amsterdam which is reserved for students and staff of CWI and FNWI, and the second one on 5 October, 19:30 in the Openbare Bibliotheek Amsterdam open for everyone.
If you plan to attend the Thursday performance, please note that there is a limited number of places, so reservations are required. Please send an email to info-science at uva.nl stating "play Alan Turing". In this case, also indicate whether you stay for dinner afterwards and if you want to eat vegetarian.
No reservation is required for the Friday performance.
For more information, see http://www.math.uni-hamburg.de/BreakingTheCode/
1 October 2012, Discussion meeting with Prof. John Pickstone on "Ways of Knowing in Science and Humanities", John PickstoneSpeaker: John PickstoneLocation: Bungehuis, Spuistraat 210, room 0.04
John Pickstone will outline his present views on Ways of Knowing and Working as a means of analysing and synthesising across the histories commonly presented as Science, Technology and Medicine. He will then open discussion around several specific questions.
Ways of knowing in science, technology and medicine: can they also cover 'the humanities'?
John Pickstone will outline his present views on Ways of Knowing and Working as a means of analysing and synthesising across the histories commonly presented as Science, Technology and Medicine. He will then open discussion around 5 questions:
A) Does the WoK/WoW schema also reasonably cover the humanities, before 'c. 1800', e.g. by putting the verbal Trivium alongside the mathematical Quadrivium?
B) Does the Wok/WoW frame help us understand the actors' views of the humanities, pre 1800, especially in relation to philosophy?
C) How do these questions relate to the relations of 'sciences' and 'arts' pre c. 1800?
D) How then did the relevant configurations change c 1800? ( i.e. c. 1770-1830)
E) How do these questions relate to the relations of 'sciences' and 'humanities' in the 20th century?
For more information, please contact rens.bod at gmail.comFor more information, see here or contact rens.bod at gmail.com
1 October 2012, Information meeting on Horizon 2020Location: Turingzaal, CWI, Science Park 123, Amsterdam
On Monday, 1 October 2012 the Faculty of Science, together with Bureau Kennistransfer (BKT) organizes a meeting to introduce the new European Framework Programme for Research and Technological Development: Horizon2020. The meeting will be organized for everybody involved in Research in the Faculty and at the Science Park and will be moderated by Dr Sean McCarthy, expert on European Research Programmes.
Horizon2020 follows the 7th Framework Programme (FP7), which ends in 2013. Horizon2020 will start on 1 January 2014, with a total budget of around 80 billion euro. The programme has a duration of 7 years and will determine to a high extend the research agenda in Europe and thus The Netherlands. Given that ILLC aims for greater participation in EU projects, all ILLC staff members (including ILLC staff from the Faculty of Humanities) are urged to attend this meeting.
For more information and registration, see http://www.medewerker.uva.nl/science/news_and_agenda.cfm/ and http://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/item/horizon-2020.html.
28 September 2012, DIP Colloquium, Wang LuSpeaker: Wang LuTitle: Discussions about 'Being' in China in the past twenty yearsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
27 September 2012, LIRa/LogiCIC Seminar, Guillaume AucherSpeaker: Guillaume Aucher (IRISA/INRIA)Title: DEL-sequents for progression, regression and epistemic planningLocation: Science Park, G0.05
25 September 2012, Logic Tea, Takanori HidaSpeaker: Takanori HidaTitle: A Computational Interpretation of the Axiom of Determinacy in ArithmeticLocation: Room A1.04, Science Park 904, Amsterdam
25 September 2012, Colloquium on Mathematical Logic, Yuri GurevichSpeaker: Yuri Gurevich (Microsoft)Title: The Logic of InfonsLocation: Room 0.06, Janskerkhof 13, Utrecht
25 September 2012, Workshop on Frameworks for Multi-Agent AggregationLocation: VOC-zaal, Oost-Indisch Huis (UvA), Kloveniersburgwal 48, Amsterdam
Collective decision-making problems arise when a set of individual agents need to make a choice over a set of common alternatives. A central problem in the study of these situations is that of aggregating individual expressions, such as preferences, judgments and beliefs, into a collective view, to obtain a summary of the individual views provided. Several frameworks have been developed to study this problem, by both the community of Social Choice Theory and the community of Artificial Intelligence. This workshop aims at bringing together scholars from diverse research areas to obtain a state-of-the-art survey of current research on frameworks for multi-agent aggregation. The workshop is co-located with the PhD defense of Umberto Grandi which will take place in the Agnietenkapel of the University of Amsterdam on September 25th at 10:00 am.
For more information, see http://staff.science.uva.nl/~grandi/FMA/
24 September 2012, LogiCIC Seminar, Guillaume AucherSpeaker: Guillaume AucherTitle: Privacy and Epistemic ObligationsLocation: Room B0.201, Science Park 904, Amsterdam
The abstract of G. Aucher's lecture is available at : http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/
We have the pleasure to invite you to participate in our monthly LogiCIC seminar series which is being organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.
22 September 2012, Workshop on Dependence Logic and Strategic ReasoningLocation: Doelenzaal, Universiteitsbibliotheek, Singel 425, 1012 WP Amsterdam
Dependence Logic is an extension of First Order Logic that adds to it atomic formulas for expressing functional dependence relations between terms.
This workshop, held in connection to the PhD defense of Pietro Galliani, will discuss the properties of this logic and of its variants, and, more in general, the role of strategic and game-theoretic reasoning in mathematical logic.
For more information, see http://dependencelogic.org/galliani/workshop.html
21 September 2012, Cool Logic, Fenner TanswellSpeaker: Fenner TanswellTitle: Second Philosophy, Pluralism and the MulitverseLocation: Room D1.113, Science Park 904, AmsterdamTarget audience: MSc Logic and PhD students
20 September 2012, Inaugural lecture Ronald de Wolf: What quantum computing can do for youLocation: Aula, University of Amsterdam, Singel 411, Amsterdam
19-21 September 2012, SEMDIAL 2012 (SeineDial), Paris, FranceLocation: Paris, FranceDeadline: 1 May 2012
The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.
14 September 2012, DIP Colloquium, Markus WerningSpeaker: Markus WerningTitle: Can quotation be made transparent? Taking Compositionality SeriouslyLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
13 September 2012, Logic and Interactive Rationality (LIRa), Nina GierasimczukSpeaker: Nina Gierasimczuk (ILLC)Title: Using Proof Theory to Explain Children Performance in Deductive GamesLocation: Room G0.05, Science Park 904, Amsterdam
Everyone is cordially invited to the first LIRa talk this fall. Note that the regular time slot for LIRa this semester will be Thursdays, 15:30-17:30. Also note that room G0.05 is a short walk from Science Park 904.
For more information, see http://www.illc.uva.nl/lgc/seminar
12-14 September 2012, Workshop on Lattices and Relations (L&R 2012), University of AmsterdamLocation: University of AmsterdamCosts: no registration feeDeadline: 30 June 2012
Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.
The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik
Szegedand Marcel Jackson La Trobe.
For more information, see http://www.illc.uva.nl/Workshops/LR2012/
11 September 2012, Logic Tea, Zhenhao LiSpeaker: Zhenhao LiTitle: Computable Functionals on the Countable OrdinalsLocation: Room A1.04, Science Park 904, Amsterdam
10 September 2012, Farewell Wim VeldmanLocation: room HG 00.304, Huygensgebouw, Radboud Universiteit Nijmegen
[In Dutch only]
Na meer dan 40 jaar verbonden te zijn geweest aan de Universiteit van Nijmegen neemt Wim Veldman dit najaar afscheid. Ter gelegenheid hiervan is er voor 10 september een middagprogramma georgani seerd in het Huygensgebouw van de Radboud Universiteit Nijmegen (zaal HG 00.304):
12.00-13.00 Aankomst gasten van buiten (met broodjes en koffie)
13.00-15.00 Voordrachten van Yiannis Moschovakis,
Joan Rand Moschovakis en Tonny Hurkens
15.30-16.30 Voordracht Wim Veldman
gevolgd door Receptie.
Belangstellenden zijn van harte welkom.
For more information, concact Sebastiaan Terwijn <terwijn at math.ru.nl>
7 September 2012, Arend Heyting Lectures, Yiannis MoschovakisSpeaker: Yiannis MoschovakisTitle: The Church-Turing Thesis and relative recursionLocation: Trippenzaal, KNAW, Kloveniersburgwal 29, Amsterdam
The Arend Heyting Stichting was founded in 1981. It's goal is to further knowledge of the foundations of mathematics, in particular Intuitionism. On 7 September 2012 Yiannis Moschovakis will deliver the Arend Heyting Lecture to support this goal.
For more information, contact illc at uva.nl. The Heyting Lecture is part of the celebration of the Alan Turing Year 2012.
7 September 2012, DIP Colloquium, Wang LuSpeaker: Wang LuTitle: Sentence Scheme~An approach to analysis of language based on FregeLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
7 September 2012, Workshop "Intuitionism in 2012"Location: VOC-zaal, Oost-Indisch Huis (UvA), Kloveniersburgwal 48, Amsterdam
On the 7th of September 2012, there will be a workshop "Intuitionism in 2012", preceeding the Heyting lecture by Yiannis Moschovakis. Invited speakers: Benno van den Berg, Rosalie Iemhoff, Joan Rand Moschovakis.
For more information, see http://www.illc.uva.nl/KNAW/Heyting/nl/Events/Intuitionism-in-2012/
5 September 2012, Dutch Model Checking Day 2012, Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past twenty-five years, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems, and has induced major corporations such as Microsoft and Intel to invest in the development and application of model checking technology.
The Dutch Model Checking Day (DMCD) is a forum for practitioners and researchers interested in model-based techniques for the validation and analysis of software and hardware. DMCD covers a broad spectrum of topics, ranging from fundamental algorithms to industrial applications and tools. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering.
Registration required, but it is free of charge. For more information, see http://www.cs.vu.nl/~ekr/dmcd2012/
3 September 2012, Glass House of Science and Scholarship (380th anniversary of the University of Amsterdam)
This year marks the 380th anniversary of the University of Amsterdam (UvA). In honour of this 76th 'lustrum' (anniversary occurring every five years), the UvA will be celebrating the opening of the academic year on a grand scale with the arrival of the 'Glass House of Science and Scholarship' ('het Glazen Huis van de Wetenschap'). On Monday, 3 September from 09:30 to 18:15, the Spui in Amsterdam will be transformed into a public lecture hall.
For more information, seehttp://www.english.uva.nl/news/news.cfm/8CB86D70-94B8-45C8-97F7404A3ADC3E3D. Video's of the lectures may be found at http://webcolleges.uva.nl/Mediasite/Catalog/Full/ (requires SilverLight).
31 August 2012, Introduction drinks and pizza outside PolderLocation: in a tent outside Polder, Science Park 205
To welcome the new MSc Logic students and the new PhD students of the ILLC, we have our yearly drinks with pizza.For more information, please contact T.Kassenaar at uva.nl
21 August 2012, Logical RealismLocation: Room 0.04, PN van Eyckhof 2, Leiden University
A meeting of young scholars working on the Realist tradition in the History and Philosophy of Logic and Mathematics.
For more information, see http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/logical-realism.html or contact anstenklev at gmail.com.
20-22 August 2012, Aarhus Workshop on Satisfiability, Aarhus, DenmarkLocation: Aarhus, Denmark
The Aarhus Workshop on Satisfiability funded by CTIC wants to bring together researchers who are interested in different aspects of Boolean Satisfiability. The workshop consists of two parts. In Part 1, leading experts in the field will give a minicourse on selected topics. In Part 2, we will work in small groups on open problems. All participants are invited to contribute one or two open problems related to satisfiability. The goal of the workshop is to learn from each other, start fruitful collaborations on the open problems, and enjoy the beautiful town of Aarhus in summer.
Wednesday, August 1: Registration deadline
Friday, August 17: Deadline for submitting open problems
Monday, August 20 to Wednesday, August 22: Workshop
Please find more information on our webpage: http://ctic.au.dk/workshops-conferences/wsat2012/
6-17 August 2012, 24th European Summer School in Logic, Language and Information (ESSLLI-2012), Opole, PolandLocation: Opole, PolandDeadline: 19 June 2011
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.
For more information, see http://www.esslli2012.pl/
4 July 2012, Colloquium on Mathematical Logic, Thomas StreicherSpeaker: Thomas Streicher (Darmstadt)Title: Computability in Quantum TheoryLocation: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 from Utrecht Central Station).
29 June 2012, ILLC Midsummernight Colloquium 2012, Room C1.110, Science Park 904, AmsterdamLocation: Room C1.110, Science Park 904, Amsterdam
The ILLC Midsummernight Colloquium 2012 will have three invited (30 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Raquel Fernández (LoLa), Jaap Kamps (LaCo) and Anne Troelstra (LoCo) have accepted to give presentations.
For more information, see http://www.illc.uva.nl/ILLCColloquium/Midsummernight2012/ or contact rens.bod at uva.com.
22 June 2012, Colloquium on Mathematical Logic, Kenneth MandersSpeaker: Kenneth MandersTitle: Expressive Means and Mathematical UnderstandingLocation: Room B0.201, Science park 904, Amsterdam
What, beyond proof, makes mathematics a powerful form of understanding? We approach this question by attending to the way mathematics modularizes, by shaping special-purpose contents by the expressions it deploys (and avoids) in special contexts.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
22 June 2012, SMART Cognitive Science Lecture, Östen DahlSpeaker: Östen Dahl (Stockholm)Title: How languages get complexLocation: Doelenzaal, Universiteitsbibliotheek, Singel 421, Amsterdam
22 June 2012, Computational Social Choice Seminar, Monica PatricheSpeaker: Monica PatricheTitle: Abstract Economy Models and the Equilibrium Existence ResultsLocation: Room D1.114, Science Park 904, Amsterdam
22 June 2012, LeGO, Paul DekkerSpeaker: Paul DekkerTitle: Herakleitos' DistinctionLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
Herakleitos' sparse remarks on a "logos" have been deemed dark, but 2500 years later we can see that they are not as dark as Wittgenstein's TLP. I will use modern findings to show that they naturally fit in Wittgenstein's program, and that they help us to transform Aristotle's square of opposition into an obvious cube of opposition. If time permits I will argue that Herakleitos' logic of distinction is also appropriately conceived of as dynamic in nature, and that it naturally fits his own, even more sparse, remarks on ethical matters.
16 June 2012, 5th Interaction and Concurrency Experience, Stockholm, SwedenSpeaker: Marcello Bonsangue and Ichiro HasuoLocation: Stockholm, Sweden
Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions. The theme of ICE 2012 is Distributed coordination, execution models, and resilient interaction.
Since its 1st edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members.
For more information, see http://www.artist-embedded.org/artist/-ICE-2012-.html
14 June 2012, Symposium on Logic and Reality: The Current Role of Logic in Human Affairs, Boothzaal, Universiteitsbibliotheek Uithof, UtrechtLocation: Boothzaal, Universiteitsbibliotheek Uithof, UtrechtCosts: Free (also free lunch)
This is the annual Symposium of Utrecht's student association of Artificial Intelligence. We will try to discuss several questions on Logical Reasoning by means of cognitive psychology, non-monotone logics, intuitionistic logics, human-agent networks and decision theories.
Chairman: prof. dr. Michael Moortgat. Speakers: Henry Prakken, Wim Veldman and Johan Bos. The talks and discussion are all in English.
For more information and a programme, see http://symposium.uscki.nl/.
11 June 2012, Colloquium on Mathematical Logic, Michael BeesonSpeaker: Michael BeesonTitle: Logic of Ruler and Compass ConstructionsLocation: Room 010, Drift 23, Utrecht
11 June 2012, LogiCIC/LIRa Seminar, Nuel Belnap (University of Pittsburgh)Speaker: Nuel Belnap (University of Pittsburgh)Title: On internal cases in case-intensional logicLocation: Room D1.114, Science Park 904, Amsterdam
8 June 2012, Colloquium on Mathematical Logic, Giuseppe GrecoSpeaker: Giuseppe GrecoTitle: Sequent Calculus for the Logic of Public AnnouncementsLocation: Room 007, Buys Ballot Lab, Princetonplein, Utrecht
8 June 2012, LeGO, Matthijs WesteraSpeaker: Matthijs WesteraTitle: Meanings as proposals: an algebraic inquisitive semanticsLocation: room A1.10, Science Park 904, Amsterdam
5-6 June 2012, Tarski Workshop, VU University, AmsterdamLocation: VU University, Amsterdam
This workshop brings together experts on Alfred Tarski's work, with a variety of backgrounds. Together they throw light on the many facets of Tarski's work, such that the extent of it becomes visible and the interrelation between the various parts emerges.
4 June 2012, Logic and Interactive Rationality (LIRa), Simon Kramer (University of Luxembourg)Speaker: Simon Kramer (University of Luxembourg)Title: A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)Location: Room D1.114, Science Park 904, Amsterdam
4 June 2012, Faculty Colloquium, Henkjan Honing / Carsten de DreuSpeaker: Henkjan Honing / Carsten de DreuTitle: If music isn't a luxury, what is it? / The Neuropeptide Oxytocin Enables Creative Cognition in HumansLocation: Room C1.110, Science Park 904, Amsterdam
1 June 2012, DIP Colloquium, Stefan WinteinSpeaker: Stefan Wintein (Tilburg)Title: Playing with truthLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
29 May 2012, Logic Tea, Virginie FiutekSpeaker: Virginie FiutekTitle: Playing for KnowledgeLocation: Room A1.04, Science Park 904, Amsterdam
In this presentation I introduce the formal foundation of a new game semantics to define the concept of defeasible knowledge. My approach is inspired by Keith Lehrer's use of "justification games''. These games are an essential ingredient of Lehrer's account of knowledge as "undefeated justified acceptance'': an agent plays against an (ultra)critical opponent in order to give an irrefutable justification for accepting a certain proposition. My formal treatment of such type of games should provide a valuable addition to the literature on formal epistemology. I will make the notions of preference, justification, truth, belief and knowledge explicit within the framework of Dynamic Epistemic Logic and its recent extensions to deal with belief revision theory. This talk is based on on-going joint work with A. Baltag and S. Smets.
The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).
30 May 2012, A|C seminar, Umberto RivieccioSpeaker: Umberto RivieccioTitle: Bilattices with modal operatorsLocation: Room B0.209, Science Park 904, Amsterdam
Some authors have recently started to consider modal expansions of the well-known Belnap four-valued logic, either with implication (S. Odintsov, H. Wansing et al.) or without it (G. Priest). Given that some bilattice logics are four-valued (conservative) expansions of the Belnap logic, we may wonder whether it makes sense to consider modal expansions of bilattice logics and their algebraic counterpart, which would be bilattices with modal operators. I will present a few ideas on how this can be done.
For more information, see http://algcoalg.wordpress.com/.
29 May 2012, Logic and Interactive Rationality (LIRa), Alexandru Baltag and Jort BergfeldSpeaker: Alexandru Baltag and Jort BergfeldTitle: The "Quantum Paradise": (Second-Order) Quantum Logic is Decidable!Location: Room A1.04, Science Park 904, Amsterdam
25 May 2012, SMART Cognitive Science Lecture, Willem Zuidema / Carel ten CateSpeaker: Willem Zuidema / Carel ten CateTitle: SMART Perspective on Evolutionary Linguistics / On the linguistic abilities of songbirdsLocation: Room UT3.01, Universiteitstheater, Nieuwe doelenstraat 16-18, Amsterdam
16h00, Willem Zuidema (ILLC, UvA), SMART Perspective on Evolutionary Linguistics
16h20, Carel ten Cate (Leiden), On the linguistic abilities of songbirds
17h30, Drinks in Cafe Frenzi (Zwanenburgwal 232 – that’s 100 meters in the direction of the Waterloo Square market)
For more information, see http://smartcognitivescience.wordpress.com/
24 May 2012, NIAS SeminarTitle: Core Knowledge Systems, Language, and MusicLocation: NIAS Campus
How do we learn to count and listen to music? In a NIAS Seminar on 24 May, Johan Rooryck and Henkjan Honing will discuss the cognitive qualities that we share with other animals, and the ones that are uniquely human.
In this seminar, Johan Rooryck and Henkjan Honing will present some aspects of the Horizon research project Knowledge and Culture that they recently submitted to NWO for funding. In this project, they intend to study the relationship between innate cognitive capacities that are not specific for humans, so-called core knowledge systems, and innate cognitive capacities that are uniquely human, such as language and music.
For more information, see http://musiccognition.blogspot.com/2012/05/ and http://www.nias.nl/Pages/NIA/33/300.bGFuZz1FTkc.html.
23 May 2012, A|C seminar, Kohei KishidaSpeaker: Kohei KishidaTitle: Topological- and Neighborhood-Sheaf Semantics for First-Order Modal LogicLocation: Room B0.201, Science park 904, Amsterdam
This talk extends Tarski's classical topological semantics for propositional modal logic to first-order modal logic, with respect to the following two aspects: (i) It takes a sheaf over a topological space, and shows that such structures (or the category of them) model first-order modal logic by equipping points of the space with domains of individuals. (ii) It is also shown how topological semantics extends to the more general case of neighborhood semantics, at the level of sheaf semantics. These extensions provide semantics for the simple unions of first-order logic with S4 modal logic and with more general modal logics. Corresponding to the point-set and algebraic formulations of Tarski's topological semantics, the semantics of this paper will be presented in both point-set and topos-theoretic formulations.
For more information, see http://algcoalg.wordpress.com/.
22-23 May 2012, Conference on Education in the Sciences
On 22-23 May 2012, the Innovatiecentra Academisch Bètaonderwijs (ICAB) will organise a conference on education in the sciences (in Dutch). If you are a lecturer in the MSc Logic programme and would like to participate, please tell Ulle Endriss (the registration fee can be convered from a central UvA budget).
For more information, see http://www.icab.nl/?pid=3.
21 May 2012, LogiCIC Seminar, Branden FitelsonSpeaker: Branden Fitelson (Rutgers University, New Brunswick)Title: Accuracy, Coherence, and EvidenceLocation: Room D1.113, Science Park 904, Amsterdam
For abstracts and more information, see http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.
15 May 2012, LogiCIC Seminar / LIRa, Vincent HendricksSpeaker: Vincent HendricksTitle: Infobombs in Echo-chambersLocation: Room A1.04, Science Park 904, Amsterdam
11 May 2012, DIP Colloquium, Yacin HamamiSpeaker: Yacin Hamami (Brussels)Title: Towards an Inquisitive Approach to Interrogative InquiryLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
10 May 2012, Colloquium on Mathematical Logic, George MetcalfeSpeaker: George Metcalfe (Bern)Title: Admissibility in Finite AlgebrasLocation: Room B0.201, Science Park 904, Amsterdam
8 May 2012, Logic Tea, Marion HaemmerliSpeaker: Marion HaemmerliTitle: The Issue of Perspectivality in Formal Theories of Spatial RepresentationLocation: Room A1.04, Science Park 904, Amsterdam
8 May 2012, Logic and Interactive Rationality (LIRa), Virginie FiutekSpeaker: Virginie FiutekTitle: Game Semantics for Defeasible KnowledgeLocation: Room A1.04, Science Park 904, Amsterdam
27 April 2012, DIP Colloquium, Edgar OneaSpeaker: Edgar Onea (Goettingen)Title: Another lambda-calculusLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
27 April 2012, Computational Social Choice Seminar, Michael FrankeSpeaker: Michael Franke (ILLC)Title: Strategies to Promote your Opinion in a Social NetworkLocation: Room A1.04, Science Park 904, Amsterdam
24 April 2012, Logic and Interactive Rationality (LIRa), Jens Ulrik Hansen (ILLC)Speaker: Jens Ulrik Hansen (ILLC)Title: Pluralistic ignorance: Unveiling logical, rational, and epistemic components of an error phenomenon from social psychologyLocation: Room A1.04, Science Park 904, Amsterdam
For more information, see http://www.illc/uva.nl/lgc/seminar
24 April - 28 June 2012, Course on models of computationLocation: Utrecht University
Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.
The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.
Lecturers: Vincent van Oostrom and Clemens Grabmayer
For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
20 April 2012, SMART Cognitive Science Lecture, Tecumseh FitchSpeaker: Tecumseh Fitch (Vienna)Title: Music and Language: The Formal Identity HypothesisLocation: Room UT3.01, Universiteitstheater, Nieuwe doelenstraat 16-18, Amsterdam
17 April 2012, Logic Tea, Sumit SourabhSpeaker: Sumit Sourabh (ILLC)Title: Algebraic correspondence for Intuitionistic modal logicLocation: Room A1.04, Science Park 904, AmsterdamFor more information, see here .
13 April 2012, DIP Colloquium, Katja JasinskajaSpeaker: Katja Jasinskaja (ZAS, Berlin)Title: The symmetry problem and the symmetry principleLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
13 April 2012, Keerpunten in de GeesteswetenschappenLocation: Aula, University of Amsterdam, Singel 411, AmsterdamCosts: none
Deze dag met colleges geeft een inspirerende en toegankelijke inleiding tot de belangrijkste keerpunten binnen de humaniora. Het is een veelomvattend overzicht van waar de geesteswetenschappen ons gebracht hebben, opgehangen aan de belangrijkste centrale inzichten en de ontdekkingen die daartoe geleid hebben. De samenhang tussen de verschillende wetenschapsgebieden als historische wetenschappen, taalkunde, muziekwetenschap, literatuurwetenschap en mediastudies, komt uitgebreid aan de orde. Kortom, wat is de betekenis van de geesteswetenschappen voor de wereld?
Deze middag wordt afgesloten met een forumdiscussie over de waarde van Geesteswetenschappen nu en in het verleden en hoe deze zich verhouden tot bijvoorbeeld de natuur- en gedragswetenschappen. Het publiek is van harte uitgenodigd hierover mee te praten.
For more information, see http://www.uva.nl/actueel/agenda.cfm/5A6AB394-876A-4617-9FFF3CF7CF14AC04.
10 April 2012, Logic and Interactive Rationality (LIRa), Sunil Simon (CWI)Speaker: Sunil Simon (CWI)Title: Choosing products in social networksLocation: Room A1.04, Science Park 904, Amsterdam
5 April 2012, Spinoza lectures, Michael FriedmanSpeaker: Michael FriedmanTitle: Mathematical Science, Naturalism, and NormativityLocation: Agnietenkapel, Amsterdam
The Second Lecture applies the historical approach I have been developing to issues of interest within contemporary philosophy involving naturalism, mathematics, and the place of normativity in a scientific world-view. I do this by briefly sketching a new look at the history of philosophical rationalism and its involvement with mathematical science from Plato, through the scientific revolution of the seventeenth century (Galileo, Descartes, Newton, Leibniz), to Kant. And I aim thereby to indicate how we might fruitfully go on from this rationalist tradition today.
For more information, contact Y.T.M.Verbeek at uva.nl.
5 April 2012, DIP Colloquium, Greg RestallSpeaker: Greg Restall (Melbourne)Title: Sequent Systems and Defining RulesLocation: Room D1.113, Science Park 904, Amsterdam
3 April 2012, Logic Tea, Fenner TanswellSpeaker: Fenner TanswellTitle: Benacerraf and FormalisationLocation: Room A1.04, Science Park 904, Amsterdam
30 March 2012, Computational Social Choice Seminar, Dino PedreschiSpeaker: Dino PedreschiTitle: Human Mobility, Social Ties, and Link PredictionLocation: Room D1.113, Science Park 904, Amsterdam
30 March 2012, Computational Social Choice Seminar, Fosca GiannottiSpeaker: Fosca GiannottiTitle: Multidimensional Network AnalysisLocation: Room D1.113, Science Park 904, Amsterdam
29 March 2012, Spinoza lectures, Michael FriedmanSpeaker: Michael FriedmanTitle: Extending the Dynamics of ReasonLocation: Oude Lutherse Kerk, Amsterdam
My Dynamics of Reason (2001) responds to Thomas Kuhn’s theory of scientific revolutions by developing a new-Kantian conception of dynamical and historically relative a priori constitutive principles and applies this conception to Kuhn’s central example of the transition from Newtonian physics to Einstein’s theory of relativity. It argues for the trans-historical rationality of this revolutionary scientific change by appealing to the contemporaneous developments in scientific philosophy throughout the late nineteenth and early twentieth centuries, involving such figures as Hermann von Helmholtz, Ernst Mach, and Henri Poincaré. The First Lecture briefly summarizes this argument and then extends it in two interrelated ways – by, on the one hand, exploring the scientific, philosophical, and theological background to Kant’s original conception of a non-dynamical, timeless conception of the synthetic a priori, and, on the other, relating these developments to the wider cultural context. I thus make a beginning in connecting the purely intellectual historical narrative on which I have concentrated so far with cultural and political history, thus making contact with work in history of science and science studies.
For more information, contact Y.T.M.Verbeek at uva.nl.
27 March 2012, Logic and Interactive Rationality (LIRa), Ondrej MajerSpeaker: Ondrej MajerTitle: Substructural Epistemic FramesLocation: Room TBA, Science Park 904, Amsterdam
The session is jointly organized by the LIRa seminar and the LogiCIC project.
For more information, see http://www.illc.uva.nl/lgc/seminar
26 March 2012, Utility optimization in queueing networks, Neil Walton (University of Amsterdam)Speaker: Neil Walton (University of Amsterdam)Location: CWI, Science Park 123, Room L120
We present some applications of utility optimization in queueing networks. We introduce a number of results on utility functions and optimization decompositions. We present results about the equilibrium state of certain queueing networks. We then show how both these optimization problems and queueing networks can be modified so that the asymptotic state of a queueing network converges to the solution of a utility optimization problem.
For more information, email k.r.apt at cwi.nl.
20 March 2012, SMART Cognitive Science Lecture, Anne BakerSpeaker: Anne Baker (ACLC, UvA)Title: SMART Perspective on Language & Executive FunctionLocation: Room P2.27, Plantage Muidergracht 24, Amsterdam
20 March 2012, Logic and Interactive Rationality (LIRa), Roberto Ciuni (Bochum)Speaker: Roberto Ciuni (Bochum)Title: Ought Implies Can, Omission and Probabilistic Deliberative STITLocation: Room D1.113, Science Park 904, Amsterdam
Please note that the regular slot for the LIRa seminar has changed from Thursday 3 p.m. to Tuesday 3 p.m.!
For more information, see http://www.illc.uva.nl/lgc/seminar.
19 March 2012, Coalgebra in the Netherlands (COIN)Location: Nijmegen, The Netherlands
COIN — Coalgebra in the Netherlands is a bimonthly seminar, to be held on Mondays alternately in Nijmegen and Amsterdam. The aim of COIN is to bring together coalgebra researchers at various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.
The next COIN meeting is scheduled for Monday, 19 March 2012, at CWI, in room L120. The schedule is as follows:
13:30 - 14:15 Georgiana Caltais
14:15 - 15:00 Tomasz Brengos
15:15 - 16:00 Clemens Kupke
For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html
16 March 2012, ILLC Current Affairs MeetingLocation: Room C0.110, Science Park 904, Amsterdam
The second ILLC Current Affairs Meeting will take place on Friday 16th March next, from 16:00 to 17:30 hours in room C0.110, Science Park 904. At the Current Affairs meetings, ILLC staff and PhD students are informed about matters of importance regarding day-to-day affairs at ILLC, and also about larger issues concerning the ILLC. All ILLC employees are invited to this meeting, which will be followed by drinks in the ILLC Common Room.
14 March 2012, Computational Social Choice Seminar, Umberto GrandiSpeaker: Umberto Grandi (ILLC)Title: On Compatible and Consistent Collective Decision MakingLocation: Room D1.114, Science Park 904, Amsterdam
14 March 2012, CWI PNA6 seminar, Sonja SmetsSpeaker: Sonja SmetsTitle: Dynamic and Epistemic Perspectives on Quantum BehaviorLocation: CWI, Science Park 123, room L017
This talk is based on joint work with A. Baltag on the use of concepts and techniques from Dynamic Epistemic Logic (DEL) to model and reason about quantum behavior. First I will concentrate on an improvement of the older results (due to Piron, Soler, Mayet and others) on the 'Hilbert-complete' axiomatizations of algebraic quantum logic and present a dynamic-logical setting, in which physical actions (and not only static physical properties) are logically represented. Secondly I will focus on compound systems and analyse both classical and quantum correlations. Our formalism for this is based on an extension of epistemic logic with operators for 'group knowledge'. And as models I introduce correlation models, as a generalization of the 'interpreted systems' semantics (commonly used in Computer Science as a model for information flow in distributed systems). I use this second setting to investigate the relationship between the information carried by each of the parts of a complex system and the information carried by the whole system. Our dynamic logical setting explains the non-local informational dynamics of quantum systems that are triggered by quantum observations (measurements) and un-observed evolutions (quantum gates), and the epistemic logical setting yields an informational-logical characterization of the notion of 'quantum entanglement'.
13 March 2012, Logic Tea, Fabrice CorreiaSpeaker: Fabrice CorreiaTitle: Logical GroundsLocation: Room A1.04, Science Park 904, Amsterdam
9 March 2012, DIP Colloquium, Keith StenningSpeaker: Keith Stenning (Edinburgh)Title: The psychology and the logic of the syllogismLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
8 March 2012, Logic and Interactive Rationality (LIRa), Ben Rodenhäuser (ILLC)Speaker: Ben Rodenhäuser (ILLC)Title: Doxastic Attitudes as Belief Revision PoliciesLocation: Room D1.113, Science Park 904, Amsterdam
6 March 2012, Logic Tea, Aleks Knoks and Riccardo PinosioSpeaker: Aleks Knoks and Riccardo PinosioTitle: Default Reasoning: Abnormality Minimization and TableauxLocation: Room A1.04, Science Park 904, Amsterdam
5 March 2012, Faculty Colloquium, Phil Uttley / Robbert DijkgraafSpeaker: Phil Uttley / Robbert DijkgraafTitle: Using X-ray echoes to get close to black holes / TBALocation: Room C1.110, Science Park 904, Amsterdam
2 March 2012, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Aggregating Kripke FramesLocation: Room B0.203, Science Park 904, Amsterdam
1 March 2012, Logic and Interactive Rationality (LIRa), Mamoru Kaneko (University of Tsukuba)Speaker: Mamoru Kaneko (University of Tsukuba)Title: Critical Comparisons between the Nash Noncooperative Theory and RationalizabilityLocation: Room A1.04, Science Park 904, Amsterdam
1 March 2012, CAFE Lecture Series, Julian KiversteinSpeaker: Julian KiversteinTitle: How to respond to 'neuromania'?Location: Facultyroom 1.17, UvA Department of Philosophy, Oude Turfmarkt 141-147, Amsterdam
29 February 2012, Colloquium on Mathematical Logic, Joost JoostenSpeaker: Joost JoostenTitle: Well-orders in the Japaridze AlgebraLocation: Room A1.10, Science Park 904, Amsterdam
27 February 2012, LogiCIC Seminar, Maria Louisa Dalla Chiara and Roberto GiuntiniSpeaker: Maria Louisa Dalla Chiara (Florence) and Roberto Giuntini (Cagliari)Title: From Quantum Information to Musical SemanticsLocation: Room A1.10, Science Park 904, Amsterdam
22 February 2012, LogiCIC and LiQuID tutorial, Robterto Giuntini (University of Cagliari)Speaker: Robterto Giuntini (University of Cagliari)Title: The logic of unsharp quantum mechanicsLocation: Room B0.203, Science Park 904, Amsterdam
17 February 2012, DIP Colloquium, Alex OliverSpeaker: Alex Oliver (Cambridge)Title: A Theory of Plural DescriptionsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
17 February 2012, Seminar on music cognition and computation, Makiko SadakataSpeaker: Makiko SadakataTitle: Enhanced perception of various linguistic features by musicians: a cross-linguistic study.Location: Room C3.108, Science Park 904, Amsterdam
Two cross-linguistic experiments comparing musicians and non-musicians were performed in order to examine whether musicians have enhanced perception of specific acoustical features of speech in a second language (L2). These discrimination and identification experiments examined the perception of various speech features; namely, the timing and quality of Japanese consonants, and the quality of Dutch vowels. We found that musical experience was more strongly associated with discrimination performance rather than identiﬁcation performance. The enhanced perception was observed not only with respect to L2, but also L1. It was most pronounced when tested with Japanese consonant timing.
These findings suggest the following: 1) musicians exhibit enhanced early acoustical analysis of speech, 2) musical training does not equally enhance the perception of all acoustic features automatically, and 3) musicians may enjoy an advantage in the perception of acoustical features that are important in both language and music, such as pitch and timing.
For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html
15 February 2012, General Mathematics Colloquium, Krzysztof AptSpeaker: Krzysztof AptTitle: Choosing Products in Social NetworksLocation: Room C1.112, Science Park 904, Amsterdam
The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/ For more information, please contact Tanja Eisner (t.eisner at uva.nl), Hessel Posthuma (h.b.posthumsa at uva.nl) or Neil Walton (n.s.walton at uva.nl)
14 February 2012, Logic Tea, Christian SchaffnerSpeaker: Christian SchaffnerTitle: Position-Based CryptographyLocation: Room A1.04, Science Park 904, Amsterdam
10-11 February 2012, Amsterdam Workshop in Set TheoryLocation: University Library (Room Potgieterszaal), Singel 425, Amsterdam
On Friday February 10th 2012, Yurii Khomskii will publicly defend his PhD thesis in Amsterdam (11am, Aula). Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.
For more information and a programme, see http://staff.science.uva.nl/~zhenhao/SetThy12/index.html
9 February 2012, Logic and Interactive Rationality (LIRa), Kohei KishidaSpeaker: Kohei KishidaTitle: Autonomy of Substructures and the Converse Barcan FormulaLocation: Room TBA, Science Park 904, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1340.
9 February 2012, UvA Technology Transfer Office: STW funding opportunitiesLocation: Room B 0.160, het Glazen Huis, Science Park 904
STW funds excellent research, which can lead to the development of a product. In its’ evaluation processes both scientific excellence and possibility for utilization are equally important. Therefore when you write an STW application you need to keep in mind what it takes to get from research to product, and you need to get the parties necessary to bring the product to market aboard.
Dr Eppo Bruins, director of STW, will give a presentation on the ins- and outs of STW funding. Dr Marja Oosterlaken will talk about the do’s and don't’s, and dr (tbc, Erik Manders) will give his tips for writing a successful STW application.
This workshop is intended for researchers, and for possible industry partners. Feel free to invite your industry contacts to this meeting.
The workshop will be given in English. Participation is free
For more information, see http://www.english.uva.nl/technology-transfer-office/workshops-and-training.cfm/
7 February 2012, Logic Tea, Yurii KhomskiiSpeaker: Yurii KhomskiiTitle: Regularity Properties and DefinabilityLocation: Room A1.04, Science Park 904, Amsterdam
7 February 2012, On Worst-Case Allocations in the Presence of Indivisible Goods, E. MarkakisSpeaker: E. Markakis (Athens)Location: CWI, Science Park 123, room L017
We study a fair division problem, where a set of indivisible goods is to be allocated to a set of n agents. Each agent may have different preferences, represented by a valuation function that is a probability distribution on the set of goods. In the continuous case, where goods are infinitely divisible, it is well known that proportional allocations always exist, i.e., allocations where every agent receives a bundle of goods worth to him at least 1/n. In the presence of indivisible goods however, this is not the case and one would like to find worst case guarantees on the value that every agent can have. We focus on algorithmic and mechanism design aspects of this problem.
In the work of [Hill 1987], an explicit lower bound was identified, as a function of the number of agents and the maximum value of any agent for a single good, such that for any instance, there exists an allocation that provides at least this guarantee to every agent. The proof however did not imply an efficient algorithm for finding such allocations. Following upon the work of Hill, we first provide a slight strengthening of the guarantee we can make for every agent, as well as a polynomial time algorithm for computing such allocations. We then move to the design of truthful mechanisms. For deterministic mechanisms, we obtain a negative result showing that a truthful 2/3-approximation of these guarantees is impossible. We complement this by exhibiting a simple truthful algorithm that can achieve a constant approximation when the number of goods is bounded. Regarding randomized mechanisms, we also provide a negative result, showing that we cannot have truthful in expectation mechanisms under the restrictions that they are Pareto-efficient and satisfy certain symmetry requirements.
Joint work with Christos-Alexandros Psomas
For more information, contact k.r.apt at cwi.nl
6, 8, 13 and 15 February 2012, LogiCIC and LiQuID tutorialSpeaker: Roberto Giuntini (University of Cagliari)Title: The Logics of Quantum Computation: An IntroductionLocation: Room varies, Science Park 904, Amsterdam
In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1344
1 February 2012, Algebra|Coalgebra Seminar, Fabio ZanasiSpeaker: Fabio ZanasiTitle: A tutorial on monads and algebraic theoriesLocation: Room A1.06, Science Park 904, Amsterdam
31 January 2012, ACG Colloquium, Jos BaetenSpeaker: Jos Baeten (CWI/TUE)Title: Reactive Turing MachinesLocation: Room L.120, CWI, Science Park 123, Amsterdam
For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=290
30-31 January 2012, Interrogative Model of Inquiry Workshop, Paris, FranceLocation: Paris, France
The aim of the Interrogative Model of Inquiry Workshop is to bring together researchers interested in Hintikka's Interrogative Model of Inquiry (IMI), and to promote cooperation and exchange on research projects related to the development of the IMI. The workshop will be the occasion to assess the different past scientific contributions to the IMI, and to open and discuss possibilities for new research directions.
The IMI Workshop is made possible by the IMI Project funded by the ANR and hosted by the IHPST.
27 January 2012, Seminar on music cognition and computation, Michiel SchuijerSpeaker: Michiel SchuijerTitle: Pitch-Class Set Theory and the Notion of Distance in MusicLocation: C3.108
In my book Analyzing Atonal Music: Pitch-Class Set Theory and Its Contexts, one of my aims was to show that pitch-class set theory was not just tailored to the analysis of revolutionary compositions, and that it neither heralded a new era of computational musicology - although it has been identified with each of these two claims from early on. What struck me was the continuity it exhibited with music theories of the past. And it seemed to enable the same kind of engagement with twentieth-century, "modernist" music as earlier generations had felt for the great masterworks of the eighteenth and nineteenth centuries.
In this talk, I will take my cue from the relation between "similarity" and "distance", and discuss the "roadmaps" that music theorists of the eighteenth and nineteenth centuries conceived to establish the distances between tonal keys.
For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html
Or see here.
27-28 January 2012, Workshop "Vagueness in Language, Reasoning, and Cognition"Location: Doelenzaal, Universiteitsbibliotheek, Singel 425, 1012 WP Amsterdam
This is the closing workshop for the NWO project On Vagueness - And How to Be Precise Enough (2008-2012). The workshop brings together philosophers, linguists, and psychologists working on the topic.
Organisers: Harald Bastiaanse, Robert van Rooij, Galit W. Sassoon, and Frank Veltman.
For more information, see: http://sites.google.com/site/vaguenesscircle/workshop. Participation in the workshop is free of charge, but we kindly ask you to let us know if you have plans to come (galitadar at gmail.com), so that we have an estimation of number of participants (for technical arrangements).
26 January 2012, Logic and Interactive Rationality (LIRa), Denis BonnaySpeaker: Denis BonnayTitle: Trust and BayesLocation: D1.113, Science Park 904, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1203
26 January 2012, Geesteswetenschappen presenteert, Bart de BoerSpeaker: Bart de BoerTitle: Evolutie van spraak: het raadsel van de keelzakkenLocation: Spui 25-27, 1012 WX, Amsterdam
Taal is essentieel voor de mens. Mensen zijn de enige diersoort met taal en essentikle dingen die ons mens maken, zoals samenwerking, cultuur en wetenschap zouden niet mogelijk zijn zonder taal. Wetenschappers zijn daarom zeer geonteresseerd in hoe taal gekvolueerd is. Het enige aspect van taal waar fossiel bewijs voor is, is spraak. Deze presentatie behandelt een onderdeel van dat fossiele bewijs: het verdwijnen van de keelzak.
Keelzakken zijn grote zakken die verbonden zijn met het spreekkanaal. Alle apen hebben keelzakken, behalve de mens. Waarom zijn die keelzakken bij de mens verdwenen en heeft dat iets met spraak te maken? Deze vragen worden beantwoord en er kan zelfs gezegd worden hoe lang geleden dit allemaal gebeurd is.
De lezing van Bart de Boer wordt ingeleid door prof. dr. Paul Boersma.
For more information, see http://www.spui25.nl/spui25/programma.cfm/8E8CA761-2F20-43B5-AD2B7B3F6349055E
24 January 2012, LogiCIC Seminar, Kevin T. Kelly and Hanti LinSpeaker: Kevin T. Kelly and Hanti LinTitle: Propositional Reasoning that Tracks Probabilistic Reasoning
/ Uncertain Acceptance and Contextual Dependence on QuestionsLocation: Room A1.10, Science Park 904, Amsterdam
We have the pleasure to invite you to participate in our new monthly LogiCIC seminar series which is being organized within our ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science. For the opening of this seminar next Tuesday, we have the honor to present you with two lectures. The speakers are Kevin T. Kelly and Hanti Lin from Carnegie Mellon University.
For more information and an abstract, see https://sites.google.com/site/logicicproject/logicic-seminar or here.
23 January 2012, Coalgebra in the Netherlands (COIN)Location: Nijmegen, The Netherlands
COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.
The next COIN meeting is scheduled for Monday, 23 January 2012, at the Huygens building of the Radboud Universiteit Nijmegen, in room HG00.086. The schedule is as follows:
14:30 - 15:15 Jörg Endrullis (VU)
Part 1: Causality via productivity
Part 2: Degree of undecidability of stream equality
15:15 - 16:00 Bart Jacobs (RU)
Bases as coalgebras
16:15 - 17:00 Joost Winter (CWI)
For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html
20 and 23 January 2012, Tutorial, Kevin Kelly (Carnegie Mellon)Speaker: Kevin Kelly (Carnegie Mellon)Title: Topological EpistemologyLocation: Room A1.10, Science Park 904, Amsterdam
Professor Kelly, who is currently a visitor at ILLC, will give a two-part tutorial on Topological Epistemology for a general audience.
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1241.
20 January 2012, Workshop "More Structure for Better Statistical Machine Translation?"Speaker: Kevin Knight (University of Southern California), Bill Byrne (University of Cambridge), Phil Blunsom (University of Oxford), Dekai Wu (HKUST), Markos Mylonakis and Khalil Sima'an (University of Amsterdam)Location: Room P.017, Euclides Building, Roeterseiland, Plantage Muidergracht 24, AmsterdamCosts: Free; registration via e-mail to firstname.lastname@example.org
For more information on the workshop and the full program, please visit: http://staff.science.uva.nl/~simaan/workshop2012.html or e-mail k.simaan at uva.nl or m.mylonakis at uva.nl.
19 January 2012, Logic and Interactive Rationality (LIRa), Pietro Galliani (ILLC)Speaker: Pietro Galliani (ILLC)Title: Dynamic Logics of Imperfect Information and Transition SemanticsLocation: Room C1.112, Science Park 904, Amsterdam
For the abstract of the talk, visit http://www.illc.uva.nl/lgc/seminar/?p=1209
18 January 2012, SMART Cognitive Science Lecture, Kevin KnightSpeaker: Kevin KnightTitle: Code-breaking and Language Translation: Some ConnectionsLocation: BH0.04, Bungehuis, Spuistraat 210, Amsterdam
16 January 2012, Stand van de wetenschap, John Michon en Henkjan HoningSpeaker: John Michon en Henkjan HoningTitle: Over tijd en muziekLocation: Spui 25-27, 1012 WX, Amsterdam
Tijd is onlosmakelijk verbonden met muziek en is eveneens een centrale notie in de muziekcognitie, de studie naar de manier waarop muziek door de hersenen wordt verwerkt. Cognitiewetenschappers doen onderzoek naar mentale processen zoals kennisverwerving en -verwerking door het menselijk brein. Juist omdat muziek met onze cognitieve functies speelt, zijn deze wetenschappers muziek als onderzoeksobject in de loop der jaren steeds interessanter gaan vinden - zeker naarmate de computer en nieuwe technieken het makkelijker maakten theorieën over muziek toetsbaar te maken. In deze aflevering van 'Stand van de Wetenschap' bieden John Michon en Henkjan Honing een inkijkje in de ontwikkelingen binnen de muziek- en cognitiewetenschap, aan de hand van verschillende onderzoeken naar de notie tijd in de muziek.
For more information, see http://www.spui25.nl/spui25/programma.cfm/43709F9E-C3AE-44D4-B42ACD3CA472AC4E
13 January 2012, ILLC New Year's Colloquium 2012Location: C1.110, Science Park 904, Amsterdam
The ILLC will celebrate the New Year at the ILLC New Year's Colloquium 2012.
16.00-16.30: Jelle Zuidema: Is Recursion Monkey Business?
16.30-17.00: Jan van Eijck: Logic of Communication
17.00-17.30: Katrin Schulz: The Semantic Anatomy of Conditional Sentences
17.30-19.00: New Year's toast and drinks
13 January 2012, ACLC Lab Meeting, Gideon BorensztajnSpeaker: Gideon Borensztajn (ILLC)Title: The emergence of syntactic categories and their relations in an integrated semantic-episodic memory systemLocation: Room 420, Bungehuis, Spuistraat 210, Amsterdam
For more information, see http://www.hum.uva.nl/aclc-news/events.cfm/C358946E-BBBB-45E5-81F6ECFDCE5A8490
12 January 2012, First Amsterdam Workshop on Decomposing and Regenerating Syntactic TreesLocation: Room 110, Oude Manhuispoort 4-6, Amsterdam.
For more information, see http://staff.science.uva.nl/~fsangati/WSJ12/.
12 January 2012, Logic and Interactive RAtionalityTitle: Logic and Learning TheoryLocation: Room F1.02, Science Park 500, Amsterdam
As part of our "Logic and Interactive Rationality" series of workshops and seminars, on 12 January we will have a workshop on connections between Logic, Learning Theory and Epistemology, with the occasion of Kevin Kelly's visit to ILLC.
Speakers include Kevin Kelly (Carnegie Mellon), Johan van Benthem (ILLC and Stanford), Jan van Eijck (ILLC, CWI and Utrecht), Peter Grunwald (CWI and Leiden), Sonja Smets (ILLC), Nina Gierasimczuk (ILLC), Alexandru Baltag (ILLC).
More information, including full program and abstracts, will be posted at the LIRA homepage at http://www.illc.uva.nl/lgc/seminar/.
9 January 2012, Workshop "The Mathematical Legacy of Alan Turing" (Spitalfields Day), Cambridge, U.K.Location: Cambridge, U.K.
On the 9th January 2012, the programme "Semantics & Syntax" will be officially opened. In addition to being the official opening of the programme, this event will provide the general mathematical public (with strong emphasis on postgraduate students) a glimpse of the current state of the art and explain what is going to happen during the six months at Cambridge.
The day is one of the Spitalfields Days of the London Mathematical Society, named in honour of the Spitalfields Mathematical Society, a precursor of the London Mathematical Society which flourished from 1717 to 1845. Spitalfields Days provide survey lectures aimed at a general mathematical audience.
If you are a postgraduate student and wish to apply for a travel grant (£100), please contact the organizer at bloewe at science.uva.nl by 15 December 2011.
For more information, see http://www.newton.ac.uk/programmes/SAS/sasw05.html
7 January 2012, SMART Cognitive Science Colloquium with Daniel DennettLocation: City center, Amsterdam (details t.b.a.)
A colloquium on the occasion of Daniel Dennett's honorary doctorate at the UvA, with talks and discussions on Logic, Philosophy & Cognition and Modelling, Evolution & Intelligence. Speakers include Daniel Dennett, Michiel van Lambalgen, Julian Kiverstein and Jelle Zuidema
For more information, see http://smartcognitivescience.wordpress.com/.
Calls for Paper
27 December 2012 - 4 January 2013, "Descriptive Set Theory and Model Theory", Kolkata, IndiaLocation: Kolkata, IndiaDeadline: 31 July 2012
The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.
Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.
For more information, see http://www.isical.ac.in/~dst.model/
Abstracts of contributed talks and request for participation by any mathematician interested in the topics of the workshop and the conference should be received before the deadline of July 31, 2012. Applications by email are preferred.
15-17 December 2012, 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), Hyderabad, IndiaLocation: Hyderabad, IndiaDeadline: 13 July 2012
The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
Representative areas include, but are not limited to:
* Algorithms and data structures
* Automata and formal languages
* Combinatorial optimization
* Computational complexity
* Concurrent, timed and hybrid systems
* Cryptography and security
* Logic in computer science
* Programming languages
For further details see the conference website at http://www.fsttcs.org/.
Authors are invited to submit papers presenting original and unpublished research in any area of Theoretical Computer Science or Foundational aspects of Software Technology. Submission deadline: July 13, 2012 (Anywhere-on-Earth Time).
8-11 December 2012, The Fifth Conference on Artificial General Intelligence (AGI@Oxford), Oxford, U.K.Location: Oxford, U.K.Deadline: 15 July 2012
Continuing the mission of the first four AGI conferences, AGI-12@Oxford gathers an international group of academic and industry researchers involved in scientific and engineering work aimed directly toward the goal of artificial general intelligence. The AGI conferences are the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond.
AGI-12@Oxford will feature invited and contributed talks on all areas of AGI, poster presentations, workshops, tutorials, and technology demonstrations. As in prior AGi conferences, there will be ample panel discussions and occasions for open collaborative discussion on key AGI issues.
AGI-12@Oxford will be followed by a related conference, AGI-Impacts, hosted by Oxford's Future of Humanity Institute and focused on the broader implications of AGI. AGI-12 attendees will get free admission to AGI-Impacts.
For more information, see http://agi-conf.org/2012/
As in prior AGI conferences, we welcome papers on all aspects of AGI R&D, with the key proviso that each paper should somehow contribute specifically to the development of Artificial General Intelligence. Proposals for workshops and tutorials are also solicited. Deadline for submissions: July 15th.
29 November - 1 December 2012, LEMMing Graduate Conference (Philosophy of Language, Logic and Mind), Cologne, GermanyLocation: Cologne, GermanyDeadline: 1 September 2012
The LEMMing Graduate Conference is a three day conference on logic, language, epistemology, metaphysics, and mind that will be held at the University of Cologne, Germany, from November 29 to December 1, 2012. It is jointly organized by the research groups Formal Epistemology (Konstanz), Understanding and the A Priori (Cologne), Phlox (Hamburg), and Nominalizations (Hamburg).
The conference will feature three keynote lectures by Tim Crane (University of Cambridge), Thomas Hofweber (University of North Carolina, Chapel Hill) and Anna-Sara Malmgren (Stanford University), as well as nine contributed talks by graduate speakers. Each graduate talk will be followed by a short commentary by a post-doc associated with one of the organizing groups, as well as a discussion session.
We invite graduate students to submit abstracts on the conference subjects. The material must be suitable for a presentation of no more than 45 minutes. The deadline for submission is September 1, 2012; Applicants must be graduate students at that date.
20-21 November 2012, SILFS Midterm Conference 2012, Milan, ItalyLocation: Milan, ItalyDeadline: 15 June 2012
The Italian Society of Logic and Philosophy of Science (SILFS) will hold on November 20-21, 2012 its mid-term Conference at the Department of Human Sciences, University of Milan-Bicocca.
For more information, see http://www.episteme.formazione.unimib.it/en/silfs2012.
We invite submissions in all areas of logic and philosophy of science, with special attention to inter-disciplinary approaches to logical and epistemological issues and topics in the foundations of special sciences (both natural, social and human). One session of the Conference will be reserved to young scholars who have discussed their Ph.D dissertation not later than 3 years ago. (Extended) deadline for submissions: June 30, 2012.
16-17 November 2012, Logik in der Informatik (LogInf 2012), Mannheim, GermanyLocation: Mannheim, GermanyDeadline: 16 October 2012
The annual meeting of the working group "Logic in Computer Science" of the "Society for Computer Science" in 2012 will take place at the University of Applied Sciences in Mannheim on November 16 & 17 (Friday and Saturday), 2012. Invited Speakers: Klaus Ambos-Spies (Heidelberg), Carsten Lutz (Bremen) and Nicole Schweikardt (Frankfurt)
Regular talks from all areas of logic and its applications in computer science are very welcome. Please send an email with a short abstract (max. 1 page) by October 16, 2012.
9-12 November 2012, Cultures of Mathematics and Logic, Guangzhou, ChinaLocation: Guangzhou, ChinaDeadline: 30 June 2012
Mathematics and formal reasoning are fundamental building blocks of knowledge, essential for science, technology, policy-making and risk-management. Mathematical practice is a rich phenomenon of human activity, with subtle differences between various cultures: here, the word culture can refer to national cultures, but also cultural differences in different historical periods, in different strata of a given society, in different social settings.
And yet, the public perception of mathematics is of an apersonal subject with little or no human interaction, based on a false picture of a science of pure thought and deduction, with almost no interaction or visible activity.
In a move away from these traditionalist positions, philosophers and social scientists have recently become more interested in studying mathematical and logical practice, or, to be precise, different mathematical and logical practices. Our conference will focus on this plurality of viewpoints, studying the various cultures of mathematics and logic, and involve several disciplines such as philosophy, sociology, psychology, cognitive science, history of mathematics, mathematics education, and linguistics.
For more information, see http://www.math.uni-hamburg.de/home/loewe/Guangzhou2012/ or contact bloewe at science.uva.nl.
All researchers working on various aspects of "Cultures of Mathematics and Logic" are cordially invited to submit their one page abstracts by the submission deadline of 30 June 2012.
8-9 November 2012, Workshop on Information and Decisions in Social Networks, Cambridge MA, U.S.A.Location: Cambridge MA, U.S.A.Deadline: 15 September 2012
During the last decade, it has become clear that network interactions have a much larger role in our lives than had previously been appreciated: social networks have a defining impact on not only consumer choice but are also central in social and political decisions ranging from the political discourse in the blogosphere to the organization and coordination of protests in the Arab spring. Similarly financial networks seem at the heart of the 2008 crash. Network effects are now seen as major elements in other domains with human decisions including healthcare, public health, smart power grids, urban transportation, and more. As a consequence, both businesses and government are increasingly looking to build new types of networks to improve management abilities.
This workshop is intended to bring together researchers from different communities working on information propagation and decision making in social networks to investigate both rigorous models that highlight capabilities and limitations of such networks as well as empirical and simulations studies of how people exchange information, influence each other, make decisions and develop social interactions.
For more information, see http://wids.lids.mit.edu/
All contributions, theoretical, empirical, and experimental, on social networks are welcome. Authors are invited to submit an abstract of one to three pages by the deadline of September 15, 2012.
27-28 October 2012, 13th Midwest PhilMath Workshop, Notre Dame IN, U.S.A.Location: Notre Dame IN, U.S.A.Deadline: 1 September 2012
The thirteenth annual Midwest PhilMath Workshop (MWPMW 13) will be held at Notre Dame the weekend of Saturday, October 27th and Sunday, October 28th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be a workshop dinner Saturday evening, with all participants invited to attend as guests of the university.
For more information, see the website of the workshop, which once it is up may be found by following the links on the Philosophy Department's web page at http://www.nd.edu/~ndphilo/.
If you would like to give a talk, email a pdf of your talk or substantial summary to the organizers at mdetlef1 at nd.edu. by September 1st.
25-26 October 2012, The 24th Benelux Conference on Artificial Intelligence (BNAIC 2012), Maastricht, the NetherlandsLocation: Maastricht, the NetherlandsDeadline: 7 June 2012
The main goals of the BNAIC are two-fold:
to bring together AI researchers in the Netherlands and Belgium, as a place to meet and to present research activities.
to present high-quality research results, possibly already published in international conferences or journals.
The format of the BNAIC is therefore a mixture of a meeting place and a forum for good-quality research results. This forms a balance that has proven to be successful in the previous years, as is shown by the high number of participants each year.
Submissions of the following three types are invited: Regular Papers, Compressed Contributions, and Demonstrations & Applications. Submission Deadline: Thursday 7 June 2012
For more information, see http://www.unimaas.nl/bnaic2012/.
19-21 October 2012, Numbers & Truth, Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: 8 August 2012
The conference 'Numbers and truth - the philosophy and mathematics of arithmetic and truth' will be held at the University of Gothenburg, Sweden, on October 19-21, 2012. Its main objective is to permit an exchange of ideas between truth theorists, philosophers and mathematicians interested in the foundations of mathematics. The conference will contain 10 invited and 4 contributed talks. It will give the researchers an opportunity both to present technical results and to diagnose their philosophical significance.
For more information, see the Conference Website at http://www.numbersandtruth.org/
We invite submissions presenting novel contributions to the area of philosophy of mathematics, arithmetic together with its meta-mathematics and model theory, and formal theory of truth. Both philosophical and technical submissions are welcome; especially ones contributing to the discussion of how truth in mathematics should be properly explained. The extended deadline for submitting extended abstracts is August 8th, 2012.
11-13 October 2012, Time & Temporality in Language and Human Experience (TIMELing 2012), Poland, LodzLocation: Poland, LodzDeadline: 15 May 2012
The conference will offer a forum for the presentation of multidisciplinary perspectives on the concept of time and its embodied, phenomenological experience as expressed in diverse systems, above all human language, and should thus be of interest to students and researchers in philosophy, anthropology and psychology of time.
Also welcome are scholars who investigate temporal experience, time expressions and categorization in language and literature, including metaphor and figurative language, learning-acquisition of temporal concepts as well as annotation and identification of temporal structures in language corpora. In addition, the organizers hope to attract researchers who propose cognitive, formal and other models of time and time-related dimensions in the framework of event structures.
For more information, see http://www.timeling.pl/.
Presentations pertaining to the construal and coding of events in linguistic or non-linguistic narrative, gestures and other forms of human communication systems would be relevant. Deadline for Abstracts: May 15th 2012.
11-13 October 2012, Formal Ethics 2012, Munich, GermanyLocation: Munich, GermanyDeadline: 15 June 2012
The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. We invite submissions to Formal Ethics 2012, to be held at the Munich Center for Mathematical Philosophy on October 11th to 13th, 2012. The workshop aims to bring together researchers at the crossroads of ethical theory and formal methods.
Authors should send an extended abstract (1000 words max, pdf or postscript format) together with their name, institutional affiliation(s) and current position(s) to the Organizing Committee. Deadline for submissions: 15.06.2012.
10-12 October 2012, Turing in Context II, Brussels, BelgiumLocation: Brussels, BelgiumDeadline: 20 July 2012
The workshop "Turing in Context II" aims at gaining a better and deeper understanding of Turing's work and legacy by bringing together historians, philosophers, logicians and computer scientists who work on topics that are relevant to one of the many fields Turing has contributed to. The focus of this workshop is thus not Turing's work per se, but rather the work of others before, during and after Turing's life up to today which is directly relevant to understanding Turing's work now and then.
Turing in Context II is a trans-disciplinary research workshop meant for experts in the fields touched by Turing's contributions to science, and will allow for submission of contributed papers.
For more information, see http://www.computing-conference.ugent.be/tic2We cordially invite contributions in all fields relating to the work and legacy of Alan Turing, both current research continuing Turing's ideas, and historical and philosophical reflections on them. Deadline for submission of papers: 20 July 2012.
4-6 October 2012, Fourth French PhilMath Workshop (FPMW4), Paris, FranceLocation: Paris, FranceDeadline: 14 July 2012
This is the fourth in an annual series of workshops on the philosophy of mathematics organized by a team of scholars in France and elsewhere. The three-day meeting will feature both invited and contributed talks.
For more information, see http://www-ihpst.univ-paris1.fr/operations/colloque.php?id_colloque=59
The program will include six contributed talks. Submissions of full-text papers in any topic in the philosophy of mathematics are welcome. The languages of the workshop are English and French. The (extended) deadline for submission is July 14th, 2012.
26-28 September 2012, 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, FranceLocation: Toulouse, FranceDeadline: 22 May 2012
Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI.
The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.
For more information, see http://www.irit.fr/jelia2012/
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. There will be two categories for submissions: Regular papers and System descriptions. (Extended) deadline for abstract submission: May 22.
26-28 September 2012, 7th IFIP Conference on Theoretical Computer Science 2012 (TCS 2012), Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 11 May 2012
The conference Theoretical Computer Science, which is held every two years, either in conjunction or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.
Scope and Topics: Algorithms, Complexity and Models of Computation, Logic, Semantics, Specification and Verification.
For more information, see http://tcs.project.cwi.nl/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Paper submission deadline (extended): May 11.
13-15 September 2012, Colloquium Logicum 2012, Paderborn, GermanyLocation: Paderborn, GermanyDeadline: 15 July 2012
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).
CL 2012 is part of the world-wide Alan Turing Year 2012. Beyond the focus on Alan Turing and the history and philosophy of computing, the conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence. In addition to the Turing celebrations, the DVMLG celebrates its own 50th anniversary.
In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.
For more information, see http://www.math.uni-hamburg.de/home/loewe/CL2012/
The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence). Submissions relating the Alan Turing's life and work are particularly welcome. The submission deadline is Sunday, 15 July 2012.
13-15 September 2012, Salzburg Conference for Young Analytic Philosophy (SOPhiA 2012), Salzburg, AustriaLocation: Salzburg, AustriaDeadline: 31 May 2012
The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with other prospective or well established philosophers, take a first peek into the philosophical business, or simply to attend interesting presentations. Beside the conference presentations there will be two symposia, one on "causality" and one on analytic philosophy of religion.
For more information, see http://www.sophia-conference.org/
Students and doctoral candidates (pre-doc) of philosophy are hereby encouraged to submit an abstract suitable for a presentation. Contributions in every discipline of philosophy (epistemology, ethics, logic, metaphysics, philosophy of religion etc.) are welcome. As customary in analytic philosophy, contributors should make use of understandable language as well as rational argumentation. Deadline: May 31 2012.
12-14 September 2012, Nineteenth International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, U.K.Location: Leicester, U.K.Deadline: 16 April 2012
The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.
The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. In addition, TIME 2012 will feature a special track on Temporal Representation and Reasoning in Medicine. TIME 2012 is an official event of THE ALAN TURING YEAR.
For more information, see http://www.tech.dmu.ac.uk/STRL/time12/ or contact time12 at dmu.ac.uk (for questions related to submission, reviewing, and program) or time12-org at dmu.ac.uk (for questions related to local organization).
Submissions of high quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Abstract Submission deadline: April 16.
11-13 September 2012, 4th International Workshop on Computational Social Choice (COMSOC-2012), Krakow, PolandLocation: Krakow, PolandDeadline: 25 May 2012
Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.
The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organize societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures; computer science theorists analyzing algorithmic properties of social phenomena; and last but not least people coming from social choice theory itself.
For more information, see http://home.agh.edu.pl/~faliszew/COMSOC-2012/.
Submissions of papers on all aspects of computational social choice are now invited. Deadline: 25 May 2012
10-12 September 2012, Fourth International Conference on Computational Models of Argument (COMMA 2012), Vienna, AustriaLocation: Vienna, AustriaDeadline: 26 March 2012
Argumentation is an important and exciting research topic in artificial intelligence, with a broad spectrum of research activities ranging from theory to applications. The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. After the successful editions in Liverpool (2006), Toulouse (2008) and Desenzano del Garda (2010), COMMA 2010 will be held in Vienna in September 2012.
For more information, see http://www.kr.tuwien.ac.at/events/comma2012/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: March 30, 2012
10-12 September 2012, "Mathematical Cultures 1", London, U.K.Location: London, U.K.Deadline: 1 May 2012
Mathematical Cultures 1 is the first of three on mathematics as culture and mathematics in culture. It is organized by a research network funded by the Arts and Humanities Research Council under the 'science in culture' highlight notice, with additional support from the London Mathematical Society.
The first conference will gather research that explores and maps the variety of and connections among contemporary mathematical cultures. These can be research cultures, but may also include practitioner cultures (e.g. among engineers, economists, social scientists, etc.) and mathematical cultures among instructor and student groups (e.g. primary/secondary/tertiary teachers, school pupils, mathematics students at all levels). The project will not invite contributions on historically or culturally remote mathematical cultures except as these illuminate contemporary mathematical culture in developed societies.
For more information, see https://sites.google.com/site/mathematicalcultures/home.
Speakers wishing to present papers at the first mathematical cultures conference should submit an abstract of no more than 300 words to the Easychair submissions system by 1 May 2012.
10-14 September 2012, Logic, Algebra and Truth Degrees 2012, Kanazawa, Ishikawa, JapanLocation: Kanazawa, Ishikawa, JapanDeadline: 22 April 2012
The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science, Japan Advanced Institute of Science and Technology.
Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012.
For more information, see http://www.jaist.ac.jp/rcis/latd12/
We welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general). We invite researchers interested in presenting a paper to submit a 2-4 pages abstract. The deadline for contributions is 22 April 2012.
8-12 September 2012, First International Conference on Logic and Relativity:
honoring István Németi's 70th birthday, Budapest, HungaryLocation: Budapest, HungaryDeadline: 10 June 2012
István Németi is turning 70 in 2012. We are pleased to announce that the Alfréd Rényi Institute of Mathematics is organizing the 1st Logic and Relativity conference in honor of this occasion.
The main topics of the conference are logic, relativity theory (both special and general) and related fields. Topics include (but are not restricted to):
- Logic and relativity
- Logical foundations of spacetime theories
- Algebraic logic
- Universal logic
- Relativistic computation
For more information, see http://www.renyi.hu/conferences/nemeti70/
We invite you to submit your abstract. Deadline for abstract submission (extended): Sunday 10 June 2012
7-12 September 2012, Annual Workshop of the ESF Networking Programme on
Games for Design and Verification (GAMES 2012), Naples, ItalyLocation: Naples, ItalyDeadline: 27 June 2012
The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy.
The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min).
Please visit the workshop website (http://www.games.unina.it/) for more information.
Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Researchers who would like to present a talk at GAMES 2012 are invited to submit an abstract of up to two pages by email to esfgames2012 at gmail.com by 27 June 2012.
6-8 September 2012, 3rd International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2012), Naples, ItalyLocation: Naples, ItalyDeadline: 9 May 2012
The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
Please visit the conference website (http://www.gandalf.unina.it) for more information.
Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 9, 2012
3-6 September 2012, 19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012), University of Buenos Aires, ArgentinaLocation: University of Buenos Aires, ArgentinaDeadline: 27 April 2012
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012.
WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
For more information, see http://wollic.org/wollic2012/
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by April 27th, and the full paper by May 4th (firm date).
3-6 September 2012, 21th EACSL Annual Conference on Computer Science Logic (CSL'12), Fontainebleau, FranceLocation: Fontainebleau, FranceDeadline: 2 April 2012
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic. The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
For more information, see http://csl2012.lacl.fr/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract submission deadline: April 2, 2012
3-7 September 2012, 15th International Conference on Text, Speech and Dialogue (TSD 2012), Brno, Czech RepublicLocation: Brno, Czech RepublicDeadline: 26 July 2012
TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. TSD 2012 will address the following topics within the field of natural language processing:
corpora, texts and transcription
speech analysis, recognition and synthesis
their intertwining within NL dialogue systems.
The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote Speakers are Ruslan Mitkov (Wolverhampton, UK) and Walter Daelemans (Antwerp, Belgium). The TSD 2012 conference will be accompanied by a one-day satellite workshop on Hybrid Machine Translation.
For more information, see http://www.tsdconference.org/
Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style. Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. Deadline for submission of abstracts: March 15 (paper abstracts) or July 26 (demonstration abstracts).
29-31 August 2012, Third Workshop on Controlled Natural Languages (CNL 2012), Zuerich, SwitzerlandLocation: Zuerich, SwitzerlandDeadline: 9 March 2012
A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity.
Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop.
For more information, see http://attempto.ifi.uzh.ch/site/cnl2012/
We invite researchers to submit papers with novel contributions in the area of CNL. Submission deadline: 9 March 2012.
27 or 28 August 2012, Workshop "Computational Creativity, Concept Invention, and General Intelligence 2012", Montpellier, FranceLocation: Montpellier, FranceDeadline: 28 May 2012
The targeted audience for the workshop are researchers associated with the fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation and role to general intelligence. Furthermore, researchers coming from application areas, like computer-aided innovation (CAI) are welcome to submit papers for this workshop.
For more information, see http://www.cogsci.uos.de/~c3gi. This workshop is part of ECAI 2012.
We invite papers that make a scientific contribution to the fields of computational creativity, idea generation and/or artificial general intelligence, with possible topics ranging from theoretical studies of human creativity, inventive capacities and intelligence (that in some way propose a computational model for the respective capability), through more practical contributions reporting on creative, inventive or generally intelligent computer systems (we particularly welcome implementations offering general or at least multiple sorts of results) and studies of systems and software supporting and/or guiding humans in the creative or inventive act, to application-based reports from fields like design, architecture or arts. Submissions connecting to several of the aforementioned topics are highly encouraged and welcome. Paper submission deadline: 28th of May, 2012.
27-28 August 2012, 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), Montpellier, FranceLocation: Montpellier, FranceDeadline: 28 May 2012
The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Logics for Multi-Agent Programming and on Logics for Agreement Technologies
For more information, see http://www.csc.liv.ac.uk/~michael/clima2012.html
We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Submission deadline: 28th May
27-28 August 2012, STeDy 2012: Spatio-Temporal Dynamics, Montpellier, FranceLocation: Montpellier, FranceDeadline: 1 June 2012
We are pleased to announce the newest edition of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012) as a two-day event at the European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France. STeDy-12 focusses on the theme: Commonsense, Space, and Change, and the contemporary scientific agenda of STeDy addresses several areas within Knowledge Representation and Reasoning (KR) in particular, and reaches out to all sub-disciplines within Artificial Intelligence, Spatial Cognition, and Cognitive Technologies in general.
We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary applications, ideas, and methods in the above stated areas. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and posters, and will allow ample time for open discussions amongst the participants.
Details information can be accessed at the STeDy website at http://stedy.spatialnetwork.org/. Queries may be addressed to: bhatt at informatik.uni-bremen.de, h.w.guesgen at massey.ac.nz or davise at cs.nyu.edu.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for abstracts is June 1.
25-31 August 2012, International Conference and 2nd East-Asian School on Logic, Language, and Computation (EASLLC 2012), Southwest University, Chongqing, ChinaLocation: Southwest University, Chongqing, ChinaDeadline: 28 May 2012
The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.
EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.
The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.
For more information, see http://home.hib.no/prosjekter/easllc2012/Students are invited to submit an abstract of maximum 3 pages on any topic in logic, language and computation. Deadline for submission (extended): May 28, 2012.
22-25 August 2012, 9th International Conference on Advanced in Modal Logic (AiML-2012), Copenhagen, DenmarkLocation: Copenhagen, DenmarkDeadline: 1 June 2012
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series.
There will be a special session of AiML devoted to papers on hybrid logic, an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.
For more information, see http://hylocore.ruc.dk/aiml2012/
We invite submission on all aspects of modal logic. Papers on related subjects will also be considered. There will be two types of submissions to AiML-2012
(1) Full papers for publication in the proceedings and presentation at the conference (submission deadline: 16 March 2012)
(2) Abstracts for short presentation only (submission deadline: 1 June, 2012).
20-21 August 2012, 8th Scandinavian Logic Symposium, Roskilde, DenmarkLocation: Roskilde, DenmarkDeadline: 1 May 2012
After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science.
Related events: A post-SLS tutorial day will be organized on August 22 . Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark.
The conference website will be found at: http://scandinavianlogic.weebly.com/
We hope that participants from Scandinavia, the Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to logicians from further afield. Abstracts of talks should be submitted by May 1, 2012.
19-23 August 2012, 32nd International Cryptology Conference (CRYPTO 2012), Santa Barbara, CA, USALocation: Santa Barbara, CA, USACosts: ca. 600 USDDeadline: 17 February 2012
The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.
For more information, see http://www.iacr.org/conferences/crypto2012/.
Original papers on all technical aspects of cryptology are solicited for submission. Submission deadline: February 17, 2012.
17-18 August 2012, Proof, Computation and Complexity (PCC 2012), Copenhagen, DenmarkLocation: Copenhagen, DenmarkDeadline: 15 July 2012
The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.
For more information, see http://diku.dk/pcc_2012/.
PCC is intended to be a lively forum for presenting and discussing recent work. Participants who want to contribute a talk are kindly invited to submit an abstract to Reinhard Kahle (kahle at mat.uc.pt) by 15 July 2012.
15-17 August 2012, 6th International Conference on Information Theoretic Security (ICITS 2012), MontrealLocation: MontrealDeadline: 9 April 2012
ICITS is a conference about all aspects of information-theoretic security and brings together the leading researchers in the areas of cryptology, information theory and quantum information.
For more information, see http://icits2012.iro.umontreal.ca/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for paper submission: March 12, 2012 (conference track) or April 9, 2012 (workshop track).
13-17 August 2012, ESSLLI-2012 Workshop "Logic & Cognition", Opole, PolandLocation: Opole, PolandDeadline: 14 March 2012
The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.
We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.
For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Paper submission deadline (extended): March 14, 2012.
13-17 August 2012, ESSLLI-2012 Workshop "Strategies for Learning, Belief Revision and Preference Change", Opole, PolandLocation: Opole, PolandDeadline: 2 March 2012
The workshop's goal is to bring together various formal methods for modeling and reasoning about belief revision, knowledge update, preference change, and strategies for learning. With this workshop we reach out to the logicians working in the domains of social choice theory and formal learning theory.Submissions are invited. Deadline for submissions: March 2nd, 2012.
6-17 August 2012, ESSLLI-2012 Student Session, Opole, PolandLocation: Opole, PolandDeadline: 20 March 2012
The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.
We invite submissions of both long and short papers, for oral presentations and the poster session. Deadline for submissions: March 20, 2012.
6-15 August 2012, Philosophy and Mathematics of Uncertainty and Vagueness, Sao Paulo, BrazilLocation: Sao Paulo, BrazilDeadline: 15 July 2012
The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.
The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness
For more information, see http://www.cle.unicamp.br/principal/pmuv/
We invite submissions of papers describing original and unpublished results in any of the Meeting's research topics. Extended deadline: June 15th, 2012.
2-4 August 2012, Logic Workshop: A Tribute to Horacio Arlo-Costa, Buenos Aires, ArgentinaLocation: Buenos Aires, ArgentinaDeadline: 30 April 2012
SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.
For further particulars, see here or check the SADAF webpage for the conference (in Spanish) at http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html, or contact the organisers by sending an e-mail to info at sadaf.org.ar
For more information, see here or http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html
We call for contributions in any area of philosophical logic, including (but not limited to) epistemic and modal logic, ampliative reasoning, belief revision, conditional logic, game theory and decision theory, among other topics. Deadline for reception of submissions: April 30th, 2012.
22-27 July 2012, Semantics & Pragmatics at ICL, Geneva, SwitzerlandLocation: Geneva, SwitzerlandDeadline: 15 August 2012
Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).
For more information, see http://semantics-online.org/icl-sp-cfp.html
We seek original research papers developing new approaches to formal semantics and formal pragmatics: experimental and corpus methods, field methods, cross-linguistic comparison, and innovative formal frameworks. We particularly encourage submissions that develop dynamic and modal techniques beyond their traditional domain, especially as related to the cluster of six subtopics listed below. Deadline for abstract submission: August 15, 2012.
16-18 July 2012, 11th International Conference on Deontic Logic in Computer Science (DEON 2012), Bergen, NorwayLocation: Bergen, NorwayDeadline: 15 March 2012
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic "Deontic Logic and Social Choice".
For more information, see http://infomedia.uib.no/deon2012/
Authors are invited to submit an original, previously unpublished, research paper pertaining to any of the conference topics. We welcome both theoretical work and implementation-oriented work. Abstract Submission Deadline: March 15, 2012.
10-12 July 2012, Foundations of Mathematics: What are they and what are they for?, Cambridge, UKLocation: Cambridge, UKDeadline: 16 March 2012
The role of set theory as a foundation of mathematics has been criticized from various standpoints. The conference aims to shed light on this debate by asking what foundations of mathematics are and what they are for.
Some people understand foundations as providing a justification for mathematics; others as providing the subject matter of mathematics; others still as providing us with an arena within which to settle all questions of existence and proof in mathematics. The conference will bring together philosophers, logicians and mathematicians to discuss whether any of these senses of foundations should be privileged. The prospects for a pluralistic approach to foundational issues will also be considered.
For more information, see http://www.phil.cam.ac.uk/foundations/
We invite papers suitable for a 40 minute presentation. The deadline for receipt of submissions is: 16th March 2012.
5-7 July 2012, Kant and Modality, Berlin, GermanyLocation: Berlin, GermanyDeadline: 15 April 2012
The conference Kant and Modality seeks to promote the important issues of Kant's theory of modality and to exchange ideas by bringing together scholars working on all issues relating to his conception and theory of modality. It takes place at Humboldt University of Berlin on July 5-7 2012.
For more information, see here
In addition to the invited speakers, two slots are available for presentation of 45 minutes, followed by 45 minutes of discussion. Those interested in presenting their work on any topic related to Kant's conception of modality should send a description of their topic along with a CV, no later than 15th of April. Priority will be given to topics focusing on Kant's theory of modality exclusively rather than in relation to other philosophers or fields of philosophy.
3-7 July 2012, The 7th International Computer Science Symposium in Russia, Nizhni Novgorod, RussiaLocation: Nizhni Novgorod, RussiaDeadline: 11 December 2011
CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events started with CSR 2006 in St. Petersburg, and continuing in Ekaterinburg, Moscow, Novosibirsk, Kazan and St. Petersburg. CRS 2012 was included in schedule of the Alan Turing Year events.
Authors are invited to submit an extended abstract or a full paper. Deadline for submissions: December 11, 2011. As has become tradition, there will be YANDEX AWARDs for the best paper and for the best student paper!.
2-6 July 2012, AISB/IACAP World Congress 2012 (in honour of Alan Turing), Birmingham, U.K.Location: Birmingham, U.K.Deadline: 1 September 2011
For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.
The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.
For more information, see http://events.cs.bham.ac.uk/turing12/
Proposals for Symposia are welcomed in all areas of AI and cognitive science (as at normal AISB Conventions) and all areas of philosophy related to computing (as at normal IACAP conferences). We welcome sequels to previous AISB symposia or IACAP theme sessions. Symposia are expected normally to last for one day or two days, but somewhat shorter or longer possibilities can be considered. Each Symposium will be organized by its own programme committee. The deadline for Symposium proposals is 1 September 2011
2-4 July 2012, Symposium on Mathematical Practice and Cognition II, Birmingham, U.K.Location: Birmingham, U.K.Deadline: 1 February 2012
This symposium is part of the AISB/IACAP World Congress 2012 in honour of Alan Turing. It is a sequel to the Symposium Mathematical Practice and Cognition held at the AISB convention 2010 in Leicester. That multidisciplinary symposium welcomed researchers into mathematical practice from cognitive science, philosophy, psychology, computational linguistics and robotics. The aim of this symposium is to continue this work, with particular (but not exclusive) emphasis on cognitive science and the role of computers in mathematical practice.
2012 is the centenary of Alan Turing's birth, and his life and scientific impact are being celebrated as the Alan Turing Year. In honour of this, the symposium will include a Turing-themed session.
For more information, see http://homepages.inf.ed.ac.uk/apease/aisb12/home.html
We invite researchers from these disciplines and beyond to present their latest work. We especially encourage interdisciplinary submissions that link previously unassociated fields. Submission deadline: 1st February, 2012
2-6 July 2012, Seventh International Conference on Computability, Complexity and Randomness (CCR 2012), Cambridge, U.K.Location: Cambridge, U.K.Deadline: 25 February 2012
The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.
Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. CCR 2012 is part of the Alan Turing Year Events.
For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2012/.
Authors are invited to submit a PDF abstract (typically 1-2 pages). No full papers will be required for this conference. Submission deadline: 25 February 2012.
29 June 2012, Workshop on Algorithmics of Infinite State Systems (AISS), Dubrovnik, CroatiaLocation: Dubrovnik, CroatiaDeadline: 20 March 2012
This satellite workshop of LICS-2012 provides the opportunity to assess recent scientific advances and exchange ideas on the algorithmic theory of infinite state systems. Infinite state systems arise in many areas of computer science. Typical examples are recursive programs, communicating systems with unbounded buffers, and real time systems. Important algorithmic techniques dealing with infinite state systems include model checking, reachability and equivalence checking.
For more information, see http://www.informatik.uni-bremen.de/~goeller/AISS12
We invite submissions on the workshop topics. We do not plan to have a published proceedings or special issue for a journal. Theorefore, already published recent work is welcome too. Submission deadline is March 20th, 2012.
28-30 June 2012, Decision, Games and Logic 2012 (DGL'12), MunichLocation: MunichDeadline: 1 February 2012
Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.
Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL 2012, these will be: Richard Pettigrew (Decision Theory), Amanda Friedenberg (Game Theory), and Sonja Smets (Logic). At DGL 2012, we will also have a round table on "Qualitative vs. Quantitative Representations of Beliefs."
Each DGL features presentations by researchers. We invite submissions in the fields of decision theory, game theory, logic and formal philosophy. Preference will be given to conceptual work in these fields and work that combines interdisciplinary research in these fields. We invite submissions for both full presentations and poster sessions. Submission deadline: February 1st, 2012.
25-27 June 2012, VaNiM 2012: Values and Norms in Modeling, Eindhoven, The netherlandsLocation: Eindhoven, The netherlandsDeadline: 10 January 2012
It is widely acknowledged that a large variety of values and norms (including epistemic, moral, and political values and norms) play an important role in modeling. Although the literature about value-free science is huge, the specific theme of values and norms exclusively focusing on modeling has not yet received the attention it should. Models are often conceived of as being approximate representations with epistemic or even non-epistemic purposes, which makes them subject to a plethora of normative influences. This conference seeks to address these and related issues from a foundational as well as an applied perspective.
For more information, see here.
We invite papers addressing these and related issues from a foundational as well as an applied perspective. We especially welcome contributions on non-epistemic values in engineering modeling, climate modeling and modeling in operations research. Abstracts can be sent until January 10, 2012.
25-26 June 2012, 5th International Workshop on Logics, Agents and Mobility (LAM 2012), Hamburg, GermanyLocation: Hamburg, GermanyDeadline: 20 March 2012
The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems, but contributions in the area of modelling and implemantation of location-based, or resource-based applications are equally welcome.
LAM'12 is organised as satellite workshop at the 33rd Conference on Theory and Application of Petri Nets and Concurrency. The workshop will be held as a one day event after the main conference. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and will offer opportunities for discussion.
For more information, see http://lam12.wordpress.com/
Authors are invited to submit a full paper of original work in areas of interest to the conference. Submission Deadline: 20 March 2012
24-27 June 2012, Nineth International Conference on Computability and Complexity in Analysis (CCA 2012), Cambridge, U.K.Location: Cambridge, U.K.Deadline: 1 April 2012
Computability and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space.
The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. The conference provides a unique opportunity for people working in the area of computation on real-valued data but coming from different fields to meet, present work in progress and exchange ideas and knowledge.
Conference Web Page: http://cca-net.de/cca2012/
Authors of contributed papers are invited to submit a PDF version of an extended abstract. Submission deadline: April 1, 2012
22-25 June 2012, Turing Centenary Conference, Manchester, U.K.Location: Manchester, U.K.Deadline: 15 March 2012
The Turing Centenary Conference features
(1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers
(2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award
(3) Three panels and two public lectures
(4) Turing Fellowship award ceremony
(5) and many more ...
For more details please check http://www.turing100.manchester.ac.uk/.
Submissions are welcome in all areas related to the work of Alan Turing in computer science, mathematics, cognitive science and mathematical biology. Extended abstract submission deadline: March 15.
18-20 June 2012, 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), SevillaLocation: SevillaDeadline: 1 March 2012
The 10th Conference on Logic and the Foundations of Game and Decision Theory will be held June 18-20, 2012 (NEXT YEAR), at the University of Sevilla, in Spain. This is the tenth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.
For more information, see http://personal.us.es/hvd/loft/
Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. Deadline for submissions: 1 March 2012
18-23 June 2012, Computability in Europe 2012 (CiE 2012): The Turing Centenary Conference, Cambridge, UKLocation: Cambridge, UKDeadline: 20 January 2012
CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.
Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.
For more information, see http://www.cie2012.eu/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for paper submission: 20 January 2012 (standard submissions) or 11 May 2012 (brief presentations).
18-22 June 2012, NASSLLI 2012, Call for Course and Workshop Proposals, Austin TX, U.S.A.Location: Austin TX, U.S.A.Deadline: 31 July 2011
The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days.
Proposals are invited that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. In addition to courses and workshops taking place during the main NASSLLI five day session, NASSLLI welcomes proposals for 1-3 day workshops or conferences hosted on campus immediately before or after the summer school, thus on the weekends of June 15-17 and June 23-25 2012. Deadline for submissions: July 31, 2011.
18 - 22 June 2012, Logica 2012, Hejnice, Czech RepublicLocation: Hejnice, Czech RepublicDeadline: 28 February 2012
Logica 2012 is the 26th in the series of annual international symposia devoted to logic. Invited speakers are Sergei Artemov, Warren Goldfarb, David Makinson, Barbara Partee.
Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions is 28 February 2012.
18-23 June 2012, First IFCoLog-CiE Student Session, Cambridge, U.K.Location: Cambridge, U.K.Deadline: 11 May 2012
The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.
More details about the event will become available in http://www.ifcolog.net/?page_id=6149.
Authors are invited to submit an extended abstract (max. 5 pages). The CiE-IFCoLog student sessions will consider papers in all aspects of computability and foundations of computer science, as well as well as papers exploring the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Submission deadline: 11 May 2012.
17 June 2012, 8th International Workshop on Developments in Computational Models (DCM 2012), Cambridge, U.K.Location: Cambridge, U.K.Deadline: 15 April 2012
The aim of the workshop series Developments in Computational Models is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.
The eighth workshop in the series, DCM 2012, will be a satellite event of the conference Computability in Europe and part of the celebrations of the Turing Centenary.
All participants of CiE 2012 and researchers interested in new models of computation in general are cordially invited to submit a paper to DCM 2012. Submission deadline is 15 April 2012.
12-15 June 2012, Pisa Summer Workshop in Proof Theory, Pisa, ItalyLocation: Pisa, ItalyDeadline: 20 March 2012
Aimed at understanding the structure of mathematical proofs, proof theory has undergone different phases: it has been reductive, general, structural. Especially thanks to sequent calculus formalizations, deep results were attained as far as proofs in pure logic and arithmetic are concerned. Through significant connections with computer science, proof theory contributed to the birth of new areas of research outside traditional mathematics, such as the verification of correctness of computer programs. Natural deduction has led to the Curry-Howard correspondence and to connections with functional programming, and sequent calculus is often used in systems of automatic proof search, as in logic programming. Rooted in general proof theory, a proof-theoretic semantics has been recently developed as an alternative to standard denotational truth-condition semantics. The workshop will focus mainly on proof systems, but we aim at touching several areas of proof-theoretical research.
The workshop will be framed in two six-hour tutorials, six one-hour lectures, and is open to half-hour contributed talks.
For more information, see the preliminary webpage at http://www.helsinki.fi/~negri/pswpt.html
People interested to present a paper in the workshop may send a title with a short abstract by email. Deadline for submissions: March 20, 2012.
8-10 June 2012, 2nd Conference on the Foundations of Logical Consequence, St. Andrews, ScotlandLocation: St. Andrews, ScotlandDeadline: 29 February 2012
The Conference will be the last event organised during the AHRC-funded Foundations of Logical Consequence project, and so will aim to bring together all the themes considered during the project. The overall goal has been to clarify the foundations of logical consequence. The aim is to bring together researchers in these fields to share their findings, reach conclusions, and provide a stimulus to further research.
For more information, see http://www.st-andrews.ac.uk/~arche/events/event?id=537
We invite submissions for presentations of 30 minutes? duration with 10 minutes for questions and discussion. Deadline for submission: 29 February 2012.
7-10 June 2012, 25th International Workshop on Description Logics (DL 2012), Rome, ItalyLocation: Rome, ItalyDeadline: 10 March 2012
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
In this year, DL workshop will share a joint session together with the International Workshop on Non-Monotonic Reasoning (NMR 2012).
Information about submission, registration, travel information, etc., is available on the DL 2012 homepage: http://dl.kr.org/dl2012. Further enquiries about the DL 2012 workshop can be made by contacting the organizing committee at dl2012 at dis.uniroma1.org.
We invite contributions on all aspects of description logics. Paper submission deadline: March 10, 2012.
4-8 June 2012, 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, SpainLocation: Valencia, SpainDeadline: 7 October 2011
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012.
For more information, see http://aamas2012.webs.upv.es
AAMAS-2012 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions are solicited in the main track, as well as in three special tracks (on Robotics, Virtual Agents and Innovative Applications). AAMAS 2012 also invites "perspective" papers analyzing the agents research community itself. Deadline for submission of abstracts: October 7, 2011.
4-8 June 2012, 15th Latin American Symposium on Mathematical Logic (SLALM 2012), Bogotá, ColombiaLocation: Bogotá, ColombiaDeadline: 4 March 2012
The 15th Latin American Symposium on Mathematical Logic, SLALM 2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was held in 1970 in Santiago de Chile and subsequent meetings have taken place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica, and Mexico. In addition to plenary talks, this meeting willinclude four special sessions on Algebraic and Non-classical logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. Four tutorial courses are planned during the week previous to the meeting.
For more information, see http://matematicas.uniandes.edu.co/eventos/SLALM2012/.
Contributions are invited in all the areas of mathematical logic. Abstracts of talks must be submitted, indicating the session closest to their topic, by March 4th, 2012, to the e-mail address: slalm at uniandes.edu.co
4-5 June 2012, 5th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2012), Valencia, SpainLocation: Valencia, SpainDeadline: 10 March 2012
LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas. LAMAS 2012 is a satellite workshop of AAMAS 2012.
Authors are invited to submit regular papers presenting unpublished research, system descriptions describing new systems or significant upgrades, or extended abstracts reporting work-in-progress or recently published research. Paper submission deadline: March 10, 2012.
3-5 June 2012, Trends in Logic XI: Advances in Philosophical Logic, Bochum, GermanyLocation: Bochum, GermanyDeadline: 12 February 2012
The 11th Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from June 3-June 5, 2012 under the title "Advances in Philosophical Logic". It is organized by the chair of Logic and Epistemology at the Department of Philosophy II of Ruhr University Bochum, in co-operation with the journal Studia Logica,
For more information, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi
We invite submissions presenting substantial recent advances in formal philosophical logic. Abstract submission deadline: 12 February, 2012
30 May - 1 June 2012, The First Annual Conference on Complexity and Human Experience (Human Complexity 2012): Modeling Complexity in the Humanities and Social Sciences, Charlotte NC, U.S.A.Location: Charlotte NC, U.S.A.Deadline: 2 January 2012
The University of North Carolina will inaugurate an annual conference series, beginning in 2012, dedicated to complexity theory, with particular application to understanding the intricacies of human experience across all domains. The goal of the series is to provide a trans-disciplinary venue for scholars from the humanities and the social sciences, as well as some aspects of the natural sciences (such as neuroscience, pharmacology, etc.). Since matters of life and death pertain to human experience in profound and important ways, the conference hopes to attract representatives from the allied health sciences as well.
The conference series will be dedicated to a particular topic each year. The topic for our first conference will be: *Modeling Complexity in the Humanities and Social Sciences.*
For more information, see http://sites.google.com/site/humancomplexity2012/
Submissions are invited on any specific topic that falls within the parameters described above. The committee is particularly interested in papers that show novel applications of Complexity Theory to enhance research in the areas here specified. Thus, preliminary work in progress or plans for a research program are welcomed and encouraged. Submission Deadline: January 2nd, 2012.
26-27 May 2012, 2012 Workshop on Computational Models of Narrative (CMN 2012), Istanbul, TurkeyLocation: Istanbul, TurkeyDeadline: 24 February 2012
Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why narrative is universal and explain (or explain away) the function it serves.
This meeting will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Moreover, the meeting will have a special focus on the identification, collection, and construction of shared resources and corpora that facilitate the computational modeling of narrative. Papers should focus on issues fundamental to computational modeling and scientific understanding, or issues related to building shared resources to advance the field.
For more information, see http://narrative.csail.mit.edu/ws12/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions due: February 24, 2012
22-25 May 2012, Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), St. Petersburg, RussiaLocation: St. Petersburg, RussiaDeadline: 1 March 2012
The international interdisciplinary conference PhML 2012 is intended to provide a forum for presentation of current research, and to stimulate an interdisciplinary dialogue between mathematicians, logicians, philosophers, computer scientists and linguists. The conference will have plenary sessions to present the latest researches. Apart from plenary sessions, there will also be several sessions to present contributed papers at thematic sections. There will also be held a panel discussion about Kant's logic.
For more information, see http://www.pdmi.ras.ru/EIMI/2012/PhML/
For presentation at sections, we invite authors to submit full length papers electronically. Papers should be prepared following the Authors' Guidelines for the PhML 2012 conference and submitted to arrive on (or before) 1st March, 2012.
18-20 May 2012, 8th International Symposium of Cognition, Logic and Communication "Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives", Riga, LatviaLocation: Riga, LatviaDeadline: 12 February 2012
Fundamental results in the mathematical theory of games were obtained early on in the 20th century by Zermelo, Borel, and von Neumann; after the publication of Theory of Games and Economic Behavior by von Neumann & Morgenstern in 1944, it quickly became of fundamental importance to economic theory, being applied later on to other fields such as biology, while in philosophy David Lewis¹ Convention was an important early application. Games also played a significant role within mathematics, especially in model theory with, e.g., the back-and-forth games, and with the work of Lorenzen in the 1950s and Hintikka in the 1960s, game semantics emerged, again leading to important developments in philosophy, e.g., within epistemic logic. Showing again the extraordinary fruitfulness and interdisciplinary nature of the concept of game, game semantics has become since a paradigm in logic and in computer science where it have been used inter alia to model interactive computation and multi-agents systems, as well as in linguistics and argumentation theory. The consequences on philosophy of these numerous developments need to be explored.
In an interdisciplinary spirit, this conference will bring together a number of key contributors to and welcomes papers on the concept of games, game theory and game semantics, with applications in economics, logic, computer science, linguistics, argumentation theory, and philosophy.
For more information, see http://cognition.lu.lv/symp/8-call.html.
A limited number of papers will be selected for presentation at the symposium and considered for inclusion in the proceedings in the Baltic International Yearbook. Submitted papers should be prepared for blind review. Deadline for submission is 12 February 2012.
17-19 May 2012, First Logic and Cognition Conference, Poznan, PolandLocation: Poznan, PolandDeadline: 15 February 2012
In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.
Poznan Logic and Cognition Conference is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at sheding the light on actual reasoning processes.
For more information, see: http://logicandcognition.org/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for paper submission: February 15, 2012.
16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, ChinaLocation: Beijing, ChinaDeadline: 10 January 2012
TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 11:59pm EST Jan. 10, 2012.
10-11 May 2012, Fourth Workshop on the Philosophy of Information (4WPI), Hatfield, U.K.Location: Hatfield, U.K.Deadline: 27 January 2012
The Fourth Workshop on the Philosophy of Information, will take place at the University of Hertfordshire, 10-11 May 2012. The topic this year will be the intersections between PI, epistemology and philosophical semantics.
The current list of participants includes:
Keynotes: Stephan Hartmann, Gregory Wheeler.
Speakers: Patrick Allo, Simon D'Alfonso, Hilmi Demir, Luciano Floridi, Nir Fresco, Phyllis Illari, Mark Jago, Giuseppe Primiero, Sebastian Sequoiah-Grayson, Sonja Smets, Matteo Turilli, Orlin Vakarelov.
Submissions are invited for the workshop. The authors of the selected papers will be eligible for bursaries that will cover transportation, accommodation and subsistence. Bursaries will be awarded on the basis of need and scientific merit.
Please send your submission to Mrs Penny Driscoll <p.j.driscoll2 at herts.ac.uk>
7-11 May 2012, 17th Szklarska Poreba Conference on the Applications of
Logic in Philosophy and Foundations of Mathematics: "Part-whole theory", Szklarska Poreba, PolandLocation: Szklarska Poreba, PolandDeadline: 13 April 2012
Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.
Contributions related to the leading theme and other topics in logic, logical philosophy, the foundations of mathematics and related areas are welcome. Submission deadline: April 13, 2012.
19-21 April 2012, 1st Conference on Games, Interactive Rationality and Learning (G.I.R.L.'12@Lund), Lund, SwedenLocation: Lund, SwedenDeadline: 31 January 2012
Formal philosophy relies increasingly on simulations, and sometimes on empirical test, coming closer to both computer-, cognitive- and social sciences. Some examples are learning-theoretic models of inquiry, network theory-based approaches in social epistemology, and game-theoretic evolutionary approaches of communication. The aim of the G.I.R.L.'12 Conference is to bring together researchers in philosophy, cognitive science and artificial intelligence, to investigate new areas where the game- and learning-theoretic simulation approaches can lead to fruitful results.
For more information, see http://www.fil.lu.se/conferences/conference.asp?id=49&lang=se
We welcome submissions of either already published research, or original material. Deadline for submissions: January 31, 2012.
12-13 April 2012, PhDs in Logic IV, Ghent, BelgiumLocation: Ghent, BelgiumDeadline: 15 January 2012
/PhDs in Logic//IV/is a graduate conference organized by and for PhD-students. This edition is the fourth one of an annual Belgian--Dutch happening; earlier editions took place in Ghent (2009), Tilburg (2010), and Brussels (2011).
As all previous PhDs in Logic conferences, this two-day graduate conference follows this threefold plan:
* Four established tutorial speakers will each give two one-hour tutorial sessions on a relevant topic in logic.
* Ten to twenty PhD students are given the opportunity to do a presentation on their own work.
* Networking will be encouraged by providing for generous breaks and by having lunch with the entire group.
For more information, visit our website at http://www.phdsinlogic2012.ugent.be.
PhD students interested in doing a talk should send a 500-1000 word abstract to phdsinlogic at gmail.com by January 15th, 2012. We welcome PhD students in logic with a background in philosophy, computer science or mathematics. Exceptions can be made for master students and first-year postdocs.
2-5 April 2012, 28th British Colloquium for Theoretical Computer Science (BCTCS 2012), Manchester, U.K.Location: Manchester, U.K.Deadline: 19 March 2012
The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. This year, BCTCS is part of the Alan Turing Year, and will be collocated with the Automated Reasoning Workshop ARW.
The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics. Both computer scientists and mathematicians are welcome to attend, as are participants from outside of the UK.
Further details are available from the Colloquium website at http://bctcs2012.cs.manchester.ac.uk/.Participants wishing to give 30 minute contributed talks should submit a title and abstract by March 19th.
31 March - 1 April 2012, 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), Tallinn, EstoniaLocation: Tallinn, EstoniaDeadline: 27 February 2012
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications.
For more information, see http://www.coalg.org/cmcs12/
We solicit two types of contributions:
(a) Regular papers to be evaluated by the PC for publication in the proceedings (submission deadline: 4 January 2012)
(b) Short contributions (submission deadline: 27 February 2012)
30-31 March 2012, Conference on Information and Econometrics of Networks, Washington DC, U.S.A.Location: Washington DC, U.S.A.Deadline: 30 September 2011
Social and economic networks are everywhere: from Facebook to the more complex global financial network or to networks connecting economic agents or to other complex and dynamic economic networks. The study of these networks is crucial for both academics and policy makers and presents a host of new theoretical and econometric challenges. This conference will concentrate on studying the information and econometrics of networks.
More detailed information concerning the conference is available at: http://www.american.edu/cas/economics/info-metrics/workshop/
The conference organizers encourage submissions of papers on any topic within this overall theme with a particular emphasis on the following areas: spatial econometrics, information in networks, factor dependence, empirical analysis of social and economic/financial networks, complex networks, and info-metrics and networks. Those wishing to present a paper at the conference should submit electronically a completed version or an extended abstract by September 30, 2011.
11-15 March 2012, 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Merida, VenezuelaLocation: Merida, VenezuelaDeadline: 23 October 2011
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 18th LPAR will be held in Merida, Venezuela.
For more information, see http://www.lpar-18.info/.
Presentations of new results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices, as well as experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. Abstract submission deadline: 23 October 2011.
9-11 March 2012, 1st WFAP Graduate Conference "Nothing but the Truth", Vienna, AustriaLocation: Vienna, AustriaDeadline: 15 December 2011
The Vienna Forum for Analytic Philosophy, a student society for philosophical research in the analytic tradition at the Department of Philosophy of the University of Vienna, dedicates its first Graduate Conference in March 2012 to the topic of truth.
For more information, see http://wfap.philo.at/?q=node/94
We invite high-quality papers from graduate students on formal as well as classical issues concerning truth in analytic philosophy. Deadline for submission of abstracts: December 15, 2011
5-9 March 2012, 6th International Conference on Language and Automata Theory and Applications (LATA 2012), A Coruña, SpainLocation: A Coruña, SpainCosts: € 400-580Deadline: 12 October 2011
LATA is a yearly conference in theoretical computer science and its applications. Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2012 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).
For more information, see http://grammars.grlmc.com/lata2012.
Authors are invited to submit papers presenting original and unpublished research. Deadline for submission (extended): October 12, 2011.
CfP: Special issue of Erkenntnis "Game Theoretic Models of Communication"Deadline: 31 March 2012
What role does the assumption of rationality play in communication? Game Theory provides a powerful tool for investigating this question. If agents are assumed to be perfectly rational, classical Game Theory can model linguistic tasks such as pragmatic interpretation as equilibrium calculations. If agents are assumed to be simple learners, then Evolutionary Game Theory can model the emergence of apparently rational signaling systems. However, real language users are neither perfectly rational, nor as simple as the agents in evolutionary games. This collection aims to explore models of communicative interaction which lie between these extremes.
We invite submissions which utilize the tools of Game Theory (broadly construed) in order to investigate the assumption of rationality (and its limits) in models of communication. Deadline for Submissions: March 31, 2012. Notification of Acceptance: May 31, 2012.
Editors: Alistair Isaac (Department of Philosophy, University of Pennsylvania) and Sven Lauer (Department of Linguistics, Stanford University). Papers prepared for blind review should be sent to aisaac at sas.upenn.edu.
9-20 January 2012, Fourth Indian School on Logic and its Applications (ISLA 2012), Manipal, IndiaLocation: Manipal, IndiaDeadline: 8 September 2011
The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, and University of Hyderabad. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The fourth conference was held at Delhi University, in January 2011, and the proceedings published as LNCS 6521 in the FoLLI series. The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.
The deadline for receiving applications is December 15, 2011. For more information, see http://ali.cmi.ac.in/isla2012/.
The ISLA programme committee invites proposals for workshops for the School, in the broad interdisciplinary area connecting logic and the foundations of mathematics with artificial intelligence, computing science and philosophy. The objective is to bring before students and faculty an active research theme. Deadline: 8 September 2011.
3-7 January 2012, International Conference on Game Theory, Operations Research and their Applications (GTORA 2012) and Workshop on Game Theory, Chennai, IndiaLocation: Chennai, IndiaDeadline: 25 November 2011
In recent years, there has been an increasing interest (nationally as well as internationally) in Game Theory and Operations Research - theoretical aspects, computational aspects as well as applications. As its contribution towards sustaining this interest and developing this area further, Indian Statistical Institute, Chennai Centre would like to invite you to the above conference and workshop to be held in Chennai.
Our focus areas include (but is not restricted to) Algorithmic Game Theory, Evolutionary Games, and applications of Game Theory and Mathematical Programming to Supply Chain Management, Networks (Social as well as Communication Networks) and to areas such as Computational Neuroscience.
Authors are invited to submit unpublished work. Selected papers will be considered for publication in a special issue of the journal "International Game Theory Review" (IGTR). Submission deadline is 25 November, 2011.
6 December 2012, NWO humanities division to visit UvALocation: PCH, Spuistraat 134
The board of the humanities division of NWO will visit the UvA to inform researchers in the humanities about grant possibilities, selection procedure etc.
For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_89KAC3 [Dutch only]
4-7 December 2012, Workshop "Forcing extensions and large cardinals", Kyoto, JapanLocation: Kyoto, Japan
A workshop on "Forcing extensions and large cardinals" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from December 4 (Tue.) till December 7 (Fri.), 2012. The workshop is organized by Tadatoshi Miyamoto (Nanzan University). The program will feature talks by participants from Japan and abroad.
See the webpage http://www2.kobe-u.ac.jp/~hsakai/RIMS2012/index_en.html for details. If you are interested in attending, please contact Tadatoshi Miyamoto (the sooner the better) at miyamoto at nanzan-u.ac.jp.
2 November 2012, Dutch Workshop on Theoretical PhilosophySpeaker: Catarina Dutilh Novaes (Groningen) Thomas Müller (Utrecht) Hans Radder (Amsterdam) Marc Slors (Nijmegen) Sonja Smets (Amsterdam)Location: Auditorium Building, Eindhoven University of Technology, the NetherlandsCosts: 25 euro
The primary aim of the workshop is to bring together researchers in the Netherlands who work in theoretical philosophy: logic, the philosophy of mind, philosophy of science and technology, epistemology, metaphysics and/or the philosophy of language. With five presentations by prominent researchers, the workshop is meant to give an overview of state-of-the-art research in theoretical philosophy in the Netherlands.
The workshop is inspired by the initiative to start a Netherlands Research School in Philosophy (to be decided within the next weeks). It will be held parallel to the Fourth Annual Dutch Conference on Practical Philosophy, and a Workshop on the History of Philosophy. With these three events, all philosophers working in the Netherlands are invited for a conference or workshop in the Auditorium building on the Eindhoven University of Technology campus on 2 November, with a shared dinner.For more information, see http://p-e.ieis.tue.nl/node/99/ or contact m.j.b.stokhof at uva.nl
2 November 2012, Gottlob Frege Symposium, Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
On Friday the 2nd of November, the study-association of Utrecht philosophy-students (FUF) is organizing a symposium on the philosophy of Gottlob Frege. The symposium will start at 11:00 and will take place at the Academiegebouw (Domplein 29, 3512 JE, Utrecht) in the Belle van Zuylenzaal.
- Prof. dr. Wolfgang Künne (University of Hamburg): Frege on that-clauses
- Prof. dr. Göran Sundholm (Leiden University): Frege's sense of sense: lost and gone forever?
- Prof. dr. Albert Visser (Utrecht University): Sinn meets Fiction
The symposium is oriented towards master students and advanced bachelor students, however all are welcome. Attendance is free (and includes coffee/tea). We will be speaking in English throughout the symposium.
If you have any questions or would like to receive abstracts, you can contact Clint Verdonschot at clintverdonschot at gmail.com.
1-3 November 2012, The Making of the Humanities III, Koninklijk Nederlands Instituut Rome, RomeLocation: Koninklijk Nederlands Instituut Rome, RomeCosts: 50 Euro, including coffee, tea, lunch and book!
This is the third of a biennially organized conference that brings together scholars and historians of humanities disciplines to draw the outlines for a comparative history of the humanities.
Lorraine Daston (Max Planck Institute for the History of Science)
John Joseph (University of Edinburgh)
Glenn Most (Scuola Normale Superiore di Pisa)
Jo Tollebeek (University of Leuven)
For more information, see http://makingofthehumanitiesiii.blogspot.nl/
1 November 2012, ATIA Alan Turing Year Conference, Almere, the NetherlandsLocation: Almere, the NetherlandsCosts: free to 35 euro, depending on selection
The Alan Turing Institute Almere (ATIA) invites you to its conference on Thursday, November 1, 2012: "The Alan Turing Year ATIA Conference - AI & I: truly personalized medicine". The conference has the theme "How can the Artificial Intelligence (AI) today contribute to the health of tomorrow?", and will focus on agent technology and innovative products and services. Keynote speaker: Prof. MJ (Michael) Wooldridge (University of Oxford).
For more information, see http://atiaconference.nl/
29 October - 2 November 2012, 2012 International Fall School in Formal Languages and Applications (FSFLA 2012)Location: Tarragona, Spain
FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.
For more information, see http://grammars.grlmc.com/FSFLA2012/
11 October 2012, Spatial Representation and Logic, Lausanne, SwitzerlandLocation: Lausanne, Switzerland
The way in which human beings comprehend their spatial environment has always been at the core of philosophical attention. At the beginning of the 20th century, philosophers started developing formal ontological theories that should capture the structural relationships among things in space, thereby giving rise to qualitative geometries. In more recent years, qualitative geometry has become increasingly popular among computer scientists whose aim is to model human behaviour in a natural environment. Our workshop will focus on both formal ontological theories of spatial representation, and their applications in Computer Science.
For more information, see http://www.sgslps.ch/events.php.
4-5 October 2012, Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting , New York, U.S.A.Location: New York, U.S.A.
Speakers: Patrick Blackburn, Michael Dunn, Melvin Fitting, Arnold Koslow, Saul Kripke, Vladimir Lifschitz, Jan Plaza, Raymond Smullyan.
For more information, see the conference website at http://cslogic.info/ComputationalLogicFitting70/
1-5 October 2012, 1st International Conference on the Theory and Practice of Natural Computing (TPNC 2012), Tarragona, SpainLocation: Tarragona, SpainCosts: 500
TPNC is the first event in a series to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2012 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions about nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.
For more information, see http://grammars.grlmc.com/tpnc2012/
1-5 October 2012, ECRYPT II Summer School on Lattices, Porto, PortugalLocation: Porto, PortugalCosts: stipends for students available
Covering selected topics in lattice-based cryptography, this summer school will provide an overview of some of the most important cryptographic applications of lattices that have emerged in recent years.
For more information, see http://latticeschool.di.uminho.pt/
29 September - 1 October 2012, Annual Meet of Calcutta Logic Circle on Logic and its Applications, Kolkata, IndiaLocation: Kolkata, India
Calcutta Logic Circle (CLC) announces its annual workshop on Logic and its Applications to be held at IBRAD, Kolkata from 29th September to 1st October 2012. This year being the birth centenary year of Alan Turing, the programme will have a special focus on Alan Turing and his work.
CLC is an informal research and study group which was formed in 1987, comprising members from various disciplines like, Mathematics, Computer Science and Philosophy, with an objective of providing an appropriate ambience for interdisciplinary exchange of views and opinion in studying foundations of formal logic.
We cordially invite any interested individual to participate in this programme. Please send a note of interest for participation to the organisers by September 8, 2012.
27-30 September 2012, 8th Artificial Intelligence Applications and Innovations, Halkidiki, GreeceLocation: Halkidiki, Greece
The ever expanding abundance of information and computing power enables researchers and users to tackle highly interesting issues, such as applications providing personalized access and interactivity to multimodal information based on user preferences and semantic concepts or human-machine interface systems utilizing information on the affective state of the user. The general focus of the AIAI conference is to provide insights on how AI can be implemented in real world applications. Also research papers describing advanced prototypes, innovative systems, tools and techniques are encouraged. General survey papers indicating future directions and professional work-in-progress reports are of equal interest. Acceptance will be based on quality, originality and the practical value of the work. We are certain that it will provide a stimulating forum for scientists, engineers and students.
Authors are invited to electronically submit original, English-language research contributions no longer than 10 pages formatted according to the well known LNCS Springer style, or experience reports. Submitted papers must present unpublished work, not being considered for publication in other journals or conferences. Three special Issues of distinguished scientific journals will be edited with selected papers. Deadline for Full paper submission: 22nd of April 2012.
24-28 September 2012, ACP summer school in constraint programming 2012, Wroclaw, PolandLocation: Wroclaw, Poland
Constraint programming (CP) is a programming paradigm that provides useful tools to model and efficiently solve constrained optimisation problems, such as complex resource planning, scheduling, configuration and design.The Association for Constraint Programming (ACP) is a non-profit association that promotes constraint programming in every aspect of the scientific world. Every year ACP supports the organisation of the ACP Summer School with the aim to augment and complement university teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.
21-22 September 2012, What is really possible 2: Logical and Philosophical Aspects of Real Possibility (WIRP-2), Konstanz, GermanyLocation: Konstanz, Germany
We live in a world of possibilities. Much of our practical life - planning, deciding, hoping and fearing - only makes sense before a background of options to choose from and possibilities for what the future will bring: real possibilities in concrete situations. Work on real possibility has so far been mainly technical, e.g., in the formal-logical study of the semantics of the future tense and the problem of future contingents. In this workshop we want to combine logical and philosophical aspects of real possibility.
WIRP-2 will take place as a satellite workshop following the GAP.8 conference of the Society for Analytic Philosophy in Germany. Attendance of the workshop is free, but limited due to space restrictions; if you wish to attend, please send an email.
18-19 September 2012, Logical Form, Cambridge, U.K.Location: Cambridge, U.K.
This conference will tackle the notion of logical form, and its application to natural and formal languages. In what sense is an argument valid (or invalid) in virtue of its form? What are the goals of formalisation? Does grammatical form really mislead as to logical form? And what are forms anyway, and how do they reflect the structure of the world?
For more information, see http://www.phil.cam.ac.uk/news_events/logicalformconf.html
14 Sep 2012, "Acting Right", a Workshop on Norms, Games and Actions, Gent, BelgiumLocation: Gent, Belgium
Acting Right is a one-day workshop on (relations between) norms, games and actions organized at the Ghent University Faculty of Arts and Humanities by the Centre for Logic and Philosophy of Science. Specific topics discussed during the workshop include: (defeasible) deontic logic, logics of action, game theoretical approaches to normative reasoning and logical approaches to planning.
See the website (http://www.philosophy.ugent.be/NGA) for details and registration.
10-14 September 2012, First Hamburg Summer School in Philosophy: Timothy Williamson on Quantification and Modality, Hamburg, GermanyLocation: Hamburg, Germany
The first annual Hamburg Summer School will take place on 10-14 September 2012, at the Department of Philosophy of the University of Hamburg. This year's speaker is Prof. Timothy Williamson (Wykeham Professor of Logic, New College, Oxford). He will give lectures on quantification and modality, based on his forthcoming book on those issues.
The course is open for a limited number of external participants. Prospective participants are asked to prepare for the course by studying the first three chapters of Williamson's book, which will be made available in due course.
If you would like to participate, please send an email, with brief CV appended, to sommerkurs at gmx.de. For more information on the summer school, including accommodation and travel suggestions, see http://hamburgersommerkurs.wordpress.com
29-31 August 2012, Frontiers of Rationality and Decision, University of GroningenLocation: University of Groningen
The conference highlights frontiers of formal and philosophical approaches to reasoning and decision making: recent developments, limitations, open questions and uncharted territory. It marks the end of a series of meetings by leading experts on theoretical and practical rationality. Invited presentations will be given by Branden Fitelson, Jeff Helzner, Simon Hutegger, Katya Tentori, and Kevin Zollman, and by many of the network participants. The event is preceded by the Groningen / Munich summer school on formal methods in philosophy.
27-31 Aug 2012, Summer School on History and Philosophy of Science: Revolutions in Science, Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
Science is one of the major determinants of modern society. Both the history and philosophy of science aim at a deeper understanding of the nature of this scientific enterprise and the knowledge it produces. The philosophy of science studies general questions concerning the nature of scientific knowledge and scientific methods, but also includes conceptual analysis of fundamental theories such as relativity, quantum mechanics, evolution and modern genetics. The historical approach focuses on the development of scientific thought and practice in times past. It does not limit itself to the problems, methods and solutions assigned by scientists, but extends its scope to the interplay with cultural, social or institutional features at particular times and places.
This summer school is aimed at introducing students to modern debates in the History and Philosophy of Science (HPS). The central theme will be 'Scientific Revolutions'. The course wil consist of a nine to five program from Monday to Friday. Excursion included.
Deadline for registration: 20-05-2011. For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H5
24-25 August 2012, Conference "Perspectives on Wittgenstein's Philosophy of Mathematics, Zuerich, SwitzerlandLocation: Zuerich, Switzerland
The conference aims to present, promote and provoke research on Ludwig Wittgenstein's philosophy of mathematics. Wittgenstein is one of the most important philosophers of the 20^th century and he considered his most significant contribution to be in the philosophy of mathematics. Nevertheless, this contribution has received far less attention than the rest of his work. Recent research shows that early interpreters often failed to appreciate the radical nature of his critique of the orthodoxy. It also suggests that his philosophy of mathematics still contains much from which the field can profit. We therefore intend to discuss the development of Wittgenstein's philosophy of mathematics, the debates it has already provoked and the lessons it might hold for contemporary debates.
Attendance is free, but registration is requested. For registration and further information please contact anne-katrin.schlegel at philos.uzh.ch. For more information, see http://www.uzh.ch/news/agenda/record.php?id=14600&group=10.
23-28 August 2012, Groningen/Munich summer school: Formal methods in philosophy, Faculty of Philosophy, GroningenLocation: Faculty of Philosophy, Groningen
The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.
For more information, see https://sites.google.com/site/therootsofdeduction/summerschool
30 July - 3 August 2012, 2012 International Summer School in Language and Speech Technologies (SSLST 2012)Location: Tarragona, Spain
SSLST 2012 offers a broad and intensive series of lectures at different levels on language and speech technologies. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.
For more information, see http://grammars.grlmc.com/sslst2012/
16-20 July 2012, First Interdisciplinary Summer School on Ontological Analysis, Trento, ItalyLocation: Trento, ItalyCosts: 150-350 €
The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis. Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants.
Registration is now open (to IAOA members only). The number of participants is limited to 80. Participation is granted based on the order of registration. The IAOA funds some grants for students, covering the registration fee.
Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php
16-23 July 2012, 2nd Summer School on Auditory Cognition, Plymouth, UKLocation: Plymouth, UK
The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.
The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org
14-21 July 2012, Summer School in Algorithmic Game Theory, Samos, GreeceLocation: Samos, Greece
A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.
The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.
The school is open to under/postgraduate students Â and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.
12-18 July 2012, Logic Colloquium 2012, Manchester, U.K.Location: Manchester, U.K.
Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).
The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.
For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/
9-13 July 2012, Summer School in Social Simulation, Barcelona, SpainLocation: Barcelona, Spain
The Summer School in Social Simulation: A hands-on approach program, organized by the Laboratory for Socio-Historical Dynamics Simulation (LSDS - UAB) offers an intensive hands-on course on multi-agent modeling applied to the social sciences using the Netlogo modeling environment. Participants will be able to debut immediately in the field and to present their own simulation model at the end of the course.
The program will be conducted by researchers in artificial intelligence, sociology, economics, archeology and other fields in the social sciences who, parallel to the course, will present the state-of-the-art research on the implementation of social simulation in their fields of expertise. The course is mainly directed to advanced students and researchers in the various fields of the social sciences who wish to approximate or to deepen in the knowledge of agent-based simulation to analyze complex phenomena in the context of social dynamics
For more information, see http://sct.uab.cat/lsds/content/lsds-summer-school-2012
8-11 July 2012, Trends in Set Theory, Warsaw, PolandLocation: Warsaw, Poland
A conference "Trends in Set Theory" will take place at the Stefan Banach International Mathematical Center in Warsaw (Poland) from July 8 (Sun.) to July 11 (Wed.) 2012. It is a satellite event to the 6th European Congress of Mathematics which will take place from July 2 to July 7 in Kraków, Poland.
The list mathematicians which already agreed to be main speakers includes: A. Aviles (Murcia), A. Dow (North Carolina), A. Kechris (Caltech), S. Shelah (Jerusalem and Rutgers), S. Solecki (Urbana-Champaing), S. Thomas (Rutgers) S. Todorcevic (CNRS and Toronto).
For more details see the complete first announcement at http://www.impan.pl/~set_theory/Conference2012/.
29 June - 1 July 2012, Themes from Charles Travis: Language, Perception, Mind and the Early Analytic Legacy, University of East Anglia, Norwich, UKLocation: University of East Anglia, Norwich, UKCosts: £65 full rate / £35 students
The aim of this conference is to explore the consequences of Charles Travis’s position for the possibility of systematic theoretical investigation into human psychology and linguistic understanding.
Our intention is to open up a forum for debate and discussion of the current status of Travis’s work in relation to those issues upon which his ideas have exerted the most influence, such as the semantics-pragmatics interface, perceptual disjunctivism, and (more generally) theories of representational content, each of which have come to dominate current research in analytic philosophy. The conference will bring together a group of distinguished philosophers who have engaged directly with Travis’s work over the years.
For more information and registration, see the conference website at http://www.uea.ac.uk/phi/eventsnews/events/charles-travis. We may be able to offer some student bursaries.
24 June - 14 July 2012, UCLA Logic Center Summer School, Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.
The UCLA Logic Center is organizing a summer school for undergraduates. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.
22-24 June 2012, Workshop on Foundations for Ockham's RazorLocation: Carnegie Mellon University, Center for Formal Epistemology
Scientific theory choice is guided by judgments of simplicity, a bias frequently referred to as "Ockham's Razor". But what is simplicity and how, if at all, does it help science find the truth? Should we view simple theories as means for obtaining accurate predictions, as classical statisticians recommend? Or should we believe the theories themselves, as Bayesian methods seem to justify? The aim of this workshop is to re-examine the foundations of Ockham's razor, with a firm focus on the connections, if any, between simplicity and truth.
For more information, see: http://www.andrew.cmu.edu/org/cfe/ockam-foundations.html
15-16 June 2012, Turing's 100th Birthday Party at King's College (ACE2012), Cambridge, U.K.Location: Cambridge, U.K.
Turing's 100th Birthday Party celebrating his life and work will be held at King's College, Cambridge - Turing's beloved intellectual home.
Speakers include leading broadcasters and experts on Turing, as well as members of the Turing family and others who knew him personally - pioneers of computing who worked alongside him, building and programming the first computers as well as investigating his mathematical theory of how living matter grows. Codebreaker Jerry Roberts, one of Turing's last surviving wartime colleagues from Station X, will give the King's College Turing Centenary Lecture followed by a movie about the Bletchley Park codebreakers.
For more information about the event and for registration, please go to http://sites.google.com/site/turingace2012/ Please register early, places are limited.
14-16 June 2012, Open Russian Finnish Colloquium in Logic ORFiC 2012, St Petersburg, RussiaLocation: St Petersburg, Russia
The Open Russian-Finnish Colloquium in Logic ORFiC 2012 marks the co-ocurrence of the two widely known series of international logical events, the 12th in the series of St Petersburg biennal Logical Forums "Logic Today" and the 10th of Russian (formerly Soviet) - Finnish Colloquia.
4 june 2012, Bessensap 2012Location: Museon, Den Haag
Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 12th time. The yearly event, with the theme "science meets the press, the press meets science" aims to bring together journalists, editors and PR officials.
For more information, see http://www.nwo.nl/bessensap
4-8 June 2012, Theory and Practice of Multiparty Computation, Aarhus, DenmarkLocation: Aarhus, Denmark
Secure Multiparty Computation is a powerful cryptographic notion that - in theory - can solve virtually any cryptographic protocol problem. In recent years the technology has been used in practice and holds great promise for future applications. MPC technology can be used to implement, for instance, voting, auctions, procurement and benchmarking with better security, in particular without anyone having to reveal his private data to anyone else.
This workshop brings together people in both theory and practice of the field, and we are convinced that this will prove very productive. The first day will be dedicated for tutorials that cover the basic definitions, constructions and building blocks. In the rest of the workshop, leading researchers in the field will present their latest results in secure computation. 22 invited speakers have confirmed participation.
For more information, see http://cfem.au.dk/events/theory-and-practice-of-multiparty-computation/
4-8 June 2012, International Summer School and Workshop on Information and Uncertainty (SSIU/WIUI), Olomouc, Czech RepublicLocation: Olomouc, Czech Republic
The International Summer School "Information and Uncertainty (SSIU 2012) and the International Workshop "Information, Uncertainty, and Imprecision" (WIUI 2012) aim at bringing together researchers in the areas of information and uncertainty to present recent results and discuss current and future research directions. Of a particular interest to both events are fuzzy logic, veristic uncertainty, probabilistic uncertainty, uncertainty measures, rough sets, and their applications.
The Summer School will contain series of tutorial-like talks by internationally recognized experts and is thus particularly suitable for young researchers including doctoral students. The Workshop will consist of regular talks focusing on current and future research directions and of student presentations in the form of posters and talks.
If you consider your participation, please register (no registration fee). For registration, a program, information about traveling and accommodation, and the latest news, see http://mcin.upol.cz/SSWIU-2012/.
29-30 May 2012, Modality and Modalities, Copenhagen, DenmarkLocation: Copenhagen, Denmark
"Modality and Modalities" will be a two day event on all things Modal Logical. This event will be held on Tuesday, 29th May and Wednesday, 30th May at the University of Copenhagen
Our keynote speakers are: Max Cresswell, Adriane Rini, and Krister Segerberg. Special Tutorial Presentation by Valentin Goranko
For more information, see http://modalityandmodalities.weebly.com/. All are welcome to attend, and attendance is free. But please: email us at cadillacdk at gmail.com if you plan on attending, so that we know how many guests to expect.
29 May - 1 June 2012, Workshop "Core Knowledge, Language and Culture", Lorentz Center, Leiden, the NetherlandsLocation: Lorentz Center, Leiden, the Netherlands
This workshop will address the relation between core knowledge, language, music, and culture, with a view to assessing the current understanding of these questions for a theory of the mind/brain. We hope that the participants – scholars from fields as diverse as psychology, linguistics, neurobiology, neurolinguistics, music cognition, and cognitive anthropology – will contribute to defining a research program that may address both new and as yet unresolved research questions in this area.
For more information, see http://musiccognition.blogspot.com/2012/05/ or http://www.lorentzcenter.nl/lc/web/2012/493/info.php3?wsid=493.
25-26 May 2012, International Workshop on The Logic and Culture of Lying, Regensburg, GermanyLocation: Regensburg, Germany
For more information, see http://www.ur.de/lying
23-25 May 2012, The Constructive in Logic and Applications, New York, U.S.A.Location: New York, U.S.A.
Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition.
This conference is in honor of the 60th birthday of the distinguished logician Sergei Artemov. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.
For more information, see http://fsw01.bcc.cuny.edu/evangelia.antonakos/file/ConstructivityAtCUNY.html
9-10 May 2012, Workshop "Expressivism and Epistemic Normativity", Centre de Recherche des Cordeliers, 15 rue de l'École de Médecine, 75006 ParisLocation: Centre de Recherche des Cordeliers, 15 rue de l'École de Médecine, 75006 Paris
Expressivism is the view according to which normative utterances and thoughts, whether moral, aesthetic or epistemic, do not describe reality, but are rather the expression of practical attitudes. Such an analysis of normative utterances and thoughts in "non-cognitive" terms, as conative mental dispositions of agents, offers a promising way of naturalizing normative judgments. As a general theory of normative statements, however, expressivism runs into difficulties, such as the problem of truth-functional composition. The goal of the workshop is to foster interaction between defenders and critics of expressivism, to examine whether this view necessarily leads to a relativist or irrealist conception of norms, and, finally, to analyze the difficulties involved in integrating it into a general theory of epistemic normativity.
For more information, see here.
7 May 2012, Philosophy of Logic, Padua, ItalyLocation: Padua, Italy
The Cogito research group in Philosophy of Mathematics and Philosophy of Logic is glad to announce the workshop 'Philosophy of Logic' that will take place at the University of Padua on the 7th of May 2012.
For more information and abstracts, see http://cogito.lagado.org/node/641.
30 April - 4 May 2012, 5th Young Set Theory Workshop, Luminy, FranceLocation: Luminy, France
The aim of this conference is to bring together PhD students, postdocs and young researchers in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, research talks and discussion sessions.
if you are interested in attending the conference, please see the registration page on the website and/or contact Lionel Nguyen Van Thé (lionel at latp.univ-mrs.fr).
For more information, please see the conference website at http://math.univ-lyon1.fr/~melleray/yst2012-info.html
16-19 April 2012, Proof Theory and Modal Logic, Barcelona, SpainLocation: Barcelona, SpainCosts: € 80 registration
A Π01 ordinal analysis of Peano arithmetic can be based on provability logics with infinitely many modalities. The aims of the workshop are to report and to discuss progress on extending the analysis to stronger theories, as well as to study the corresponding logics and algebras from topological, set-theoretical and algebraic points of view.
Topics include but are not restricted to: reflection principles; Turing--Feferman recursive progressions; provability logics and algebras; conservation results for fragments of arithmetic and analysis; ordinal notation systems; topological and set-theoretic interpretations of modal logic.
To register, please contact Joost J. Joosten at jjoosten at ub.edu by April 10th. There is a registration fee of 80€. Upon registration you will receive information on the method of payment. Students and young researchers that wish to waive the fee should mention this when registering.
For more information, see http://www.phil.uu.nl/~jjoosten/WormShop/.
15-19 April 2012, eurocrypt 2012, Cambridge, United KingdomLocation: Cambridge, United KingdomCosts: ca. 600 EUR
Now in its 31st year, Eurocrypt 2012 will take place in Cambridge, United Kingdom, from April 15 to April 19. Devoted to all aspects of cryptology, Eurocrypt is one of the three flagship conferences organised by the IACR.
It is especially apt that Eurocrypt 2012 is held in Cambridge as this year marks the 100th anniverary of the birth of Alan Turing. Eurocrypt 2012 is forming part of the celebrations of the Alan Turing Year.
In addition to Eurocrypt 2012, Cambridge is hosting a six month program at the Isaac Newton Institute for Mathematical Sciences devoted to recent work inspired by the work of Alan Turing. This program features a significant cryptologic component.
For more information, see http://www.cs.bris.ac.uk/eurocrypt2012/
2-6 April 2012, School in Formal Languages and Applications, Tarragona, SpainTitle: 2012 International Spring School in Formal Languages and Applications SSFLA 2012Location: Tarragona, SpainTarget audience: Undergraduate and graduate students from around the world
SSFLA 2012 (formerly the International PhD School in Formal Languages and Applications) offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.
Most appropriate degrees include: Computer Science and Mathematics. Other students are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.
For more information, see http://grammars.grlmc.com/ssfla2012/.
2-3 April 2012, Workshop on the Dynamics of Argumentation Rules and Conditionals (DARC), Luxembourg, LuxembourgLocation: Luxembourg, Luxembourg
The DARC workshop is intended to bring together people interested in the dynamics of formal argumentation understood in a broad sense, to exchange ideas, techniques, and results.
This workshop is associated to the DYNARG project. The event is open to all researchers working, planning to work, or just interested in these topics. There is no registration fee.
The event is open to all researchers working, planning to work, or just interested in these topics. Website: http://icr.uni.lu/darc/.
If you would like to present your work at DARC then please send an abstract to the organisers.
26-30 March 2012, Newton Institute Workshop "Logical Approaches to Barriers in Complexity II", Cambridge, U.K.Location: Cambridge, U.K.
Computational complexity theory has its origin in logic. The fundamental goal of this area is to understand the limits of efficient computation and the sources of intractability. The most famous open problem in the area is the P = NP-problem, listed among the seven Clay Millenium Prize problems. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide deep insights in the nature and limits of efficient computation. In our workshop, we shall focus on logical descriptions of complexity, i.e. descriptive complexity, propositional proof complexity and bounded arithmetic.
The workshop will bring together leading researchers covering all research areas within the scope of the workshop. We will especially focus on work that draws on methods from the different areas which appeal to the whole community.
Deadline for application for participation: 26th January 2012 For more information, see http://www.newton.ac.uk/programmes/SAS/sasw01.html or contact a.beckmann at swansea.ac.uk.
7-9 March 2012, Questions in Discourse, FrankfurtLocation: Frankfurt
This workshop focuses on the interaction of form and meaning of linguistic expressions with questions in discourse. It is well known that such an interaction exists, for instance, focus in an answer often corresponds to the wh-word in an explicit or implicit question, and some verbs can even embed overt or concealed questions. Recently, however, important progress has been achieved in this regard.
Invited speakers: David Beaver, Jeroen Groenendijk, Malte Zimmermann
For more information, see https://sites.google.com/site/inquisitivesemantics/workshops/
5 March 2012, NWO & KNAW: Understanding and managing complex systems, Amsterdam, Trippenhuis, Kloveniersburgwal 29, the NetherlandsLocation: Amsterdam, Trippenhuis, Kloveniersburgwal 29, the Netherlands
The Royal Netherlands Academy of Arts and Sciences (KNAW) together with the Netherlands Organisation for Scientific Research (NWO) will organise a symposium concerning fundamentals and applications of complexity science.
For more information, see http://www.knaw.nl/Content/Internet_KNAW/actueel/bestanden/.
23-24 February 2012, Workshop: The Epistemology of Modality, Cologne, GermanyLocation: Cologne, Germany
Modal discourse is ubiquitous in everyday life: how things could have been different, what we might do, what the future could be. Analytic philosophy also concerns itself with modal discourse in many ways; as an object of analysis, as a tool (when a modal account is offered of apparently non-modal phenomena) and, more directly, when philosophers argue about metaphysical modal claims. But how do we get to know the answers to the modal questions? By definition, modal claims transcend the way things are. In the workshop, we aim to discuss and develop different answers that have been given recently to this problem.
Speakers: Jacek Brzozowski (Köln), Bob Hale (Sheffield), Sonia Roca-Royes (Stirling), Daniele Sgaravatti (Köln), Anand Vaidya (San Jose), Timothy Williamson (Oxford).
Participation to the workshop is free, but registration is needed and there is a limited number of available places. For registration and inquiries write to: contact at fromthearmchair.net before January 10, 2012. For more information, see http://fromthearmchair.net/events/modal-epistemology.
20-24 February 2012, Methods in Bioinformatics, Tarragona, SpainTitle: 2012 International Winter School in Methods in Bioinformatics (WSMBio 2012)Location: Tarragona, SpainTarget audience: Graduate (and eventually advanced undergraduate) students from around the world
WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.
Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.
For more information, see http://grammars.grlmc.com/wsmbio2012/.
19-22 February 2012, 2nd Bar-Ilan Winter School on Cryptography: Lattice-Based Cryptography and Applications, Bar Ilan University, IsraelLocation: Bar Ilan University, IsraelCosts: Participation is free, but registration is required.
The winter school will provide an in depth coverage of lattices and their role in cryptographic constructions. Among other things, we will study the basics of lattices, hard problems on lattices and advanced reductions between problems. In addition, we will study cryptographic constructions based on lattices. These will include encryption, interactive protocols, advanced encryption (identity based and others), and finally recent advances in fully homomorphic encryption. The school program includes approximately 20 hours of lectures, a social dinner and an excursion.
The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not lattices). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.
For more information, see http://crypto.biu.ac.il/winterschool2012/
18-19 February 2012, Turing in Context (TiC@King's), Cambridge, U.K.Location: Cambridge, U.K.
In the year 2012, the academic world will celebrate Alan Turing's (1912-1954) birth centenary as the Alan Turing Year. The event "Turing in Context" will highlight the many contributions of Alan Turing for a general academic audience, in particular for undergraduate and postgraduate students of all fields, and put these contributions in a historical context. Our seven speakers will cover topics such as British war intelligence, discrimination laws, pattern formation in biological systems, artificial intelligence, as well as logic and foundations of computing.
Since there is only limited seating capacity in Keynes Hall, we ask for advance registration by sending an e-mail to Jenny Mackay at programmes at newton.ac.uk with the subject line "Registration for Turing in Context, 18-19 Feb 2012". Acceptance is on a first-come first-served basis. For more information, see http://www.math.uni-hamburg.de/home/loewe/TiC@Kings/
13-14 February 2012, Properties and Optionality in Syntax and Semantics, Utrecht UniversityLocation: Utrecht University
The variety of optionality and modification phenomena, and their intricate relations with intensional properties, lead to some hard puzzles about syntax and semantics. This workshop will examine, from the perspectives of formal syntax and semantics and the formal philosophy of intensional properties, a few of these questions:
1. Should there be a unified grammatical framework for analyzing phenomena of optionality?
2. Is there still a role for intensional properties in accounting for optionality effects?
3. How precise and elegant are current hypotheses about optionality in natural language grammar?
For more information, see http://www.hum.uu.nl/medewerkers/h.devries1/poss2012.htm.
3-4 February 2012, Degrees and Randomness (60th birthday of Klaus Ambos-Spies), Heidelberg, GermanyLocation: Heidelberg, Germany
Klaus Ambos-Spies' 60th birthday in November is approaching. On the occasion of his anniversary, a two-day symposium "Degrees and Randomness" will be held in Heidelberg on 3 and 4 February, 2012. The meeting will start on Friday afternoon and will comprise a social dinner on Friday night.
For details see the preliminary web page for the meeting at http://math.uni-heidelberg.de/logic/e_aktuelles.html or contact the local organizers at logic at math.uni-heidelberg.de.
1 February 2012, Judgment Aggregation Computational Perspectives Workshop, Luxembourg, LuxembourgLocation: Luxembourg, Luxembourg
How can a group of agents aggregate their individually assigned truth-values to a collection of logically related propositions into a consistent aggregate? This is a social choice problem studied by the theory of judgment aggregation. relatively new problem of social choice, much is unknown about the theory, methods, implementation and application of judgment aggregation.
In the past decade we witnessed the role of a computer shifting from the computer being a self contained machine for executing software, a ``personal computer", to being a ``net-book", a global communication tool and an access node for disseminating information. As computers and computing become more distributed, pervasive and invisible, the need is created for aggregating information from various sources into a consistent aggregate. Can judgment aggregation fill this need? This is the topic of the workshop organized by the University of Luxembourg and the Cost AGGREEMENT TECHNOLOGIES action.
For more information, see http://icr.uni.lu/JAWorkshop/
23-27 January 2012, WSLST 2012: Winter School in Language and Speech Technologies, Tarragona, SpainLocation: Tarragona, Spain
WSLST 2012 offers a broad and intensive series of lectures on language and speech technologies at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.
The school is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, Philosophy, or Cognitive Science) are welcome too.
MoL and PhD defenses
17 December 2012, Master of Logic defense, Ekaterina GarmashTitle: Refining translation grammars through paraphrase clusteringLocation: Room B0.209, Science Park 904, AmsterdamSupervisor: Khalil Sima'an and Gideon Maillette de Buy Wenniger
13 December 2012, PhD defense, Floor SietsmaTitle: Logics of Communication and KnowledgeLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Jan van Eijck and Krzysztof R. Apt
The ILLC is very proud to announce that on Thursday, December 13, 2012, 12 noon, Floor Sietsma will publicly defend her PhD thesis in the Agnietenkapel, University of Amsterdam. She is one of the youngest people in the Netherlands ever to receive a doctorate. At the time of her defence she will be 20.
For the full story, see here.
30 November 2012, Master of Logic defense, Peter van OrmondtTitle: Finite narrative modelling, contextual dynamic semantics and Elusive KnowledgeLocation: Room 1.17, Oude Turfmarkt 147, AmsterdamSupervisor: Benedikt Löwe
12 October 2012, PhD defense, Dimitris GakisTitle: Contextual Metaphilosophy - The Case of WittgensteinLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Martin Stokhof
9 October 2012, Master of Logic defense, Adil KurjiTitle: An Update Semantics for Promises and Other Obligation-Creating Speech Acts: A Promising StartLocation: Room G5.29, Science Park 904, AmsterdamSupervisor: Frank Veltman
26 September 2012, Master of Logic defense, Fenner TanswellTitle: Proof and Prejudice: Why Formalising doesn't make you a FormalistLocation: Room 5.02, P.C. Hoofthuis, Spuistraat 134, AmsterdamSupervisor: Benedikt Löwe
25 September 2012, PhD defense, Umberto GrandiTitle: Binary Aggregation with Integrity ConstraintsLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamSupervisor: Ulle Endriss
21 September 2012, PhD defense, Pietro GallianiTitle: The Dynamics of Imperfect InformationLocation: Aula der Universiteit, Singel 411, AmsterdamPromotor: Jouko VäänänenFor more information, please contact pgallian at gmail.com
21 September 2012, Master of Logic defense, Haitao CaiTitle: Causation and the Semantics of CounterfactualsLocation: Room 4.01,KHI, Herengracht 286, AmsterdamSupervisor: Michiel van Lambalgen
20 September 2012, Master of Logic defense, Vahid HashemiTitle: Extracting Trends from Incomplete Ordinal PreferencesLocation: Room D1.110 Science Park 904, AmsterdamSupervisor: Ulle Endriss
19 September 2012, Master of Logic defense, Tong WangTitle: An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omegaLocation: Room A1.04, Science Park 904, AmsterdamSupervisor: Jouko Väänänen and Benedikt Löwe
19 September 2012, Master of Logic defense, Aleks KnoksTitle: Abnormality Counts!Location: Room G3.13 Science Park 904, AmsterdamSupervisor: Frank Veltman
For more information, please contact T.Kassenaar at uva.nl.
19 September 2012, Master of Logic defense, Alwin BlokTitle: Interaction Observation and Denotation (A Study of Dialgebras for Program Semantics)Location: Room A1.08, Science Park 904, AmsterdamSupervisor: Vincenzo Ciancia
18 September 2012, Master of Logic defense, Riccardo PinosioTitle: Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean GeometryLocation: Room G3.10, Science Park 904, AmsterdamSupervisor: Michiel van Lambalgen
7 September 2012, Master of Logic defense, Nal KalchbrennerTitle: Walking the Graph of Language: On a Framework for Meaning and AnalogyLocation: Room D1.162, Science Park 904, AmsterdamSupervisor: Reinhard Blutner and Raquel Fernandez
6 September 2012, Master of Logic defense, Paula HenkTitle: Supremum in the Lattice of InterpretabilityLocation: Room C3.163, Science Park 904, AmsterdamSupervisor: Dick de Jongh and Albert Visser
5 September 2012, Master of Logic defense, Stefanie KooistraTitle: Logic in Classical and Evolutionary GamesLocation: Room D1.112, Science Park 904, AmsterdamSupervisor: Johan van Benthem
Please note that the time for this defense has been moved up to 13:30 (from 14:00).
4 September 2012, Master of Logic defense, Kyndylan NienhuisTitle: Automatic Verification of Programs with IndirectionLocation: Room G3.10, Science Park 904, AmsterdamSupervisor: Jan van Eijck
31 August 2012, Master of Logic defense, Fabio ZanasiTitle: Expressiveness of Monadic Second Order Logic on Infinite Trees of Arbitrary Branching DegreeLocation: Room B0.203, Science Park 904, AmsterdamSupervisor: Alessandro Facchini and Yde Venema
27 August 2012, Master of Logic defense, Pawel LojkoTitle: Inquisitive Semantics and the Paradoxes of Material ImplicationLocation: Room B0.207, Science Park 904, AmsterdamSupervisor: Floris Roelofsen and Jeroen Groenendijk
27 July 2012, Master of Logic defense, Yves FomatatiTitle: Sahlqvist Correspondence for Intuitionistic Modal Mu-CalculusLocation: Room B0.203, Science Park 904, AmsterdamSupervisor: Alessandra Palmigiano
29 June 2012, Master of Logic defense, Antonio FlorioTitle: Science in Axiomatic PerspectiveLocation: Room B0.203, Science Park 904, AmsterdamSupervisor: Sara Uckelman
18 June 2012, Master of Logic defense, Marta SznajderTitle: Dynamic Semantics for Intensional Transitive Verbs - a Case StudyLocation: Room B0.203, Science Park 904, AmsterdamSupervisor: Frank Veltman
31 May 2012, Master of Logic defense, Daan StaudtTitle: Completeness for Two Left-Sequential LogicsLocation: Room A1.04, Science Park 904, AmsterdamSupervisor: Allban Ponse
25 April 2012, PhD defense, David Garcia SorianoTitle: Query-Efficient Computation in Property Testing and Learning TheoryLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Harry BuhrmanFor more information, please contact david at cwi.nl
26 March 2012, Master of Logic defense, Thomas PeetzTitle: On Context-Free Grammar Induction by Incremental CompressionLocation: Room B1.25, Science Park 904, Amsterdam
23 March 2012, Master of Logic defense, Viktoriia DenisovaTitle: Ontological Commitment of Natural Language SemanticsLocation: Room A1.10, Science Park 904, AmsterdamSupervisor: Martin Stokhof
8 March 2012, PhD defense, Edgar Andrade-LoteroTitle: Models of Language: Towards a practice-based account of information in natural languageLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Martin StokhofCopromotor: Michiel van Lambalgen
For more information, see https://sites.google.com/site/edgarandradelotero/publications/phd-thesis or contact andradeed78 at yahoo.com
10 February 2012, PhD defense, Yurii KhomskiiTitle: Regularity Properties and Definability in the Real Number ContinuumLocation: Aula, Lutherse Kerk, Singel 411Promotor: Benedikt Löwe, Jouko VäänänenCopromotor: Jörg Brendle
For more information, contact Yurii Khomskii at yurii at deds.nl.
27 January 2012, Master of Logic defense, Sylvia BoichevaTitle: Mechanism design without MoneyLocation: Room A1.04, Science Park 904, AmsterdamSupervisor: Krzysztof Apt
19 January 2012, PhD defense, Markos MylonakisTitle: Learning the Latent Structure of TranslationLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Remko SchaCopromotor: Khalil Sima'an
12 January 2012, PhD defense, Federico SangatiTitle: Decomposing and Regenerating Syntactic TreesLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Rens BodCopromotor: Willem Zuidema
An electronic version of the dissertation can be found here: http://www.illc.uva.nl/Research/Dissertations/DS-2012-01.text.pdf.
For more information, please contact federico.sangati at gmail.com.
Projects and Awards
Elliott Wagner has been awarded the 2012 Popper Prize
The 2012 Sir Karl Popper Prize has been awarded to Elliott Wagner for his paper "Deterministic Chaos and the Evolution of Meaning." This prize is awarded for the best of those papers appearing in the British Journal for the Philosophy of Science which concern themselves with topics in the philosophy of science to which Sir Karl made a significant contribution.
For more information, see http://www.thebsps.org/society/bsps/popper_prize.html.
New COST Action on Computational Social Choice
A new European research programme in the field of computational social choice has been launched by COST (European Cooperation in Science and Technology) in Brussels on 30 November 2012. COST Action IC1205 on Computational Social Choice has a budget of around 150k euro per year, for the coming four years, to support coordination, networking and dissemination activities in Europe. It will be run from the premises of the ILLC and is chaired by Ulle Endriss.
For further information, see http://www.cost.eu/domains_actions/ict/Actions/IC1205.
Henkjan Honing awarded the Distinguished Lorentz Fellowship 2013/14
Henkjan Honing, Professor of Music Cognition at the Institute for Logic, Language and Computation, University of Amsterdam, wins the fifth Distinguished Lorentz Fellowship. Honing will explore what insights cognitive science and biology can provide on the origins of music and musicality.
For more information, see http://www.nias-lorentz.nl/dlf-2013-14.html.
Zwaartekracht Project 'Language in Interaction'
ILLC is one of the three partners in the project 'Language in Interaction', which has been granted a total of 27.6 million euro for a period of 10 years, as part of a huge investment by NWO's Gravity (Zwaartekracht) programme in top research in the Netherlands. Johan van Benthem is co-applicant, other ILLC people involved are Rens Bod (workpackage leader) and Michiel van Lambalgen. The project entails a collaboration between the Max Planck Institute for Psycholinguistics (Nijmegen), the F.C. Dondersinstituut (Nijmegen) and the ILLC.
Project Summary: Human language is the most powerful communication system that evolution has produced to date. In all its manifestations - over 6000 languages are spoken worldwide - it is the basis of our social and cultural life. At the same time, language is firmly embedded in our brain. In order to understand this characteristic fully, we need to examine language from the level of genes and the brain, to the level of social interaction and linguistic structures. This is the aim of the consortium Language in Interaction.
For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_922FNK.
Paper by Rens Bod most read in september 2012
The paper 'How Hierarchical is Language Use?' by Rens Bod is the most read paper of the Proceedings of the Royal Society B in september 2012.
For more information, see http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/content/persberichten/2012/10/
Marie Curie ITN Grant on Machine Translation awarded to EXPERT project with Dr Khalil Sima'an
The EXPERT (EXPloiting Empirical appRoaches to Translation) Initial Training Network (ITN) involves nine research centers from six countries, coordinated by University of Wolverhampton (UK). Its grant funding amounts to approximately four million Euro for four years and funds 12 PhD students and 3 postdocs. Two PhD students will be recruited at the ILLC under supervision of Dr. Khalil Sima'an (Language and Computation).
The EXPERT ITN offers a combination of winter/summer schools, workshops, short visits and courses for early stage researchers on the topic of Machine Translation. Besides supervision at their home institute, every PhD student is partially co-supervised by an established researchers at a second research institute and is planned to spend brief research visits at other research sites.
For more information on Marie Curie ITN grants, see http://ec.europa.eu/research/mariecurieactions/about-mca/actions/itn/
UvA scientists receive NWO grant for 'Knowledge and culture' research project
Henkjan Honing, together with colleagues from the University of Amsterdam (UvA), Leiden University (UL), Utrecht University (UU) and the Meertens Institute, has received a grant worth 2 million euros from the Netherlands Organisation for Scientific Research (NWO) as part of the Horizon programme. The research money has been earmarked for the four-year project Knowledge and culture.
The Knowledge and culture project, led by Johan Rooryck (UL), will examine the extent to which restrictions are placed on cultural expressions in music, language, and visual art by nonhuman-specific congenital core knowledge systems for object representation, number and geometry. It also looks at how these core knowledge systems interact with congenital systems that are specific to humans such as language and musicality.
For more information, see http://www.hum.uva.nl/mmm/research.html or http://www.english.uva.nl/news/news.cfm/E3CBEB15-1D6F-4B27-B4521515035C469A.
Birkhoff - von Neumann Prize for Sonja Smets
Sonja Smets has been awarded the "Birkhoff-von Neumann Prize" for her work on quantum logic. The Award Ceremony will take place this summer during the 11th Biennial Meeting of the International Quantum Structures Association in Cagliari, Italy.
FGw onderwijsprijs/best course prize 2012
The Faculty of Humanities prize for the best master course went to Michiel van Lambalgen for the course 'Rationality, cognition and reasoning', which is also part of the Master of Logic curriculum.For more information, see http://www.medewerker.uva.nl/fgw/fgw.cfm/B8774150-4092-4E52-A619D63ED62C48C1 or contact M.vanLambalgen at uva.nl
Dr. Khalil Sima'an has been awarded an STW grant (Euro 756k)
Dr. Khalil Sima'an has been awarded a project grant by the Technology Foundation STW. The project "Data-Powered Domain-Specific Translation Services on Demand" (DatAptor) will be carried out in cooperation with five industrial partners. DatAptor funds two postdocs (3 years each), one PhD student and a programmer.
For more information, contact k.simaan at uva.nl
4 NWO Open Competition Grants for ILLC staff
Four NWO Open Competition Grants have been awarded to ILLC staff this spring: three in the Exact Sciences programme, and one (a collaboration with the University of Leiden) in the Humanities programme. This was a high score, given the number of grants awarded on a national level: 2 of the 11 grants in computer science, and 1 of the 2 multidisciplinary projects.
Harry Buhrman was awarded a grant (Exact Sciences / Multidisciplinary) for his project: Quantum Position-Based Cryptography. This grant will fund a PhD position for four years at CWI. NWO rarely awards grants to multidisciplinary projects, this was one of the two awarded this round and was approved by both the computer science and the mathematics councils.
Khalil Sima'an was awarded a grant (Exact Sciences / Computer Science) for a project entitled: 'Statistical Translation of Novel Constructions'. This grant will fund a PhD position for four years.
Yde Venema was awarded a grant (Exact Sciences / Computer Science) for a project entitled: 'Logic and Automata: a Coalgebraic perspective'. This grant will fund a PhD position for four years.
Jelle Zuidema was co-applicant with Clara Levelt and Carel ten Cate at Leiden University for the project Segments and rules: a comparative study into the computational mechanisms underlying language acquisition (Humanities). The project was awarded 3 PhDs in total, one of which will work for four years on Jelle’s sub-project, Modeling Artificial Language Learning.
Funding, Grants and Competitions
Call for Nominations: IFAAMAS-12 Victor Lesser Distinguished Dissertation Award
Nominations are invited for the 2012 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2013 (http://aamas2013.cs.umn.edu/).
Eligible doctoral dissertations are those defended between January 1, 2012 and December 31, 2012 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate signed by the IFAAMAS Chair and a 1500EUR payment.
The dissertation must be nominated by the thesis supervisor and submitted on or before February 28, 2013. For more information, see http://aamas2013.cs.umn.edu/node/16
Call for Nominations: ACM SIGART Autonomous Agents Award 2013
Nominations are solicited for the 2013 ACM SIGART Autonomous Agents Research Award. This award is made for excellence in research in the area of autonomous agents. It is intended to recognize researchers in autonomous agents whose current work is an important influence on the field. The award is an official ACM award, funded by an endowment created by ACM SIGART from the proceeds of previous Autonomous Agents conferences. The recipient of the award will receive a monetary prize and a certificate, and will be invited to present a plenary talk at the AAMAS 2013 conference in St Paul, MN.
Nominations should be made by email to the chair of the award committee, Michael Wooldridge (mjw at cs.ox.ac.uk), and should consist of a short (< 1 page) statement that clearly describes the research contributions that the individual has made that merit the award, and how these contributions have influenced the field. Deadline for nominations: Friday 7 December 2012.
For more information on the award, see: http://sigart.acm.org/aaaward.htm
NWO: Innovational Research Incentives Scheme Veni
This form of grant offers researchers who have only recently completed their doctorates the opportunity to develop their ideas during three years.
Closing date for the current round of applications is Thursday 3 January 2013. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5VTGL4_Eng
[In Dutch only]
VSBfonds stelt elk jaar een groot aantal beurzen beschikbaar voor bevlogen en gemotiveerde studenten, die zich graag verder willen ontwikkelen. "Je hoeft geen bolleboos te zijn, maar je hebt wel goede studieresultaten behaald. Jij bepaalt zelf wat je gaat doen, waar en waarom. Vervolgens overtuig je ons waarom jouw plan bijzonder is en waarom wij jouw plannen zouden moeten ondersteunen".
Deadline: Friday 1 March 2013. For more information, see http://www.vsbfonds.nl/beurzen
NWO: Rubicon research grant
The aim of the Rubicon programme is to encourage talented researchers at Dutch universities and research institutes run by KNAW and NWO to dedicate themselves to a career in postdoctoral research.
Rubicon offers researchers who have completed their doctorates in the past year the chance to gain experience at a top research institution outside the Netherlands for a maximum period of two years. There is also a limited opportunity to apply for a research period at an excellent Dutch research institute. However, preference will be given to researchers who apply for a grant to spend time outside the Netherlands.
Next deadline: 29 November 2012. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_6GVHXS_Eng
NWO & TNO: Creative industry
This call for proposals is a joint initiative of NWO (Division for the Humanities, Division for the Physical Sciences, and Division for the Social Sciences and the National Initiative Brain and Cognition) and TNO.
The call focusses on making knowledge accessible for the creative industry, developing new knowledge and realising the link between science and practice. A strong international competitive position is vital for a strong Dutch creative industry. To achieve this, NWO and TNO have made it possible in this call to submit different kinds of proposals from short duration (maximum 6 months) to long duration (maximum 5 years) so that the desired collaboration between researchers and entrepreneurs and the valorisation of the knowledge acquired can be realised in a mutually acceptable manner.
Deadline: 16 October 2012. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_8VUCJA_Eng
KNAW: Academy Professor Prize
The Academy awards the Academy Professor Prize to researchers between 54 and 59 years of age for exceptional achievement throughout the course of their careers. The Prize is intended as a lifetime achievement award.
The Academy confers two separate prizes a year, each worth EUR 1 million. One prize is awarded to a researcher in the social sciences or humanities, and the other to a researcher in the natural, technical or life sciences. The money must be used to fund scientific or scholarly research.
Deadline: Monday 1 October 2012. For more information, see http://www.knaw.nl/Pages/DEF/27/222.bGFuZz1FTkc.html
EC: FP7 Call for Marie Curie Initial Training Networks
With this grant, senior researcher can apply for funding for PhD students. Different settings are possible: Multi-partner networks, public private, or sole participants, see below.
This action aims to improve career perspectives of early-stage researchers in both public and private sectors. This will be achieved through a trans-national networking mechanism, aimed at structuring the existing high-quality initial research training capacity throughout Member States and associated countries. Direct or indirect involvement of organisations from different sectors, including (lead-) participation by private enterprises in appropriate fields, is considered essential in the action. In particular, the action aims to add to the employability of the recruited researchers through exposure to both academia and enterprise, thus extending the traditional academic research training setting and eliminating cultural and other barriers to mobility.
Deadline: Thursday 22 November 2012 at 17:00. It is a single-stage submission and evaluation procedure.
For more information, see http://ec.europa.eu/research/participants/portal/page/
AVT/ANéLA Dissertationprize 2012
The AVT/ANéLA prize will be awarded by the AVT (Algemene Vereniging voor Taalwetenschap) and ANéLA (Nederlandse Vereniging voor Toegepaste Taalwetenschap) to the best dissertation in the area of linguistics which has been defended at a Dutch university in the year 2011.
For more information, see http://www.hum.leidenuniv.nl/onderzoek/avt/avt-anela-dissertatieprijs/ or contact Suzanne Aalberse (s.aalberse at let.ru.nl) and/or Ed Elbers (E.Elbers at let.uu.nl)
KNAW: China Exchange Programme (CEP)
The China Exchange Programme (CEP) aims to foster long-term research cooperation between the Netherlands and China. The programme supports exchanges of senior researchers and joint research projects in all fields of research.
Deadline: Saturday 15 September 2012. For more information, see http://www.knaw.nl/Pages/DEF/27/258.bGFuZz1FTkc.html
ESF: European Latsis Prize 2012
The European Science Foundation (ESF) invites nominations for the European Latsis Prize 2012. The Prize, of a value of 100 000 Swiss Francs, is awarded each year by the Latsis Foundation through the ESF to a scientist or research group in recognition of outstanding and innovative contributions in a selected field of research. The research field for the 2012 Prize is: Mathematics. The European Latsis Prize 2012 seeks nominations for outstanding contributions to research in mathematics. Nominations are encouraged from all parts of mathematics, both pure and applied.
Deadline: Sunday 15 July 2012. For more information, see http://www.esf.org/index.php?id=7784
NWO: Innovational Research Incentives Scheme Vidi
This form of grant is targeted at researchers who have completed their doctorates and already spent some years conducting post-doctoral research, thereby demonstrating the ability to generate new ideas and bring them independently to fruition. They will be given the opportunity to develop their own innovative lines of research and themselves to appoint one or more researchers to assist them in the task.
Deadline: Tuesday 2 October 2012. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5VTGQW_Eng
NWO: Free Competition in the Humanities
This grant instrument is aimed at research programmes with a substantial humanities component. A programme proposal should request funding for at least 2 projects that target one central research question and are clearly interrelated. Apart from the results of the individual projects, a synthesized final product should be produced, thus showing the added value of the programmatic approach. The programme should have a key research question that is further elaborated upon in the projects.
Applications can be submitted continuously (no deadline). For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_4XHDR5_Eng?Opendocument
NWO & FWO: Scientific cooperation
The aim of the proposed collaborative grant programme is to strengthen European collaboration in the field of the humanities, and with this programme more specifically the collaboration between Flanders and the Netherlands. The research programme will finance projects from two researchers: one employed by a Dutch University and one by a Flemish university with the aim of maximising the benefits from the scientific complementarity between both researchers so that the collaboration yields added value. The intended added value of the collaboration is a condition for submitting a proposal. The financing partners shall make use of a coordinated peer-review procedure and a joint selection procedure. Grants will be awarded by the researcher’s own research council (FWO or NWO) according to the prevailing funding conditions there. Within the framework of the Lead Agency Approach, FWO and NWO/GW have made agreements about the evaluation and processing of proposals for transnational collaborative projects. Under this agreement the research councils take it in turns to be the Lead Agent.
Deadline: Friday 18 May 2012. For more information, see http://www.fwo.be/Samenwerking-NWO.aspx
EC: FP7 Call for Marie Curie Fellowships
The CORDIS Seventh Framework Programme (FP7) invites applications for Marie Curie Fellowships for Career Developments. There are separate calls for
IEF: Intra-European Fellowships for Career development
IOF: International Outgoing Fellowships for Career development
IIF: International Incoming Fellowships for Career development
Researchers applying for these fellowships (IEF, IOF or IIF) must, at the time of the relevant deadline for submission of proposals be in possession of a doctoral degree or have at least four years of full-time equivalent research experience.
Submission deadline: Thursday 16 August 2012 at 17:00:00 (Brussels local time). For more information, see here.
COST Open Call: funding for networking activities
COST invites researchers throughout Europe to submit proposals for research networks and use this unique opportunity to exchange knowledge and to embark on new European perspectives. A continuous Open Call for Proposals is used to attract the best proposals for new COST Actions.
Next deadling: Friday 28 September 2012 at 17:00 Brussels time (GMT+1). For more information, see http://www.cost.eu/participate/open_call
Amsterdam Science Innovation Award 2012
The Amsterdam Science and Innovation Award is a contest for innovative, applicable and feasible ideas which is annually organised for students and researchers at the Amsterdam Universities, Academic Hospitals, the University of Applied Sciences and the Research Institutes at the Science Park.
A jury with representatives from multinational corporations and knowledge institutions, selects the finalists who will give an elevator pitch at the finals. In addition to the jury price, the audience can vote for the public award. This event gives researchers a stage and offers you the possibility to get in contact with innovative ideas of scientific Amsterdam.
Entries must be received by Friday, April 6 2012, by 18:00 at the latest. For more information, see http://www.english.uva.nl/technology-transfer-office/news.cfm/.
Academische Jaarprijs 2012
The 'Academische Jaarprijs' (Academic Year-award) offers a price of € 100,000 for the team with the most creative communication plan to make academic research accessible to the general public. Eligible teams are offered a communication lecture, which will take place at 20 April. WOTRO researchers are encouraged to apply and to show the importance of addressing development issues in academic research.
Deadline for proposals: Monday 2 April 2012. For more information, see http://www.academischejaarprijs.nl/2012/02/10/
INFTY Short and Exchange Visits programme
The ESF Research Networking Programme INFTY funds researchers working on infinity from a mathematical, philosophical, or computational perspective. The next deadline for applications for INFTY Short & Exchange Visit grants is April 1st.
More information about INFTY, complete instructions and access to the application forms can be found at : http://inftynet.net/visits.html.
EU: FP7 Cooperation ICT 2012 call 9
This Call aims to generate research into a number of specified challenges, including Pervasive and trusted network and service infrastructures, alternative paths to components and systems, Technologies for digital contents and languages, ICT for health, ageing well, inclusion and governance, ICT for a low carbon economy, ICT for learning and access to cultural resources, Future and emerging technologies, and Horizontal actions.
Deadline: 17 April 2012. For more information, see http://ec.europa.eu/research/participants/portal/page/
Newton Fellowship Scheme (2y postdoctoral positions in the UK)
The Newton International Fellowships Scheme is delivered by The British Academy and the Royal Society. The Scheme has been established to select the very best early stage post-doctoral researchers from all over the world and enable them to work at UK research institutions for a period of two years. The Scheme covers researchers in all disciplines covered by the two academies -- physical, natural and social sciences, and the humanities.
Fellowships are tenable for a continuous period of two years. Newton Fellows must be based in the UK at the UK host organisation full time for the two year period. You should be aware that you need to have agreed a research project with your proposed UK Sponsor before you apply, and that an application is made jointly by you and your proposed UK Sponsor. All applicants must be working and be based outside of the UK at the time of application.
The current round opens for applications on 31 January 2012. The closing date for the round of applications is 16 April 2012. Results will be announced at the end of October 2012. There are approximately 40 Newton Fellowships available in this round.
For more information, see http://www.newtonfellowships.org/
FWO: Odysseus Programme
The Odysseus initiative is intended to offer start-up funding to a number of outstanding researchers who have built up a career outside Flanders, in order to develop a research group within a Flemish university or to set up a research line and become progressively more involved in the Flemish research establishment.
What makes the Odysseus programme so special, is the unique combination between sufficient project financing to establish a new research team within a Flemish university and a permanent position for the Odysseus beneficiary within the same university. These symbiosis forms the ideal starting point to attract high level, international researchers.
The procedure consists of nominations by one or more Flemish universities and a quality control by the FWO, which also controls the finances. An indexed sum of 12.7 million EUR has been made available since 2006. This can be increased.
Deadline for 2012 applications: 1 April 2012. For more information, see http://www.fwo.be/Odysseusprogramma.aspx
FWO: Pegasus Marie Curie Fellowships
The goals of PEGASUS are:
- to attract excellent postdoctoral researchers to Flanders in order to contribute to the advancement of Flemish science
- to provide the selected fellows with optimal conditions to further develop their research career in Flanders or abroad.
Deadline for 2012 applications: 1 February 2012 (3-year postdocs) or 1 May 2012 (1-year postdocs). For more information, see http://www.fwo.be/Pegasus-Marie-Curie-fellowships-postdoc.aspx
Open Positions at ILLC
PhD student position available at ILLC (Faculty of Humanities)
The Institute for Logic, Language and Computation (ILLC) currently has a PhD fellowship available at the Faculty of Humanities starting on 1 September 2013. Applications are now invited from excellent candidates wishing to conduct research in an area in which either the Logic and Language group or the Language and Computation group at ILLC are active.
The PhD candidate will be appointed at the Faculty of Humanities of the University of Amsterdam. The appointment is for 4 years for 0,8 fte under the terms of employment currently valid for the Faculty. Initially a contract will be given for 16 months, with an extension for the following 32 months on the basis of a positive evaluation.
2 PhD Students in Machine Translation (EU Project)
Both positions are in Language and Computation, and are four-year Early Stage Researcher pre-doctoral positions. The positions are part of the new EU Framework 7 Marie-Curie Network EXPERT, concerned with the exploitation of empirical approaches to machine translation, including statistical machine translation and example-based machine translation.
Vacancy number: 12-251. Application deadline (extended): 10 January 2013. For more information, see here.
PhD position in Music Cognition at UvA/ILLC and Leiden
PostDoc position in Music Cognition at UvA/ILLC and Leiden
Assistant/Associate Professor position in Mathematical Logic
The ILLC is looking for excellent candidates for an Assistant/Associate Professorship in the field of Mathematical Logic.
The vacancy is in ILLC's Logic and Computation group. The research mission of this group is to gain a deeper understanding of the nature of information and the processes of reasoning and interaction. The group is renowned for its work in mathematical logic, theoretical computer science, and artificial intelligence.
For more information, see here.
PhD student position in Statistical Machine Translation at ILLC
For the STW-funded project "Data-Powered Domain-Specific Translation Services On Demand" led by Dr Khalil Sima'an, the ILLC is looking for a PhD student in Hierarchical Statistical Machine Translation.
The DatAptor project aims at research and development for advanced statistical machine translation (SMT) systems that adapt to a new domain automatically using algorithms for extracting and weighting suitable training instances in an industry-scale, multi-domain parallel corpus. The project addresses various challenges including statistical weighting of parallel data instances to better fit user-supplied example documents, SMT adaptation by-example to new domains, and extensions of hierarchical and syntactic SMT systems. The PhD student is expected to work among others on the latter topic, i.e., hierarchical (and syntax-enriched) SMT systems.
The closing date for application is 12 October 2012. Vacancy number: W12-185. For more information, see http://www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/w12-185.html or contact Dr Khalil Sima'an at k.simaan at uva.nl.
Postdoc position in Statistical Machine Translation at ILLC
For the STW-funded project "Data-Powered Domain-Specific Translation Services On Demand" led by Dr Khalil Sima'an, the ILLC is looking for a Postdoc in Statistical Machine Translation.
The DatAptor project aims at research and development for advanced statistical machine translation (SMT) systems that adapt to a new domain automatically using algorithms for extracting and weighting suitable training instances in an industry-scale, multi-domain parallel corpus. The project addresses various challenges including statistical weighting of parallel data instances to better fit user-supplied example documents, SMT adaptation by-example to new domains, and extensions of hierarchical and syntactic SMT systems.
The application deadline is 22 October 2012. Vacancy number: W12-186. For more information, see http://www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/w12-186.html or contact Dr Khalil Sima'an at k.simaan at uva.nl.
PhD position in logic and theoretical philosophy
The Institute for Logic, Language and Computation at the University of Amsterdam has a vacancy for a full-time PhD candidate in logic and theoretical philosophy. The PhD position is part of the larger LogiCIC project on "The Logical Structure of Correlated Information Change". funded by the ERC Starting Grant awarded to Dr. Sonja Smets.
The overall project aims to develop a uniform logical system that centres around correlated information change and can be used to explain and model various interactive scenarios. The project is interdisciplinary in nature and will combine insights and techniques from a range of research domains, including logic, quantum mechanics, philosophy of science, belief revision theory, truth approximation and learning theory. In total two PhD students, one post-doctoral researcher and the principal investigator will participate in the LogiCIC project. The task of the PhD student for this open position is to contribute to the development of a unifying core logical setting, that can deal with a wide range of apparently very different information-gathering phenomena coming from areas as diverse as quantum physics and the social sciences.
Postdoc Position in Computational Social Choice
The ILLC is seeking to hire a postdoctoral research fellow in the field of computational social choice. The position is associated with the NWO-funded project "Aggregation of Preferences over Uncertain Outcomes" led by Dr. Ulle Endriss. Application deadline: 17 September 2012.
For more information, see here.
Associate Professorship in Cognitive Modelling at ILLC
The Faculty of Humanities invites applications for a four-year position as associate professor in the UvA's Research Priority Area Brain & Cognition, in which researchers working within the ACLC and the ILLC participate. The associate professor will work within the ILLC.
The deadline for applications is 1 August 2012. Vacancy number: W12-135. For more information, see http://www.uva.nl/vacatures/vacatures.cfm/477D0A4C-27F6-4296-AEACA3A0879855BC
Associate Professorship in Digital Humanities at ILLC
The Faculty of Humanities invites applications for a four-year position as associate professor in Digital Humanities. Research in this field is carried out in all four of the Faculty of Humanities' institutes. This associate professor will work within the ILLC.
The deadline for applications is 1 August 2012. Vacancy number: W12-137. For more information, see http://www.uva.nl/vacatures/vacatures.cfm/C3066CFC-A9DF-412F-929FCDBAF1712491
PhD candidate in Cognitive Modelling
Applications are now invited from excellent candidates wishing to conduct research in the field of cognitive science and cognitive modelling in the context of the Brain & Cognition Research Priority Area.
In addition to the Brain & Cognition subthemes, possible topics include, but are not restricted to, the cognitive modelling of music, language, evolution of cognition, and/or cultural transmission. The PhD candidate will be part of the Institute for Logic, Language and Computation (http://www.illc.uva.nl/research). Researchers from both the Faculty of Science and the Faculty of Humanities collaborate in the Insitite for Logic, Language and Computation.
Completed applications should be submitted by 4 July 2012, 23.59 hrs.
Two PhD candidates in Digital Humanities
PhD position in Modelling Artificial Language Learning
The ILLC has a 4-year PhD position as part of the UvA/Leiden project "Segments & Rules". The candidate will be one of three PhD students in a multidisciplinary team consisting of biologists, linguists and computer modellers.
The project seeks to investigate which aspects of the cognitive abilities of humans underlying language are unique among animals, by adopting the artificial language learning paradigm and studying both experimentally and theoretically similarities and differences in the pattern recognition and learning abilities of human infants, human adults and non-human animals.
The PhD student will join the group of Dr Willem Zuidema, in the Language & Computation section of the ILLC. The student will be collaborating closely with the other participants in the project, from the Institute of Biology Leiden and the Leiden Institute for Brain and Cognition Babylab at Leiden University. The student will develop computational and mathematical models of artificial language learning, and try to account for the experimental data obtained by psychologists, linguists and biologists, including data from the two other PhD-projects (involving experiments with zebrafinches and human infants).
The deadline for applications is 17 June 2012. Vacancy number: W12-120 For more information, see here or the project page at http://www.illc.uva.nl/LaCo/segmentsrules, or contact Dr Willem Zuidema at w.h.zuidema at uva.nl.
Postdoc position in Logics for Quantum Interaction
ILLC currently has a 2.5 year Post-Doc position available in Dr Sonja Smets' Vidi project 'Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols'.
We are looking for candidates with a strong interest in Quantum Information Theory and Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic).
The deadline for applications is 6 June 2012. Vacancy number: W12-106. For more information, see http://www.uva.nl/vacatures/vacatures.cfm/DE54516B-BAC5-4091-B048465780A099EB
Two Full Professor Positions, in:<br/>1) Philosophy of Language<br/>2) Philosophical Logic
The University of Amsterdam offers a full-time vacancy in each of the fields mentioned. The professor in Philosophy of Language will be appointed in the Faculty of Humanities (Department of Philosophy), the professor of Philosophical Logic will be appointed in the Faculty of Science (Institute for Logic, Language and Computation, ILLC). The research of both professors will be embedded in the ILLC.
Both positions are for 38 hours per week.
The deadline for applications is 15 June 2012. Vacancy number: W12-098. For more information, see http://www.uva.nl/vacatures/vacatures.cfm/53609EB2-4680-4BF1-B8E47046BBCFD4E2
Assistant Professor (UD) position in Computational Linguistics / Natural Language Processing
The ILLC is looking for excellent candidates for an Assistant Professorship in the field of Computational Linguistics / Natural Language Processing.
The successful candidate should have an excellent track record in computational linguistics. This is a permanent position at the Faculty of Science with a probation period of two years. Preferred starting date: September 1st 2012 (but no later than January 2013). ILLC's Language and Computation group is renowned for its work in statistical natural language processing.
The closing date for application is 1 June 2012. For more information, see http://www.uva.nl/vacatures/vacatures.cfm/8C176BDC-C2E3-456D-87705B498162EAF3.
PhD fellowship at ILLC (Faculty of Science)
The Institute for Logic, Language and Computation (ILLC) currently has a PhD fellowship available at the Faculty of Science starting on 1st September 2012.
Applications are now invited from excellent candidates wishing to conduct research in an area in which members of ILLC scientific staff affiliated with the Faculty of Science are active.
Completed applications should be submitted by 23.59 hours (CET) on May 20, 2012. For more information, see here or contact the Chair of the Selection Committee, Dr. Alexandru Baltag, at A.Baltag at uva.nl.
Open Positions, General
Two PhD student positions in Philosophy of Language/Mind, Leeds (U.K.)
The School of Philosophy, Religion and History of Science at Leeds is offering two studentships for students commencing a full-time PhD in Philosophy in October 2013. The students will form part of the ERC-funded research project "The nature of representation", in the research areas of Language and Mind.
The Nature of Representation is a five-year project, funded by the European Research Council, on the metaphysics and epistemology of representation. The project is located at the University of Leeds under the direction of Robert Williams (School of Philosophy, Religion and History of Science). The project team will include two postdoctoral researchers (2013-17) and two PhD studentships (2013-16). Regular workshops will be held on project themes.
The closing date for applications is 1st March 2013. For more information, see http://natureofrepresentation.wordpress.com/2012/12/14/. Correspondence regarding the application procedure may be directed to prhs_pgenquiries at leeds.ac.uk.
Two postdoctoral research associate positions in verification of autonomous systems, London (U.K.)
An opportunity has arisen for 2 Research Associates (post-doctoral level) to work at the Imperial College London on themes of model checking for autonomous systems. The successful candidates will be part of the research group on verification of autonomous systems, based at the South Kensington campus.
The main technical objective of the project is to develop verification methodologies for autonomous systems. The appointed researchers will be responsible for developing, in collaboration with Prof. Lomuscio, model checking methodologies, implementation toolkits, and case-study analysis. It is expected that one researcher will be working on the theoretical underpinnings of the verification problem and one will mainly work on implementations. Applicants are requested to state which area they are most comfortable with or whether they are interested in both aspects.
Applications must be received before 11 January, 2013. For more information, see http://www3.imperial.ac.uk/computing/vacancies#AL%201112
Lectureship in Philosophy of Mathematics, Oxford (U.K.)
The Faculty of Philosophy and Lady Margaret Hall propose to appoint to a University Lecturership in Philosophy, in association with a Tutorship and Official Fellowship, with effect from 1 October 2013, or as soon as possible thereafter.
The Area of Specialisation for this post is Philosophy of Mathematics. The successful candidate must be able to provide research-led teaching and supervision in this area at all levels, undergraduate and graduate. Applications from candidates whose work complements the research and teaching of the Faculty will be especially welcome. The successful candidate will also be expected to provide teaching for the College, in the form of tutorials, on a range of introductory (i.e., first-year) and advanced (i.e., second-year and beyond) Philosophy subjects for undergraduates.
Applications must be received before 18 January, 2013. For more information, see http://www.philosophy.ox.ac.uk/vacancies/
University of Leicester: Lecturer in Computer Science
The department of computer science in the University of Leicester is looking for a new lecturer (full time, permanent academic position).
Submission deadline: Tuesday 15 January 2013. For more information, see http://www2.le.ac.uk/offices/jobs/opportunities/direct?id=78737
Josef Raviv Memorial Postdoctoral Fellowship in Computer Science, various IBM Labs (worldwide)
IBM Research is proud to announce the 2012 Josef Raviv Memorial Postdoctoral Fellowship in Computer Science and Computer Engineering in memory of Dr. Josef Raviv, the founder and director of the IBM Research - Haifa laboratory. Dr. Raviv had a distinguished research career in Information Theory and was a pioneer in the Israeli high-tech industry.
IBM will offer one postdoctoral fellowship to a recent Ph.D. who shows exceptional promise for a research career in computer science or computer engineering. The fellowship will be for one year, with an opportunity for IBM to renew for an additional year conditional on funding availability. The stipend will be highly competitive, and will include reasonable moving and travel expenses. A candidate must have received a Ph.D. degree between January 2008 and August 2012.
Depending on proposed collaborations, the Fellow will spend most of his/her time at a laboratory of his/her choice from one of IBM's Research laboratories. The Fellow will be free to follow his/her own research interests, but is expected to work closely with other IBM researchers.
Application deadline: January 6, 2013. For more information, see http://researcher.ibm.com/view_project.php?id=2941.
PhD student scholarships in theoretical computer science, Birmingham (U.K.)
The Theoretical Computer Science group at the University of Birmingham welcomes applications for PhD study. The group consists of (mostly) theoretical computer scientists who explore fundamental concepts in computation and programming language semantics. This often involves profound and surprising connections between different areas of computer science and mathematics. From category theory to lambda-calculus and computational effects, from topology to constructive mathematics, from game semantics to program compilation, this is a diverse field of research that continues to provide new insight and underlying structure.
For more information on the research group, see http://www.cs.bham.ac.uk/research/groupings/theory/. Information about PhD applications may be found at http://www.cs.bham.ac.uk/admissions/postgraduate-research/.
Frymoyer Endowed Chair in Information Sciences at Pennsylvania State University
The Pennsylvania State University College of Information Sciences and Technology (IST) is seeking candidates for the position of Frymoyer Chair. The Frymoyer Chair is a tenured, full professor in the College of Information Sciences and Technology. The College seeks a candidate who will provide research leadership as it moves forward in its second decade of existence. An anticipated start date is 2013.
Review of applications will continue until the position is filled. >For more information, see http://ist.psu.edu/research/frymoyer-chair.
2013-14 Herman Goldstine Memorial Postdoctoral Fellowship, Yorktown NY (U.S.A.)
The Business Analytics and Mathematical Sciences Department of the IBM Thomas J. Watson Research Center invites applications for its 2013-2014 Herman Goldstine Memorial Postdoctoral Fellowship for research in mathematical and computer sciences. Areas of active research in the department include: algorithms, complex systems, data mining, dynamical systems, high-performance computing, inverse problems, numerical analysis, optimization, probability theory, statistics, simulation and operations management.
Candidates must have received a Ph.D. after September 2008, or should expect to receive one before the fellowship commences in the second half of 2013 (usually in September). Up to two fellowships will be awarded with a stipend between $95,000 and $115,000 (depending on experience).
Applications must be received between November 5, 2012 and January 13, 2013. Complete details are available at http://www.research.ibm.com/goldstine/
Postdoctoral and PhD student positions in algorithms and complexity, Saarbruecken (Germany)
The Max Planck Institute for Informatics seeks several Postdocs and PhD Students for the Algorithms and Complexity Department directed by Kurt Mehlhorn.
Ph.D. positions are for three years (the initial contract will be for two years), while postdoctoral fellowships are available for one or two years. Conditions for postdocs depend on the qualifications of the applicants. We are looking for applicants from all areas of algorithmics, including related areas like computer algebra, complexity theory, and discrete mathematics. We are also explicitly looking for people interested in computational geometry and topology, algorithm engineering and the design and implementation of algorithm libraries.
Applications must be sent by January 31, 2013. For further information, see http://www.mpi-inf.mpg.de/departments/d1/ad-2013.txt or http://www.mpi-inf.mpg.de/departments/ag1/offers.html.
Research Fellowship in Theory of Computing, Berkeley CA (U.S.A.) & Saarbruecken (Germany)
Max Planck Institute offers joint research fellowships with the Simons Institute for the Theory of Computing, Berkeley, CA, USA. These fellowships are a major component of a collaboration between the two institutes directed at Theory of Computing and its applications in various fields. The fellowship holder will spend one semester (not necessarily the first) at the Simons Institute for the Theory of Computing and the remainder of the fellowship at the Max Planck Institute.
For the residence at the Simons Institute there is a preference for the research topic to be related to a respective half-year research program run at the Simons Institute. Descriptions of these programs and other information about the Simons Institute can be found at http://simons.berkeley.edu.
The deadline for receipt of the application is January 15, 2013. For more information, see http://domino.mpi-inf.mpg.de/internet/news.nsf/Employment/20121031.
PhD student position in epistemology / philosophy of science, Amsterdam (The Netherlands)
The Faculty of Philosophy at VU University Amsterdam (the Netherlands) is advertising four fully funded four year Ph.D. positions in epistemology / philosophy of science. The positions are embedded in a research project entitled 'Science Beyond Scientism', which aims to clarify the relations between scientific knowledge and other sources of knowledge, esp. in relation to knowledge of free will, morality, rationality, and religion.
The deadline for applications is January 2nd, 2013. More details the positions and information about how to apply can be found at http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2012/1.2012.00314.asp. More background on the project is available at http://www.ph.vu.nl/sciencebeyondscientism.
For further inquiries, please contact the project's principal investigator, RenÃ© van Woudenberg, at r.van.woudenberg at vu.nl.
Lecturer (Assistant Professor) in Computational Game Theory, University of Oxford
The Department of Computer Science at the University of Oxford proposes to appoint a University Lecturer in Computational Game Theory with effect from 1 May 2013 or a mutually agreed date prior to 1 October 2013. The successful candidate will be offered a Non-Tutorial Fellowship at Balliol College.
Applicants should hold a relevant PhD and have experience in any area related to computational game theory. Of particular interest are candidates with research interests in the computational aspects of cooperative game theory; computational social choice; and algorithmic game theory in general.
The closing date for applications is Friday 4th January 2013. Full details of the post can be found at http://tinyurl.com/bqh7qlh (PDF). Further queries about the post may be addressed to Professor Michael Wooldridge (mjw at cs.ox.ac.uk).
Two PhD student positions in mathematical/philosophical logic, Canterbury (New Zealand)
Applications are invited for a fully-funded PhD scholarship on two separate Marsden-fundeds.
The first position is at the University of Canterbury, on the project "Non-classical Foundations of Analysis. This project seeks to formulate and understand new mathematical models of the continuum using non-classical logics. The main thrust of the project will be to use paraconsistent logics to explore properties of sets, sequences, functions and continuity, and to prove interesting theorems that are classically hidden by inconsistency.
The second position is at the University of Otago, on the project "Models of Paradox in Non-Classical Mereotopology". The goal of the project is to understand the nature of logical paradoxes. The strategy is to use mathematical models based on non-classical logics (paraconsistent and paracomplete).
For details and how to apply, see the project websites at http://www.math.canterbury.ac.nz/~m.jordens/NCFA/ and http://sites.google.com/site/doctorzachweber/models-of-paradox.
PhD student and postdoctoral position(s) in Applied Cognitive Science & Design Research, ETH Zürich
Starting in February 2013, a new research group will be established at ETH Zurich with a focus on Applied Cognitive Science, especially linking cognitive science research to interactive systems and architectural design. The group is hosted in the Behavior section of the Department of Humanities, Social and Political Sciences, with strong links to computer science and architecture. Christoph Hölscher, Professor of Cognitive Science, will lead the group.
The new group is open to researchers with a background in cognitive science, psychology / behavioral research, computer science, interaction design or architectural design, among others.
For more information, see http://www.dgps.de/view.php?id=Nd2rZV
Postdoctoral position in theoretical computer science, Lausanne (Switzerland)
The theory group at EPFL has a postdoctoral position available. An ideal candidate should have a strong research track-record and willingness to work on important challenges in theoretical computer science. We have a focus on approximation algorithms, hardness of approximation and efficient exact algorithms and are willing to branch out to other topics as well.
The position is for one or two years, and comes with a competitive salary and generous support for scientific travel. In addition, EPFL, located in the heart of Europe, provides an active and stimulating research atmosphere with short- and long-term visitors. Ideally, the appointment should start in Fall 2013, but other starting dates might be also possible.
Lectureship in Argumentation, Dundee (Scotland)
Applications are invited for a new lectureship in the Argumentation Research Group within the School of Computing at the University of Dundee.
The post will be held in the Argumentation Research Group in the School of Computing at the University of Dundee. The group's expansion is associated with the development of new postgraduate level teaching in which the new lecturer will be expected to play a leading role. This teaching responsibility will involve development of module specifications, student recruitment, and preparation and delivery of materials in areas related to argumentation and negotiation.
The group is looking to complement its existing research strengths with expertise which can link argumentation with computational linguistics, rhetoric, economics or the law. Some experience with argumentation in one of these contexts is essential, as is a strong background in computer science and artificial intelligence.
The post will commence from 01 March 2013 (or other date by negotiation), and is permanent, subject to probation. The closing date for applications is 14 January 2013. Please quote Reference number ASE/0175. More information is available from the research group website at http://www.arg.dundee.ac.uk/.
Assistant Professorship (3+3y) in Philosophy of Physics, Munich (Germany)
The Chair of Philosophy of Science at the Faculty of Philosophy, Philosophy of Science and Study of Religion and the Munich Center for Mathematical Philosophy (MCMP,) at LMU Munich seek applications for an Assistant Professorship in Philosophy of Physics.
The position is for three years with the possibility of extension for another three years. The appointee will be expected (i) to do philosophical research in the philosophy of physics and to lead a research group in this field, (ii) to teach five hours a week in philosophy of physics and/or a related field, and (iii) to take on management tasks. The appointment will be made within the German A13 salary scheme (under the assumption that the civil service requirements are met), which means that one has the rights and perks of a civil servant. The starting date is October 1, 2013.
Applications must be received before 10 December, 2012. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/open_pos/assist_prof/index.html or contact Professor Stephan Hartmann (Stephan.Hartmann at lrz.uni-muenchen.de) for informal inquiries.
PhD position at KTH Royal Institute of Technology, Stockholm, Sweden
The Theory Group at KTH Royal Institute of Technology invites applications for a PhD position in Theoretical Computer Science for a project in the area of proof complexity with connections to SAT solving.
The project is led by Jakob Nordström. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader) and also receives short-term and long-term visitors on a regular basis. A description of the project can be found at http://www.csc.kth.se/~jakobn/project-proofcplx.
This is a full-time employed position, normally for five years including 20% teaching, with salary according to KTH PhD student regulations. The successful candidate is expected to start at the latest in August 2013, although this is to some extent negotiable.
The application deadline is January 14, 2013. See http://www.csc.kth.se/~jakobn/openings/D-2012-0439-Eng.php for the full, formal announcement with more information and instructions for how to apply. Informal enquiries about this position are welcome and may be sent to Jakob Nordstrom at jakobn at csc.kth.se.
Lectureship in Algorithms, Cambridge (U.K.)
The Faculty of Computer Science and Technology (the "Computer Laboratory") at the University of Cambridge is seeking to appoint a University Lecturer or Senior Lecturer in the general area of the Design, Analysis and Engineering of Algorithms.
The closing date for applications is 15 January 2013. Quote Reference: NR23112. For more information, see the full announcement at http://www.jobs.cam.ac.uk/job/-23112/.
PhD student position in Theoretical Computer Science, Bochum (Germany)
In the Department of Mathematic at the Ruhr-University Bochum, the Research Group of Prof. Dr. Hans Ulrich Simon has an opening for a PhD-student in Theoretical Computer Science. The PhD-student will be involved in a project about "Privacy-preserving learning".
The deadline for application is January 15, 2013. For more information about the project, see http://www.ubicrypt.hgi.rub.de/projekte/privacypreservinglearning.html. For more details on the position, see http://www.ubicrypt.hgi.rub.de/bewerbung/stellenangebote/index.html.en and http://www.ubicrypt.hgi.rub.de/bewerbung/bewerbungsverfahren/index.html.en.
Two PhD student positions in parametrized complexity, Berlin (Germany)
Two PhD positions are available in the DFG-funded Junior Research Group "Efficient preprocessing for hard problems" led by Stefan Kratsch at TU Berlin. Successful candidates will perform research on parameterized complexity and kernelization, and related topics. The main focus of research is on rigorous study of polynomial-time preprocessing for hard combinatorial problems.
The junior research group is associated with the "Algorithms and complexity" group chaired by Prof. Rolf Niedermeier. Both positions are fulltime for an intended length of 3 to 4 years, with an initial contract period of 2 years. There are no teaching obligations. The positions are available immediately. Starting salary is roughly 1800 Euros net (includes mandatory health insurance; 3000 Euros gross).
Interested applicants should send their application by December 1, 2012. For more information, see http://www.mpi-inf.mpg.de/~skratsch/positions.html or contact Dr. Stefan Kratsch at skratsch at mpi-inf.mpg.de.
Postdoc position at KTH Royal Institute of Technology, Stockholm, Sweden
The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in Theoretical Computer Science for the research project "Understanding the Hardness of Theorem Proving" in the area of proof complexity with connections to SAT solving.
The project is led by Jakob Nordström and is financed by a Breakthrough Research Grant from the Swedish Research Council and a Starting Independent Researcher Grant from the European Research Council. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader). Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.
This is a full-time employed position for one year with a possible one-year extension. The successful candidate is expected to start at the latest in August-September 2013, although this is to some extent negotiable.
To receive full consideration, applications should be received by January 14, 2013. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2012-0444-Eng.php. Informal enquiries are welcome and may be sent to Jakob Nordstrom at jakobn at csc.kth.se.
PhD student position in applied logic, Luxembourg (Luxembourg)
The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT).
SnT is a recently formed centre carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners. The candidate will work in the Individual and Collective Reasoning Group of Prof. Leon van der Torre. The position is embedded in the RationalArchitecture project, which is done in collaboration with Prof. Erik Proper of the CRP Henri Tudor and funded by the National Research Fund in Luxembourg (FNR).
The goal of the PhD project is to develop and evaluate a general logical framework for the analysis of complex high-level decisions (about enterprise architecture, or research strategies) in knowledge gathering and processing institutions (e.g. companies in the finance sector, or research centers). Advanced techniques from knowledge representation (e.g. nonmonotonic reasoning) and multi-agent systems (e.g. action logics) will be applied and generalized to model the dynamics and uncertainty characteristic of such a socio-epistemic context.
Deadline for applications: December 15th, 2012. For more information, see http://recruitment.uni.lu/en/details.html?nPostingTargetId=1821 or contact Prof. Leon van der Torre, leon.vandertorre at uni.lu.
Two-year research Master's programme in Philosophy, Nijmegen (the Netherlands)
The Radboud University Nijmegen in The Netherlands is looking for applications for its two-year Research Master's programme in Philosophy.
The programme is meant for students of proven ability who wish to prepare for an academic career in philosophy. Candidates can enter the programme in the Autumn semester (starting in September) or in the Spring semester (starting in February). In order to be admitted to the programme for the Spring semester 2013, please apply before the 1st of December, 2012 (extended deadline).
For more information about the Research Master and the application procedure, see http://www.ru.nl/master/philosophy/. or contact our programme coordinator, Dr. C.R. Palmerino, at c.palmerino at ftr.ru.nl.
Master's programme in Philosophy with funding, Atlanta (USA)
The Master's program of the Philosophy Department at Georgia State University in Atlanta, Georgia is accepting applications from qualified students for its two Neurophilosophy Fellowships, its Legal/Political Philosophy Scholarship, its German Philosophy Scholarship, and its Assistantships. All funding packages cover two years of full tuition.
Initial application deadline: February 1, 2013. For more information, see http://www2.gsu.edu/~wwwphi/2105.html
Assistant Professorship (tenure-track) in Machine Learning, Blacksburg VA (U.S.A.)
The Department of Computer Science at Virginia Tech invites applications for a full-time tenure-track position, at the rank of Assistant Professor, from candidates with expertise in artificial intelligence having specific emphasis on machine learning or reasoning under uncertainty. The department is in the process of making multiple hires over multiple years in this area. Candidates should have a record of scholarship, leadership, and collaboration in computing and interdisciplinary areas; demonstrated ability to contribute to teaching at the undergraduate and graduate levels in AI and related subjects; sensitivity to issues of diversity in the campus community; and the skills to establish and grow a multidisciplinary research group.
Early applications are encouraged. Applicant screening will begin December 31, 2012 and continue until the position is filled. For more information, see https://listings.jobs.vt.edu/postings/35796 or contact Dr. Doug Bowman, AI/ML Search Committee Chair, bowman at vt.edu.
Postdoctoral position(s) in logic, Los Angeles CA (U.S.A.)
The Logic Center at the University of California, Los Angeles, hopes to have one or more postdoctoral positions in logic commencing in Fall 2013. Candidates in any area of mathematical logic are encouraged to apply. Appointments are for three years, with salary of $63,000 per year. The teaching load for the position is four quarter courses a year.
Applications should be submitted before or on December 7, 2012. For more information, see http://www.logic.ucla.edu/positions.html or contact the director of the Logic Center, Itay Neeman (ineeman at math.ucla.edu), or Matthias Aschenbrenner (matthias at math.ucla.edu).
Postdoctoral or PhD student position in formal methods in multi-agent systems, Clausthal-Zellerfeld (Germany)
The Department of Informatics at Clausthal University of Technology is seeking to hire a postdoctoral research fellow or PhD student. The position is associated with a DFG/FNR-funded project on Game Logics and Formal Methods for Multi-Agent Systems led by Prof. Dr. Jürgen Dix (Germany) and Prof. Dr. Leon van der Torre (Luxembourg).
Candidates should hold a PhD in a field relevant to the project and have a strong background in logics, formal methods, game theory, or multi-agent systems. The position does not include any teaching duties. Depending of the strength of the candidate it is also possible to fill the position with a PhD student. In this case the candidate must hold an excellent MSc degree in a field relevant to the project.
The deadline for applications is Monday, 10th December 2012. For further information please feel free to contact Dr. Nils Bulling (bulling at in.tu-clausthal.de) and to visit the research group website at http://cig.in.tu-clausthal.de. A PDF version of the full announcement can be found at http://www.in.tu-clausthal.de/fileadmin/homes/CIG/pos_13_mas.pdf
Postdoctoral position in theory of computation, Aarhus (Denmark)
CTIC (Center for the Theory of Interactive Computation) offers a postdoc position within the theory of computation and related areas at Aarhus University, Denmark, starting April 2013 or earlier.
We look for applicants committed to playing an active part in continuously building strong research collaborations between the computer science department at Aarhus University and IIIS at Tsinghua University, Beijing. In particular, the successful applicant will spend significant time at IIIS, with funding for such visits being part of the post doc position.
Postdoctoral positions in classical and quantum computing, Paris (France)
The Algorithms and Complexity group of LIAFA (CNRS and University Paris Diderot), Paris, France, is seeking excellent candidates for one or more postdoctoral positions in classical and quantum computing.
For a starting date of September 2013, applications should be received by February 1st, 2013. For more information, see http://www.liafa.univ-paris-diderot.fr/algocomp/ Further information may also be obtained from any of the permanent members of the group.
New Simons Institute for the Theory of Computing: research fellowships and call for programme proposals, Berkeley CA (U.S.A.)
The newly created Simons Institute for the Theory of Computing at UC Berkeley invites applications for Simons-Berkeley Research Fellowships for the Fall 2013 and Spring 2014 semesters. Simons-Berkeley Research Fellowships are intended for exceptional young scientists (within at most six years of the award of their Ph.D.). Applicants who already hold junior faculty or postdoctoral positions are welcome to apply. In particular, applicants who hold, or expect to hold, postdoctoral appointments at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow subject to the approval of the postdoctoral institution.
Applications must be received before 15 January 2013. For more information, see http://simons.berkeley.edu/fellows.html
3-5 Aalto Science Fellowships, Helsinki (Finland)Location: Helsinki, Finland
The Aalto Science Institute invites nominations and applications for: 3-5 Aalto Science Fellows. The Fellows have freedom and support to pursue their research agenda independently, with opportunities for collaboration with research groups at the Departments of the Aalto University School of Science. Interdisciplinary work is encouraged, but top-quality scientific research is the primary requirement. The length of the contract period is three years.
Fellows can be nominated by established academics. Interested candidates may also apply directly by submitting a full application. Review of applications begins on 3rd December 2012, and the final deadline for submissions is 14th December 2012.
For more information, see http://www.aalto.fi/en/current/jobs/teaching_and_research/
PhD Studentships, University of Edinburgh
The Institute for Language, Cognition and Computation (ILCC) at the University of Edinburgh invites applications for three-year PhD studentships starting in September 2013. Approximately 8 studentships from a variety of sources are available, covering maintenance at the research council rate of around GBP 13500 per year, plus tuition fees. Applicants should have a good honours degree or equivalent in computational linguistics, speech technology, cognitive science, computer science, or a related discipline.
For a list of academic staff at ILCC with research areas, and for a selection of potential PhD topics, please consult the ILCC website at http://www.ilcc.inf.ed.ac.uk/. Details regarding the PhD programme and the application procedure can be found at: http://www.ed.ac.uk/schools-departments/informatics/postgraduate/ Please direct further inquiries to Henry Thompson ht at inf.ed.ac.uk, the ILCC PhD admissions coordinator.
In order to ensure full consideration for funding, applications (including all supporting documents) need to be received by December 14, 2012.
Lectureship in theoretical computer science, Bristol (U.K.)
The University of Bristol would like to appoint a talented individual to join the Department of Computer Science. The department is interested in outstanding candidates for appointment as Lecturer (Assistant Professor) in Computer Science whose research interests lie in the areas of Algorithms and Theoretical Computer Science.
The candidate should have an excellent track record of publications in international conferences and journals including, for example, ICALP/SODA/STOC/FOCS. The candidate should also be willing to engage in teaching at both undergraduate and Masters levels.
This post is offered initially on a 4 year fixed term basis. However, the Faculty will undertake to review the status of the appointment near the end of the initial term and look to offer an open-ended contract where possible.
Deadline: November 21, 2012. More details are available at http://emea3.mrted.ly/2zxv, or by following the link in the News section of http://www.cs.bris.ac.uk/Research/Algorithms/. Informal enquiries can be made to Dr Raphael Clifford at Raphael.Clifford at bristol.ac.uk or Dr Neill Campbell at Neill.Campbell at bristol.ac.uk.
PhD student position in logical and computational models of moral reasoning, Tilburg (The Netherlands)
The Tilburg Center for Logic and Philosophy of Science (TiLPS) and the Tilburg Department of Philosophy invite applications for a PhD position in logical and computational models of moral reasoning. Individuals are encouraged to apply who have an interest in logical and computational theories of ordinary reasoning, in linguistic semantics, and in formal ethics.
The application deadline is November 15, 2012. For more information, see the full announcement at http://erec.uvt.nl/vacancy?inc=UVT-EXT-2012-0434 or contact Dr Reinhard Muskens (r.a.muskens at uvt.nl) or Prof. Alan Thomas (alanpthomas at me.com).
Tenure-track assistant professorship, Kansas State University (USA)
Assistant Professor, Tenure Track, beginning August 2013. AOS: Philosophical or Mathematical Logic or Philosophy of Mathematics. AOC: open, with some preference for teaching competence in Ancient. Applicants who are ABD will be considered, but appointment as Assistant Professor will require that the Ph.D. be in hand before August 2013
Deadline for applications: Friday 2 November 2012. For more information, see http://www.k-state.edu/philos/
Two postdoctoral positions in algorithms and machine learning, Helsinki (Finland)
The Department of Information and Computer Science at Aalto University in Espoo/Helsinki, Finland, pursues research on advanced computational methods for modelling, analysing, and solving complex tasks in technology and science. The research aims at the development of fundamental computer science methods for the analysis of large and high-dimensional data sets, and for the modelling and design of complex software, networking and other computational systems.
The appointment for two postdoctoral positions is for a fixed term of two (2) years. Successful candidates will join Algorithmic Data Analysis Centre of Excellence in research teams lead by Professor Juho Rousu (Machine learning, kernel methods), Petteri Kaski (Algorithm theory) and Chief Research Scientist Jaakko Hollmen (Parsimonious modeling) to conduct high-quality research according to their research plan. The starting times for the positions are negotiable.
Deadline for applications is October 31, 2012. Further information & application procedure may be found at http://www.aalto.fi/en/current/jobs/teaching_and_research/algodan_postdocs/.
Postdoctoral position in verification, Paris (France)
A Postdoc position is available in the "Verification" team in LIAFA, Paris. The topic is the development of new original model-checking and static analysis techniques for malware detection.
The position is available from October 2013. Candidates must have a PhD in computer science. The candidate must send a CV and recommendation letters to Tayssir TOUILI.
2 Postdoc Positions in Algorithmic Game Theory, Liverpool and Glasgow
Two postdoc positions in Algorithmic Game Theory are available at the Universities of Liverpool and Glasgow, on a EPSRC-funded research project entitled "Efficient Algorithms for Mechanism Design without Monetary Transfer".
The aim of this project is to find new approximate and optimal, truthful mechanisms for combinatorial auctions, matching problems with preferences and facility location problems, in each case in the absence of monetary transfer. This will involve theoretical research, to include the design and analysis of new algorithms, and also practical implementation and experimental evaluation of these algorithms.Deadline: 12 November 2012. For more information, see http://www.csc.liv.ac.uk/%7Epiotr/EPSRC-postdoc.html or http://www.dcs.gla.ac.uk/~davidm/postdoc.html, or contact ulle.endriss at uva.nl.
Post-Doctoral Research Fellow on Scientific Uncertainty, London (UK)
The Centre for Philosophy of Natural and Social Science at the London School of Economics and Political Science is seeking to appoint a Post-Doctoral Research Officer to contribute to the AHRC funded Research Project "Managing Severe Uncertainty". The Research Officer will be expected to carry out supervised research within the remit of the project, with a focus on the nature and implications of scientific uncertainty and/or decision making under uncertainty, especially with regard to climate science and policy.
Ten PhD and Postdoctoral positions in formal methods, Vienna (Austria)
The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 funded PhD/PostDoc positions in three exciting research projects addressing the reliability and correctness of software. The topics range from model checking, abstract interpretation, static analysis and automata theory to testing and runtime verification, offering ample research opportunities for talented scientists, from system enthusiasts to the more theoretically minded.
Rosalind Franklin Fellowships (tenure-track positions for female researchers), Groningen (The Netherlands)
The University of Groningen has 28 tenure track positions now available in its prestigious Rosalind Franklin Fellowship programme. The programme is primarily aimed at ambitious women in industry, academia or research institutes who have a PhD and aspire to a career towards full professorship in a European top research university. We invite talented and creative academics to apply. The positions are available on various areas, including Philosophy, and Mathematics and Natural Sciences.
Applications must be received before 1 December 2012. For more information about these fellowships, the requirements and the procedure for application, please visit the website at http://www.rug.nl/rff.
Faculty position in formal epistemology, Pittsburgh PA (U.S.A.)
The Philosophy department at Carnegie Mellon University is hiring an Assistant, Associate, or Full Professor, to begin August 2013. AOS: Formal epistemology, Logic, or Rational choice.
The Department welcomes applications from scholars in any discipline who pursue formal research that is philosophically motivated. Responsibilities: Exemplary research and publication, teaching two courses per semester (4/yr), graduate student supervision, and some committee work.
The deadline for applications is November 1st, 2012. Guidelines can be found along with the job ad here: http://www.hss.cmu.edu/philosophy/job-open-nov-2012.php
PhD student position and postdoc position in formal methods, Luebeck (Germany)
The Institute for Software Engineering and Programming Languages at the University of Lübeck offers openings for a PhD candidate and PostDoc in the area of "Runtime Verification for Service Oriented Architecture", in the new BMBF funded project: "Safe dynamic interconnection within the surgery room and clinic" (OR.NET).
Candidates must have a strong background in formal methods (e.g., runtime verification, model checking, formal semantics, automata theory, logic). Fluency in English is required; proficiency in German is helpful but not compulsory. A contribution to our teaching tasks is expected. Enrollment will be initially for one year with a possibility for extension after a positive one-year evaluation. Starting date of the positions: as soon as possible.
Deadline for application (extended): October 7, 2012. For more information, see http://www.isp.uni-luebeck.de/news/open-phd-and-postdoc-positions or contact Prof. Dr. Martin Leucker at leucker at isp.uni-luebeck.de.
Two PhD student positions in natural language processing, Hamburg (Germany)
Two PhD positions are available in the Department of Informatics at Hamburg University for a period of 3 years. Expected starting date is October 1st, 2012, or later.
The positions are part of a DFG funded Joint International Research Training Group together with Tsinghua University in Bejing, China. Research aims at devising computational solutions for speech and language processing which are required to facilitate a natural, language-mediated interaction within multi-modal environments. A degree in Informatics/Computer Science or another relevant discipline (e.g. Computational Linguistics, Psycholinguistics, or Cognitive Science) with a strong background in computational issues is required. Female applicants are particularly welcome.
Applicants should submit a CV, the names of two references, and a statement of research interests by e-mail to menzel at informatik.uni-hamburg.de. Further information can be obtained at http://www.verwaltung.uni-hamburg.de/stellenangebote/.
Postdoctoral position in digital humanities, Houston TX (U.S.A.), deadline: 15 Oct 2012
The University of Houston invites applications for a post-doctoral fellowship in Digital Humanities beginning January 16, 2013. The position is available for one year and renewable for a second year at the discretion of the University.
The deadline is October 15, 2012. For more information, see http://www.uh.edu/class/grants/digital-humanities-pd/.
Two PhD student positions in formal frameworks for computer security, Luxembourg (Luxembourg)
The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). We are seeking Ph.D. candidates to participate in the activities of the SaToSS and ApSIA research groups.
The main objective of the Ph.D. project will be to develop a formal framework supporting modeling and analysis of socio-technical components of information systems. We aim to develop strategies and tools to detect and prevent attacks involving human, physical and digital elements. One of the goals is to extend current methodology for security protocol analysis, by taking human behavior and properties of physical objects into account. This goal includes a necessity of defining appropriate adversary models and identifying the security properties relevant in a socio-technical context.
Deadline for applications: October 15, 2012.
For more information, see http://satoss.uni.lu/vacancies/SNT-PhD-STAST-0512.php
PhD student position in grammatical formalisms, Umea (Sweden)
Umeå University, Sweden, offers a full-time PhD position. The candidate will work in the research group for Natural and Formal Languages at the Computing Science Department in Umeå.
The PhD candidate will contribute to the research in a project geared towards analyzing the complexity of the membership and parsing problmes for various grammatical formalisms. The main focus is on formalisms for so-called Mildly Context- Sensitive Languages, with applications in Natural Lanugage Processing. The main goal is to figure out how various features of the problems influence the overall complexity and to use this knowledge to improve parsing tools for natural languages.
Applications must be received before October 12th, 2012. For more details, see the official advertisement at http://www8.umu.se/umu/aktuellt/arkiv/lediga_tjanster/313-776-12.html#eng or contact Henrik Björklund at henrikb at cs.umu.se.
PhD position in Algorithmic Game Theory, Amsterdam (The Netherlands)
The Algorithms, Combinatorics and Optimization Group (PNA1) at the Centrum Wiskunde & Informatica (CWI) in Amsterdam invites applications for a PhD position (four years) in Algorithmic Game Theory, on the subject of "subject Social Interactions in Games".
Many real-world applications are complex and distributed in nature in that they involve a multitude of independent decision makers who attempt to achieve their own goals. It is well-known that strategic choices often result in outcomes that are inefficient for the society as a whole. Algorithmic game theory has shed new light on various aspects of such situations of strategic interaction. However, most studies assume that the decision makers correspond to "isolated" entities who make their choices based on purely selfish incitements. This assumption is overly simplistic: Decision makers are often motivated by other-regarding preferences such as altruism, spite or fairness and typically exhibit complex social relationships. The goal of the project is to gain an accurate understanding of such social interactions in games.
Please send your application before September 30, 2012. For more information, see http://www.cwi.nl/jobs/phd-student-subject-social-interactions-in-games or contact Prof. dr. Guido Schaefer, email g.schaefer at cwi.nl.
Visiting PhD student position (4m) in proof complexity, Prague (Czech Republic)
The EU Marie Curie initial training network MALOA invites applications for a 4-month visiting student position at the Charles University in Prague, in the area of interactions between mathematical logic and computational complexity theory (which, in particular, includes proof complexity).
The fully-funded position is intended for pre-PhD or early PhD students, is not geographically restricted to EU, and has a starting date of February 1st, 2013 (or soon after).
Deadline for applications: 15.October 2012 (firm). All details and application instructions are at: http://www1.maths.leeds.ac.uk/maloa/Positions.html
Stanford University: assistant professor, tenure track
The philosophy department at Stanford University is currently advertizing two junior positions, one of them including logic.
Four courses per year; graduate and undergraduate advising; usual non-teaching duties.
Qualifications: Ph.D. prior to appointment is required.
Deadline: Thursday 1 November 2012
For more information, see http://www.interfolio.com/apply/14053
PhD student positions in finite and algorithmic model theory, Darmstadt (Germany)
Applications are invited for PhD student positions in Finite & Algorithmic Model Theory, in the Logic Group at TU Darmstadt, Germany. Available positions offer the opportunity to work towards a PhD in mathematics under the scientific direction of Prof Martin Otto, primarily but not exclusively in the framework of a new DFG funded research project on the algorithmic and finite model theory of hypergraphs and of modal and guarded logics over graphs and hypergraphs. Further topics of interest include Dr Achim Blumensath's DFG project on the expressive power of monadic second-order logic.
The logic group in the mathematics department at TU Darmstadt offers a considerable spectrum of expertise in various branches of mathematical logic with an emphasis on connections with other areas of mathematics and theoretical computer science.
See http://www3.mathematik.tu-darmstadt.de/index.php?id=2220&L=1 for further information. Informal preliminary inquiries by email are welcome and should be directed to otto at mathematik.tu-darmstadt.de
Temporary assistant professorship in "computational approach to mathematical sciences", Kobe (Japan)
A temporary position at the level of assistant professor is available in the Core Research Team "Computational Approach to Mathematical Sciences" (Organization of Advanced Science) at Kobe University.
The deadline for applications is October 1, 2012, and the start of appointment, April 1, 2013.
For details see http://kurt.scitec.kobe-u.ac.jp/~fuchino/tmp/kan-2012-recruitment-e.pdf, or contact either Sakae Fuchino (fuchino at diamond.kobe-u.ac.jp) or Joerg Brendle (brendle at kurt.scitec.kobe-u.ac.jp).
PhD student position in e-voting systems, Trier (Germany)
The Chair for Information Security and Cryptography at University of Trier, Germany, offers a full-time PhD position.
The PhD candidate will contribute to the research in the project "Implementation-Level Analysis of E-Voting Systems", which is funded by the German Research Foundation (DFG) and is part of the DFG priority programme "Reliably Secure Software Systems - RS3". The goal of this project is to develop general methods and techniques for the security analysis of Java systems that use cryptography, with e-voting systems being one of the motivating examples. The project combines techniques from program analysis/verification with techniques from cryptography and cryptographic protocol analysis. Subject to the final decision of the DFG, the position will be available from October 1st, 2012. Contracts are initially offered for two years, with the perspective of an extension by another two years.
The deadline for applications is September 30th, 2012. For more information, see http://infsec.uni-trier.de/job-openings/a-full-time-phd-position.html or contact Ralf Kuesters at kuesters at trier.de
PhD student position on mathematical foundations of computational interactive music, Bordeaux (France)
LaBRI (Laboratoire Bordelais de Recherche en Informatique) at the University of Bordeaux offers a full PhD Position for three years in Mathematical Foundations of Computational Interactive Music The candidate will join both Formal Methods and Multimedia teams at LaBRI Bordeaux. He will contribute to the development of the research project INEDIT, granted by the french research agency ANR, that also integrate the research and creation centers in computational music IRCAM (Paris) and GRAME (Lyon).
This project aims in particular at bridging the gap between formal methods theory and techniques, and application in computer assisted interactive music. A good background in theoretical computer science (Automata theory, Logic, Algebraic language theory, for words, trees, data-words, etc...) is expected. Basic knowledge of music theory can be useful but is not mandatory.
Please send your application ultimately by *** September 21 ***. More details on the research context and PhD subject proposal can be found at http://www.labri.fr/perso/janin/
Postdoctoral position in algorithms, Warsaw (Poland)
A postdoctoral position in the area of algorithms in the Department of Mathematics, Informatics and Mechanics at University of Warsaw under the guidance of Prof. Piotr Sankowski is currently open. The position is supported by the PAAl Project (Practical Approximation Algorithms), which aims to develop and study practical approximation algorithms. Our study is based on theoretical models that can describe requirements for algorithms to make them practically efficient, and aims to develop a useful programming library of approximation algorithms.
All candidates with strong qualifications in algorithmic research are encouraged to apply and will be carefully considered. Applicants should have a PhD degree or be close to completing it. Knowledge of Polish language is not required, but a good knowledge of English is essential.
Junior Fellowships in Mathematics, Bonn (Germany)
The Hausdorff Center for Mathematics at the University of Bonn brings together researchers in Theoretical and Applied Mathematics, and Mathematical Economics. In this framework, the center is looking forward to filling several W2-Professorships ("Bonn Junior Fellows") within the next few years. These positions are temporary for a period of five years. To some of these positions, a tenure-track option is associated, and, in exceptional cases, a position may be tenured immediately.
The professorships intend to encourage independent research by outstanding young researchers, in analogy to the research groups of the "Max-Planck-Society" or the "Emmy-Noether-Program" of the German Research Foundation. The professorships are endowed with travel and guest funds, and with a postdoc position during the initial period. Bonn Junior Fellows also participate in the additional resources of the Hausdorff Center. Professors are encouraged to supervise doctoral students. For an initial period, teaching obligations amount to four hours per week during semesters.
The deadline for the first application round is 1 November 2012. For more information, see http://www.hcm.uni-bonn.de/opportunities/bonn-junior-fellows/.
PhD student position in theoretical computer science, Vienna (Austria)
There is a PhD Position in Theoretical Computer Science available within the FWF (Austrian Science Fund) project "Algorithms and Complexity of Constraint Languages" at Vienna University of Technology
You should have a master degree in computer science, mathematics, or equivalent, and you should be interested in the theoretical aspects of computer science. You are expected to write a PhD thesis in the area of our project; for a short description see http://www.fwf.ac.at/en/abstracts/abstract.asp?L=E&PROJ=I836 or look up keywords like "Schaefer's dichotomy theorem", "clones and co-clones" (algebra, not Dolly) and "computational complexity".
Salary for a 30h/week employment: EUR 26.600,- pre-tax per year
Duration: initially 1 year, up to a total of 3 years
Application deadline: August 31, 2012
Start of position: October 2012 or later
For more information, see http://www.vcla.at/2012/07/pre-doc-position-in-theoretical-computer-science/, or contact Gernot Salzer at salzer at logic.at.
Postdoctoral position in information science, Bergen (Norway)
At the University of Bergen, Norway, a postdoc position is open in several areas of information science, including logic in artificial intelligence and multi-agent systems.
The position is not connected to an existing research project. Instead, applicants submit their project proposals within the the area of logic and formal models of information and interaction in artificial intelligence and multi-agent systems (the research areas of the department's research groups). The position is for 4 years, with 25% teaching duties.
The application deadline is 20 August 2012. Contact Thomas Agotnes (thomas.agotnes at infomedia.uib.no) if you want to discuss project proposals. See http://www.jobbnorge.no/job.aspx?jobid=83925 (choose "English" in the upper right corner) for more details and information about the application process.
Lectureships (up to three) in Theoretical Computer Science, London (U.K.)
The School of Electronic Engineering and Computer Science (EECS) is looking to recruit up to three Lecturers within the research area of Theoretical Computer Science as part of the on-going strategic investment by Queen Mary, University of London.
The posts are full time and permanent and are available from October 2012. Starting salary will be in the range Â£37,819 - Â£47,088 per annum. The Theoretical Computer Science group has a reputation for work that combines leading research on fundamental mathematical and logical techniques for reasoning about computational systems with the ability to apply those techniques to practical problems, particularly in the software domain.
The closing date for applications is Tuesday 4th September 2012. Interviews are expected to be held on Monday 8th and Tuesday 9th October 2012. For further info, see http://webapps.qmul.ac.uk/hr/vacancies/jobs.php?id=3218. Informal enquiries should be addressed to Professor Mark Sandler at head at eecs.qmul.ac.uk.
Postdoc position in formalizing and applying formal reasoning to security problems, Luxembourg (Luxembourg)
The University of Luxembourg seeks to hire an outstanding post-doctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). The successful candidate will participate in the activities of the SaToSS research group led by Prof. Dr. Sjouke Mauw.
The post-doc will be working on formalizing and applying formal reasoning to real-world security problems and trust issues. The research topics will include: security protocols, security modeling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc. The position will be partially funded by an EU project focusing on socio-technical aspects of security.
Deadline for applications: August 31, 2012. For more information, see http://satoss.uni.lu/vacancies/postdoc2012.php or contact Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu) or Dr. Barbara Kordy (barbara.kordy at uni.lu).
Two postdoctoral positions in contextural and formal-logical approaches to scientific problem solving processes, Gent (Belgium)
The Centre for Logic and Philosophy of Ghent University is looking for 2 post-doctoral researchers for a research project entitled Contextual and formal-logical approach to scientific problem solving processes supervised by Prof. Dr. Erik Weber and Prof. Dr. Joke Meheus.
We offer 2-year post-doctoral positions (October/November 2012 till September/October 2014). The research areas are the following:
(1) Position 1: Methodological and epistemological analysis of scientific reasoning processes.
(2) Position 2: Logical analysis of scientific reasoning processes.
Researchers with a PhD in philosophy or a related discipline (e.g. science studies or philosophy of a specific scientific discipline) who are interested in these positions can apply by sending an e-mail to Prof. Dr. Erik Weber (Erik.Weber at ugent.be) before 12 August 2012. For more information, see http://logica.ugent.be/centrum/jobs.php.
Postdoctoral position in modeling and verification, Marseille (France)
A 1-year postdoc position is available in the Modelling and Verification team of the LIF (Laboratoire d'Informatique Fondamentale de Marseille), Aix-Marseille University (Marseille, France). The position is funded by the ANR project ECSPER.
Candidates should hold (or be close to) a PhD in Computer Science. The ideal candidate has a strong background in algorithmics for verification and/or controller synthesis, or in distributed computing. The candidate is expected to work in one of the following research topics, which are actually investigated within the ECSPER project:
- robustness and implementability of distributed and/or timed systems
- faults and perturbations in distributed computing
- robust controller synthesis for non-linear hybrid systems
The position is available immediately, or anytime before October 2012. For more information, see the full announcement at http://www.lif.univ-mrs.fr/~preynier/ECSPER/postdoc.php
Postdoctoral research assistant position in logic for autonomous systems, Oxford (U.K.)
The Department of Computer Science of University of Oxford seeks a postdoctoral researcher to work on a 3-year EPSRC project entitled `New Foundational Structures for Engineering Multi-UAV Protocols'.
This interdisciplinary project aims to verify autonomous Unmanned Aerial Vehicles (UAV's) that not only navigate, but also communicate with each other. The project aims to span the full verification life cycle: from high-level logical specifications, to oracle-based test-set reasoning through a bounded model checker, to low-level code on our four Pelican UAVs. The position requires a researcher with a proven track record of high-quality research in logic and its applications. Preference will be given to researchers with experience in modelling and reasoning about epistemic properties of protocols of communicative Multi-Agent Systems.
Closing date for applications: 12 NOON ON MONDAY 30 JULY 2012 For more information, see http://www.cs.ox.ac.uk/news/505-full.html. Informal enquiries are welcome, and should be directed to Dr Mehrnoosh Sadrzadeh at Mehrnoosh.Sadrzadeh at cs.ox.ac.uk.
PhD student and postdoc position in Computational Linguistics at Potsdam
The Department of Linguistics at the Faculty of Human Sciences of the University of Potsdam is seeking to fill the following positions:
- Post-doctoral Researcher
- PhD Student
within the research group on theoretical computational linguistics led by Prof. Dr. Alexander Koller. Applications must be submitted by July 20.
For more information, see http://www.ling.uni-potsdam.de/~koller/.
Postdoctoral position in philosophy of set theory, Vienna (Austria)
The KGRC (Kurt Goedel Research Center, University of Vienna) will host the Hyperuniverse Project, an investigation into set-theoretic truth that combines philosophical principles with methods of modern set theory. This 33-month project, supported by the John Templeton Foundation and with projected starting date January 1, 2013, includes funding for two full-time postdoctoral positions, one in mathematical set theory and the other in the philosophy of set theory. The postdoctoral researchers will collaborate with senior visitors, the project leader, Sy-David Friedman, and others at the KGRC for the duration of the project.
The annual gross salary will be about 47,000 euros (including health insurance) plus an annual travel allowance of 2,000 euros. Applications should include a CV (including a list of senior scholars who can be contacted for a letter of recommendation), a publication list and a description of prior research. They should be sent by the closing date to <>. For further information, please contact the project leader at this e-mail address.
Applications are currently sought for the philosophy of set theory position, with a submission deadline of September 1, 2012. For more information, see here or contact the project leader, Sy-David Friedman, at sdf at logic.univie.ac.at.
PhD positions at KRDB Centre, Free Univ. Bolzano, Italy
Professor in Computational LinguisticsLocation: University of Gothenburg
The department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg invites applications for a position as Professor in Computational Linguistics.
Closing date: 2012-07-31. For more information, see http://www.gu.se/english/about_the_university/.
University of Padua: 12-months postdoctoral position in Mathematical Logic
Applications are invited for a 12-months postdoctoral position in Mathematical Logic at the Department of Mathematics of the University of Padua, Italy. The call is aimed at researchers holding a PhD degree which has been awarded from no more than 8 years.
The title of the project is "Predicative and intuitionistic development of Grothendieck topos theory" and it will be supervised by Prof. Giovanni Sambin.
All applications in the area of Mathematical Logic will be considered. However, preference will be given to those candidates with some experience in constructive or categorical methods in mathematics.
Application deadline: 29 June 2012. For more information, see http://www.math.unipd.it/news-files/2012/bando_09_2012.pdf (Italian, PDF) or contact sambin at math.unipd.it/maietti at math.unipd.it/ciraulo at math.unipd.it (if you do not read Italian).
PhD student position in logical methods, Kassel (Germany)
One full-time PhD studentship is available at the School of Electrical Engineering and Computer Science of the University of Kassel, Germany. The position is funded by the ERC project "Model Checking Unleashed" and is initially available for two years with the possibility of extension for another year but no later than 30/11/2015. There are no teaching obligations. Starting date is negotiable.
The project investigates applications of logical methods to various computational problems from diverse areas like database theory, graph theory, bio-informatics, computational linguistics, etc. but also in the classical domain of model checking, namely formal methods. The project is run at the Formal Methods and Software Verification group (FMV).
Deadline for applications is June, 30th, 2012. Reference nr: 18734. The official announcement for this position is available here (in German): http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/.
For informal enquiries please contact Martin Lange at martin.lange at uni-kassel.de. Further information about the FMV group is available at http://cms.uni-kassel.de/unicms/index.php?id=31745.
Postdoctoral position in "Logics for intelligent interaction", Groningen (The Netherlands)
The Faculty of Philosophy of the University of Groningen, The Netherlands, seeks one postdoc for the research project "Logics for Intelligent Interaction: Expressivity and Succinctness" led by Barteld Kooi and funded by the Netherlands Organization for Scientific Research (NWO).
Post-doc position (1 year) in 'Interrogative Model of Inquiry', Paris (France)
We seek a PhD with AOS in philosophical logic, formal epistemology or linguisitics and AOC in philosophy of science to develop the research program of the "Interrogative Model of Inquiry" project at the IHPST.
Previous research experience in fields such as logics of questions, epistemic logic, belief revision theory and/or learning theory will be directly relevant for the position. Applicants must have a doctorate in philosophy, logic, AI or linguistics. Knowledge of French is not required, but fluency in English is. Salary will range between € 2.000 and € 2.500 (net) per month.
Research Fellow Intelligent Language/ Multimodal Interfaces, Aberdeen
The successful candidate will have a good knowledge of natural language processing techniques or multimodal interfaces (at the PhD level). They will have some knowledge of NLG and a desire to learn more. The candidate will have a PhD or be about to complete a PhD in Computer Science/ Artificial Intelligence or a relevant discipline. Enthusiasm for digital technology and innovation relevant to society and the economy is essential as is the ability to work in a cross-disciplinary team including colleagues in computer science and engineering. The ability to use GIS would be an advantage.
Application deadline: 27 June 2012, For more information, see http://www.abdn.ac.uk/jobs/ (ref.nr: 1228867).
Research Fellow in Computational Linguistics, Aberdeen
We are seeking a Computational Linguist to lead the theoretical and practical design and development of the dialogue system (other researchers will be investigating issues of efficient reasoning and issues of how to model the process of ontology authoring). The dialogue system is expected to use structured input (including an approach to specifying complex content based on “editing” natural text (see paper by Power in European Workshop on Natural Language Generation 2009) rather than free natural language text or speech, but nevertheless is required to be natural and to select and present information coherently.
Application deadline: 28 June 2012. For more information, see http://www.abdn.ac.uk/jobs/ (ref.nr: 1253433).
Research Fellow/Assistant - Scrutable Autonomous Systems, Aberdeen
The successful candidate will have a PhD (or be in the process of submitting a PhD thesis) in Computational Linguistics or Psycholinguistics or Mathematical Logic, will have significant experience as a programmer, and take a strong interest in Natural Language Generation. S/he is expected to demonstrate excellent oral and written communication skills, and be able to work well independently and in a team. The SAsSY project is funded by EPSRC for a 36 month period, therefore, this post will be offered for 36 months.
Application deadline: 29 June 2012. For more information, see http://www.abdn.ac.uk/jobs/ (ref.nr: 1256209).
Research Fellow/Assistant in Automated Reasoning, Aberdeen
You will have a PhD in Computer Science and a good knowledge and understanding of Artificial Intelligence technologies in argumentation, semantic web reasoning or trust. A proven track record in high-quality publications is essential. A flexible approach to your work is expected, as you will be required to travel to the USA for research purposes and take timezone differences into account for communicating with collaborative partners abroad.
Application deadline: 18 June 2012. For more information, see http://www.abdn.ac.uk/jobs.
Research Chair in Logic and the Philosophy of Science, Calgary, Canada
The Department of Philosophy at the University of Calgary invites applications and nominations for a Tier I Canada Research Chair in Logic and the Philosophy of Science. The Canada Research Chairs program has been established by the Government of Canada to enable Canadian universities to foster excellence in research and teaching.
We are seeking an established scholar and a leader in any area of logic or the philosophy of science. The successful candidate will have an outstanding record of research, teaching and graduate supervision, and an innovative research program. The appointment, at the rank of Associate Professor or Professor, is expected to start on July 1, 2013. Applications will be accepted until the position is filled. Review of the applications will begin on July 9, 2012.
PhD Position at KRR Group, VU University Amsterdam
The Knowledge Representation and Reasoning group at the VU University Amsterdam is looking for a PhD student for a fully funded 4-year full-time position on the project Pragmatic Semantics for the Web of Data.
On the Web in general, and the Web of Data in particular, every bit of information is context-dependent, biased towards a particular viewpoint, opinionated, dated, uncertain or vague. The WoD is a market-place of ideas, not a database, and has to be dealt with accordingly. We have to adapt the formal semantics of existing formalisms to the new requirements. The goal of this project is to develop such novel semantic paradigms for dealing with the complex character of the Web of Data by integrating market-place formalisms such as optimization of truth into the semantics of the standard representation languages.
Deadline: 15 June 2012. More information is available on: http://altsemantics.wordpress.com/2012/04/27/new-post/ or here.
Postdoctoral position in mathematical logic, Udine (Italy)
There is a call for a postdoc position (formally assegno di ricerca = research check) in Udine (Italy). The title is "Mathematical Logic: models, sets, computability, classification", but the university will consider applicants from all areas of mathematical logic. The position will be for 12 months starting in September or October 2012. The yearly amount, after all taxes, is 17577 Euros (about 1464 Euros per month). We'll try to help with a bit of research money for attending conferences, etc.
The deadline is May 18 at 1pm Italian time and unfortunately there is no online application. However the potential applicants living abroad can get in touch with Alberto Marcone at alberto.marcone at dimi.uniud.it as soon as possible and he'll explain how to meet the deadline by fax if necessary. All information is at http://www.uniud.it/ricerca/finanziamenti/assegni/bandi_attivi?lingua=eng (the logic position is number 4).
Three PhD student and one postdoc positions in computational logic, Luxembourg (Luxembourg) & Leuven (Belgium)
In the context of the Interdisciplinary Center for Security, Reliability and Trust (SnT), the Individual and Collective Reasoning (ICR) group at the University of Luxembourg headed by Leon van der Torre, and the The Knowledge Representation and Reasoning (KRR) group at the University of Leuven headed by Marc Denecker, are looking for 3 Doctoral Researchers and 1 PostDoctoral in the area of Computational logic and Knowledge Representation. The research is situated in the convergence of areas of first order logic (FO), constraint solving, datalog and answer set programming and aims to develop extensions of FO() logics and inference tools, specifically with application to the field of access and privacy policies.
These positions are part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement for Policies (SIEP)".
For more information, see http://dtai.cs.kuleuven.be/krr/vacancies
Postdoctoral position in realizability and proof theory, Lyon (France)
The ANR Project RECRE offers a 12-month post-doc position at ENS de Lyon for the academic year 2012-2013. The goal of the project RECRE is to get a better understanding of the proofs-as-programs correspondence for classical logic using the tools of realizability, proof theory, linear logic, rewriting and concurrency.
The post-doc researcher will work within the Plume team of the LIP, the computer science laboratory of ENS Lyon, which is a leading research and education institution in sciences. Strong interaction with the other sites of the RECRE project is also expected.
Potential candidates are strongly recommended to express their interest as soon as possible. The application itself should be sent before April 30th. For more information, see http://recre.ens-lyon.fr/postdoc/ or contact alexandre.miquel at ens-lyon.fr.
European PhD Program in Computational Logic
The European PhD Program in Computational Logic (EPCL) is a distributed three-years PhD program jointly offered by four leading European universites in the field: The Free University of Bozen-Bolzano (Italy), the Technische Universität Dresden (Germany, coordinator), the Technische Universität Wien (Austria) and the Universidade Nova de Lisboa (Portugal).
The program involves three years of PhD study in at least two of the European partner universities and leads to a joint doctoral degree. The language of the program is English. Financial support is available in the form of positions and scholarships.
Necessary requirements are a Master's degree in Computer Science, Mathematics or an equivalent degree; proof of adequate knowledge of English; and substantial knowledge in the areas Foundations of Logics, Foundations of Artificial Intelligence, and Declarative Programming.
The program starts annually in the winter term. Applications for 2012 have to be electronically submitted before 15 May 2012. For more information and an online application form, see http://www.epcl-study.eu/.
PhD student position in algorithmic game theory, Liverpool (U.K.)
One algorithmic game theory PhD Studentship is available at University of Liverpool, in the project "Automated Design of Revenue-Maximizing Ad Auctions."
The project is funded by Microsoft Research Cambridge and the candidate will be co-supervised by Microsoft researchers.
Interested candidates please send your CV to Mingyu.Guo at liverpool.ac.uk. For more information see the website for the Economics and Computation Group at University of Liverpool at http://www.csc.liv.ac.uk/research/ecco/, or the webpage of the project leader, Mingyo Guo, at http://www.csc.liv.ac.uk/~mingyu/.
Ten doctoral scholarships in "Quantitative Logics and Automata", Dresden (Germany)
the DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" offers 10 Doctoral Scholarships for applicants interested in performing high-quality research on the connection between quantitative logics and automata as well as their applications in verification, knowledge representation, natural language processing, and semi-structured data (XML).
The start date is October 1, 2012, and the application deadline is June 15, 2012 (though later applications will be considered as long as not all positions are filled).
More information on QuantLA and how to apply can be found at http://lat.inf.tu-dresden.de/quantla/
3 PhD positions in Compositional Distributional Semantics, University of Trento (Italy)
Three PhD positions/studentships to study compositionality in distributional semantics are available at the Center for Mind/Brain Sciences at the University of Trento. The studentships are funded by a 5-year European Research Council Starting Grant awarded to the COMPOSES (COMPositional Operations in SEmantic SPACE) project, that aims at modeling composition in distributional semantics.
Given the interdisciplinary nature of the project, we seek brilliant students with any of the following backgrounds: machine learning, psycholinguistics, formal and/or computational semantics.
For more information, see http://clic.cimec.unitn.it/composes/ and http://clic.cimec.unitn.it/composes/materials/first-doctoral-call.txt. Interested students at the ILLC may contact Raquel Fernandez at raquel.fernandez at uva.nl
2 Postdoctoral Fellowships and 1 Assistant Professorship in Mathematical Philosophy, Munich
The Munich Center for Mathematical Philosophy (MCMP) is advertising two postdoctoral fellowships. The postdoctoral stipends are for three years, and they should be taken up by October 1st 2012 (although there is some flexibility on that side). The successful candidate will partake in all of the Center's academic activities and enjoy its administrative facilities and financial support.
The MCMP is also seeking applications for an Assistant Professorship in Mathematical Philosophy. The position, which is to start from October 1st 2012, is for three years with the possibility of extension. Technically, it is a so-called 'Akademische Ratsstelle auf Zeit' in the Bavarian university system, which means basically that one has the rights and perks of a civil servant.
The MCMP, which is devoted to applications of logical and mathematical methods in philosophy, was established in 2010 at the Ludwig-Maximilians-University Munich (LMU) based on generous support by the Alexander von Humboldt Foundation. Directed by Professor Hannes Leitgeb, the Center hosts a vibrant research community of university faculty, postdoctoral fellows, doctoral fellows, and visiting fellows. The Center organizes at least two weekly colloquia in Mathematical Philosophy and a weekly internal a work-in-progress seminar, as well as various other activities such as workshops, conferences, reading groups, and the like.
Deadline: 23 April 2012. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/open_pos/
2 Postdoc Posititions in Logic, Game Theory, Complexity, Oxford (U.K.)
Two Research Assistant positions are available, based in the Department of Computer Science at the University of Oxford, to work on investigating the formal/automated analysis of computer programs in the presence of self-interested behaviour. The posts are attached to the ERC Advanced Grant "Reasoning about Computational Economies" (RACE), recently obtained by Professor Michael Wooldridge, who will join the University of Oxford on 1 June 2012.
Deadline: 27 April 2012 (noon). For more information, see http://www.cs.ox.ac.uk/news/477-full.html.
PhD student and postdoctoral positions in Theoretical Computer Science, FAU Erlangen-Nürnberg (Germany)
In the newly founded Theoretical Computer Science group (Chair 8) at the University of Erlangen-Nürnberg, several research positions are available that can be filled at the doctoral or post-doctoral level. These include project positions of up to two years; project topics include coalgebraic logic, probabilistic description logic and formal methods in mechanical engineering.
Additionally, at least one position is available that is not tied to a specific research project but does carry a teaching obligation of 5h per week; in this case, research work can be positioned in any of the core fields of the group including modal logic, knowledge representation, coalgebra, formal methods, program semantics and applications of semantic technologies
In the newly founded Theoretical Computer Science group (Chair 8) at the University of Erlangen-Nürnberg, several research positions are available that can be filled at the doctoral or post-doctoral level. These include project positions of up to two years, in the TV-L E13 or E14 pay scale depending on qualification of the applicant; project topics include coalgebraic logic, probabilistic description logic and formal methods in mechanical engineering.
Additionally, at least one position is available that is not tied to a specific research project but does carry a teaching obligation of 5h per week; in this case, research work can be positioned in any of the core fields of the group including modal logic, knowledge representation, coalgebra, formal methods, program semantics and applications of semantic technologies
Such positions can be filled at TV-L E13 for an initial appointment of three years, with a possibility of extension for another three years subject to provisions by German laws on temporal employment in academia; postdoctoral applicants from EU countries can be appointed at the A13 payscale ("akademischer Rat") (which pays better and has better benefits) for two periods of three years, with a possible extension of two periods of two years at the A14 payscale ("akademischer Oberrat") for candidates who successfully complete a habilitation during the first six years.
Please send applications consisting of a cover letter, resume, and contact details of three references by email to lutz.schroeder at cs.fau.de. There is no particular application deadline; positions will be filled when suitable candidates are found.
There is no particular application deadline; positions will be filled when suitable candidates are found. For more information, see here or http://www8.informatik.uni-erlangen.de/, or contact lutz.schroeder at informatik.uni-erlangen.de.
W1 Junior Professorships in Algorithms and Complexity, Bochum (Germany)
The Ruhr-University Bochum, Department of Mathematics, Germany, is seeking to appoint one Assistant Professor (W1, Juniorprofessor) in Computer Science (Algorithms and Complexity).
The position is non-tenured with an initial appointment for 3 years, and renewable for another 3 years after a positive mid-term review. In the case of outstanding performance the position might be converted to tenure-track after the mid-term review.
The application deadline is April 20, 2012. For the full announcement including instructions how to apply, see http://www.ruhr-uni-bochum.de/ffm/fakultaet/index.html.en or http://www.ruhr-uni-bochum.de/ffm/pdf/Computer_Science.pdf.
W3 professorship in theoretical computer science, Hagen (Germany)
A full professor position (W3) in Theoretical Computer Science is available at the University of Hagen, Germany (which is the only public distance teaching university in the German-speaking world).
Deadline: May 14, 2012.
Starting date: August 1, 2013
To apply: see the official advert (in German) at http://www.fernuni-hagen.de/arbeiten/stellenangebote/professuren/.
3 year postdoctoral research position, Innsbruck (Austria)
The Computational Logic research group is looking for a postdoctoral researcher in connection with the FWF (Austrian Science Fund) project "Constrained Rewriting and SMT: Emerging Trends in Rewriting". The project runs for 3 years starting from 1 May 2012. The project is an international project with partners in Vienna and several universities in Japan. The postdoctoral researcher is expected to collaborate with researchers at Vienna University of Technology, Nagoya University and JAIST.
10 PhD Positions in "Quantitative Logics and Automata", Dresden and Leipzig
The DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" (Universities of Dresden and Leipzig, Germany) offers 10 Doctoral Scholarships for applicants interested in performing high-quality research on the connection between quantitative logics and automata as well as their applications in verification, knowledge representation, natural language processing, and semi-structured data (XML).
The start date is October 1, 2012, and the application deadline is June 15, 2012 (though later applications will be considered as long as not all positions are filled).
For more information, see http://lat.inf.tu-dresden.de/quantla/.
Two PhD and postdoc positions on "Kleene meets Church", Copenhagen (Denmark)
Two PhD and postdoc positions are available at DIKU, the Department of Computer Science at the University of Copenhagen, in the Project "Kleene Meets Church (KMC)".
The overall objective of KMC is to investigate the type-theoretical foundations for the prevalent use of regular expressions (and related grammars) for extracting information from an input, not just classifying it into accepting/nonaccepting; to explore and demonstrate guaranteed safety and expressiveness of programming with regular expressions as types; and to drastically improve semantic predictability and computational scalability vis a vis commonly used regular expression processing tools such as Perl.
Application deadline: March 31st, 2012. For more information please see http://diku.dk/english/about/vacancies.
TU Dresden and Universität Leipzig: 10 Doctoral Scholarships
the DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" offers 10 Doctoral Scholarships for applicants interested in performing high-quality research on the connection between quantitative logics and automata as well as their applications in verification, knowledge representation, natural language processing, and semi-structured data (XML).
The start date is October 1, 2012, and the application deadline is June 15, 2012 (though later applications will be considered as long as not all positions are filled).
For more information, see http://lat.inf.tu-dresden.de/quantla/index.html
PhD student position in modal logics for reasoning about multi-agent systems, Lens (France)
The CRIL CNRS lab (Centre de Recherche en Informatique de Lens) offers a PhD fellowship on Modal Logics for Reasoning about Multi-Agent Systems. The successful candidate will start working around September 2012 under the supervision of Tiago de Lima. We are looking for candidates with a strong background in logic and artificial intelligence fields. The candidate should be able to show strong evidence that she/he will obtain a master's degree at most around September 2012.
PhD position on language acquisition, dialogue, semantics at Paris 7
Applicants are invited for a full time PhD post to work within the 10-year project Labaratory of Excellence (LabEx) "Empirical Foundations of Linguistics". The candidate will work in Strand 4: Language representation and processing in a lifespan perspective.
The successful applicant, who will be based at the Laboratoire de Linguistique Formelle (LLF), Université Paris-Diderot (Paris 7), should have qualifications in linguistics, computer science, or psycholinguistics at the Master's level or equivalent. The main emphasis of the assessment will be on the applicant's potential for research, as evident from Master's thesis or other equivalent scholarly works.
Application deadline: 10/04/2012. For more information, see http://www.labex-efl.org/?q=en/hiring/ola8 or here, or contact Jonathan Ginzburg at yonatan.ginzburg at univ-paris-diderot.fr. Interested ILLC students can contact Raquel Fernandez at raquel.fernandez at uva.nl.
Invited Researcher position in verification, Paris (France)
An "Invited researcher" position is available in the "Verification" team in LIAFA (CNRS and Univ. Paris Diderot). The topic is the development of new original model-checking and static analysis techniques for the analysis of software and/or concurrent programs. The duration can vary between 4 and 10 months. The position is available immediately.
Candidates must have a PhD in computer science, or be a PhD student close to finishing. The candidate must send a CV and recommendation letters to Tayssir TOUILI
PhD studentship in theory of constraint satisfaction, Barcelona, Spain
A PhD fellowship to work on theory of constraint satisfaction is available at the DTIC department, Universitat Pompeu Fabra (Barcelona). The candidate will work under the supervision of Dr. Victor Dalmau, on th e mathematical and algorithmic aspects of Constraint Satisfaction. Applicants should have a master degree or equivalent and are expected to have an strong academic background in logic, discrete mathematics, algorithms, and computational complexity.
Interested applicants should contact Dr. Victor Dalmau, Department of Information and Communication Technologies, Universitat Pompeu Fabra. email: victor.dalmau at upf.edu, url:http://www.tecn.upf.es/~vdalmau/.
Two postdoctoral / PhD student positions in logic-based AI, Ulm (Germany)
2 Postdoctoral Researcher / Doctoral Research Assistant (Computer Science, 13 TV-L, 35,000 to 50,000 Euro p.a. pre-tax) positions are available immediately at the Faculty of Engineering and Computer Science of the University of Ulm within the Institute of Artificial Intelligence. The first position is a full-time position, which is initially limited to 2 years, and the second position is a part-time position and initially limited to 6 month.
The successful candidate will be associated with the Institute of Artificial Intelligence with his or her work focusing on logic-based knowledge representation, description or modal logics, ontological reasoning, query languages for the Semantic Web such as SPARQL or related areas.
The application deadline is March 30, 2012, but applications will continue to be considered until the position is filled. For more information, see http://www.uni-ulm.de/en/in/ki/open-positions.html. Please address any further questions regarding the position to Juniorprof. Dr. Birte Glimm (birte.glimm at uni-ulm.de).
(Associate) Professorship in Formal Methods, Gothenburg (Sweden)
The Department of Computer Science and Engineering at Chalmers University of Technology (Gothenburg, Sweden) has an opening for a Professor/Associate professor in Formal Methods.
The scientific area of the new position is Formal Methods, interpreted broadly so as to include at least
- formal specification, development and verification of software,
- automatic theorem-proving and model-checking,
- lightweight formal methods, including testing,
- program semantics and analysis.
For more information see that full advertisement at http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx (Select "Professor/Associate professor in formal methods", published 17/02/2012)
Application deadline: March 22nd For more information, see http://web1.reachmee.com/i003/chalmers/eng/.
Postdoctoral fellowship in philosophical logic, Oslo (Norway)
The two-year position is funded by the European Research Council and is affiliated with the research project Plurals, Predicates, and Paradox: Towards a Type-Free Account, which is headed by Professor Øystein Linnebo and will be based at the Department of Philosophy, Classics, History of Art and Ideas, University of Oslo as of August or September 2012.
The research project is concerned with philosophical logic and the philosophy of mathematics, particularly with higher-order logic, the logical paradoxes, modality and the foundation of set theory.
Application deadline: March 13, 2012. See https://uio.easycruit.com/vacancy/680621/62040 for more information.
PhD student position in AI & Forensic Science, Utrecht (The Netherlands)
This PhD position is part of the project "Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios". The project is a cooperation of the University of Groningen (Department of Artificial Intelligence) and Utrecht University (Department of Information and Computing Sciences) supported by partners from forensic legal practice. The PhD student will be based at Utrecht University.
It is well-known that lawyers and other non-experts in statistics often make serious mistakes when confronted with statistical evidence, while there is ample evidence that lawyers tend to think in terms of arguments and scenarios. Therefore the project aims to develop methods for supporting argumentation- and narrative-based communication about statistical evidence. Both the design and the understanding of models of evidence will be investigated. This study will be carried out in two subprojects, addressing, respectively, argumentation and narrative techniques.
Applications must be received before March 17th, 2012. For more information, see http://www.academictransfer.com/employer/UU/vacancy/13124/lang/en/ Or contact Prof. Dr. Henry Prakken at H.Prakken at uu.nl
Post-doc position in semantics, University of Trento
The CIMeC-CLIC laboratory of the University of Trento announces the availability of 1 (renewable) 2-year Post-Doc positions. The scholarship is funded by a 5-year European Research Council Starting Grant awarded to the COMPOSES (COMPositional Operations in SEmantic SPACE) project, that aims at modeling composition in distributional semantics.
The project is expected to have strong impact on both theoretical and computational semantics, as well as their cognitive underpinnings. We seek a brilliant researcher with a profile in formal semantics (areas of special interest: Montague Grammar and its derivatives, categorial grammar) and an interest in computational semantics. The candidate should possess at least basic programming skills and a reasonable knowledge of statistics.
For more information, see http://clic.cimec.unitn.it/composes and http://clic.cimec.unitn.it/composes/materials/2nd-call-linguist.txt. Interested students at the ILLC may contact Raquel Fernandez at raquel.fernandez at uva.nl.
Utrecht University: PhD position Artificial Intelligence and Forensic Science
This PhD position is part of the project "Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios" that is funded by the Netherlands Institute for Scientific Research in the Forensic Science program (www.nwo.nl/forensicscience). The project is a cooperation of the University of Groningen (Department of Artificial Intelligence) andUtrecht University (Department of Information and Computing Sciences) supported by partners from forensic legal practice.
Deadline for applications: 17 March 2012. For more information, see http://www.ai.rug.nl/~verheij/nwofs/.
Postdoctoral position in verification, Paris (France)
A Postdoc position is available in the "Verification" team in LIAFA, Paris. The topic is the development of new original model-checking and static analysis techniques for malware detection.
The position is available from March 2012. Candidates must have a PhD in computer science. The candidate must send a CV and recommendation letters to Tayssir TOUILI.
University of Oslo: Post-Doctoral Research Fellowship in philosophical logic
The position is funded by the European Research Council and is affiliated with the research project Plurals, Predicates, and Paradox: Towards a Type-Free Account, which is headed by Professor Øystein Linnebo and will be based at the Department of Philosophy, Classics, History of Art and Ideas, University of Oslo as of August or September 2012.
Application deadline: Tuesday 13 March 2012. For more information, see https://uio.easycruit.com/vacancy/680621/62040?iso=no
Ghent University: tenure-track position at the department of mathematics
A tenure-track position (5 years, resulting in Associate Professor) has been declared open at the Department of Mathematics of Ghent University. All candidates with a research interest in analysis (very broadly construed) are invited to apply. (Non standard analysis is for example explicitly mentioned as possible subject.). Knowledge of the Dutch language is NOT a prerequisite.
The deadline is Saturday 24 March 2012. For more information, see http://www.ugent.be/en/news/vacancies/autonomous/.
3 PhD or postdocs Philosophy of Language at Ruhr University Bochum
The Chair of Philosophy of Language and Cognition at the Ruhr University Bochum invites applications for 3 PhD or Postdoc Stipendiary Fellowships in Bochum/Germany.
The positions are in the fields of:
A. Neurophilosophy/Philosophy of Mind & Language
B. Philosophy of Language/Philosophical Semantics
C. Philosophy of Cognition/Epistemology.
Each of the three positions will be filled either with a PhD candidate or a postdoc for up to three years.
Applications should be sent electronically to jobs-mrg1phil at rub.de by March 20, 2012. For more information, see the webpage http://www.ruhr-uni-bochum.de/phil-lang/jobs.html or contact Professor Markus Werning (markus.werning at rub.de) directly.
PhD student position in model checking, Kassel (Germany)
One full-time PhD studentship is available at the School of Electrical Engineering and Computer Science of the University of Kassel, Germany. The positions are funded by the ERC project "Model Checking Unleashed" and are initially available for two years with the possibility of extension for another year. There are no teaching obligations. Starting date is negotiable but the position must be taken up no later than December, 1st, 2012 in order to enjoy the full three years of funding.
The project is run at the Formal Methods and Software Verification group (FMV) and investigates applications of logical methods to various computational problems from diverse areas like database theory, graph theory, bio-informatics, computational linguistics, etc. but also in the classical domain of model checking, namely formal methods.
Deadline for applications is March, 8th, 2012. Reference number: 17867. The official announcement for this position is available here (in German): http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/ For informal enquiries please contact Martin Lange via Martin.Lange at @uni-kassel.de.
Three associate professorships in theoretical computer science, Stockholm (Sweden)
The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for 3 associate professor positions in computer science, including but not limited to theoretical computer science. The TCS group at KTH would love to see strong theory applicants for these positions. The associate professorships are permanent positions including both research and teaching at the undergraduate and master levels.
KTH is the leading technical university in Sweden, and the TCS group at KTH offers a strong research environment covering a wide range of research topics such as complexity theory and approximation algorithms, computer and network security, cryptography, formal methods and natural language processing.
The deadline for applications is February 29, 2012. For the full announcement including instructions how to apply, see http://www.kth.se/en/om/work-at-kth/vacancies/. Informal enquiries are welcome and may be directed (from TCS candidates) to Johan Hastad, johanh at csc.kth.se .
Permanent research staff position at IBM Watson Center, Hawthorne NY (U.S.A.)
We invite applications for a permanent research staff position in the Algorithms group at IBM TJ Watson Research Center. We do basic research in optimization, approximation and online algorithms and other areas of theoretical computer science and apply our theoretical ideas to industrial problems. Applicants must have a Ph.D. (or obtain the degree by the time of employment) in Computer Science or in a closely related field.
Deadline: February 19, 2012 For more information, see https://jobs3.netmedia1.com/cp/job_summary.jsp?job_id=RES-0362481.
Postdoctoral position in Logic and Complexity Theory, Cambridge (U.K.)
Applications are invited for the position of postdoctoral research associate in the area of Logic and Complexity Theory. The position is for one year initially, to start on 1 April 2012 or as soon as possible thereafter, with a possible extension of tenure to 1 April 2014, dependent on funding being available. The successful candidate will work on an EPSRC-funded project in the area of Descriptive Complexity with Algebraic Operators under the supervision of Prof. Anuj Dawar.
Quote Reference: NR12991. Closing Date: 29 February 2012. For more information, see http://www.jobs.cam.ac.uk/job/-12991/ Informal expressions of interest and enquiries should be made to Prof. Anuj Dawar at anuj.dawar at cl.cam.ac.uk.
Postdoctoral position in KR & Agents, Melbourne (Australia)
We will be soon advertising a postdoctoral position between 2-3 years, starting early to mid 2012, working within the Intelligent Agents Group at RMIT University in Melbourne, and the Artificial Intelligence Laboratory at University of New South Wales in Sydney. The project will also involve collaboration with staff from "La Sapienza" University in Rome, Italy. The specific position is as a postdoc on the ARC grant "Optimisation of embedded virtual complex systems by re-using a library of available components". This project involves developing principled representation and reasoning mechanisms for tackling the so-called behaviour composition problem in ways amenable for practical implementation.
We are looking for a person with an excellent record of working on practical knowledge representation and reasoning problems, producing high quality publications with good impact. We are looking for expertise in areas of artificial intelligence such as automated planning, optimisation, knowledge representation and reasoning, intelligent agents, verification, and synthesis. The person should be able to work well in a team, but should also be able to take a lead role in driving forward the research.
More information can be found in the following link: http://www.cs.rmit.edu.au/agents/www/positions/2012-DP110101668/
Please email expressions of interest to Sebastian Sardina <sebastian.sardina at rmit.edu.au>. Please put POSTDOC in the subject header.
Lectureship in pure mathematics, Bristol (U.K.)
There is a new position available within the Pure Maths group within the School of Mathematics at the University of Bristol. The position is open to Logicians and Set Theorists to complement the work of the group, and such are encouraged to apply.
Full details are available at http://www.jobs.ac.uk/job/ADW381/. Informal enquiries can be addressed to Philip Welch p.welch at bris.ac.uk Please note the closing date is Feb 20th and referee letters should be arranged to arrive by then.
Pre- or postdoctoral position in Artificial Intelligence, Osnabrueck (Germany)
The Artificial Intelligence Group of the Institute of Cognitive Science (IKW) at the University of Osnabrueck (Germany) seeks applicants for a doctoral / postdoctoral position (salary level E 13 TV-L, 50%) The position is limited until September 30th, 2014 and provides the possibility of further scientific qualification (PhD / Habilitation). The main research areas of the AI group are non-classical forms of reasoning, ontologies and text technology, neural-symbolic integration, and cognitive architectures.
Postdoctoral position in formal representation of narratives, Hamburg (Germany)
The University of Hamburg advertises a position as post-doc research associate (wissenschaftliche/r Mitarbeiter/in in einem post-doc-Arbeitsverhältnis) -- salary group 13 TV-L -- with a starting date of 1 April 2012.
The research associate's duties include academic service for the project "What Makes Stories Similar: A structural logic-based approach to narratives" funded by the John Templeton Foundation (principal investigator: Prof. Dr. B. Löwe). The successful candidate will study, develop and compare formal representations of narratives. Development includes both mathematical formalization and practical implementation (in the form of software). Comparison involves mathematical studies as well as empirical studies. Close collaboration with a related research group at the Universiteit van Amsterdam is expected.
Applications must be received before February,24, 2012. For more information, see here or http://www.verwaltung.uni-hamburg.de/stellenangebote/wissmit/Mathe_24-02-12.pdf, or contact Professor Benedikt Löwe at loewe at math.uni-hamburg.de.
Alfried Krupp Junior Fellowships 2012/13, Greifswald (Germany)
The Alfried Krupp Wissenschaftskolleg will award 3 to 5 Alfried Krupp Senior Fellowships and 6 to 10 Alfried Krupp Junior Fellowships for the academic year 2013/14.
Academics who have proven themselves by outstanding research and teaching may apply for an Alfried Krupp Senior Fellowship. The Alfried Krupp Junior Fellowships are awarded to particularly qualified young academics with doctorates. The Alfried Krupp Wissenschaftskolleg enables the fellows to concentrate on a major scientific or scholarly project, free of extensive teaching duties. Fellows are appointed either for a semester (October 1 to March 31 or April 1 to September 30) or for a whole academic year (October 1 to September 30). Accommodation and working facilities are provided rent-free. The fellowships are endowed in accordance with the high expectations placed in the applicants' academic performance.
Proposals and applications smay be submitted until 30th April 2012. For more information, see http://www.wiko-greifswald.de/en/advertisements/ or contact the academic manager of the Institute, Dr. Christian Suhm, at
3 associate professorships in computer science at KTH, Sweden
The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for 3 associate professor positions in computer science, including but not limited to theoretical computer science. The TCS group at KTH would love to see strong theory applicants for these positions.
The associate professorships are permanent positions including both research and teaching at the undergraduate and master levels. Details regarding teaching load and support package for getting started with research in Sweden will be negotiated on an individual basis with the successful candidates.
The deadline for applications is February 29, 2012. For the full announcement including instructions how to apply, see http://www.kth.se/en/om/work-at-kth/vacancies/. Informal enquiries are welcome and may be directed (from TCS candidates) to Johan Hastad, johanh at csc.kth.se.
3 PhD positions in Computational Linguistics, Discourse and Communication, and Semantics and Cognition at Groningen
The Graduate School for the Humanities at Groningen University offers 3 positions to MA/MSc graduates within the fields of the Center of Language and Cognition (CLCG). Candidates need to submit a research proposal (max. 1500 words). The subject should fit into one of the following themes: Computational Linguistic, Discourse and Communication, or Semantics and Cognition. Application before 1 March 2012, 24:00 CET. Starting date of the PhD projects: 1 September 2012.
For more information, see http://www.rug.nl/gradschoolHumanities/admissions/phdPositions/
Fellowships in the academic year 2012/13: Center for Mind, Brain and Cognitive Evolution, Bochum (Germany)
The Center for Mind, Brain and Cognitive Evolution is a platform at the Ruhr-University Bochum that aims to foster interdisciplinary research projects and support special master-programs at the intersection of philosophy, psychology, psychiatry and neuroscience. The Center is pleased to announce an international call for fellowships for the academic year Sept. 2012 until July 2013 aimed at outstanding researchers:
1) Senior fellowship in philosophy and psychiatry (for one month)
2) Senior fellowship in animal mind research (for one month)
3) Senior- or junior-fellowship in philosophy and developmental aspects of social and cultural cognition (for two to three months)
4) Senior or junior-fellowship in neurosciences with focus on memory function (for three to six months)
5) Senior or junior fellowship in neurophilosophy/philosophy of mind (one to six months)
6) Senior or junior fellowship in philosophy of language or in linguistics/neurolinguistics (one to twelve months)
7) Junior fellowship for an outstanding female reseacher (for two months)
8) Senior fellowship in computational models of memory (up to four months)
9) Junior fellowship for philosophy of language, mind or cognition concerning concepts and/or content (for two months):
Deadline for applications: June 1st, 2012 For more information, see http://www.ruhr-uni-bochum.de/philosophy/mibra/index_en.html or http://www.ruhr-uni-bochum.de/phil-lang/jobs.html.
Alexander Tamas Research Fellowship on Machine Superintelligence, Oxford (U.K.)
Applications are invited for a fixed-term, three-year Research Fellowship within the Oxford Martin Programme on the Impacts of Future Technology, an interdisciplinary programme within the Oxford Martin School at Oxford University.
The Programme, directed by Professor Nick Bostrom, analyzes possibilities related to long-range technological change and potential social impacts of future transformative technologies. Research foci include the future of computing and machine intelligence, existential risks, predictive and evaluative uncertainty, and related philosophical issues.
The postholder will research topics related to the long-term future of machine intelligence, focusing on impacts, risks, current technical developments and foundational issues. The post does not involve developing specific AI applications. Possible backgrounds include (but are not restricted to) computer science, mathematics, or philosophy.
The deadline for applications is Monday 27th February. Protocol reference number: HUM/11042F/E. For further particulars and application details, please see: http://www.fhi.ox.ac.uk/get_involved/future_tech_vacancies/futuretech or contact futuretech at philosophy.ox.ac.uk.
Scientific Programmer or Postdoc position at UvA for computational linguist
De UvA heeft binnen de ILPS groep een vacature voor een wetenschappelijk programmeur/postdoc voor 1 jaar (.75fte) binnen het Namescape project, een samenwerking tussen ING-Huygens, INL-Leiden en ILPS. Het project gaat over het gebruik van named entities in Nederlandstalige literatuur.
Gezocht wordt naar iemand met een achtergrond in computationele linguistiek, kunstmatige intelligentie of informatica met affiniteit voor de Nederlandse taal en ervaring met Linux, XML (XQuery en/of XSLT) en werken met tekstuele data.
Aanvang positie: Maart-April 2012. Deadline sollicitatie: 15 February. Voor meer informatie, zie http://politicalmashup.nl/2012/01/vacature-wetenschappelijk-programmeur/
Professorship in nonclassical logics in computer science, Vienna (Austria)
Announcement of an open position at the Faculty of Informatics, Vienna University of Technology, Austria Professorship of Nonclassical Logics in Computer Science for a five year term. The applicant is required to have an outstanding academic record in the field of Logic. In particular it is expected that he/she has made substantial scientific contributions to proof theory in nonclassical logics (cut-elimination, development of analytic calculi), including applications to computer science and other scientific areas. Experience in university teaching as well as experience in raising funds and in managing scientific research projects is highly appreciated.
Application Deadline: February 18th, 2012. A more detailed announcement and information on how to apply can be found at: http://www.informatik.tuwien.ac.at/NCL.pdf.
University of Gent: six postdoctoral positions
Six postdoctoral positions in Ghent University’s Faculty of Sciences will be available with effect from 1 October 2012, for a duration of 3 years.
Application deadline: Wednesday 29 February 2012. For more information, see http://www.ugent.be/we/en/vacancy.htm.
Postdoc in Language Technology at Gothenburg, Dialogue Technology lab
The Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg announces a two year postdoc located in the Dialogue Technology Lab at the Centre for Language Technology (CLT). Research in the Dialogue Technology Lab includes dialogue system building based on the information state update approach, theoretical work on dialogue semantics in particular semantic coordination and learning through interaction, empirical work on spoken dialogue corpora and mobile communication, and forensic phonetics. The application deadline is the 23rd of February 2012.
For more information, see http://gu.se/english/about_the_university/Job_opportunities/.
PhD student positions in Programming Methodology, Zürich, Switzerland
The Chair of Programming Methodology is recruiting PhD students to do research in the following areas:
- Static program analysis, especially abstract interpretation for mobile TouchDevelop
- Verification of concurrent programs, especially Scala programs
- Programming languages
- Programming environments
Applications and questions should be sent to Prof. Peter Müller at jobs-pm at inf.ethz.ch. We will consider applications until the positions are filled. For more information, see http://www.pm.inf.ethz.ch/open_positions/.
Postdoctoral position in software agents for model based diagnosis, London (U.K.)
Applications are invited for a fully funded Post-doctoral research position to work on the COMMODITY12 project, an EU funded project aiming to design, build, and validate an intelligent system for the analysis of multi-parametric medical data about diabetes and cardio-vascular disease. The project will integrate state-of-the-art sensor networks, software interoperation, and artificial intelligence techniques in order to realize the concept of translational medicine by means of a Personal Health System. Work at Royal Holloway involves building an artificial intelligence layer to deploy logic-based agents applying diagnostic reasoning to the patient's condition related to diabetes and cardiovascular co-morbidities. The contract will be for a period of up to 34 months. The post is based in Egham in Surrey.
Reference nr: X0112/6695. Closing date: midnight 9th February 2012. Further details and an application form are available to download at http://www.rhul.ac.uk/jobs/home.aspx or by contacting the Recruitment Team at recruitment at rhul.ac.uk.
Postdoc position at KTH Royal Institute of Technology
The Theory group at KTH Royal Institute of Technology invites applications for a postdoctoral position in Theoretical Computer Science for the research project "Understanding the Hardness of Theorem Proving" in the area of proof complexity with connections to SAT solving. The project is led by Jakob Nordstrom and is financed by a Starting Independent Researcher Grant from the European Research Council. The postdoctoral researcher will be part of a team consisting also of the PI and two PhD students. Travel funding is included, and the group also expects to continue receiving short-term and long-term visitors on a regular basis.
This is a full-time employed position for one year with a possible one-year extension. The successful candidate is expected to start in August-September 2012, although this is to some extent negotiable.
To receive full consideration, applications should be received by January 31, 2012. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2011-0603-Eng.php. Informal enquiries are welcome and may be sent to Jakob Nordstrom at jakobn at csc.kth.se.
Postdoctoral fellowship in history and philosophy of science, Pittsburgh PA (U.S.A.)
The Department of History and Philosophy of Science is pleased to offer a one or two term Mellon Post Doctoral Fellowship in the period August 30, 2012-April 30, 2013. The Fellowship is to support a scholar with a clearly defined monograph project in some area of the history of science or history and philosophy of science. The successful candidate would, in addition to pursuing his or her research goals, be expected to teach one course each term centered on that research, and would grant the University of Pittsburgh Press the first option to publish the monograph. Senior scholars should apply for a single semester; junior scholars may apply for two semesters. The fellowship is in the amount of $40,000, and comes with a full package of benefits.
This Fellowship is funded as part of a grant from the Mellon Foundation to support the development of publishing in the History and Philosophy of Science through University of Pittsburgh Press and interactions between the World History Center and the Department of History and Philosophy of Science. Special consideration will be given to applications that are consonant with the goals of those projects.
Application Deadline: February 15, 2012. For more information, see http://www.hps.pitt.edu/news/#job_ad
Johan van Benthem speaks at opening ceremony School of Humanities, Tsinghua University
Johan van Benthem speaks at the ceremony to honor the establishment of the School of Humanities, on October 20th.
The ceremony was attended by Tsinghua University President Chen Jining, Tsinghua University Council Chairman Hu Heping, Tsinghua Vice President Xie Weihe, and Tsinghua Vice President Jiang Shengyao.
For more information, see http://news.tsinghua.edu.cn/publish/newsen/6054/2012/20121025094237637836255/
Interview Johan van Benthem at `Elucidations' podcast
Elucidations is a monthly philosophy podcast recorded at the University of Chicago. Each month, a prominent philosopher sits down with our graduate student co-hosts to talk about his or her latest work and areas of philosophical expertise. The podcast covers a wide range of topics from the theoretical to the practical (including causation, metaphor, agency, religious freedom, and moral psychology) and explores a wide range of problems from the perennial to the cutting-edge (including skepticism and experimental philosophy).
In this episode, Elucidations talks to Johan van Benthem, University Professor of pure and applied logic at the University of Amsterdam and Henry Waldgrave Stuart Professor of philosophy at Stanford University.
For more information or to listen to the podcast, go to http://lucian.uchicago.edu/blogs/elucidations/2012/10/03/
Book by Rens Bod on must-read list
The book 'De Vergeten Wetenschappen' ('The Forgotten Sciences') of Professor Rens Bod is on the list of '25 books on science that you must have read''. The list was compiled by SPUI25, the NRC science editors, and readers.
For more information (dutch only), see http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/item/.
Benedikt Löwe elected president of the DVMLG (German logic society)
At the Colloquium Logicum 2012 in Paderborn, Benedikt Löwe was elected as the president (Vorsitzender) of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) for two years (2012-2014). He had served as the association's vice-president from 2008 to 2012.
For more information, see http://www.dvmlg.de/
Prof. dr. Kareljan Schoutens to be new dean of the Faculty of Science
The Executive Board of the University of Amsterdam (UvA) has appointed Prof. Kareljan Schoutens as dean of the Faculty of Science (FNWI). The appointment will take effect on 1 October 2012. Schoutens is currently professor of Theoretical Physics and director of the UvA's Institute of Physics. Schoutens succeeds Prof. Bart Noordam, who has been dean of the FNWI since 1 May 2009. The dean is in charge of the faculty and is responsible for teaching and research.
For more information, see http://www.uva.nl/en/news-events/news/content/news/2012/09/
David Fiske (1982-2012)
It is with great sadness that we have to inform you that our former MSc Logic student David Fiske passed away on July 11, 2012 in Chicago of unknown causes.
David was born on January 30, 1982 in Bryn Mawr, Pennsylvania, and graduated with a Bachelor's degree in Linguistics from the University of Massachusetts at Amherst in 2007. He joined the MSc Logic at the ILLC in Amsterdam in 2008 as one of the E.W. Beth Scholars funded by the Beth Foundation. In June 2010 he graduated with a thesis entitled "Toward an Evolutionary Linguistic Theory" supervised by Martin Stokhof. During his time in Amsterdam, he was very active as a member of the MoL Room Committee and the opleidingscommissie of the programme, representing the interests of the MSc Logic students. Many of us have interacted with David during his time in Amsterdam and will remember him fondly.
If anyone wishes to share memories with David's parents, The ILLC Office will give their mailing address to ILLC members who wish to write a letter of condolence.
Ulle Endriss (MSc Logic director)
Tanja Kassenaar (MSc Logic programme manager)
Center for Digital Humanities is up and running
The Faculty of Humanities has recently founded a Center for Digital Humanities (place: Vendelstraat 8). The goal of the Center is to initiate and coordinate research projects with a private partner in which expertise from the humanities and industry is brought together. Each project involves a research question from the humanities of which the solution is approached by means of a proof of concept or a concrete product using techniques from digital humanities and computational linguistics. In addition, the aim is to encourage aspiring humanities researchers to find a place in the Center. The Center is led by Prof. dr. Rens Bod and coordinated by Dr. Patricia Alkhoven.
In May 2012, five projects have been selected by the UvA with private investments from Webmapper, Spinque, Elsevier, ElephantCandy and VicarVision. The Center has recently joined forces with the VU and the KNAW, and in September 2012, a total of thirteen projects will start, An additional round is intended to take place in autumn.
For more information, see http://www.hum.uva.nl/cdh-about
14 June - 6 October 2012, Exhibition 'Turings Erfenis'Location: CWI, Science Park 123, Amsterdam
To honour the Alan Turing Year 2012, Centrum Wiskunde & Informatica (CWI) organizes in collaboration with IvI, ILLC and KdVI the exhibition 'Turings Erfenis'.
The exhibition include an original Enigma from World War II and a Turing machine made out of LEGO, built by two CWI researchers. This machine shows the workings of a computer based on Turing's ideas in 1936. A film about a robot helping young children cope with diabetes shows how artificial intelligence has developed since Turing. The historical objects in the exhibitions include an X1, one of the first Dutch computers developed at the 'Mathematisch Centrum' (CWI's former name), the iconic Osborne laptop and the first Macintosh computer.
Tours of the exhibiton are organized on Thursday and Friday afternoons. Reservations can be made through tentoonstelling at cwi.nl. On Saturday 23 June, Turing's centenary, and Saturday 6 October, the annual Science Park Doors Open Day, free access to the exhibition is provided from 12.00 - 4.00 pm.
For more information, see http://www.science.uva.nl/news/agenda.cfm/1254FDE9-D177-4D5C-8C99619C6182DA32
Course in High Performance Computing
The objective of these courses is to enhance the accessibility of the HPC (High Performance Computing) facilities. Most of these courses will be provided as workshops. The courses have been designed to instruct researchers who are still unfamiliar with the use of the available HPC facilities or a number of its new components.
For more information, see http://hpc.uva.nl/.
Online logic undergraduate course at Stanford
The Computer Science Department at Stanford University is creating online versions of many of their courses, to be distributed via the WWW. An introductory course on Logic, designed by Michael Genesereth, beginning on April 23 and running through June, has been made available online at http://www.coursera.org/intrologic. The course is free to anyone anywhere and will remain so in perpetuity.
His version differs from other introductions in that it starts with Herbrand semantics. Herbrand semantics makes the presentation of semantics much more accessible than in courses that start with Tarskian semantics. At the same time, the course remains rigorous. We present both a Natural Deduction proof system and a Resolution-based proof system based on this semantics. The online format of the course makes the material available to all. Also, it aims at improving education through the use of the medium. There are videos, notes, interactive exercises sprinkled throughout the videos and the notes; and there is a social network for students to use in communicating with each other and the instructors.
For more information, see http://www.coursera.org/intrologic
Webcolleges Keerpunten in de Geesteswetenschappen online
The lecture and discussion day "Keerpunten in de Geesteswetenschappen" (13 april 2012) can now be viewed online. The meeting consisted of lectures by Prof. Rens Bod, Prof. Floris Cohen, Dr. Michael Leezenberg, and a panel discussion with Prof. Frits Oosterom, Prof. Abram de Swaan, Prof. Irene Zwiep, led by Professor Jan Willem van Henten.
For more information, see http://www.hum.uva.nl/ouc/object.cfm/6236BA59-E337-4C4B-B12DE021FB851B3F.
Faculty of Science logo extended with Löb's Theorem
Recently the logo of the Faculty of Science of UvA has been adapted by incorporating items which are significant for the Institute for Logic, Language and Computation (ILLC) and for the Korteweg-de Vries Institute (KdVI). For ILLC the formula □(□A→A)→□A expressing Löb's Theorem was added. Related to KdVI the KdV equation ut + uxxx + 6uux= 0 was added.
See the new logo in bigger size on http://tinyurl.com/bsozo7q and see the old logo on http://tinyurl.com/box77xp.
For Löb's Theorem see http://en.wikipedia.org/wiki/L%C3%B6b%27s_theorem. For the KdV equation see references in
Professor Frits Staal passed away February 19th
The eminent Indologist and Sanskrit scholar Frits Staal passed away on February 19 at his retirement home in Thailand. Among his several distinguished academic positions, Frits was a long-time faculty member of UC Berkeley's Group in Logic and the Methodology of Science, created by Alfred Tarski.
'The Hindu' newspaper writes:
"Staal argued that ancient Indian grammarians, especially Panini, had completely mastered methods of linguistic theory not discovered again until the 1950s. The Indians had thought about it long before modern mathematical logic was applied to linguistics by Noam Chomsky.
The early methods allowed the construction of discrete, potentially infinite generative systems, experts maintain. The formal basis for Panini's methods involves the use of auxiliary markers, rediscovered in the 1930s by logician Emil Post, whose rewrite systems are currently a standard approach for description of computer languages, experts say.
Staal wrote, 'Panini is the Indian Euclid.' The Indologist describes how Panini had expanded the spoken Sanskrit to a formal metalanguage."
The complete piece is at http://www.thehindu.com/news/states/kerala/article2913333.ece
IBM Research "Ponder This" challenge
This month's official IBM challenge is based on a model suggested by Harry Buhrman, Serge Fehr, Christian Schaffner, and Florian Speelman, who described the garden-hose model in their paper "The Garden-Hose Game: A New Model of Computation, and Application to Position-Based Quantum Cryptography" ( http://arxiv.org/abs/1109.2563).
For more information, see http://domino.research.ibm.com/Comm/wwwr_ponder.nsf/Challenges/April2012.html
Launch of new ILLC 'Historical Dissertation' (HDS) Series with dissertation of Wim Blok
The ILLC 'Historical Dissertations' Series is a new initiative meant to make some dissertations available that are of historical, and partly also contemporary relevance to the ILLC, and that are not readily accessible elsewhere. The authors include ILLC members, but also colleagues from elsewhere.
The first disseration in the ILLC-HDS series is Wim Blok's dissertation 'Varieties of Interior Algebras' (1976).
Naturally, there is no claim that these texts are 'ILLC dissertations'. We merely wish to help preserve and highlight these documents for a wider community.
For more information, see the ILLC-HDS page at http://www.illc.uva.nl/Research/Dissertations/reportlist.php?Series=HDS.
Henkjan Honing appointed professor of Cognitive and Computational Musicology
On 1 March 2012, Henkjan Honing (1959) will officially be appointed professor of Cognitive and Computational Musicology at both the Faculty of Humanities and the Faculty of Science of the University of Amsterdam.
Honing researches the role of perception, attention, expectation and memory when listening to music. He hereby analyses the cognitive mechanisms which form the basis for musicality. In his research, Honing uses theoretical, empirical and computational methods.
For more information, see http://www.hum.uva.nl/english/home.cfm/DDEAF4A2-4468-408A-ACF3ACF93F615421
The Cost Of Knowledge: researchers taking a stand against Elsevier
Tim Gowers recently started a large-scale discussion of Elsevier by scientists, by blogging to explain that he will no longer be submitting papers to Elsevier journals, refereeing for Elsevier, or otherwise supporting the company in any way. The post now has more than 120 comments, with many mathematicians and scientists voicing similar concerns. Following up from the discussion on Gowers's post, Tyler Neylon has created a website called The Cost of Knowledge, where researchers can declare publicly their unwillingness to support Elsevier.