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
Headlines 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 email@example.com
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
5-16 August 2013, 25th European Summer School in Logic, Language and Information (ESSLLI-2013), Duesseldorf, GermanyLocation: Duesseldorf, GermanyDeadline: 15 June 2012
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.
For more information, see http://www.esslli2013.de/
Proposals for courses and workshops at ESSLLI'2013 are invited in all areas of Logic, Linguistics and Computing and Information Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Proposals must be submitted in PDF format via the EasyChair system, Submission Deadline: 15 June 2012.
3-5 June 2013, Fifth and Final Formal Epistemology Festival (FEF5), Toronto ON, CanadaLocation: Toronto ON, CanadaDeadline: 22 September 2012
Speakers include Lara Buchak (Berkeley), Anna-Sara Malmgren (Stanford), Jennifer Nagel (Toronto) and Carolina Sartorio (Arizona).
For more information, see http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 or contact corina.stroessner at uni-konstanz.de.
There are up to 6 slots available for contributed papers. Please submit full papers prepared for blind review to: formal.epistemology at uni-konstanz.de. Deadline for submissions: September 22, 2012.
6-10 May 2013, 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Saint Paul, Minnesota, U.S.A.Location: Saint Paul, Minnesota, U.S.A.Deadline: 8 October 2012
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 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.
For more information, see http://aamas2013.cs.umn.edu/
AAMAS 2013 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions are solicited in the main track, as well as in four special tracks (on Robotics, Virtual Agents and Innovative Applications, and the new special track 'Challenges and Visions' which includes perspectives papers). Please make sure you are aware of the policy regarding prior publication and simultaneous submission. Deadline for submission of abstracts: October 8, 2012.
3-5 Apr 2013, "The Analysis of Theoretical Terms", Munich, GermanyLocation: Munich, GermanyDeadline: 1 December 2012
This conference is dedicated to the philosophical analysis of theoretical terms. Topics include the logic and semantics of our scientific theories, the epistemology and metaphysics of theoretical terms, and the philosophical consequences of these analyses for the philosophy of science and mathematics.
For more information, see https://sites.google.com/site/theoreticalterms/
We invite submissions for a 30-minute presentation. Deadline for submissions is 1st December 2012.
3-7 April 2013, 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013), Rio de Janeiro, BrazilLocation: Rio de Janeiro, BrazilDeadline: 1 December 2012
Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.
The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.
For more information, see https://sites.google.com/site/imodallogic2013/
Contributions should be written in English and submitted in the form of full papers (with a maximum of 12 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. Paper submission deadline: December 1st, 2012.
29 Mar - 7 April 2013, 4th World Congress and School on Universal Logic, Rio de Janeiro, BrazilLocation: Rio de Janeiro, BrazilDeadline: 1 November 2012
The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013
15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc.
1 contest: Scope of logic theorems
15 workshops: Historical Perspectives, Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc.
25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc.
For more information, see http://www.uni-log.org/
Call for papers : Deadline November 1st, 2012.
21-22 March 2013, 15th Jaina Studies Workshop: Jaina Logic in Context, London, UKLocation: London, UKDeadline: 1 July 2012
The workshop will be opened by the 13th Annual Jaina Lecture at SOAS by Professor Piotr Balcerowicz, University of Warsaw.
Papers are invited on Jaina logic and multiperspectivism from comparative and interdisciplinary points of view.
16-17 March 2013, 1st Workshop on Strategic Reasoning (SR 2013), Rome, ItalyLocation: Rome, ItalyDeadline: 15 December 2012
Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries.
The SR international workshop is an ETAPS 2013 workshop and aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.
For more information, see http://www.strategicreasoning.net/
Two types of submission are invited: papers reporting on novel research, and expository papers reporting on published work. Abstract submission deadline: December 15, 2012.
27 February - 2 Mar 2013, 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Kiel, GermanyLocation: Kiel, GermanyDeadline: 21 September 2012
The 30th Symposium on Theoretical Aspects of Computer Science will be held in Kiel, Feb 27-Mar 2, 2013 (Wednesday through Saturday). As usual, the program will be composed of approximately 50-60 contributed and three invited talks, by Kousha Etessami, Kurth Mehlhorn, and Stéphan Thomassé. As this year's pre-conference tutorial on 'Iterative Methods in Combinatorial Optimization' by R. Ravi was a great success, STACS 2013 will also include a tutorial, by Dániel Marx on algorithmic graph structure theory.
For more information, see http://www.stacs2013.uni-kiel.de or cotnact info at stacs2013.uni-kiel.de (for general information) or pc-chairs at stacs2013.uni-kiel.de (for information regarding paper submission).
Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Submission Deadline: Sep 21, 2012
25-27 February 2013, Systematic Analytic Philosophy and Interdisciplinary Research, Graduate Workshop (SAPhIR), Bochum, GermanyLocation: Bochum, GermanyDeadline: 1 December 2012
The Institut für Philosophie II at the Ruhr-Universität Bochum is holding a graduate workshop on Systematic Analytic Philosophy and Interdisciplinary Research. Keynote speakers are Mathias Frisch (University of Maryland), Hans Radder (Vrije Universiteit Amsterdam) and Jason Stanley (New York University).
For more information, contact tomoo.ueda at rub.de
Graduate students, who are working at a University in Nordrhein-Westfalia, are invited to present a paper (25-30 minutes + discussion) at the Graduate Workshop. Please submit an extended abstract of about 1500 words to tomoo.ueda at rub.de by December 1st, 2012. Workshop languages are English and German.
15-18 February 2013, 5th International Conference on Agents and Artificial Intelligence (ICAART 2013), Barcelona, SpainLocation: Barcelona, SpainDeadline: 29 October 2012
The purpose of the 5th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.
For more information, see http://www.icaart.org
ICAART 2013 welcomes the submission of position papers (resenting an arguable opinion about an issue). Deadline for position papers is set for next October 29.
8-9 February 2013, 18th Coalition Theory Network Workshop, Warwick, U.K.Location: Warwick, U.K.Deadline: 21 November 2012
The 18th CTN workshop will be held at the University of Warwick, on February 8-9, 2013. The workshop will be aimed at providing an avenue for presenting and discussing new contributions on network, coalition and matching theory. The workshop will start at 9.00 am on February 8 and end by 5.00 pm on February 9, so that most participants from continental Europe can leave in the evening of February 9 if they wish. Provision will be made for parallel sessions if all accepted papers cannot be accommodated in single sessions.
Herve Moulin, Rice University, USA
Fuhito Kojima, Stanford University.
For more information, see http://www.feem-web.it/ctn/events/13_Warwick/ctn18i.html
Please submit papers or extended abstracts by November 21, 2012. We also invite economists not affiliated with the CTN network to submit their papers.
19-20 January 2013, 6th Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, U.K.Location: Cambridge, U.K.Deadline: 16 November 2012
Keynote speakers: Vann McGee and Crispin Wright.
For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or here, or contact the conference organisers, Lukas Skiba and Owen Griffiths, at cam.phil.grad.conf at googlemail.com.
We invite papers from graduate students, or those who have recently completed their PhD, on any topic in the Philosophy of Mathematics and Logic, broadly construed. Papers will have respondents, and will be followed by open discussion. The deadline for receipt of submissions is 17h00 on the 16th November 2012.
10-12 January 2013, Indian Conference on Logic and its Applications (ICLA 2013), Chennai, IndiaLocation: Chennai, IndiaDeadline: 13 August 2012
ALI, the Association for Logic in India, announces the next edition of its biennial (International) Indian Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 10 to 12, 2013. ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. The conference has also included studies in systems of logic in the Indian tradition, and historical research on logic.
This year's speakers will include Joseph Halpern, Martin Otto, Mark Reynolds and Gabriel Sandu.
Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Papers on topics of current interest in pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic, as well as articles on the relationship between logic and other branches of knowledge, or on history of logic, are welcome. Deadline for Submission (in electronic form): 13 August 2012
10-12 January 2013, Innovations in Theoretical Computer Science (ITCS 2013), Berkeley CA, U.S.A.Location: Berkeley CA, U.S.A.Deadline: 13 August 2012
The 4th Innovations in Theoretical Computer Science (ITCS) conference (previously known as ICS) seeks to promote research that carries a strong conceptual message (e.g., introducing a new concept or model, opening a new line of inquiry within traditional or cross-interdisciplinary areas, or introducing new techniques or new applications of known techniques).
ITCS welcomes all submissions, whether aligned with current theory of computation research directions or deviating from them. Submissions should be addressed to a broad spectrum of theoretical computer scientists, not solely to experts in the subarea. Abstract Submission deadline (extended): Monday August 13, 2012.
8-11 January 2013, 3rd International Conference on Logic, Argumentation and Critical Thinking, Santiago, ChileLocation: Santiago, ChileDeadline: 30 September 2012
The International Conference Logic, Argumentation and Critical Thinking III is a new academic effort of our Centre to continue to try not only to deepen and update the production of knowledge in the fields that this conference covers, but also to contribute to a positive valuation of different proposals that develop critical thinking and promote social debate with a standard of reasonableness.
This Conference, organized by the Centre for the Study of Argumentation and Reasoning (CEAR) of the Faculty of Psychology at Diego Portales University, would like to generate tools, approaches and solutions to apply in those fields in which the uses of reason is fundamental: communication, law, education, etc. We do not have an official theoretical position, but rather we value the diversity of angles and proposals.
For more information, see http://www.cear.udp.cl/conferencia/2012/index_en.html
The organizing committee invites proposal for papers in logic, informal logic, argumentation theory, rhetoric, critical thinking. Abstracts prepared for blind refereeing must be submitted electronically no later than 30 September 2012.
7-9 January 2013, 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIV), Chennai, IndiaLocation: Chennai, IndiaDeadline: 3 September 2012
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.
TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India. TARK 2013 is the first TARK conference to be held in India, or in January. The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/.
For more information, see the conference website at http://www.imsc.res.in/tark/
Submissions are now invited to TARK 2013. Deadline for submission of abstracts: September 3, 2012. Extended Abstracts can be submitted here: https://www.easychair.org/conferences/?conf=tark2013.
6-8 January 2013, Logical Foundations of Computer Science (LFCS 2013), San Diego CA, U.S.A.Location: San Diego CA, U.S.A.Deadline: 10 September 2012
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is September 10, 2012.
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.
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, 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, 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)
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.
CfP special issue of JLC on "Intuitionistic Modal Logics"Deadline: 31 January 2012
We are soliciting papers for a special volume of the Journal of Logic and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last workshop, but also to include work on constructive modal logics not presented at the workshop.
Papers (under 20 pages long) should be submitted by 31st January 2012. Reviews should be provided to authors before the end of May 2012 and the volume should be ready in 2012.
Please contact one of the editors (Valeria de Paiva valeria.depaiva at gmail.com or Natasha Alechina nza at cs.nott.ac.uk) if you're not sure that your paper is within the scope of this special volume.
CfP: "Choice and Inference", Honoring Horacio Arló-CostaDeadline: 1 February 2012
We have all been shocked and saddened by the untimely passing of Horacio Arló-Costa. To honor Horacio Arló-Costa's memory and influence on all of us in the community, Jeffrey Helzner, Vincent F. Hendricks, Paul Pedersen and Gregory Wheeler will be editing a book with essays on his philosophy, his intellectual biography, his official obituary, words of remembrance from his friends and colleagues, his unpublished manuscripts and notes, and other relevant communications from or about Horacio.
If you have words of remembrance, please feel welcome to post them at Choice and Inference under the entry In Memory of Horacio Arló-Costa, as we will, with your permission, use your words of remembrance for the volume. Please send all other material (correspondences, notes, etc.) to any one of the editors by email.
Deadline for submissions is February 1, 2012. For more information, see http://choiceandinference.com/2011/07/31/honoring-horacio-arlo-costa/
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/.
3-7 July 2012, The 7th International Computer Science Symposium in Russia, Nizhni Novgorod, RussiaLocation: Nizhni Novgorod, Russia
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.
2-6 July 2012, AISB/IACAP World Congress 2012 (in honour of Alan Turing), Birmingham, U.K.Location: Birmingham, U.K.
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/
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
18-22 June 2012, NASSLLI 2012, Call for Course and Workshop Proposals, Austin TX, U.S.A.Location: Austin TX, U.S.A.
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.
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-8 June 2012, 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, SpainLocation: Valencia, Spain
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
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.
30-31 March 2012, Conference on Information and Econometrics of Networks, Washington DC, U.S.A.Location: Washington DC, U.S.A.
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/
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.
11-15 March 2012, 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Merida, VenezuelaLocation: Merida, Venezuela
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/.
9-11 March 2012, 1st WFAP Graduate Conference "Nothing but the Truth", Vienna, AustriaLocation: Vienna, Austria
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
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-9 March 2012, 6th International Conference on Language and Automata Theory and Applications (LATA 2012), A Coruña, SpainLocation: A Coruña, SpainCosts: € 400-580
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.
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.
9-20 January 2012, Fourth Indian School on Logic and its Applications (ISLA 2012), Manipal, IndiaLocation: Manipal, India
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/.
3-7 January 2012, International Conference on Game Theory, Operations Research and their Applications (GTORA 2012) and Workshop on Game Theory, Chennai, IndiaLocation: Chennai, India
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.
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
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/
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.
Four Veni grants 2011 at ILLC
Four young ILLC researchers have been awarded a Veni grant 2011:
* Michael Franke, for his project Models of Language Evolution and the Topology of Semantic Space: The Case of Gradable Adjectives
* Aline Honingh, for her project Representing Music: a New Basis for Computational Musicology
* Floris Roelofsen, for his project Interpreting Questions - fine-grained compositional semantics
* Bryan Renne, for his project Evidence-Based Belief Revision
Funding, Grants and Competitions
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: 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
KNAW: Academy Colloquia grants
Academy Colloquia bring together a select international group of researchers to discuss a topical theme. The Academy can organise up to seven colloquia a year at the Trippenhuis Building in Amsterdam. Academy Colloquia last from two to three days.
Application deadline: prior to 1 March of the year preceding the year in which the colloquium is to take place.
For more information, see http://www.knaw.nl/Pages/DEF/27/245.bGFuZz1FTkc.html
New pilot scheme 'Synergy Grant'
In recent years, small research groups of principal investigators and their teams have emerged as an increasingly productive link in the research chain. These groups often tackle interdisciplinary research problems, pooling together their expertise, knowledge and resources. Building on its two core funding schemes supporting individual researchers, the Eurpopean Research Council is launching a new pilot initiative - the 'Synergy Grant' - to fund small groups of excellent researchers to push forward the frontiers of knowledge.
The ERC aims to support proposals that demonstrate the complementarity and added-value of joint research leading to breakthroughs that would not necessarily be possible to achieve without the proposed group configuration. Groups of between two to four researchers can apply for a maximum grant of € 15 Mio for a period of up to six years. The total funding of the first pilot 'Synergy Grant' call is € 150 Mio, representing approximately 10% of the 2012 ERC budget for calls. No more than 10 to 15 'Synergy Grants' will be awarded in 2012, and only exceptional proposals are likely to be funded.
The first call will be published on 25 October 2011 with a deadline for submission in January 2012. For more information, see http://erc.europa.eu/funding-schemes/synergy-grants.
VSBfonds: Grants for Master or Bachelor students [Dutch only]
Het 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 voor aanvragen: 1 maart 2012. Voor meer informatie, zie http://www.vsbfonds.nl/beurzen/
Open Positions at ILLC
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.
PhD position in logic and theoretical philosophy
A 4-year PhD position is available at the Institute for Logic, Language and Computation, University of Amsterdam. This position is connected to the LogiCIC project which is funded by the European Research Council, under the ERC Starting Grant awarded to Dr. Sonja Smets.
Vacancy number W11-216. Applications will be reviewed starting 1 February 2012 and are accepted until the position is filled. For more information, see http://www.science.uva.nl/werkenbijdefnwi/vacatures.cfm/ or here.
PhD fellowship at ILLC (Faculty of Humanities)
The Institute for Logic, Language and Computation (ILLC) currently has a PhD fellowship (0.8 fte) available at the Faculty of Humanities starting on 1st September 2012. 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.
Completed applications should be submitted by 23.59 hours (CET) on the 1st of February, 2012. For more information, see here or contact the chairman of the selection committee, Prof.dr. Rens Bod L.W.M.Bod at uva.nl.
Open Positions, General
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.
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.
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.
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.
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
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/
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/.
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.
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
Postdoctoral position (3y) in "Explanatory Reasoning" in Tilburg
The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science (TiLPS) invite applications for a three-year full-time postdoc position, commencing April 1, 2012 (or earlier). The successful candidate is expected to work on the DFG-funded project 'Explanatory Reasoning: Normative and Empirical Considerations'.
The deadline for applications is January 5, 2012. For more information, see the full announcement at http://erec.uvt.nl/vacancy?inc=UVT-EXT-2011-0511 or the TiLPS website at http://www.tinyurl.com/tilpsDFG, or email Professor Stephan Hartmann at S.Hartmann at uvt.nl.
Postdoctoral fellowship: Foundations and future of AI, Oxford (U.K.)
Applications are invited for James Martin Postdoctoral Research Fellowship within the Future of Humanity Institute at Oxford University. The post is fixed-term for the period 30 January 2012 (or as soon as possible thereafter) to 30 September 2012. The postholder will conduct independent and collaborative research related to artificial intelligences and other cognitive systems, machine intelligence, superintelligence, and other associated topics.
The Future of Humanity Institute (FHI) is a unique multidisciplinary research institute at the University of Oxford, and is directed by Professor Nick Bostrom. The Institute's mission is to bring excellent scholarship to bear on big-picture questions for humanity. The FHI is part of the Oxford Martin School, and is hosted by the Faculty of Philosophy.
The deadline for applications is noon (UK time) on Monday 23 January 2012. Further particulars are available from the FHI website at http://www.fhi.ox.ac.uk/news/2011/academic_vacancy_at_the_fhi or by emailing Nailya.Nikitenko at philosophy.ox.ac.uk. Protocol Reference Number: HUM/1014F/E.
Two postdoctoral fellowships (1y each) in history and philosophy of mathematics, Berlin (Germany)
The Max Planck Institute for the History of Science, Berlin (Independent Research Group on Modern Geometry and the Concept of Space; Director: Vincenzo De Risi) announces Two Post-doctoral Fellowships for one year in the academic year 2012-2013 (with the possibility to begin as soon as Summer 2012). Research projects should concern the history of geometry, the history of mathematical epistemology or the history of the concept of space from the Ancient to the Early Modern Age.
Applications must be received before February 15th, 2012. For more information, see http://www.mpiwg-berlin.mpg.de/en/news/jobs.html or the project webpage at http://www.mpiwg-berlin.mpg.de/en/research/projects/MRGdeRisi, or contact Dr. Vincenzo De Risi at vderisi at mpiwg-berlin.mpg.de.
PhD/Postdoc position, Logic-based Knowledge Representation and Reasoning, University of Ulm
The Institute for Artificial Intelligence has an opening for a PhD student or a postdoc in the area of logic-based knowledge representation and reasoning.
The position is a fulltime position and initially limited to two years. The successful candidate will be associated with the Institute of Artificial Intelligence with his or her work focusing on logic-based knowledge representation (in particular description logics), ontological reasoning, query languages for the Semantic Web or related areas.
Deadline: January 15, 2012. For more information, see http://www.uni-ulm.de/en/in/ki/open-positions.html or contact Juniorprof. Dr. Birte Glimm at birte.glimm at uni-ulm.de.
Stockholm University: 2 years postdoc position in Mathematical Logic
The Department of Mathematics at Stockholm University is looking for a postdoc interested to work in the areas of the logic group and related subjects.
The research in mathematical logic at the department of mathemtatics include such subjects as constructive mathematics, point-free topology and locale theory, semantics and proof theory of type theory and constructive set theory, category-theoretic logic, topos theory and constructive aspects of mathematical logic.
Application deadline: Monday 23 January 2012. For details, and how to apply, see the advertisement at the department web page at http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=101279.
Phd/Postdoc Position in Knowledge Representation and Applied Reasoning at Karslruhe Institue of Technology
The Chair for Pervasive Computing Systems and the TECO group at the Karlsruhe Institute of Technology (KIT), Germany, are looking for a research assistant (doctoral or post-doctoral level, TV-L 13) in the area of knowledge representation and applied reasoning.
The candidate will cooperate with international industry partners and academic research groups to perform novel research on knowledge representation, modeling and reasoning in the context of digital preservation. The goal of this research is to design and implement a reasoning system that is able to learn and reason about dependencies in service-oriented and distributed systems.
Please submit your applications by 2012-01-31. For more information, see http://www.teco.edu/jobs/#topic_2.
PhD Positions in Computer Science at University of Liverpool
The Department of Computer Science at the University of Liverpool has several funded PhD positions available. Note that the department has very strong groups in Logic and Computation, Multiagent Systems, and Economics and Computation.
The deadline for the first round of applications to be received is 15th Feb 2012. For more information, see http://www.csc.liv.ac.uk/~pwg/2012-studentships.htm.
Position for Computational Linguist at Hilversum office of Mystery Swedish Firm
Talent Search People is looking for Computational Linguists or Linguists (with a Native Level of Dutch) to join the team of a Swedish client who has offices in several European countries that develop virtual assistants in several different European Languages.
As a Knowledge Engineer, you will be reporting to a Line Manager. Your objective will be to design, build, maintain and develop knowledge-based systems, in domains such as artificial intelligence, databases, expert systems, and natural language processing systems according to the company methodology.
For more information, see http://www.talentsearchpeople.com/jobs/.
Full professorship in Communication and Cognition, Tilburg (The Netherlands)
The Tilburg center for Communication and Cognition (TiCC) is looking for an enthousiastic and competent colleague for the position of Full Professor. Excellent young candidates who do not yet qualify for a full professorship, are also invited to apply, and will initially be offered an associate professorship.
The candidate is expected to initiate and conduct fundamental and applied research in the Creative Computing (CC) research program. Within the program, the research currently focuses on computational modeling of cognitive processes, with application domains in language, vision, games and social signal processing. Furthermore, the candidate contributes (both in terms of teaching and organization) to the teaching program Communication and Information Sciences, in particular in the track Human Aspects of Information Technology (HAIT) and in the new track Data Journalism. The candidate has an important task in acquiring external projects and in managing tasks on the department and faculty level. Experience with applying computational techniques to humanities research in general is considered a bonus.
Full details can be found here: http://erec.uvt.nl/vacancy?inc=UVT-EXT-2011-0517. Applications including curriculum vitae and names of three referents must be submitted before February 1, 2012.
Postdoctoral position in mathematical logic, Utrecht (The Netherlands)
A two year postdoc position in Mathematical Logic is available at the Department of Philosophy of Utrecht University in The Netherlands. The position is part of the research project "The power of constructive proofs", which is a five year project on proof theory and constructive mathematics, funded by the Netherlands Organisation for Scientific Research. A background in proof theory or algebraic logic is highly recommended.
The deadline for applications is January 15, 2012. For more information on the project and application procedure, please visit http://www.uu.nl/NL/Informatie/sollicitanten/Pages/Vacatures.aspx
2 PhD student positions on Forensic Bayesian networks, Groningen & Utrecht (The Netherlands)
These two PhD positions are 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.
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.
Readership/Professorship in Philosophy at King's College, London
Applications are invited for a Readership or Professorship in the Department of Philosophy at King's College London, starting in September 2012. The successful candidate will have expertise in one or more of the following areas: Philosophy of Mind, Philosophy of Psychology, Philosophy of Language.
Closing date: 4th January 2012. For more information, see http://www.kcl.ac.uk/depsta/pertra/vacancy/external/
Postdoctoral Fellowship in Theory of Computing, Cambridge MA (U.S.A.)
The Theory of Computation (TOC) group at the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT is seeking candidates for a 2-year post-doctoral position in the general area of the theory of computation, starting the summer or fall of 2012. Applicants in /all areas/ of theory are encouraged to apply, including (but not exclusive to) algorithms, complexity theory, combinatorial optimization, cryptography, distributed computing, game theory and computation, geometry, parallel computing, and quantum computing. This fellowship is made possible by a generous gift from the Simons Foundation.
Please submit complete applications by January 6, 2012. For more information, see http://theory.csail.mit.edu/simons.html.
Master in Pure and Applied Logic at Barcelona
The biannual Master in Pure and Applied Logic for 2012-2014, jointly organized by the University of Barcelona (UB) and Polytechnical University of Catalunya (UPC), is open for (pre) registration. The Barcelona Logic Master caters in the most central aspects of advanced logic. Professors related to the Barcelona Master in Pure and Applied Logic come from various prominent Universities and Research Institutes in the area of Barcelona.
PhD Positions in Computer Science, University of Oxford
The Department of Computer Science, University of Oxford, invites applications for full and partial scholarships for DPhil (Doctor of Philosophy) study to commence in October 2012.
Areas of interest inlcude, amongst others, Foundations, Logic and Structures (http://www.cs.ox.ac.uk/research/fls/), Information Systems (http://www.cs.ox.ac.uk/research/is/) and Verification (http://www.cs.ox.ac.uk/research/verification/). There is also the opportunity for cross-disciplinary research in areas such as Linguistics, Biology, Medicine, Quantum Foundations and Quantum Computation.
Scholarship applicants are strongly encouraged to apply before 18 November 2011, and must apply by 20 January 2012 at the latest. For more information, see http://www.cs.ox.ac.uk/news/399-full.html.
PhD Positions in Theoretical Computer Science, Stockholm (Sweden)
The Theoretical Computer Science group at KTH Computer Science and Communication (KTH CSC) invites applications for PhD positions in Theoretical Computer Science with a focus on proof complexity and connections to SAT solving. The students will work in the research project "Understanding the Hardness of Theorem Proving", which aims to understand what makes formulas hard or easy in practice by combining theoretical study and practical experiments (as well as gain theoretical insights into other crucial but poorly understood issues in SAT solving). The project is led by Jakob Nordström.
The application deadline is January 20, 2012 but candidates are encouraged to apply already now. See http://www.csc.kth.se/~jakobn/openings/D-2011-0503-Eng.php for the full, formal announcement with more information. Informal enquiries about these positions are welcome and may be sent to Jakob Nordström at jakobn at csc.kth.se.
Tenure-track position in algorithms, Corvallis OR (U.S.A.)
The School of Electrical Engineering and Computer Science at Oregon State University invites applications for up to four tenure-track positions in Computer Science. Amongst the 4 areas being considered is algorithms, with a focus on optimization or probabilistic reasoning.
Please see the CRA website for full information: http://www.cra.org/ads/ads-view/ For full consideration, applications must be received before 16 February 2012.
PhD student / postdoctorial position and student research assistant position in philosophy / psychology / cognitive science, Munich (Germany)
Dr. Niki Pfeifer (Munich Center for Mathematical Philosophy, LMU Munich) offers under the usual equal opportunity conditions one doctoral researcher position OR one early postdoctorial researcher position (65%, TV-L 13, up to 3 years) and one student research assistant to work in the intersection of philosophy, psychology and cognitive science. The (post)doctoral researcher will focus on the empirical work (developing the research hypotheses, designing the experiments and running the data analysis). The student assistant will assist in constructing the experimental material, collect the data and prepare the data for analysis. Opportunities for the doctoral researcher to prepare a PhD thesis and for the student assistant to prepare a Masters' thesis within the project (see below) will be provided. Working language is English.
The positions will be vacant until filled. For more information, see http://www.pfeifer-research.de/spp.html.
3 (Renewable) 2-Year Post-Doc Positions
The CIMeC-CLIC laboratory of the University of Trento announces the availability of at least 3 (renewable) 2-year Post-Doc positions. The scholarships 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 researchers with any of the following backgrounds:
- Machine learning
- Psycholinguistics, experimental linguistics or cognitive science
- Formal and/or computational
Advanced programming and mathematical skills are required of candidates from machine learning. Linguists and cognitive scientists must possess at least basic programming skills and a reasonable knowledge of statistics.
For more information, see http://clic.cimec.unitn.it/composes.
Research positions at DFKI, Bremen, Germany
The DFKI research department Safe and Secure Cognitive Systems in Bremen, Germany, currently has several vacancies in projects related to logic, formal methods, and ontologies.
For more information, , see http://www.informatik.uni-bremen.de/dfki-sks/vacancies.html.
PhD student position in reachability problems, Bordeaux (France)
The ANR project REACHARD proposes several PhD positions on reachability problems for counter systems, including vector addition systems and related models. The PhD position can start in 2011 or 2012 and will take place either at LaBRI or at LSV , France. The duration is 3 years, with an annual salary of 21,000 euros after tax + benefits.
The main objective of the ANR project REACHARD is to propose a satisfactory solution to the reachability problem for vector addition systems, that will provide significant improvements both conceptually and computationally. Many standard verification problems can be rephrased as reachability problems, and there exist powerful methods for infinite-state systems; see e.g. the theory of well-structured transition systems. However, obtaining decision procedures is not the ultimate goal, which we rather see in crafting provably optimal algorithms---required for practical use. In the ANR project REACHARD, we focus on algorithmic issues for the verification of counter systems, more specifically to reachability problems for vector addition systems with states (VASS) and related models.
For more information, see http://www.lsv.ens-cachan.fr/Projects/anr-reachard/Documents/Announce. Any further inquiry should be sent to anr-reachard at lsv.ens-cachan.fr.
University of Kent: AHRC PhD studentship in Philosophy
The PhD project will focus on the question of whether new versions of inductive logic survive a number of philosophical critiques. This will require competence in philosophical argumentation and knowledge of epistemology and elementary logic. Applicants will be expected to hold a Master's degree, and a Bachelor's degree at class 2(i) or higher; at least one of these degrees should be in philosophy.
The deadline for applications is Thursday 15 December 2011. For more information, see http://www.kent.ac.uk/reasoning/obeil.pdf
University of Kent: AHRC Postdoctoral Research Associate in Philosophy
The Postdoctoral Research Associate will focus on the development of a particular inductive logic, analysis of its key properties, and the development of computationally tractable methods for performing inferences in the inductive logic. This will require some familiarity with probability and logic. Programming competence would also be desirable. Applicants will be expected to hold a PhD on a related topic in mathematics, computing, philosophy or a related subject.
The deadline for applications is Thursday 15 December 2011. For more information, see http://www.kent.ac.uk/reasoning/obeil.pdf
Research and Teaching Assistant Position at University of Koblenz-Landau:
The position is in the area of formal methods and theoretical computer science, with emphasis on logic, automated reasoning, decision procedures and verification (in the group of Prof. Dr. Viorica Sofronie-Stokkermans).
The position is initially for 3 years, with the possibility of extension. The teaching obligations are of 4h/week during the semesters. There is the possibility of pursuing a PhD during this time. Applicants should have a MSc degree (or comparable University degree) in Computer Science, Mathematics or a related discipline.
Code number of position: 115/2011. Application deadline: 3 November 2011. For more information, see http://www.stellenwerk-koblenz-landau.de/uploads/tx_exinitswkjobs/.
Delft Technology Fellowship: High-profile Tenure-track Positions for Female Scientists
Delft University of Technology is aiming to substantially increase the number of top female scientists. To help accelerate this, Delft Technology Fellowship offers high-profile, tenure-track positions to top female scientists in research fields in which Delft University of Technology (TU Delft) is active. As a fellow you will be offered the unique chance to establish your own research programme of international repute, including generous start-up funding. The five-year fellowships are awarded at the Assistant, Associate or full Professor level.
Deadline: 15 January 2012. For more information, see http://www.jobsindelft.com/fellowship.
Postdoctoral research positions in artificial intelligence, Durban (South Africa)
Applications are invited for Postdoctoral Research positions in the UKZN/CSIR Meraka Centre for Artificial Intelligence Research (CAIR) within the School of Computer Science, University of KwaZulu- Natal, South Africa. The successful applicants will be expected to engage in full-time postdoctoral research under the supervision of a member of the academic staff of CAIR. The positions are for a duration of one year and are renewable for a second year, subject to satisfactory performance.
The following two positions will be jointly funded and jointly supervised in collaboration with the School of Informatics, University of Edinburgh (UED). Postdoctoral researchers will be primarily based at CAIR in Durban or Pretoria and will undertake short research placements to UED. The research areas are: 1) Behavior representation and detection in video surveillance systems under the supervision of Dr. Deshen Moodley (UKZN) and Prof. Bob Fisher (UED), and 2) Knowledge Representation and Reasoning under the supervision of Prof. Tommie Meyer (CAIR) and Prof. Alan Bundy (UED). A third general position is also available in any area of Artificial Intelligence currently under investigation within CAIR.
There is no fixed application deadline. Scholarships will be awarded based on the suitability of candidates and the availability of funds. For more information, see http://cair.meraka.org.za/join-cair
Faculty positions in theoretical computer science, San Antonio TX (U.S.A.)
The Department of Computer Science at The University of Texas at San Antonio invites applications for tenure/tenure-track positions at the Assistant, Associate or Professor level, starting Fall 2012. All areas of computer science will be considered. We are particularly interested in candidates in theory and algorithms as well as computer architecture, with a focus on computer and information security as a cross-cutting concern.
Screening of applications will begin on January 2, 2012. Please klick on the link below for more information: http://www.cs.utsa.edu/news/64/51/Opennings-for-Faculty-Positions/
Two PhD Positions in Philosophy, University of Groningen
There are two fully funded PhD positions available at the Faculty of Philosophy of the University of Groningen, the Netherlands. Applications are open for research in any of the