News Archives 2016
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
Headlines Former Regular Events
9 December 2016, Brouwer symposium: L.E.J. Brouwer, fifty years laterDate & Time: Friday 9 December 2016, 09:45-16:45Location: Science Park, Amsterdam, The Netherlands
The Royal Dutch Mathematical Society (KWG) invites you to the symposium L.E.J. Brouwer, fifty years later at the Science Park in Amsterdam on the 9th of December 2016, 9:45-16:45.
We have put together an interesting programme with highly renowned speakers, viz. Dirk van Dalen, Mark van Atten, Sergei Artemov, Alexander Dranishnikov, Saul Kripke, Yiannis Moschovakis, Michael Rathjen, and Raf Bocklandt.
You can find the complete programme and a registration form on our website: http://www.wiskgenoot.nl/brouwer50For more information, see www.wiskgenoot.nl/brouwer50.
(New) 26 October 2016, Algebra|Coalgebra Seminar, Yde VenemaSpeaker: Yde VenemaTitle: Some model theory for the modal mu-calculusDate & Time: Wednesday 26 October 2016, 16:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
26 October 2016, Two lectures on Dutch open access negotiation with publishersDate & Time: Wednesday 26 October 2016, 12:00-13:00Location: UvA/FNWI, Science Park
During the international open access week, held from Monday 24 until Thursday 27 October, we will pay attention to the transition of traditional journals and publications to open access.
We have invited two members of the Dutch open access negotiation team, who negotiated (on behalf of the VSNU) about open access with Elsevier, ACS, Springer, Wiley, etc. They will share their views, elucidate their intentions and the decisions that have been made so far, such as the type of agreement (free, discount, or vouchers) and in some cases the selection of journal titles. The audience is invited to share their opinion and views on these topics.For more information, see uba.uva.nl/en/news/upcoming-events/content/events/2016/10/open-access-week-2016.html.
20 October 2016, CIRMMT Distinguished Lecture Series, Henkjan HoningSpeaker: Henkjan HoningTitle: What makes us musical animalsDate & Time: Tuesday 20 October 2016, 16:30Location: Tanna Schulich Hall, Elizabeth Wirth Music Building, 527 Sherbrooke Street West, Montréal
For more information, see http://www.cirmmt.org/activities/distinguished-lectures/copy_of_vorlander
19 October 2016, Colloquium on Mathematical Logic, Fedor PakhomovSpeaker: Fedor PakhomovTitle: Transitive modal logics and second-order theoriesDate & Time: Wednesday 19 October 2016, 16:00-17:00Location: Zaal 012, Drift 23, Utrecht
17 October 2016, AUC Logic Lectures, Ulle EndrissSpeaker: Ulle EndrissTitle: Judgment AggregationDate & Time: Monday 17 October 2016, 18:00-19:00Location: AUC Common Room
Abstract: This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.For more information, see www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/item/auc-logic-lectures-ulle-endriss-2016.html or contact Dora Achourioti at t.achourioti at uva.nl.
14 October 2016, Logic and Interactive Rationality (LIRa), Hans van DitmarchSpeaker: Hans van Ditmarch (LORIA, Vandoeuvre-lès-Nancy)Title: Epistemic Gossip ProtocolsDate & Time: Friday 14 October 2016, 16:15-17:30Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
14 October 2016, DIP Colloquium, Elizabeth CoppockSpeaker: Elizabeth Coppock (Gothenburg)Title: 'The X' Files: Deriving familiarity conditions on definites from uniquenessDate & Time: Friday 14 October 2016, 16:00-17:30Location: Room F1.15, ILLC, Science Park 107, AmsterdamFor more information, see www.illc.uva.nl/LoLa/DIP-Colloquium.
14 October 2016, Logic and Interactive Rationality (LIRa), Malvin GattingerSpeaker: Malvin Gattinger (ILLC, Amsterdam)Title: Knowing Values and Public InspectionDate & Time: Friday 14 October 2016, 15:00-16:15Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
13 October 2016, ILLC Current Affairs MeetingDate & Time: Thursday 13 October 2016, 16:00-17:30Location: ILLC Common room (F1.21), Science Park 107, Amsterdam
As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.For more information, contact illc at uva.nl.
11 October 2016, Computational Social Choice Seminar, Ronald de HaanSpeaker: Ronald de Haan (Vienna & ILLC)Title: The Complexity of Manipulating the Kemeny Judgment Aggregation ProcedureDate & Time: Tuesday 11 October 2016, 16:00Location: Room F3.20, Science Park 107, Amsterdam
5 October 2016, PhD dayDate & Time: Wednesday 5 October 2016, 11:00-12:30Target audience: all ILLC PhD candidates
On October 5, the PhD Council will hold another PhD day. At this event, the PhD candidates are informed about the current activities of the council and potential issues raised among the PhDs are discussed. At the same time, we will welcome the newcomers. All PhD candidates are invited. It will be followed by a lunch at Maslow.For more information, contact Arnold Kochari at a.kochari at uva.nl.
1 October 2016, Open Day Amsterdam Science Park, Amsterdam Science Park, AmsterdamDate: Saturday 1 October 2016Location: Amsterdam Science Park, Amsterdam
On Saturday, 1 October 2016, from 12:00 to 17:00, the organisations based at Amsterdam Science Park will hold their annual Open Day featuring a mix of activities suitable for all ages.
For more information, see http://www.amsterdamsciencepark.nl/about-amsterdam-science-park/open-dag/
30 September 2016, COOL, Melina MendozaSpeaker: Melina MendozaTitle: Who is Sherlock Holmes?Date & Time: Friday 30 September 2016, 18:30-19:30Location: Room F1.15, Science Park 107, Amsterdam
Who is Sherlock Holmes? Can we even talk about identifying him? The often quoted example by Frege about identity “The evening star is the morning star” has the particularity that it refers to something that is actual and exists in the real world. If venus was fictional, could we still refer to it in the same way? What is true in a fiction to begin with? It can be said that it depends on the fictional context, or as we will refer to it, the Canon.
30 September 2016, Logic and Interactive Rationality (LIRa), Fengkui JuSpeaker: Fengkui Ju (Beijing Normal University)Title: Everything be in order until I get back!Date & Time: Friday 30 September 2016, 15:30-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
30 September 2016, Music Cognition Reading GroupTitle: Music Cognition Reading Group: Melodic expectation and expressive timingDate & Time: Friday 30 September 2016, 15:00-16:30Location: Room F3.20, KdvI, Science Park 107, Amsterdam
We'll discuss a paper by Gingras et al. (2015), titled "Linking Melodic Expectation to Expressive Performance Timing and Perceived Musical Tension".For more information, see musicreadinggroup.wordpress.com.
28 September 2016, A|C seminar, Grigory OlkhovikovSpeaker: Grigory OlkhovikovTitle: On generalized Van-Benthem-type characterizationsDate & Time: Wednesday 28 September 2016, 16:00Location: Science Park 107, room F1.15.
27 September 2016, Logic Tea, Bastiaan van der WeijSpeaker: Bastiaan van der WeijTitle: A probabilistic model of the perception of rhythmic structure in musicDate & Time: Tuesday 27 September 2016, 17:00-18:00Location: Room 1.15, Science Park 107, Amsterdam
For more information, please visit the website
Thomas Brochhagen (t.s.brochhagen at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (julian.schloeder at gmail.com).
27 September 2016, Computational Linguistics Seminar, Douwe KielaSpeaker: Douwe Kiela (Cambridge)Title: Grounding Semantics in Perceptual ModalitiesDate & Time: Tuesday 27 September 2016, 16:00Location: Room F1.15, Science Park 107, AmsterdamFor more information, see www.illc.uva.nl/LaCo/CLS.
23 September 2016, DIP Colloquium, Wataru UegakiSpeaker: Wataru Uegaki (Leiden University)Title: Comparing non-reductive theories of question-embeddingDate & Time: Friday 23 September 2016, 16:00-17:30Location: Room F1.15, Science Park 107, Amsterdam
23 September 2016, Logic and Interactive Rationality (LIRa), Tao GuSpeaker: Tao GuTitle: “Knowing value” logic as a normal modal logicDate & Time: Friday 23 September 2016, 15:30-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
19 September 2016, Logic and Interactive Rationality (LIRa), Branden FitelsonSpeaker: Branden Fitelson (Northeastern University, Boston)Title: Two New(ish) Triviality Results for Indicative ConditionalsDate & Time: Monday 19 September 2016, 11:00-12:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
16 September 2016, COOL, Natalia PhilippovaSpeaker: Natalia PhilippovaTitle: Sex and Syntax (Talking about the effect of language on thought in a post-Sapir-and-Whorf world)Date & Time: Friday 16 September 2016, 18:30Location: tbc
Cool Logic has gone through some changes with a new name COOL.
COOL. is a biweekly student seminar organised by master's students, with talks given by master's students.
13 September 2016, Computational Linguistics Seminar, Barbara PlankSpeaker: Barbara Plank (Groningen)Date & Time: Tuesday 13 September 2016, 16:00Location: Room TBA, Science Park 107, AmsterdamFor more information, see www.illc.uva.nl/LaCo/CLS.
12 September 2016, Vossius Seminar on the History of Informatics and PsychometricsTitle: Two lectures by Jos Baeten (ILLC & CWI) and Lisa Wijsen (Faculty of Social Sciences)Date & Time: Monday 12 September 2016, 15:00-17:00Location: Belle van Zuylenzaal, University Library Universiteitsbibliotheek, Singel 425, Amsterdam
The forthcoming Vossius Seminar on 12 September will feature two talks by Jos Baeten and Lisa Wijsen.
9 September 2016, DIP Colloquium, Michael KremerSpeaker: Michael Kremer (University of Chicago)Title: Ryle's 'Intellectualist Legend' in Historical ContextDate & Time: Friday 9 September 2016, 16:00-17:30Location: Room F1.15, Science Park 107, Amsterdam
6 September 2016, Logic and Interactive Rationality (LIRa), CancelledSpeaker: Hans van DitmarschTitle: Epistemic Gossip ProtocolsDate & Time: Tuesday 6 September 2016, 12:30-14:00Location: Room F1.15, Science Park 107, Amsterdam
2 September 2016, drinks with pizza, welcoming the new MoL students and PhD candidatesDate & Time: Friday 2 September 2016, 17:00Location: Tent outside PolderTarget audience: The ILLC communityFor more information, contact Tanja Kassenaar at t.kassenaar at uva.nl.
29 July 2016, Dutch Social Choice ColloquiumDate & Time: Friday 29 July 2016, 10:30 - 18:00Location: Seminar Room C-1.03, Tongersestraat 53, Maastricht
1 July 2016, Talent Scheme Information Meeting (Veni, Vidi, Vici)Date & Time: Friday 1 July 2016, 09:00-16:45Location: NWO Java building, Laan van Nieuw Oost-Indië 300, 2593 CE, The Hague
On Friday 1 July NWO is organising an information meeting for researchers that want to apply for a Veni, Vidi or Vici grant. Practical information will be given and laureates, selection committee members and NWO coordinators will share their experiences. The morning programme is for the Humanities and Social Sciences and the afternoon programme is for the Natural Sciences, Engineering and Life Sciences. The meetings will be held in English.
For more information, see http://www.nwo.nl/en/news-and-events/calendar/2016/
1 July 2016, Talent Scheme Information Meeting (Veni, Vidi, Vici)Date: Friday 1 July 2016Location: NWO Java building, Laan van Nieuw Oost-Indië 300, 2593 CE, The Hague
NWO organises information meetings for researchers who want to apply for a Veni, Vidi of Vici grant. Practical information is given and selection committee members, NWO coordinators and researchers who have already acquired a Veni, Vidi or Vici share their experiences during a question and answer session. The meetings are in English. The next information meeting will be held on 1 July.
For more information, see http://www.nwo.nl/en/research-and-results/programmes/Talent+Scheme/
28-29 June 2016, Workshop "Reasoning in Conceptual Spaces"Date: 28-29 June 2016Location: Room F1.15, ILLC, Science Park 107, Amsterdam
Funded by the Volkswagen foundation and hosted by the ILLC, talks (but not the closed group work-sessions) are open to interested researchers. Please e-mail frank.zenker at fil.lu.se before 20 June if you'd like to attend any of the talks.
For more information and a programme, see https://conceptualspaces360.wordpress.com/events/.
27 June 2016, Opening Vossius Center for the History of Humanities and SciencesDate & Time: Monday 27 June 2016, 15:00-18:00Location: Agnietenkapel, Oudezijds Voorburgwal 229 - 231, 1012 EZ Amsterdam
The Vossius Center for the History of Humanities and Sciences will be officially opened on Monday 27 June, 15.00h-18.00h, at the place where G. Vossius held his inaugural lecture in 1632.
Speakers include Dymph van den Boom, Frank van Vree, Hans-Jörg Rheinberger, Haun Saussy, Joep Leerssen, Julia Kursell, Jeroen van Dongen and Rens Bod. The afternoon will be concluded with the presentation of the new journal "History of Humanities". All those interested are cordially invited to attend the opening. Full program follows soon.
Since places are allotted on a first-come, first-serve basis, please register as early as possible (no later than 15 May).
For more information, see http://vossius.uva.nl/news-and-events/componenten-midden/news/news/content/
24 June 2016, The Amsterdam Flux FestivalDate: Friday 24 June 2016Location: Science Park, Amsterdam
The Amsterdam Science Park community celebrates the summer this month, with the second edition of the Flux Festival. Coinciding with the traditional Midsummer's Day, the festival takes place on Friday, 24th June, and is open to everyone who works, studies or lives at the park. The event begins at 4pm and includes a beach volleyball tournament, sport clinics, DJs, live music, a barbecue and more. Read the latest news on the festival here, and see you there!
For more information, see http://www.amsterdamsciencepark.nl/index.php?id=198
21 June 2016, Information Session on ERC GrantsDate: Thursday 21 June 2016Location: Jaarbeurs MeetUp, Beatrixgebouw, Utrecht, Netherlands
Grants from the European Research Council (ERC) support individual researchers of any nationality and age who wish to pursue their frontier research. In particular, the ERC encourages proposals that cross disciplinary boundaries, pioneering ideas that address new and emerging fields and applications that introduce unconventional, innovative approaches. ERC grants are awarded through open competition to projects headed by starting and established researchers - the sole criterion for selection is scientific excellence.
To gain an overall view of the rules and possibilities, we cordially invite you to an ERC information session. During this session, your National Contact Points will inform you of the possible type of grants, the rules for participation and the evaluation process. In addition a member of an evaluation panel will tell you about his/her experience with evaluating ERC proposals (TBC) and an ERC grant holder will share his tips and tricks.
For more information, see http://english.rvo.nl/news/events/information-session-erc-grants-0
22 June 2016, Colloquium on Mathematical Logic, Fabio PasqualiSpeaker: Fabio PasqualiTitle: Choice in triposesDate & Time: Wednesday 22 June 2016, 16:00-17:00Location: Room 610 of the Mathematics (Hans Freudenthal) building, Budapestlaan 6, Utrecht
Maietti and Rosolini generalized the notion of exact completion of a category with finite limits to that of elementary quotient completion of hyperdoctrines. A hyperdoctrine will be denoted by (C,P) and can be thought of as a many-sorted logic P where sorts are objects of the category C. The elementary quotient completion of (C,P), denoted by (Cq,Pq), is a new hyperdoctrine whose base Cq is closed under effective quotients of equivalence relations expressed in the logic of Pq.
In this talk we focus on triposes, a special class of hyperdoctrines, introduced in by Hyland, Johnstone and Pitts with the purpose (among others) of freely creating an elementary topos out of any given tripos. This mentioned construction is known under the name of tripos-to-topos construction. We characterize when the tripos-to-topos construction factors through an elementary quotient completion. We will show that this happens if and only if the starting tripos validates a form of choice, which we call rule of epsilon choice as it is inspired by Hilbert's epsilon operator.
For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).
22 June 2016, Theoretical Computer Science Seminar, Bruno LoffSpeaker: Bruno Loff (Prague)Title: Some new results on the communication complexity of compositionDate & Time: Wednesday 22 June 2016, 15:00-16:00Location: CWI room L017, Science Park 123, Amsterdam
21-23 June 2016, Tutorial "Definability and Complexity of Counting Logics"Speaker: Anuj Dawar (Cambridge)Date: 21-23 June 2016Location: Room F1.15, ILLC, Science Park 107, Amsterdam
Anuj Dawar, who is visiting from Cambridge, will give a three-part tutorial on 'Definability and Complexity of Counting Logics'.
Part 1 (21 June 13:00-15:00) covers first-order logic with counting, fixed-point logic with counting, relations to complexity, and definability of constraint satisfaction problems.
Literature: Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)
Part 2 (22 June 13:00-15:00) covers combinatorial optimization problems and their linear programming relaxations and issues of symmetry and definability.
Literature: Matthew Anderson, Anuj Dawar, Bjarki Holm, Solving Linear Programs without Breaking Abstractions, J. ACM 62(6): 48 (2015)
Part 3 (23 June 11:00-14:00) covers the relationship between definability and circuit complexity for first-order logic, fixed-point logic and counting logics.For more information, please contact bloewe at science.uva.nl
Literature: Matthew Anderson, Anuj Dawar: On Symmetric Circuits and Fixed-Point Logics. STACS 2014: 41-52
17 June 2016, ILLC Midsummernight Colloquium 2016, Science Park 107, AmsterdamDate & Time: Friday 17 June 2016, 16:00-17:30Location: Science Park 107, Amsterdam
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
All are welcome, including MoL students.
Note that this is different date than was communicated before, i.e., the 24th of June. That date clashed with other events. We therefore decided to move the ILLC colloquium to the 17th of June.
For more information, see http://www.illc.uva.nl/ILLCColloquium/Midsummernight2016/
17 June 2016, CWI-DIAMANT Seminar Combinatorics and Optimization, Joe Halpern (Cornell University)Speaker: Joe Halpern (Cornell University)Title: Decision theory with resource-bounded agentsDate & Time: Friday 17 June 2016, 15:00Location: CWI room L016, Science Park 123, Amsterdam
10 June 2016, Logic and Interactive Rationality (LIRa), Eric PacuitSpeaker: Eric Pacuit (Maryland)Title: Interpreting mistakes in games: From beliefs about mistakes to mistaken beliefsDate & Time: Friday 10 June 2016, 15:30-17:00Location: Room F1.15, Science Park 107, Amsterdam
10 June 2016, Music Cognition Reading Group, Romke RouwSpeaker: Romke RouwTitle: Individual Differences in Sensations.Date & Time: Friday 10 June 2016, 15:00-16:30Location: Room F3.20, Science Park 107, Amsterdam
Dr. Romke Rouw will give a talk on synesthesia titled Individual Differences in perception. For an extensive abstract, see: https://musicreadinggroup.wordpress.com/2016/05/31/
For more information, see https://musicreadinggroup.wordpress.com/
10 June 2016, APES Symposium with Lisa Herzog (Frankfurt) and Harold Kincaid (Cape Town)Date & Time: Friday 10 June 2016, 10:30-13:00Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam
7 June 2016, The musical brain: Beat, rhythm, and timingDate & Time: Tuesday 7 June 2016, 14:00-17:00 hLocation: Doelenzaal (C0.07), Singel 425, AmsterdamCosts: Free
When we hear music, we often tap our feet, dance together or play and sing together. In order to do this, we need to be able to synchronize our behavior to the regular beat that is often present in music. This seems an easy task, but how do our brains accomplish this? Can everyone do this? And is this specific to humans?
This workshop on beat perception is organised on the occasion of the PhD defense of Fleur Bouwer on June 8. Distinguished international speakers will discuss several aspects of beat perception and prediction. Topics range from the role of the motor system in beat perception, to beat perception in non-human animals and timing and predictions in the human brain.
For more information on the workshop, see http://www.fleurbouwer.nl/workshop
3 June 2016, SMART Cognitive Science Lecture, Karin KukkonenSpeaker: Karin KukkonenTitle: Probability Designs: Literature and Predictive ProcessingDate & Time: Friday 3 June 2016, 16:00-17:30Location: OMHP room F0.01, Oudemanhuispoort 4-6, Amsterdam
3 June 2016, Dutch Social Choice Colloquium, Antoinette Baujard, Markus Brill, Harrie de SwartSpeaker: Antoinette Baujard, Markus Brill, Harrie de SwartDate & Time: Friday 3 June 2016, 14:00-17:30Location: Room C1-4, Theil Building, Campus Woudenstein, Erasmus University Rotterdam
This edition of the Dutch Social Choice Colloquium will feature invited talks by Harrie de Swart (Rotterdam) Antoinette Baujard (Lyon) and Markus Brill (Oxford) on majority measures, evaluative voting and approval-based committee voting. All welcome.
2 June 2016, Information meeting: European consortium grantsDate & Time: Thursday 2 June 2016, 15:00-17:00Location: OMHP Room C3.23C, Oudemanhuispoort 4-6, Amsterdam
The Grant Team organises an information meeting on European consortium grants, ie. funding schemes for projects to be carried out by international consortia. Confirmed speakers are Wim Hupperetz, Julia Noordegraaf and Ronald Pfau; they will speak about (inter alia) the Marie Curie Innovative Training Networks, the Horizon2020 funding scheme (in particular Societal Challenge 6: 'Europe in a changing world - Inclusive, innovative and reflective societies') and best practices regarding networking in 'Europe' and forming fruitful international connections. The meeting is scheduled for Thursday 2 June at 15.00-17.00, Oudemanhuispoort room C3.23. All are welcome; please send an e-mail to subsidie-fgw at uva.nl if you are planning to attend.
For more information, see https://medewerker.uva.nl/en/humanities/a-z/a-z/a-z/content/folder-2/grant-team/
2 June 2016, BroadSem Kick-off WorkshopDate: Thursday 2 June 2016Location: Nina van Leerzaal, Allard Pierson Museum, Oude Turfmarkt 129, Amsterdam
Kick-off workshop for the ERC grant "BroadSem: Broad Coverage Semantic Parsing" on June 2 in central Amsterdam (Allard Pierson Museum). Besides semantic parsing, we will also look into related problems and methods in natural language understanding. We have a great set of guest speakers including Guillaume Bouchard (UCL), Mirella Lapata (Edinburgh), Dan Roth (UIUC) and Nathan Schneider (GWU). Free sign-up!
For more information, see https://broadsem.wordpress.com/
1-15 June 2016, LogiCIC/LIRa Seminar, Eric PacuitSpeaker: Eric Pacuit (Maryland)Title: Lecture Series "Neighborhood Semantics for Modal Logic"Date & Time: 1-15 June 2016, 14:00-15:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
27 May 2016, DIP Colloquium, Lavinia Picollo & Thomas SchindlerSpeaker: Lavinia Picollo (MCMP Munich) & Thomas Schindler (Cambridge)Title: The expressive function of truthDate & Time: Friday 27 May 2016, 16:00-17:30Location: Room F1.15, Science Park 107, Amsterdam
27 May 2016, Logic and Interactive Rationality (LIRa), Hein DuijfSpeaker: Hein DuijfTitle: Cooperative Rationality: beyond team reasoningDate & Time: Friday 27 May 2016, 13:00-14:30Location: Room F1.15, Science Park 107, Amsterdam
26 May 2016, Cool Logic, Levin Hornischer and Stella MoonSpeaker: Levin Hornischer and Stella MoonTitle: Hamkins' proof that every function can be computableDate & Time: Thursday 26 May 2016, 16:30Location: F1.15 Seminar Room, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD candidates
Cool Logic has gone through some changes with a new name COOL.
COOL. is a biweekly student seminar organised by master's students, with talks given by master's students.
24 May 2016, Training voor promovendi: Launch your CareerDate & Time: Tuesday 24 May 2016, 14:00Location: Science Park 107, Amsterdam
Around 70% of all PhD students will pursue a career outside academia after their defense. The UvA wishes to prepare PhD students for a successfull career. This English training is intended to help in this regard.
There will be 4 meetings in total, on May 24th, June 7th, June 28th and July 12th
Registration for this training is open until 17 May 2016. For more information, see https://medewerker.uva.nl/fnwi/actueel/agenda/agenda/agenda/content/folder-2/
20 May 2016, Cool Logic, Dan Frumin and Guillaume MassasSpeaker: Dan Frumin and Guillaume MassasTitle: The one and only diagonal argumentDate & Time: Friday 20 May 2016, 17:30-18:30Location: F1.15 ILLC seminar room, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD candidates
In this talk we would like to present the Lawvere's fixed point theorem, which is a generalisation of the Cantor-Russell-Turing-Gödel argument in a sufficiently nice category. We will show how it implies straightforwardly Cantor's theorem and Russell's paradox, various versions of the Liar paradox. With a bit of work we will deduce Tarski's result about the undefinability of truth and Gödel's incompleteness theorem, as well as results from computability theory, such as the undecidability of the halting problem and the existence of fixed point combinators in λ-calculus.
20 May 2016, Logic and Interactive Rationality (LIRa), Benjamin Icard & Markus PfundsteinSpeaker: Benjamin Icard (Institut Jean Nicod, Paris) & Markus PfundsteinTitle: The 'Surprise Deception Paradox': a conceptual and logical insight into veridical deception / A Framework for modelling knowledge about Wireless Sensor Networks using Dynamic Epistemic LogicDate & Time: Friday 20 May 2016, 13:00-15:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
19 May 2016, AUC Logic Lectures, Jan van Eijck (CWI and ILLC)Speaker: Jan van Eijck (CWI and ILLC)Title: Logic and ActionDate & Time: Thursday 19 May 2016, 18:00-19:00Location: AUC common room, Science Park 113, Amsterdam
An action is something that takes place in the world, and that makes a
difference to what the world looks like. Thus, actions are maps from
states of the world to new states of the world. Actions can be of
various kinds. The action of spilling coffee changes the state of
your trousers. The action of telling a lie to your friend changes your
friend's state of mind (and maybe the state of your soul). The action
of multiplying two numbers changes the state of certain registers in
your computer. Despite the differences between these various kinds of
actions, we will see that they can all be covered under the same
For more information, contact t.achourioti at uva.nl
19 May 2016, Theoretical Computer Science Seminar, Steve HomerSpeaker: Steve Homer (Boston U)Title: Automatically Scalable ComputationDate & Time: Thursday 19 May 2016, 16:00-17:00Location: CWI room L017, Science Park 123, Amsterdam
A system is proposed which speeds up some computations by taking advantage of current large, fast memory in order to efficiently store and recall relevant computational histories. The system automatically exploits predicted patterns in a computation in order to accelerate computation when it can. Our goal is to quantify the specific speed-ups that can be achieved and to provide lower bounds indicating the limits of our approach.
17 May 2016, Celebratory workshop on the occasion of Jouko Vaananen's retirement, Bungehuis room 0.04, Spuistraat 210, 1012 VT, AmsterdamDate: Tuesday 17 May 2016Location: Bungehuis room 0.04, Spuistraat 210, 1012 VT, Amsterdam
In December 2015 Jouko Väänänen formally retired from the Institute for Logic, Language and Computation (ILLC). Despite the fact that Jouko will maintain his ties to the ILLC, we nevertheless take the opportunity to organise a small workshop in Jouko's honour.
For more information, see http://www.illc.uva.nl/Vaananen65/
13 May 2016, SMART Cognitive Science Lecture, Jubin AbutelabSpeaker: Jubin AbutelabTitle: Neural Consequences of BilingualismDate & Time: Friday 13 May 2016, 16:00-17:30Location: OMHP room F0.01, Oudemanhuispoort 4-6, Amsterdam
13 May 2016, DIP Colloquium, Bjørn JespersenSpeaker: Bjørn Jespersen (Barcelona)Title: A critique of act theories of propositions and predicationDate & Time: Friday 13 May 2016, 16:00-17:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
13 May 2016, LogiCIC/LIRa Seminar, Guido BacciagaluppiSpeaker: Guido Bacciagaluppi (Utrecht)Title: Von Neumannâ€™s no-Hidden-Variables Theorem (and Hermannâ€™s Critique)Date & Time: Friday 13 May 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
13 May 2016, Studies of Mathematical and Logical Practice guest lecture, Anika DreherSpeaker: Anika Dreher (Kiel)Title: Teachers' professional knowledge and noticing: The case of multiple representations in the mathematics classroomDate & Time: Friday 13 May 2016, 13:00-15:00Location: Room G2.13, Science Park 904, Amsterdam
This is a guest lecture given as part of the course "Studies of Mathematical and Logical Practice". For more information, see here or http://www.math.uni-hamburg.de/home/loewe/2015-16-II/SMLP.html.
12 May 2016, Valedictory Lecture, Martin StokhofSpeaker: Martin StokhofTitle: "Iets met mensen": filosofische ervaringenDate & Time: Thursday 12 May 2016, 15:00Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
On Thursday, May 12th Professor Dr. Martin Stokhof will retire as professor of Philosophy of language, a position he has held since 1998. His valedictory lecture will take place in the Aula of the University and will start at 15:00 am (exactly). The aula will be open from 14.30.
Professors are invited to take part in the procession dressed in toga. From 14:30 you can use the entrance at Handboogstraat 6.
For more information, see http://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/content8/lezingen/2016/ or contact illc at uva.nl
10 May 2016, Logic Tea, Robert WhiteSpeaker: Robert WhiteTitle: Robot Ethical Training with Dynamic Ethical Preference LogicDate & Time: Tuesday 10 May 2016, 17:15-18:15Location: Room F1.15, Science Park 107, Amsterdam
4 May 2016, Algebra|Coalgebra Seminar, Tomáš Jakl (Charles University Prague, University of Birmingham)Speaker: Tomáš Jakl (Charles University Prague, University of Birmingham)Title: Bitopology and four-valued logicDate & Time: Wednesday 4 May 2016, 16:00-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
29 April 2016, Music Cognition Reading GroupTitle: Neural networks for beat perception in musical rhythmDate & Time: Friday 29 April 2016, 15:00-16:30Location: Room A1.06, FNWI, Science Park 904, Amsterdam
We will discuss a paper by Ed Large, Jorge Herrera, and Marc Velasco: Neural networks for beat perception in musical rhythm (http://dx.doi.org/10.3389/fnsys.2015.00159). This is a hypothesis and theory paper on the neural basis of rhythm perception.
For more information, see https://musicreadinggroup.wordpress.com/
29 April 2016, LogiCIC/LIRa Seminar, Rohit ParikhSpeaker: Rohit ParikhTitle: Influencing behavior by influencing beliefsDate & Time: Friday 29 April 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
28 April 2016, APES - Philosophy of Science Seminar, F.A. MullerSpeaker: F.A. Muller (Erasmus and Utrecht University)Title: Structural Explanation: What It Could BeDate & Time: Thursday 28 April 2016, 16:00-18:00Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam
26 April 2016, Logic Tea, Philip SchulzSpeaker: Philip SchulzTitle: Doing Bayesian InferenceDate & Time: Tuesday 26 April 2016, 17:00-19:00Location: Room F1.15, Science Park 107, Amsterdam
22 April 2016, Logic and Interactive Rationality (LIRa), Rohit ParikhSpeaker: Rohit ParikhTitle: An Epistemic Generalization of RationalizabilityDate & Time: Friday 22 April 2016, 16:00-17:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
22 April 2016, LogiCIC/LIRa Seminar, Jon WilliamsonSpeaker: Jon WilliamsonTitle: Inductive Logic for Automated Decision MakingDate & Time: Friday 22 April 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
22-25 April 2016, Celebratory events in honour of Albert Visser on the occasion of his retirement, Auditorium, University Hall, Utrecht University & Academiegebouw, Utrecht UniversityDate: 22-25 April 2016Location: Auditorium, University Hall, Utrecht University & Academiegebouw, Utrecht University
In the spring of 2016 Prof. Albert Visser (Philosophy) will retire. He has been a professor in Logic and the Foundations of Mathematics at Utrecht University for more than a decade. Since September 2015 he is also a Faculty Professor at the Faculty of Humanities. There will be two days of celebrations in honour of his long and distinguished career. Registration is now open.
There are two events. On 22 April there will be a workshop dedicated to his scientific work, with speakers from the various areas that Visser has contributed to. This event will take place in the Kanunnikenzaal of the University Hall (Academiegebouw).
On 25 April there will be an afternoon of celebratory speeches by colleagues (starting at 13:00), followed by Albert's retirement speech in the Auditorium of the University Hall and a reception. The valedictory lecture of Prof. Visser will be at 16:00.
For more information regarding 22 April, see http://www.uu.nl/en/events/retirement-albert-visser-register-now.
For information regarding 25 April and to register for the events, see http://forms.wp.hum.uu.nl/registration-retirement-albert-visser/
20 April 2016, Algebra|Coalgebra Seminar, Serafina Lapenta (University of Salerno)Speaker: Serafina Lapenta (University of Salerno)Title: MV-algebras and the Pierce-Birkhoff conjectureDate & Time: Wednesday 20 April 2016, 16:00-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
15 April 2016, DIP Colloquium, Donka FarkasSpeaker: Donka Farkas (University of California, Santa Cruz)Title: The interpretation of declaratives and interrogatives: How semantics and conventions of use divide laborDate & Time: Friday 15 April 2016, 16:00-17:30Location: Room F1.15, Science Park 107, Amsterdam
15 April 2016, Logic and Interactive Rationality (LIRa), Jeffrey M. KeislerSpeaker: Jeffrey M. Keisler (UMass Boston)Title: Observing, reporting and deciding in networks of agents.Date & Time: Friday 15 April 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
12 April 2016, Logic Tea, Luca IncurvatiSpeaker: Luca IncurvatiTitle: Is Negation in Denial?Date & Time: Tuesday 12 April 2016, 17:00-18:00Location: Room F1.15, Science Park 107, Amsterdam
8 April 2016, Cool Logic, Bonan ZhaoSpeaker: Bonan Zhao (ILLC)Title: Paradoxes in Chinese Logic: Name, Category, and ArgumentationDate & Time: Friday 8 April 2016, 18:00-19:00Location: Room F1.15, Science Park 107, Amsterdam
8 April 2016, Ace Venture Lab presentationDate & Time: Friday 8 April 2016, 17:00-17:30Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
ACE Venture Lab is an initiative by the Amsterdam Center for Entrepreneurship (ACE) to propel science and tech based startups to create new jobs and economic prosperity in the Amsterdam region. ACE is a collaboration between the University of Amsterdam (UvA), the VU University, Amsterdam University of Applied Sciences (HvA) and the Amsterdam School of Arts (AHK). ACE stimulates entrepreneurship and entrepreneurial behavior by students and performs research towards successful entrepreneurship.
On Friday 8 April 2016, a representative of Ace Ventures Lab will come to the ILLC to present their activities, in particular the Bootcamp - a fully sponsored intensive training program for researchers, senior scientists and MSc students.
For more information, see http://www.ace-venturelab.org/
8 April 2016, ACLC Seminar, Naomi FeldmanSpeaker: Naomi FeldmanTitle: How phonetic learners should use their inputDate & Time: Friday 8 April 2016, 15:15-16:30Location: Rooim 4.04, PC Hoofthuis, Spuistraat 134, Amsterdam
Children have impressive statistical learning abilities. In phonetic category acquisition, for example, they are sensitive to the distributional properties of sounds in their input. However, knowing that children have statistical learning abilities is only a small part of understanding how they make use of their input during language acquisition. This work uses Bayesian models to examine three basic assumptions that go into statistical learning theories: the structure of learners' hypothesis space, the way in which input data are sampled, and the features of the input that learners attend to. Simulations show that although a naive view of statistical learning may not support robust phonetic category acquisition, there are several ways in which learners can potentially benefit by leveraging the rich statistical structure of their input.
For more information, see http://aclc.uva.nl/news-and-events/events/aclc-smart-seminar/all-events/ or http://ling.umd.edu/~nhf/
8 April 2016, Logic and Interactive Rationality (LIRa), Elias TsakasSpeaker: Elias Tsakas (Maastricht)Title: Reasonable doubt revisitedDate & Time: Friday 8 April 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
7 April 2016, APES - Philosophy of Science Seminar, Paul RothSpeaker: Paul Roth (California-Santa Cruz)Title: Evaluating Narrative ExplanationsDate & Time: Thursday 7 April 2016, 16:00-18:00Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam
For more information see http://www.uva.nl/disciplines/wijsbegeerte/home/componenten-middenkolom/agenda/ or contact Federica Russo (f.russo at uva.nl) or Lukas Verburgt L.M.Verburgt at uva.nl).
Paul Roth's paper is available at https://drive.google.com/open?id=0B4GjsgXG01qsSmFfeGZSbm1NUnc.
5 April 2016, Computational Linguistics Seminar, Iacer CalixtoSpeaker: Iacer Calixto (Dublin)Title: Incorporating Translational Evidence in Multilingual and Multimodal EmbeddingsDate & Time: Tuesday 5 April 2016, 16:00Location: Room F1.15, Science Park 107, Amsterdam
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
1 April 2016, ILLC Current Affairs Meeting, ILLC Common room (F1.21), Science Park 107, AmsterdamDate & Time: Friday 1 April 2016, 16:00-17:30Location: ILLC Common room (F1.21), Science Park 107, Amsterdam
As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards (also in the ILLC Common Room).
For more information, contact illc at uva.nl
1 April 2016, Music Cognition Reading GroupTitle: Is birdsong like speech or like music?Date & Time: Friday 1 April 2016, 14:30-16:00Location: Room F2.01, ILLC, Science Park 107, Amsterdam
We'll discuss a recent paper by Bregman et al. (2016): "Songbirds use spectral shape, not pitch, for sound pattern recognition". For a good introduction to the topic, see Shannon (in press): "Is Birdsong more like speech or music?".
For more information, see https://musicreadinggroup.wordpress.com/
1 April 2016, Dutch Social Choice ColloquiumSpeaker: Hannu Nurmi, Ali Ihsan Ozkes, Daniele PorelloDate & Time: Friday 1 April 2016, 14:00-17:00Location: Belle van Zuylenzaal (C1.13), University Library, Singel 425, Amsterdam
This edition of the Dutch Social Choice Colloquium will feature invited talks by Hannu Nurmi (Turku), Ali Ihsan Ozkes (Marseille), and Daniele Porello (Trento) on voting paradoxes, behavioural assumptions in models of strategic thinking, and a cognitively inspired approach to deliberation. All welcome.
1 April 2016, Logic and Interactive Rationality (LIRa), Nils BullingSpeaker: Nils Bulling (TU Delft)Title: Agents with Truly Perfect RecallDate & Time: Friday 1 April 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
30 March 2016, Algebra|Coalgebra Seminar, Sam van Gool (City College of New York and ILLC)Speaker: Sam van Gool (City College of New York and ILLC)Date & Time: Wednesday 30 March 2016, 16:00-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
29 March 2016, CLClab Seminar, Willemijn van WoerkomSpeaker: Willemijn van WoerkomTitle: Modelling the Visual Number Sense Using a Deep Generative Neural NetworkDate & Time: Tuesday 29 March 2016, 16:00-17:00Location: Room F3.20, Science Park 107, AmsterdamSupervisor: Willem Zuidema
The title of my research, and my talk, is "Modelling the Visual Number Sense Using a Deep Generative Neural Network". For my research project I have replicated a study done in 2012 by Stoianov and Zorzi: "Emergence of a 'visual number sense' in hierarchical generative models"(http://cognitrn.psych.indiana.edu/rgoldsto/courses/cogscilearning/). The authors trained two stacked Restricted Boltzmann Machines on reproducing simple binary images containing varying numbers of rectangular objects. After training, this model was able to sustain numerosity estimation by linear classifiers fed with its output. I have not been able to replicate all their results, and offer the likely causes for this.For more information, please contact rgalhama at uva.nl
24 March 2016, Spinoza Lecture, Jonathan LearSpeaker: Jonathan LearTitle: The Unconscious and the Meaning of LifeDate & Time: Thursday 24 March 2016, 20:15-22:00Location: Oude Lutherse Kerk, Singel 411, Amsterdam
For more information, see http://www.uva.nl/en/news-events/events/events-calendar/item/
22 March 2016, Workshop on Logical Dynamics of Social Influence and Information ChangeDate & Time: Tuesday 22 March 2016, 14:00-18:00Location: OMHP Room C1.23, Oudemanhuispoort 4-6, AmsterdamCosts: free
The workshop will address a number of new developments in which formal methods are used to model phenomena that play a central role in epistemic-social contexts. In particular we focus on modeling agents' epistemic and doxastic attitudes, the change of such attitudes as well as their communication-based interactions.
The following two themes will receive special attention: The first theme refers to the concept of social influence. In this context we use logic to model the spread of opinions, the exchange of information and the distribution of behavior in a social network. The second theme refers to the logical mechanism of information change as triggered by events, such as e.g. observations, communication as well as steps of logical inference.
The workshop is associated with the PhD defence of Zoé Christoff. Speakers will include Johan van Benthem, Jan van Eijck, Davide Grossi, Fenrong Liu, Olivier Roy, Frank Veltman and Zoé Christoff.
For more information, see https://ldsiic.wordpress.com/
22 March 2016, Cross-linguistic semantics (XLSX) colloquium, Matthias Passer (ACLC)Speaker: Matthias Passer (ACLC)Title: The Semanticity of Nominal Classification Devices: Introducing a Quantificational AccountDate & Time: Tuesday 22 March 2016, 14:00-15:30Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
Abstract and directions are available from the new cross-linguistic semantics website at https://sites.google.com/site/crosslinguisticsemanticsxlsx/home/future-events. For more information, contact Maria Aloni at m.d.aloni at uva.nl
18 March 2016, SMART Cognitive Science Lecture, Niels TaatgenSpeaker: Niels Taatgen (Groningen)Title: The Distracted MindDate & Time: Friday 18 March 2016, 16:00-17:30Location: OMHP room F0.01, Oudemanhuispoort 4-6, Amsterdam
18 March 2016, Logic and Interactive Rationality (LIRa), Yves BouchardSpeaker: Yves Bouchard (Sherbrooke)Title: Logic and Epistemic Contexts.Date & Time: Friday 18 March 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
17 March 2016, Colloquium on Mathematical Logic, Matteo AcclavioSpeaker: Matteo AcclavioTitle: A proof of coherence for symmetric monoidal categories using rewritingDate & Time: Thursday 17 March 2016, 15:30-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).
16 March 2016, Algebra|Coalgebra Seminar, Mohamed Khaled (Central European University, Budapest)Speaker: Mohamed Khaled (Central European University, Budapest)Title: Investigations on Gödel's incompleteness properties for guarded fragment and other decidable versions of FOLDate & Time: Wednesday 16 March 2016, 13:30-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
14 March 2016, AUC Logic Lectures, Sonja SmetsSpeaker: Sonja SmetsTitle: Quantum Logic in ActionDate & Time: Monday 14 March 2016, 18:00-19:00Location: AUC common room, Science Park 113, Amsterdam
Abstract: In this presentation I address the old question on whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. My answer to this question is "no". The argument is based on insights from the recently-developed setting of Dynamic Quantum Logic in which we can explicitly refer to the operational meaning of quantum-mechanical concepts. I use this setting to show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. This allows me to argue for the fact that there is no contradiction between classical logic and (the dynamic reinterpretation of) quantum logic. Overall, in this talk I show how logic can handle informational processes such as observations and measurements of quantum systems and I highlight the basic logical principles that are needed to reason about quantum physical processes.
For more information, contact t.achourioti at uva.nl
11 March 2016, Cool Logic, Bastiaan van der WeijSpeaker: Bastiaan van der WeijTitle: Musical metre perception and predictive codingDate & Time: Friday 11 March 2016, 17:30-18:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
11 March 2016, DIP Colloquium, Otávio BuenoSpeaker: Otávio Bueno (Miami)Title: Identity's Fundamentality, Once AgainDate & Time: Friday 11 March 2016, 16:00-17:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
11 March 2016, Logic and Interactive Rationality (LIRa), Jan van EijckSpeaker: Jan van Eijck (ILLC/CWI)Title: Modelling Legal RelationsDate & Time: Friday 11 March 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
10 March 2016, Spinoza Lecture, Jonathan LearSpeaker: Jonathan LearTitle: Ironic AnthroposDate & Time: Thursday 10 March 2016, 20:15-22:00Location: Oude Lutherse Kerk, Singel 411, Amsterdam
For more information, see http://www.uva.nl/en/news-events/events/events-calendar/item/
10 March 2016, APES - Philosophy of Science Seminar, Ida StamhuisSpeaker: Ida Stamhuis (VU)Title: What Use is it in the Long Run to Resist Something that is Bound to Happen Anyway? Statistics at the Basis of 19th Century PoliticsDate & Time: Thursday 10 March 2016, 16:00-18:00Location: Facultyroom 1.17, Oude Turfmarkt 147, Amsterdam
9 March 2016, Algebra|Coalgebra Seminar, Almudena Colacito (ILLC)Speaker: Almudena Colacito (ILLC)Title: Subminimal Logics of NegationDate & Time: Wednesday 9 March 2016, 16:00-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
4 March 2016, Logic and Interactive Rationality (LIRa), Chenwei ShiSpeaker: Chenwei Shi (ILLC)Title: Beliefs Supported by ArgumentsDate & Time: Friday 4 March 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
1 March 2016, Logic Tea, Ellen BreitholtzSpeaker: Ellen BreitholtzTitle: Enthymemes in Dialogue - a micro-rhetorical perspective on conversationDate & Time: Tuesday 1 March 2016, 17:00-18:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
26 February 2016, Cool Logic, Jonathan SippelSpeaker: Jonathan SippelTitle: The Impossibility of Scientific theories (and how we know things all the same)Date & Time: Friday 26 February 2016, 17:30-18:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
26 February 2016, SMART Cognitive Science Lecture, Eugune S. HunnSpeaker: Eugune S. Hunn (University of Washington)Title: Ethnobiological Classification and Nomenclature: Cognitive aspects of an anthropological research programDate & Time: Friday 26 February 2016, 16:00-17:30Location: OMHP Room F0.01, Oudemanhuispoort 4-6, Amsterdam
For more information, see http://smartcs.humanities.uva.nl/news/
26 February 2016, Music Cognition Reading Group, Kjetil VikeneSpeaker: Kjetil Vikene (University of Bergen)Title: Perception of complexity in musical rhythm in Parkinson's disease and healthy subjectsDate & Time: Friday 26 February 2016, 15:00-16:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
For more information, see https://musicreadinggroup.wordpress.com/
26 February 2016, Logic and Interactive Rationality (LIRa), Jan BroersenSpeaker: Jan Broersen (Utrecht)Title: Agents Necessitating Effects in Newtonian Time and Space: from Power and Opportunity to EffectivityDate & Time: Friday 26 February 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
24 February 2016, Algebra|Coalgebra Seminar, Fateme Shirmohammadzade MalekiSpeaker: Fateme Shirmohammadzade Maleki (Shahid Beheshti University,
Tehran and ILLC)Title: Weak Subintuitionistic LogicDate & Time: Wednesday 24 February 2016, 16:00-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
19 February 2016, CLClab SeminarTitle: Dehaene et al. (2015) The Neural Representation of Sequences: From Transition Probabilities to Algebraic Patterns and Linguistic TreesDate & Time: Friday 19 February 2016, 17:00Location: Postdoc Room (F2.02), Science Park 107, Amsterdam
19 February 2016, DIP Colloquium, Emanuel RuttenSpeaker: Emanuel Rutten (VU Amsterdam)Title: There are No Positive Universally Held Contingent PropertiesDate & Time: Friday 19 February 2016, 16:00-17:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
18 February 18 2016, In pictures: from quantum foundations to natural language meaning (this talk requires no background in physics, nor in linguistics, nor in fancy math!), Bob CoeckeSpeaker: Bob Coecke (Oxford)Date & Time: Thursday 18 February 18 2016, 12:00-14:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
17 February 2016, Bèta BreakTitle: Bèta Break dedicated to L.E.J. BrouwerDate & Time: Wednesday 17 February 2016, 12:00-13:00Location: Central hall, Science Park 904, Amsterdam
On 17 February the Bèta Break will honour a hero issued from the UvA history: L.E.J. Brouwer, one of the most outstanding mathematicians in the Netherlands.
Brouwers ideas were the basis for topology and his ideas about the foundation of mathematics diametrically opposed to those of his established contemporaries.This contrarian attitude not only touched the area of the logics; also in his daily life he revolted by living 'avant la lettre' as a hippy in a cabin in Blaricum, which was an artistic village at the time.
His life and the influence of his mathematical work until today will be discussed with:
Prof. dr. Jan van Mill, topologist
Prof.dr. Dirk, van Dalen, biographer of Brouwer's life
Hans Ree, grandmaster in chess and columnist
Prof.dr. Wim Veldman, intuitionist
12 February 2016, Cool Logic, Lucy van OostveenSpeaker: Lucy van OostveenTitle: Computational models of emotion regulationDate & Time: Friday 12 February 2016, 17:30-18:30Location: ILLC Seminar Room (F1.15), Science Park 107, AmsterdamTarget audience: MSc Logic and PhD candidates
12 February 2016, LogiCIC/LIRa Seminar, Rahim RamezanianSpeaker: Rahim RamezanianTitle: Epistemic Protocols for Dynamic GossipDate & Time: Friday 12 February 2016, 13:00-14:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
9 February 2016, Computational Linguistics SeminarTitle: Ding et al. (2015): Cortical tracking of hierarchical linguistic structures in connected speechDate & Time: Tuesday 9 February 2016, 16:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
9 February 2016, FGw Information meeting ERC Advanced grantDate & Time: Tuesday 9 February 2016, 15:00-16:30Location: PC Hoofthuis room 5.19 , Spuistraat 134, Amsterdam
On 9 February we will start our support track for the ERC Advanced grant with an information meeting. The ERC advanced grant is open to all experienced researchers who are leaders in their field.
9 February 2016, FGw Information meeting NWO Free CompetitionDate & Time: Tuesday 9 February 2016, 13:00-14:30Location: Bungehuis Room 0.04, Spuistraat 210, Amsterdam
NWO will soon open the call for the Vrije Competitie-grant ('Free competition'); the deadline for grant applications is (tentatively) scheduled for 1 April 2016. The grant team has scheduled an information meeting where members of the grant team will provide basic information on the grant and on setting the budget; we will invite a former laureate to talk about 'best practices' and a former comittee member to talk about his/her experiences reviewing grant applications.
Please send us an e-mail if you are planning to attend this meeting at subsidie-fgw at uva.nl. For more NWO-information on the Free Competition-grant, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/free-competition/gw/ (note that this information has not yet been brought up-to-date)
5 February 2016, Logic and Interactive Rationality (LIRa), Fan YangSpeaker: Fan Yang (TU Delft)Title: Dependence Logic and Arrowâ€™s TheoremDate & Time: Friday 5 February 2016, 13:00-14:30Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
29 January 2016, Cool Logic, Bartosz WcisłoSpeaker: Bartosz WcisłoTitle: Measuring the Content of TruthDate & Time: Friday 29 January 2016, 17:30-18:30Location: ILLC Seminar Room (F1.15), Science Park 107, AmsterdamTarget audience: MSc Logic and PhD candidates
29 January 2016, Amsterdam Brain & Cognition (ABC) Lecture, Steve FlemingSpeaker: Steve Fleming (UCL)Title: The reflective mind: computations supporting metacognitive awarenessDate & Time: Friday 29 January 2016, 16:00Location: Room 5.01, Diamantbeurs, Weesperplein 4, Amsterdam
For more information, see http://abc.uva.nl/events/item/abc-colloquium-steve-fleming.html
29 January 2016, SMART Cognitive Science Debate on Defining CognitionDate & Time: Friday 29 January 2016, 16:00-17:30Location: OMHP Room F2.01C, Oudemanhuispoort 4-6, Amsterdam
Friday, January 29th, there will be a SMART Cognitive Science debate on "Defining Cognition" with Jelle Zuidema, Fred Weerman, Jeannette Schaeffer, Rens Bod, Juilan Kiverstein and Patricia Pisters, followed by drinks and snacks.
For more information, see http://smartcs.humanities.uva.nl/news/debate-on-defining-cognition/
27 January 2016, Algebra|Coalgebra Seminar, Silvio Ghilardi (Università degli Studi di Milano)Speaker: Silvio Ghilardi (Università degli Studi di Milano)Title: Monadic second order logic as the model companion of temporal logiciDate & Time: Wednesday 27 January 2016, 16:00-17:00Location: Room F1.15, ILLC, Science Park 107, Amsterdam
22 January 2016, Music Cognition Reading GroupTitle: Patel and IversenDate & Time: Friday 22 January 2016, 15:00-16:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
In this meeting will discuss the paper: The evolutionary neuroscience of musical beat perception: the Action Simulation for Auditory Prediction (ASAP) hypothesis.
For more information, see https://musicreadinggroup.wordpress.com/
21 January 2016, LogiCIC/LIRa Seminar, Theo KuipersSpeaker: Theo Kuipers (Groningen)Title: Concretizations of two-sided nomic truth approximation: quantification, refinement, and stratificationDate & Time: Thursday 21 January 2016, 16:00-17:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
15 January 2016, ILLC Midwinter Colloquium 2016, ILLC Common room, Science Park 107, AmsterdamDate: Friday 15 January 2016Location: ILLC Common room, Science Park 107, Amsterdam
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
Note that it was previously announced that this event was going to take place on 8 January 2016.
For more information, see http://www.illc.uva.nl/ILLCColloquium/
Calls for Paper
23-29 July 2017, Symposium on History and Philosophy of Computing (HaPoC symposium @ICHST), Rio de Janeiro, BrazilDate: 23-29 July 2017Location: Rio de Janeiro, BrazilDeadline: 15 April 2016
We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.
The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.
For more information, see http://hapoc.org/node/176.
We cordially invite all colleagues to submit a proposal to this symposium. The present Call for Contributions is an opportunity to evaluate papers related to the theme 'The Ubiquity of Computing: historical and philosophical issues; to include them into the Proposal to be submitted to the ICHST. Contributions from the most diverse areas of knowledge and professional practices are welcome. For this symposium, contributions should present different dimensions of the history and philosophy of computing, with arguments and propositions based on testimonials, documented sources, references, and discussion of related bibliography. Deadline for submission: 15 April 2016.
17-28 July 2017, 29th European Summer School in Logic, Language and Information (ESSLLI 2017), Toulouse, FranceDate: 17-28 July 2017Location: Toulouse, FranceDeadline: 15 July 2016
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.
For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.
Proposals for courses and workshops at ESSLLI 2017 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses. Proposal submission deadline (extended): 15 July 2016.
8 - 11 March 2017, Theoretical Aspects of Computer Science (STACS 2017), Hannover, GermanyDate: 8 - 11 March 2017Location: Hannover, GermanyDeadline: Sunday 25 September 2016
The conference includes talks by invited speakers Artur Jez (Wroclaw, Poland), Antoine Joux (Paris) and Till Tantau (Lübeck, Germany), and a tutorial by Juha Kontinen (Helsinki, Finland).
Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Submission deadline: Sep 25, 2016.For more information, see stacs2017.thi.uni-hannover.de.
8-11 March 2017, 34th International Symposium on Theoretical Aspects of Computer Science (STACS 2017), Hannover, GermanyDate: 8-11 March 2017Location: Hannover, GermanyDeadline: 25 September 2016
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. Typical topics of the conference include algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, and current challenges.
Further details are available on the conference website https://stacs2017.thi.uni-hannover.de.
Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Submission deadline: Sep 25, 2016.
6 - 10 March 2017, Language and Automata Theory and Applications (LATA 2017), Umea, SwedenDate: 6 - 10 March 2017Location: Umea, SwedenDeadline: Friday 21 October 2016
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research.
Deadline for paper submission: October 21, 2016 (closing at 23:59h, CET).For more information, see grammars.grlmc.com/LATA2017.
28 - 29 January 2017, 10th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, U.K.Date: 28 - 29 January 2017Location: Cambridge, U.K.Deadline: Friday 21 October 2016
Our keynote speakers for the conference are Prof Patricia Blanchette (Notre Dame) and Prof Ian Rumfitt (Oxford).
We invite papers from graduate students or those who have recently completed their PhD on any topic in the Philosophy of Mathematics or Logic, broadly construed. The deadline for submission of papers is the 21st October 2016.
(Updated) 16 - 17 January 2017, The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Paris, FranceDate: 16 - 17 January 2017Location: Paris, FranceDeadline: Wednesday 5 October 2016
CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.
We welcome submissions in research areas related to formal certification of programs and proofs. Abstracts must be submitted by October 5, 2016 (AOE). The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops.For more information, see cpp2017.mpi-sws.org.
(Updated) 9 - 12 January 2017, Model Theory: Philosophy, Mathematics, and Language, Munich, GermanyDate: 9 - 12 January 2017Location: Munich, GermanyDeadline: Saturday 15 October 2016
Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit.
We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory?
We invite the submission of abstracts, suitable for a 45 minute talk, on topics related to any aspects of model theory. We encourage submissions from early-career researchers and PhD students. Submission deadline: 15 October, 2016.
8-10 January 2017, 9th Methods for Modalities Workshop (M4M-9), IIT Kanpur, IndiaDate: 8-10 January 2017Location: IIT Kanpur, IndiaDeadline: 2 September 2016
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc.
M4M resumes after a short break, but will continue to be an important avenue for discussions of research in modal logics, especially on proof methods and decision procedures, and linkages of modal formalisms to computer science. In M4M-9 we hope to have a substantial part of the meeting devoted to tutorial lectures to increase the instructional content of the event. M4M-9 will be co-located with the Indian Conference on Logic and its Applications (ICLA) to be held during January 5-7, 2017.
Authors are invited to submit papers presenting original and unpublished research in proof methods, verification methods, algorithms and tools based on modal logics. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. Submission deadline: September 2, 2016.
5-7 January 2017, 7th Indian Conference on Logic and its Applications (ICLA 2017), Kanpur, IndiaDate: 5-7 January 2017Location: Kanpur, IndiaDeadline: 12 August 2016
ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.
Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome. Deadline for Submission: 12 August 2016.
16-18 December 2016, Workshop "Situations, Information, and Semantic Content", Muenchen, GermanyDate: 16-18 December 2016Location: Muenchen, GermanyDeadline: 29 May 2016
The semantic content of natural language is multiply *situated*: Whether an utterance receives one interpretation or another depends on the *discourse situation* (in which the utterance takes place), on the *target situation* (which is described by the utterance), and on the interpreting agents' *informational situation* (which also contains the agents' background knowledge). Over the past decades, work on extralinguistic context-dependence has focused on discourse situations and target situations, and has paid less attention to the dependence of interpretation on the agents' informational situation. However, this kind of information-dependence plays a crucial role in the explanation of a number of semantic phenomena, including the behavior of epistemic/deontic modals and propositional attitude-sentences. Recent research in situated cognition has suggested an even more general scope of semantic information-dependence. The latter assumes that cognition (and therefore, *all* linguistic understanding) is fundamentally embedded in the situational context of the cognition.
This workshop aims to bring together linguists, philosophers, logicians, and cognitive and computer scientists to discuss the information-dependence of the semantic content of natural language. It covers all aspects of the interaction between situations, information, and semantic content - both theoretical and experimental.
For more information, see http://www.situatedcontent2016.philosophie.uni-muenchen.de/ or email Kristina Liefke at SituatedContent2016 at lrz.uni-muenchen.de.
We invite submissions of extended abstracts for talks (for 30+10-minute presentations) or posters on any aspect of semantic information-dependence. Submission deadline: May 29, 2016
12-14 December 2016, 5th International Conference on the Theory and Practice of Natural Computing (TPNC 2016), Sendai, JapanDate: 12-14 December 2016Location: Sendai, JapanDeadline: 26 July 2016
TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Paper submission deadkube: July 26, 2016 (23:59h, CET).
(Updated) 12 December 2016, Cognitive Aspects of the Lexicon (CogALex V), Osaka, JapanDate: Monday 12 December 2016Location: Osaka, JapanDeadline: Sunday 25 September 2016
The goal of COGALEX is to provide a forum for researchers in NLP, psychologists, computational lexicographers and users of lexical resources to share their knowledge and needs concerning the construction, organization and use of a lexicon by people (lexical access) and machines (NLP, IR, data-mining).
This workshop is about possible enhancements of lexical resources and electronic dictionaries, as well as on any aspect relevant to the achieve a better understanding of the mental lexicon and semantic memory. Chris Biemann, well known among other things for his work on graph-based NLP, has kindly accepted to give the invited talk. Like in the past (2004, 2008, 2010, 2012 and 2014), we will invite researchers to address various unsolved problems, by putting this time stronger emphasis though on distributional semantics (DS). Indeed, we would like to see work showing the relevance of DS as a cognitive model of the lexicon.
We solicit contributions including but not limited to the following topics: (computational, corpus) linguistics, neuro- or psycholinguistics (tip of the tongue problem, associations), network related sciences (sociology, economy, biology), mathematics (vector-based approaches, graph theory, small-world problem), etc. Submission deadline for papers: September 25.
We also plan to organize a 'friendly competition' for corpus-based models of lexical networks and navigation, using training and test data provided by the organizers. Deadline to express interest: September 26th.
11-16 December 2016, The 26th International Conference on Computational Linguistics (COLING 2016), Osaka, JapanDate: 11-16 December 2016Location: Osaka, JapanDeadline: 26 August 2016
The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.
For more information, see http://coling2016.anlp.jp/
The COLING 2016 Demonstration Program Committee invites proposals for system demonstrations. The demonstration program is part of the main conference program and aims at showcasing working systems that apply a wide range of conference topics. The session will provide opportunities to exchange ideas gained from implementing NLP systems, and to obtain feedback from expert users. Paper submission deadline: August 26,2016.
Your are also invited to contribute submissions to any of the workshops at COLING.
11 December 2016, Sixth Workshop on Hybrid Approaches to Translation (HyTra-6), Osaka, JapanDate: 11 December 2016Location: Osaka, JapanDeadline: 25 September 2016
Nowadays, there are more paradigms competing in machine translation including statistical (phrase-based, hierarchical and syntax-based), neural-based and rule-based. Each of them has their own advantages and disadvantages which make it worth the research on hybridization, integration and/or combination of approaches. Given that academic and industry perspectives may differ on the opinion of which are the most suitable paradigms, HyTra gives a strong relevance to the participation of both in the workshop. The fact that machine translation is a highly interdisciplinary field (including engineers, computer scientists, mathematicians, translators, linguists?), specially in the research of hybridization, enriches the workshop in its discussions, proceedings, invited talks and, even, in one contributed volume published by Springer.
In this edition, HyTRA (in conjunction with COLING 2016) will specially focus on motivating the cooperation and interaction between the different human components, as well as to foster innovation and creativity in the Hybrid Machine Translation research community. That is why we encourage the participation of the different integrating fields (engineers, computer scientists, mathematicians, translators, linguists either from academy or industry) to contribute to our special call of shared task proposals.
HyTra-6 intends to invite work contributions on integrating any type of data-driven and linguistic-based machine translation approaches. Additionally we sollicit proposals for shared tasks relevant to hybrid translation with the potential to be conducted in future editions of the HyTra workshop series. We particularly welcome proposals which motivate the MT industry to participate. Deadline for Paper submission:* September 25th, 2016.
5-7 December 2016, 20th International Conference on Logical Aspects of Computational Linguistics (LACL 2016), Nancy, FranceDate: 5-7 December 2016Location: Nancy, FranceDeadline: 3 July 2016
The scope of this conference is the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax, semantics and pragmatics as well as the implementation of natural language processing software relying on logical formalisation. As 20 years ago LACL will also take place at Loria in Nancy.
For more information, see http://lacl.gforge.inria.fr/
Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition. Paper submission deadline (extended): July 3, 2016
1-2 December 2016, Workshop "Argument Strength", Bochum, GermanyDate: 1-2 December 2016Location: Bochum, GermanyDeadline: 1 August 2016
Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.
For more information, see http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/
Authors are invited to submit an abstract (500-1000 words) related to the above or any other questions on the topic of argument strength to argumentstrength2016 at gmail.com by August 1, 2016.
28 November - 1 December 2016, 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2016), Genova, ItalyDate: 28 November - 1 December 2016Location: Genova, ItalyDeadline: 8 September 2016
Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.
Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development.
Authors are invited to submit either original (full or short) papers, or papers that appear on conference proceedings. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. Paper submission deadline: September 8th, 2016.
28 November - 1 December 2016, 15th Conference of the Italian Association for AI (AI*IA 2016), Genova, ItalyDate: 28 November - 1 December 2016Location: Genova, ItalyDeadline: 12 June 2016
AI*IA 2016 covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program.
The conference is organized by the Italian Association for Artificial Intelligence (AIIA), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field.
For more information see http://www.aixia2016.unige.it/
Contributions are invited on original, and unpublished research on all aspects of artificial intelligence. Abstract submission deadline is 12 June 2016.
(Updated) 28 - 29 November 2016, Workshop on Coalgebra, Horn Clause Logic Programming and Types, Edinburgh, ScotlandDate: 28 - 29 November 2016Location: Edinburgh, ScotlandDeadline: Saturday 15 October 2016
The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:
Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming
Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond
We invite all colleagues working in related areas to present and share their results. We envisage a friendly meeting with many stimulating discussions, and therefore welcome presentations of already published research as well as novel results. Authors of original contributions will be invited to submit their papers to EPTCS post-proceedings. We especially encourage early career researchers to present and participate. Extended Abstract Submission deadline: 15 October, 2016.For more information, see ff32.host.cs.st-andrews.ac.uk/lpti16.
(Updated) 23 - 25 November 2016, 5th Workshop on Philosophical Logic, Buenos Aires, ArgentinaDate: 23 - 25 November 2016Location: Buenos Aires, ArgentinaDeadline: Sunday 25 September 2016
The fifth edition in this series of workshops organized by the Buenos Aires Logic Group aims to discuss different topics in Philosophical Logic, such as paradoxes, theories of truth and non-classical logics.
Confirmed invited speakers: Roy Cook (University of Minnesota), Hitoshi Omori (Kyoto University), Dave Ripley (University of Connecticut) and Zach Weber (University of Otago).
The Buenos Aires Logic Group (BALG) invites researchers and scholars in philosophical logic to submit a paper for the workshop. Deadline for reception of submissions: September 25.
(Updated) 12 - 13 November 2016, 17th Annual Midwest PhilMath Workshop (MWPMW 17), Notre Dame IN, U.S.A.Date: 12 - 13 November 2016Location: Notre Dame IN, U.S.A.Deadline: Sunday 18 September 2016
As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. Also as usual, there will be a workshop lunch and a workshop dinner on Saturday, with all participants invited to attend as guests of the university.
We're pleased to announce that we will be having featured talks by Pr. Lydia Patton (Philosophy, Virginia Tech U) and Pr. Michael Rathjen (Mathematics, U of Leeds). Pr. Rathjen will be speaking on ?On Feferman?s Second Conjecture". Pr. Patton will be giving a talk titled "Fishbones, Wheels, Eyes, and Butterflies: Is There a Unified Account of Mathematical and Physical Modeling??.
If you're interested in giving a talk, please email a pdf of your talk or a substantial summary to Paddy (pblanche at nd.edu), Tim (tbays at nd.edu), Curtis ( cfranks at nd.edu) and me (mdetlef1 at nd.edu). We would like to have all proposals for talks by September 18th so that we can set the program by late September. Talks should be 35--40 minutes in length, with 15--20 minutes left for discussion.For more information, see mdetlefsen.nd.edu/midwest-philmath-workshop/mwpmw-17 or contact lroberts at nd.edu.
11-15 November 2016, 5th World Congress on the Square of Opposition, Easter Island - Rapa NuiDate: 11-15 November 2016Location: Easter Island - Rapa NuiDeadline: 1 April 2016
This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.
To submit a contribution send a one page abstract before April 1st, 2016. All talks related to the square of oppostion are welcome, as well as Diagrammatic and Artistic works related to the square of oppposition..
9-11 November 2016, 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Larnaca, CyprusDate: 9-11 November 2016Location: Larnaca, CyprusDeadline: 23 July 2016
The European Conference on Logics in Artificial Intelligence (or, Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) 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 organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. 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 biennial forum for the discussion of logic-based approaches to artificial intelligence.
The aim of JELIA 2016 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.cyprusconferences.org/jelia2016/
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. There are two categories for submissions: Regular papers and System descriptions. This year's conference will include a Special Track on "Logic in AI and Cognition", focusing on the use of logics that seek to describe (not prescribe) human cognition, and that can be used for the design of systems that learn, reason, and interact with humans in a natural manner. Abstract submission deadline: June 23, 2016.
3-5 November 2016, Eighth French Philosophy of Mathematics Workshop (FPMW 8), Marseille, FranceDate: 3-5 November 2016Location: Marseille, FranceDeadline: 15 May 2016
The Eighth French Philosophy of Mathematics Workshop is the eighth edition of a yearly conference in Philosophy of Mathematics organized by a group of French and International researchers, both philosophers and mathematicians, and sponsored by a Research Group on Philosophy of mathematics (GDR 3719 ) funded by the French National Center for Scientific Research (CNRS). This research group has the objective of promoting and federating French researches in philosophy of mathematics.
The forthcoming workshop will be held at the Center for Comparative Epistemology and Ergology (CEPERC) at the University of Aix-Marseille. It will consist, as the previous workshops, in a three-day meeting, and will feature both invited and contributed talks.
Submissions of papers in any topic of philosophy of mathematics are welcome. The languages of the workshop are French and English. Younger scholars and graduate students working on their dissertations are encouraged to submit, as the workshop will provide them with an opportunity to discuss their work with internationally renowned experts in the field. Deadline for submission: May 15, 2016.
27-28 October 2016, Third Workshop on Logic, Reasoning, and Rationality (LRR 2016): Agency & Causation, Gent, BelgiumDate: 27-28 October 2016Location: Gent, BelgiumDeadline: 17 June 2016
The aim of this workshop is to further stimulate the synergy between, on the one hand, ongoing work that concerns the logic and philosophy of human (intentional) agency, and on the other, conceptual and formal work on causation and causal reasoning. Although this means the workshop covers a very broad range of possible topics, we particularly welcome talks in which both (intentional) agency and causation, and their logical and conceptual interrelations, get a fair share.
Keynote speakers: Jan Broersen (University of Utrecht, Netherlands), Agnes Moors (Catholic University of Leuven, Belgium), Elisabeth Pacherie (Institut Jean Nicod, France)
For more information, see http://www.lrr.ugent.be/ac/
Authors are invited to submit an original, previously unpublished abstract of 300 to 500 words, on any of the workshop topics. Abstract submission deadline: Friday 17th June 2016.
24-31 October 2016, 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016), Taipei, TaiwanDate: 24-31 October 2016Location: Taipei, TaiwanDeadline: 16 May 2016
Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.
Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.
For more information, see http://cc.ee.ntu.edu.tw/~ictac2016
We call for submissions, related to the above areas and topics, according to the following three categories:
* Regular papers, with original research contributions;
* Short papers, on recent work or proposals of emerging challenges;
* Tool papers, on tools that support formal techniques for software modeling, system design and verification.
Final paper submission deadline: 16 May, 2016.
22 - 23 October 2016, International Conference on Peirce's Logic and Philosophy, Guizhou Minzu University, Guiyang, ChinaDate: 22 - 23 October 2016Location: Guiyang, ChinaDeadline: Sunday 11 September 2016
The conference promotes the study of C. S. Peirce's logic and philosophy in China by international and Chinese scholars.
Contributions are invited, but not limited, on the following topics: - Peirce's logic - Peirce's philosophy - Pragmati(ci)sm - Pragmatist philosophy of science - History of Modern Logic - Philosophy of Logic - Mathematical Logic - Modal Logic - Diagrammatic Logic. Send your extended abstracts by 11 September.For more information, see peircesociety.org/files/Workshop_on_Peirce-Guiyang-2016.PDF.
(Updated) 21 - 22 October 2016, Agent-based modelling across social science, economics, and philosophy, Bamberg, GermanyDate: 21 - 22 October 2016Location: Bamberg, GermanyDeadline: Wednesday 31 August 2016
Agent-based models (ABM) are a recent tool in philosophy and the social sciences. To date, ABMs have been applied to a wide variety of topics ranging from simulating ecological systems to highly idealized models of opinion dynamics or emerging social norms. This workshop aims to bring together different approaches to ABM in philosophy and the social sciences. The objective is to represent the wide spectrum of applications of ABM and encourage exchange between various approaches. A further objective is to foster discussion about the nature of ABMs and the opportunities and potential pitfalls of their use in these disciplines.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadlie for submission: August 31st.For more information, see easychair.org/conferences.
20-21 October 2016, International Workshop 'The Bounds of Logic Reloaded', Moscow, RussiaDate: 20-21 October 2016Location: Moscow, RussiaDeadline: 1 June 2016
The conference features talks by invited speakers Catarina Dutilh Novaes (Groningen) and Stephen Read (St Andrews).
It will also include submitted talks on the following topics: - the bounds of logic and the bounds of rationality
- criteria of formality, logical hylomorphism, the invariance under isomorphism as a criterion of formality
- psychologism and anti-psychologism
- limits of classical logic, logical monism and logical pluralism, universal logic
- logic as a theory of agency, ideal and non-ideal logical agents
- logic as metaphysics, the connection between epistemic logic and epistemology
- Wittgenstein and the limits of logic
- logical form and linguistic form, the problem of ontological commitment
The Programme Committee cordially invites all researchers to submit their papers for presentation. Authors are asked to submit an abstract up to 1000 words. Submission deadline is 1 June 2016.
17-19 October 2016, 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), Kungens Lyngby, DenmarkDate: 17-19 October 2016Location: Kungens Lyngby, DenmarkDeadline: 20 June 2016
TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.
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. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. Full papers due: June 20th, 2016.
12-14 October 2016, Foundations of Mathematical Structuralism, Munich, GermanyDate: 12-14 October 2016Location: Munich, GermanyDeadline: 30 June 2016
The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternatives, such as combining category-theoretic structural methods with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.
The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice.
We invite the submission of abstracts on topics related to mathematical structuralism for presentation at the conference. We will select up to five submissions for presentation at the conference. Submission deadline: 30 June, 2016.For more information, see www.mathematicalstructuralism2016.philosophie.uni-muenchen.de or contact mathematicalstructuralism2016 at lrz.uni-muenchen.de.
11-13 October 2016, 4th International Conference on Statistical Language and Speech Processing (SLSP 2016), Pilsen, Czech RepublicDate: 11-13 October 2016Location: Pilsen, Czech RepublicDeadline: 17 May 2016
SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Paper submission deadline: May 17, 2016 (23:59 CET)
5-6 October 2016, Workshop on Logical Constants, Munich, GermanyDate: 5-6 October 2016Location: Munich, GermanyDeadline: 25 July 2016
The two traditions defining contemporary thought on the topic of logicality are the proof theoretic and the semantic traditions. The difference is not merely the different mathematical tools they employ in studying logical consequence: there are deep philosophical questions involved, having to do with the relation between language, meaning and truth. The aim of this workshop is to promote a dialogue between people working in these two traditions, for the benefit of both, and with the hope of gaining a wide perspective on the issues concerned with logicality.
For more information, see here.
We invite contributions, suitable for a 45 minute talk addressing one or more of the conference questions or related issues. We encourage submissions from early-career researchers and PhD students. Deadline for submissions: July 25th, 2016.
4-6 October 2016, Interdisciplinary Workshop "Rational animals?", Bochum, GermanyDate: 4-6 October 2016Location: Bochum, GermanyDeadline: 20 July 2016
Ruhr-University Bochum is hosting the interdisciplinary workshop "Rational animals? Comparing human and animal minds from an interdisciplinary perspective". The workshop will offer three keynote lectures and will be organized in four symposia, each tackling one core aspect of comparative cognition research from both philosophical and empirical perspective.
The four symposia are
a) cultural evolution & social learning,
b) causal understanding and means-end reasoning,
c) theory of mind, and
d) the anthropological difference.
For more information, see http://www.rub.de/philosophy/rationalanimals
In addition to the invited symposia and keynote lectures we reserved a limited number of slots for paper presentations and a poster session for which we invite submissions on any topic related to animal rationality (empirical or philosophical). The new deadline for submissions is July 20th 2016.
26-30 September 2016, 39th German Conference on Artificial Intelligence (KI 2016), Klagenfurt, AustriaDate: 26-30 September 2016Location: Klagenfurt, AustriaDeadline: 13 May 2016
KI 2016 is the 39th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2016 will comprise paper and poster presentations and a variety of workshops and tutorials.
KI 2016 is co-located with Informatik 2016 (Annual Conference of the German Informatics Society) and MATES 2016 (The 14th German Conference on Multi-Agent System Technologies).
For more information, see http://ki2016.org/
The conference invites original research papers from all areas of AI research, both full technical papers and short technical communications. We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. Paper submission deadline: May 13, 2016.
KI 2016 also invites proposals for workshops to be held in conjunction with the conference. There is no restriction regarding topics, as long as there is a clear relevance to KI. Proposal submission deadline: January 29, 2016.
23-24 September 2016, Truth: Deflationism & Beyond, Alghero, ItalyDate: 23-24 September 2016Location: Alghero, ItalyDeadline: 3 July 2016
The last thirty years have witnessed a veritable explosion of the philosophical debate on truth. The touchpaper which lit the fuse for this was undoubtedly the Deflationist Renaissance (half a century after the seminal work of Ramsey) that took place starting from the Seventies. By arguing on the merits and shortcomings of deflationism, philosophers have come to broaden and deepen the discussion on truth even beyond the boundaries of deflationism itself.
The aim of the conference is to bring together researchers working on truth, both advocates and critics of deflationary conceptions, in order to take stock of deflationism about truth and of its implications in fields such as metaphysics, logics, epistemology, meta-ethics.
We invite submissions of abstracts aiming at evaluating in some respect deflationary conceptions of truth. 7 slots are open for submitted papers. Submissions must be received by July 3rd, 2016.
21-23 September 2016, 10th International Conference on Scalable Uncertainty Management (SUM 2016), Nice, FranceDate: 21-23 September 2016Location: Nice, FranceDeadline: 22 May 2016
The conference will bring together researchers who are working with imperfect information in fields such as artificial intelligence, databases, data mining, information retrieval, and risk analysis with the aim of fostering collaboration and cross-fertilization of ideas from different communities.
For more information, see http://sum2016.unice.fr/.
We solicit papers on the management of large amounts or complex kinds of uncertain, incomplete, or inconsistent information. We are particularly interested in papers that focus on bridging gaps, for instance between different communities, between numerical and symbolic approaches, or between theory and practice. SUM 2016 solicits long papers (technical papers reporting original research or survey papers), short papers (papers reporting promising work-in-progress, system descriptions, position papers on controversial issues, or survey papers providing a synthesis of some current research trends). and extended abstracts of recently published work in a relevant journal or top-tier conference. Deadline for submissions: May 22, 2016 (extended)
20-21 September 2016, Sixth conference on Computability Theory and Foundations of Mathematics (CTFM 2016), Tokyo, JapanDate: 20-21 September 2016Location: Tokyo, JapanDeadline: 31 August 2016
Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
For more information, see http://www.sendailogic.com/CTFM2016/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for presentations: August 31, 2016.
19-21 September 2016, Workshop "From Basic Cognition to Mathematical Practice", Seville, SpainDate: 19-21 September 2016Location: Seville, SpainDeadline: 27 May 2016
This workshop will address the question, what brings us from basic cognition to the practice of mathematics, gathering together scholars from different disciplines with the aim to develop common points of view. The focus will be, primarily, on what separates mathematics properly speaking from basic cognition, and which cognitive ingredients may act as *bridges* between both.
The invited speakers are: Valeria Giardino (CNRS/Archives Poincaré Nancy), Rafael Núñez (UC San Diego), and Dirk Schlimm (McGill Univ.).
For more information, see here.
Contributed papers will be welcome on topics relevant to the workshop. Proposals should be of a max. length of 500 words. The call for papers is open until May 27.
19-23 September 2016, 5th Conference on Logic and Applications 2016 (LAP 2016), Dubrovnik, CroatiaDate: 19-23 September 2016Location: Dubrovnik, CroatiaDeadline: 1 June 2016
The conference brings together researchers from various fields of logic with applications in computer science. In addition to contributed lectures, student sessions will be organized.
For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2016>
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract submission deadline: June 1, 2016
19-21 September 2016, 10th Workshop on Reachability Problems (RP 2016), Aalborg, DenmarkDate: 19-21 September 2016Location: Aalborg, DenmarkDeadline: 13 May 2016
The 10th Workshop on Reachability Problems is aimed at gathering together scholars from diverse disciplines interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification.
Invited Speakers: Alain Finkel (ENS de Cachan, France), Axel Legay (INRIA, Rennes Cedex, France) and Jaco van de Pol (Twente, the Netherlands).
In addition to regular papers that will appear in our LNCS proceedings, we invite researchers to apply to give a presentation at RP'16 without an accompanying paper. Such presentations can be based on work that has appeared (or which is going to appear) in the proceedings of another conference, or which has not yet been submitted. Deadline for abstract submission: August 1st, 2016.
For more information, see http://rp16.cs.aau.dk/
Authors are invited to submit a draft of a full paper with at most 12 pages. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Submission deadline: 13 May 2016.
14-16 September 2016, Seventh International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016), Catania, ItalyDate: 14-16 September 2016Location: Catania, ItalyDeadline: 20 May 2016
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 symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization.
Invited speakers include Luca Bertolussi (Trieste, Italy), Joanna Golinska-Pilarek (Warsaw, Poland) and Arnaud Sangnier (Paris Diderot, France)
For more information, see http://gandalf2016.dmi.unict.it
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 20
12-16 September 2016, Nineteenth International Conference on Text, Speech and Dialogue (TSD 2016), Brno, Czech RepublicDate: 12-16 September 2016Location: Brno, Czech RepublicDeadline: 3 August 2016
The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Machine Translation, Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.
The TSD 2016 conference will be accompanied by a one-day satellite workshop "Community-based Building of Language Resources" (CBBLR). The main topic of the workshop is directed at building new language resources, especially for languages with no or too little existing language resources.
For more information, see http://www.tsdconference.org/tsd2016
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of full papers for the conference: March 15, 2016.
Authors are also invited to submit papers for the CBBLR workshop. Workshop submission deadline: August 3, 2016.
12-15 September 2016, Trends in Logic XVI: Consistency, Contradiction Paraconsistency and Reasoning - 40 years of CLE, Campinas, BrasilDate: 12-15 September 2016Location: Campinas, BrasilDeadline: 15 June 2016
The conference is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, and computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE's strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired in, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods.
For more information, see http://www.cle.unicamp.br/trendsxvi/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 June 2016.
11-14 September 2016, 1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIMâ€™16), Gdansk, PolandDate: 11-14 September 2016Location: Gdansk, PolandDeadline: 9 May 2016
There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.
For more information, see https://www.fedcsis.org/2016/airim
We welcome submissions of papers on the workshop topics, without limiting to them, across approaches, methods, theories, and applications. Paper submission (strict deadline): May 09 2016 23:59:59 pm HST.
10-12 September 2016, Colloquium Logicum 2016, Hamburg, GermanyDate: 10-12 September 2016Location: Hamburg, GermanyDeadline: 20 June 2016
The Colloquium Logicum is the biannual meeting of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung in den exakten Wissenschaftgen (DVMLG).
This year, the Colloquium takes place in Hamburg, Germany and is organized by Alexander Block, Yurii Khomskii and Benedikt Löwe. 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.
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). The submission deadline is Monday, 20 June, 2016.
9-11 September 2016, 10th International Conference on Web Reasoning and Rule Systems (RR 2016), Aberdeen, Scotland, UKDate: 9-11 September 2016Location: Aberdeen, Scotland, UKDeadline: 23 May 2016
The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning rule-based systems, and their applications in reasoning about web data.
For more information, see http://www.abdn.ac.uk/events/rr-2016/rr2016/.
The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. There are two submission formats: Full papers (presenting original and significant research results) and Technical Communications (promising but possibly preliminary work, position papers, system descriptions, and applications descriptions). Deadline for title and abstract submission (extended): May 16, 2015.
9 September 2016, Second Conference on Computational Linguistics in Bulgaria (CLIB 2016), Sofia, BulgariaDate: 9 September 2016Location: Sofia, BulgariaDeadline: 31 May 2016
CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics, with a special focus on Bulgarian (including multilingual work).
This year, our invited speaker will be Dr. Preslav Nakov from the Qatar Computing Research Institute. He will give a lecture on: Exposing Paid Opinion Manipulation Trolls in News Community Forums
CLIB 2016 invites contributions on original research on NLP. There will be two categories of research papers: oral and poster presentations. Paper submission deadline: 31 May 2016.
7-9 September 2016, 7th Salzburg Conference for Young Analytic Philosophy 2016 (SOPhiA 2016), Salzburg, AustriaDate: 7-9 September 2016Location: Salzburg, AustriaDeadline: 1 May 2016
SOPhiA 2016 is a public confererence organised by the University of Salzburg's Department of Philosophy (Humanities), where philosophy students (pre-doc) can give presentations and discuss problems of all areas of philosophy. A thematical focus is not intended. The presentations should rather set themselves apart by a methodical limitation to the tradition of Analytic Philosophy by usage of clear language and comprehensible arguments.
The conference is meant to be a unified effort of the conference attendees to clearly formulate some of the problems of philosophy and to provide a critical assessment of them. No individual philosopher is expected to construct "a whole building of philosophy" all by herself; rather, the conference hosts expect everyone, as Carnap proposes, to bring the undertaking forward "at his specific place within" philosophy.
Students and doctoral candidates (pre-doc) in philosophy are encouraged to submit an abstract (in English or German) prepared for double-blind review. Deadline for submissions: May 1, 2016.
6-9 September 2016, Highlights of Logic, Games and Automata (HIGHLIGHTS 2016), Brussels, BelgiumDate: 6-9 September 2016Location: Brussels, BelgiumDeadline: 3 June 2016
HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.
The conference itself is three days long (Sept. 7-9) and it is preceeded by the Highlights tutorial day (Sept. 6). Representative areas include, but are not restricted to: logic and finite model theory, automata theory, games for logic and verification. The contributed talks are around ten minutes. Ideally, they let participants learn something new, and enable them to understand the objective/problem/question and the result, and to get an idea of the technique.
Detailed information about Highlights 2016 are available at http://highlights-conference.org.
The Programme Committee encourages researchers to attend and present their best work, be it already published or not, at the Highlights conference. The submission deadline is June 3, 2016. As you submit a proposal for a presentation, not a paper, submissions should have a single author, who is the speaker (the abstract, of 1-2 pages, may include a list of coauthors).
5-10 September 2016, Poznan Reasoning Week, Poznan, PolandDate: 5-10 September 2016Location: Poznan, PolandDeadline: 30 June 2016
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 Reasoning Week, consisting of three conferences, aims at bringing together experts from various fields, whose research focus on reasoning processes and their modelling from three perspectives:
1. the interplay of logic and cognition (Logic and Cognition 2016);
2. formal modelling of reasoning and argumentation (14th ArgDiap);
3. natural question processing (QuestPro 2016).
For more information, see https://poznanreasoningweek.wordpress.com/
We invite you to submit proposals for contributed talks and posters. Submission deadline: 30.06.2016.
5-9 September 2016, Syntax Meets Semantics (SYSMICS 2016), Barcelona, SpainDate: 5-9 September 2016Location: Barcelona, SpainDeadline: 30 April 2016
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Intuitionistic, many-valued, linear logics, are typical examples. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This open conference is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019.
For more information, see http://sysmics-16.iiia.csic.es/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributed talks can be on any topic related to substructural logic. The Programme Committee accepts submissions of abstracts ranging from 2 to 4 pages. Deadline for submissions: 30 April 2016.
5-7 September 2016, 5th René Descartes Lectures & Workshop: Science, Values and Democracy, Tilburg, The NetherlandsDate: 5-7 September 2016Location: Tilburg, The NetherlandsDeadline: 15 May 2016
Every other year, a distinguished philosopher visits Tilburg University and the Tilburg Center for Logic, Ethics and Philosophy of Science to present the René Descartes Lectures. This year's René Descartes Lecturer is Professor Heather Douglas (University of Waterloo). Professor Douglas will deliver three lectures on the topic 'Science, Values and Democracy', each of which will be commented on by two renowned scholars. Parallel to the lectures, we host a workshop on the same topic.
The lectures will explore the relationships among science, values, and expertise in modern democratic societies. Science, although the best way to gain rich empirical knowledge, cannot be considered value-free. As such, scientists' role in public discourse and in advisory roles is more complex than simply giving us 'the facts.' In democratic societies, we must confront questions of how to make science advising appropriately accountable in our political systems, while protecting scientists from pressures which would damage the integrity of their advice. In the public discourse, citizens have more roles to play than simply being passive receivers of scientific information. This means we need to articulate these roles and create avenues for exercising them. Because of the need for values in science and because this opens science to new modes of engagement and criticism, we need to think through our institutional structures to ensure that the normative demands of good science and good governance can both be met.
For more information visit https://descarteslectures2016.wordpress.com/
For this workshop, we invite submissions in the form of extended abstracts (up to 1000 words) by 15 May 2016.
5-7 September 2016, Non-Classical Logics. Theory and Applications VIII, Lodz, PolandDate: 5-7 September 2016Location: Lodz, PolandDeadline: 30 June 2016
The conference is aimed to serve as a forum for the effective exchange of novel results and the survey of works in the widely understood non-classical logics and their applications.
For more information, see http://filozof.uni.lodz.pl/ncl
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is . Paper submission deadline (extended): 30 June 2016.
5-7 September 2016, 15th International Workshop on Termination (WST 2016), Obergurgl, AustriaDate: 5-7 September 2016Location: Obergurgl, AustriaDeadline: 22 June 2016
The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from term rewriting and from the different programming language communities. The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The event is held as part of CLA 2016
For more information, see http://cl-informatik.uibk.ac.at/events/wst-2016/
The 15th International Workshop on Termination welcomes contributions on all aspects of termination and termination analysis. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating applications of complexity or termination (for example in program transformation or theorem proving) are particularly welcome. Deadline for submission: June 22, 2016
5-9 September 2016, Entia et Nomina, Warsaw, PolandTitle: Workshop "Entia et Nomina 2016"Date: 5-9 September 2016Location: Warsaw, PolandTarget audience: Logicians, Philosophers, Mathematicians, Cognitive Scientists, Computer ScientistsDeadline: 24 July 2016
The "Entia et Nomina" series features English language workshops for young researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among young philosophers with a formal bent from various research groups. The sixth workshop in the series will take place from 5 to 9 September in Warsaw, Poland.
Authors of contributed papers are requested to submit extended abstracts by July, the 30th (extended deadline). Authors of accepted papers will have 40 minutes to present their work. Each paper will be followed by a 10 minute commentary prepared beforehand by another participant. Applications can be made also for the role of commentator only, in which case a short CV is requested.
4-6 September 2016, The 26th International Conference on Inductive Logic Programming (ILP 2016), London, EnglandDate: 4-6 September 2016Location: London, EnglandDeadline: 24 July 2016
Inductive Logic Programming (ILP) is a subfield of machine learning, which uses logic programming as a uniform representation technique for examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining. The ILP conference series, started in 1991, is the premier international forum for learning from structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.
For more information, see http://ilp16.doc.ic.ac.uk
Submissions are still open for short papers and papers relevant to the conference topics that have been recently published/accepted for publication by a first-class conference. Submission deadline: 24 July 2016.
2-3 September 2016, 17th International Workshop on Logic & Computational Complexity (LCC 2016), Marseille, FranceDate: 2-3 September 2016Location: Marseille, FranceDeadline: 17 June 2016
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in: implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.
The programme will consist of invited lectures as well as contributed talks selected by the Programme Committee. Invited speakers: Anupam Das (Lyon), Hugo Férée (Darmstadt), Yevgeny Kazakov (Ulm) and Emanuel Kieronski (Wroclaw).
For more information, see http://lcc2016.cs.unibo.it/
We welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The Programme Committee will check relevance and may provide additional feedback. Submission deadline: June 17th, 2016
30 August 2016, 5th Workshop "What can FCA do for AI?" (FCA4AI 2016), Den Haag, The NetherlandsDate: 30 August 2016Location: Den Haag, The NetherlandsDeadline: 5 June 2016
Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI.
Accordingly, in this workshop, we will be interested in two main issues:
- How can FCA support AI activities such as knowledge processing, learning, natural language processing and information retrieval.
- How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain.
For more information, see http://www.fca4ai.hse.ru/2016
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: June 5, 2016.
30 August - 2 September 2016, 11th International Conference on Advances in Modal Logic (AiML 2016), Budapest, HungaryDate: 30 August - 2 September 2016Location: Budapest, HungaryDeadline: 20 May 2016
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-2016 is the 11th conference in the series.
Other than full papers (whose submission deadline has closed), AiML-2016 also invites submissions for short presentations, on all aspects of modal logic, intended for presentation at the conference but not for the published proceedings. These submissions may describe preliminary results, work in progress etc., and will be subject to light reviewing. Short presentations submission deadline: 20 May 2016.
29 August - 1 September 2016, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Marseille, France.Date: 29 August - 1 September 2016Location: Marseille, France.Deadline: 8 April 2016
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
Three affiliated workshops will be held as co-located events in the days following the conference: LCC'16: Logic and Computational Complexity 2016 (September 2 and 3)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2 and 3)
For more information see http://csl16.lif.univ-mrs.fr/
Authors are invited to submit papers of no more than 15 pages in LIPIcs style (including references) presenting work not previously published, fitting the scope of the conference. Abstract submission deadline: April 8, 2016.
29 August - 2 September 2016, 22nd European Conference on Artificial Intelligence (ECAI 2016), Den Haag, The NetherlandsDate: 29 August - 2 September 2016Location: Den Haag, The NetherlandsDeadline: 15 April 2016
The biennial European Conference on Artificial Intelligence (ECAI) is Europeâ€™s premier venue for presenting scientific results in AI. Supported by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI 2016 will feature several other events. Special topic for ECAI 2016 is 'Artificial Intelligence for Human Values'.
The Programme Committee invites the submission of papers for the technical programme of ECAI 2016. High-quality original submissions are welcome from all areas of Artificial Intelligence. Submission Deadline: 15 April 2016.
29 or 30 August 2016, The Third International Workshop on Defeasible and Ampliative Reasoning (DARe at ECAI 2016), The Hague, NetherlandsDate: 29 or 30 August 2016Location: The Hague, NetherlandsDeadline: 12 June 2016
Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.
It turns out that everyday reasoning usually shows two salient intertwined aspects, the ampliative aspect (augmenting reasoning by allowing more conclusions) and the defeasible aspect (curtailing reasoning by disregarding or disallowing some conclusions). Several efforts have been put into the study and definition of formalisms within which these aspects could adequately be captured at different levels, but despite the progress that has been achieved, a large avenue remains open for exploration.
DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.
DARe welcomes contributions on all aspects of defeasible and ampliative reasoning. We invite submissions of papers presenting original research results or position statements. The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Submission deadline: 12 June 2016.
29-30 August 2016, Normative Multi-Agent Systems (NorMAS 2016), Den Haag, The NetherlandsDate: 29-30 August 2016Location: Den Haag, The NetherlandsDeadline: 12 June 2016
Normative systems are complex systems which use normative concepts in order to describe or specify their behaviour. A normative multi-agent system combines models for normative systems (dealing for example with conventions, or obligations) with models for multi-agent systems (dealing with coordination between individual agents). Norms have been proposed in multi-agent systems and computer science to deal with issues of coordination, security, electronic commerce, electronic institutions and agent organization.
Due to the lack of a unified theory, many researchers are presently developing their own ad hoc concepts and applications. The aim of this workshop is to stimulate interdisciplinary research on normative concepts and their applications.
For more information, please contact the organizers, or refer to the homepage at http://icr.uni.lu/normas/.
Authors are invited to submit original, previously unpublished, research papers written in English. The NorMAS community is multi-disciplinary, and we welcome work from different scientific backgrounds: theoretical work, implementation- oriented work and empirical work. Papers should contain some form of evaluation appropriate to the type of research. Paper submission until: June 12th, 2016.
22-26 August 2016, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Krakow, PolandDate: 22-26 August 2016Location: Krakow, PolandDeadline: 21 April 2016
MFCS is a well-established venue for presenting high-quality research from various branches of theoretical computer science. The conference provides a platform for researchers interested in different aspects of theoretical computer science to interact, exchange ideas, and present their work.
The conference will have invited talks from Shai Ben-David (Waterloo, Canada), Mikołaj Bojańczyk (Warsaw, Poland), Patricia Bouyer-Decitre (LSV, CNRS & ENS Cachan, France), Tobias Friedrich (Hasso Plattner Institute, Potsdam, Germany) and Virginia Vassilevska Williams (Stanford, USA). EATCS sponsors a best paper award and a best student paper award.
For more information, see http://mfcs.ki.agh.edu.pl/
We invite submission of papers describing high-quality original research in all areas of theoretical computer science. Papers should not exceed 12 pages in LIPIcs style (excluding the references and an optional appendix). Abstract submission deadline: April 21st, 2016.
20-21 August 2016, The 21st Conference on Formal Grammar (FG 2016), Bolzano, ItalyDate: 20-21 August 2016Location: Bolzano, ItalyDeadline: 31 March 2016
FG-2016 is the 20th conference on Formal Grammar, to be held in conjunction with the 28th European Summer School in Logic, Language and Information, which takes place in 2016 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.
For more information, see http://fg.phil.hhu.de/2016/
We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). The submission deadline is March 31, 2016. Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.
20-21 August 2016, 5th International Workshop on Computational Creativity, Concept Invention and General Intelligence (C3GI 2016), Bolen-Bolzano, ItalyDate: 20-21 August 2016Location: Bolen-Bolzano, ItalyDeadline: 29 June 2016
The targeted audience for this ESSLLI-2016 workshop are researchers associated with fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence, as well as researchers coming from application areas, like computer-aided innovation (CAI). Also, in 2016 especially researchers working on logical methods related to creativity, concept formation, and conceptual change are invited to submit original research contributions or opinion papers to the workshop.
For more information, see http://c3gi.inf.unibz.it/
We invite papers that make a scientific contribution to the fields of computational creativity, idea generation and/or artificial general intelligence. Paper submission deadline (extended): UTC 23:59, June 29, 2016
16-19 August 2016, 23nd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), Puebla, MexicoDate: 16-19 August 2016Location: Puebla, MexicoDeadline: 14 March 2016
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 twenty-third WoLLIC will be held at the Department of Computer Science, BenemÃ©rita Universidad AutÃ³noma de Puebla, MÃ©xico, from August 16th to 19th, 2016.
It 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://www.wollic.cs.buap.mx/
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by Mar 14, 2016, and the full paper by Mar 21, 2016 (firm date).
15-26 August 2016, ESSLLI 2016 Student Session, Bolzano, ItalyDate: 15-26 August 2016Location: Bolzano, ItalyDeadline: 25 March 2016
The ESSLLI 2016 Student Session will be held during ESSLLI 2016 at the Free University of Bozen-Bolzano, Italy, between the dates of August 15-26, 2016. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation.
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters . This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.
Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.
Submission deadline: March 10, 2016. Detailed guidelines regarding submission can be found on the Student Session website: http://www2.sfs.uni-tuebingen.de/esslli-stus-2016/. Please direct inquiries about submission procedures or other matters relating to the Student Session to marisa.koellner at uni-tuebingen.de and rziai at sfs.uni-tuebingen.de.
11-12 August 2016, Fifth Joint Conference on Lexical and Computational Semantics (*SEM 2016), Berlin, GermanyDate: 11-12 August 2016Location: Berlin, GermanyDeadline: 18 April 2016
We are pleased to announce that SIGLEX and SIGSEM, special interest groups of the ACL, are organizing the fifth joint conference on lexical and computational semantics: *SEM (pronounced "starsem"). This time *SEM will be colocated with ACL-2016 in Berlin, Germany.
*SEM brings together researchers interested in the semantics of natural languages and its computational modeling. The conference embraces symbolic and probabilistic approaches, and everything in between; theoretical contributions as well as practical applications are welcome. The long-term goal of *SEM is to provide a stable forum for the growing number of NLP researchers working on all aspects of semantics.
For more information, see https://sites.google.com/site/starsem2016/.
We solicit both long and short papers. Submissions to *SEM-2016 must describe unpublished work and be written in English. *SEM papers due: 18th of April 2016
11 August 2016, 10th Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities (LaTeCH 2016), Berlin, GermanyDate: Thursday 11 August 2016Location: Berlin, GermanyDeadline: 1 May 2016
The LaTeCH workshop series aims to provide a forum for researchers who are working on developing novel information technology for improved information access to data from the Humanities, Social Sciences, and Cultural Heritage. Since the formation of SIGHUM (ACL Special Interest Group on Language Technologies for the Socio-Economic Sciences and Humanities), the LaTeCH workshop is also the venue for the SIGHUM annual research and business meeting. LaTeCH 2016 is to be held in conjunction with ACL 2016.
In the Humanities, Social Sciences, and Cultural Heritage communities there is increasing interest in and demand for NLP methods for semantic annotation, intelligent linking, discovery, querying, cleaning, and visualization of both primary and secondary data. These domains of application entail new challenges for NLP research. For this reason, it is of mutual benefit that NLP experts, data specialists, and digital humanities researchers working in and across these domains get involved in the Computational Linguistics community and present their fundamental or applied research results.
Authors are invited to submit papers on original, unpublished work in the topic areas of the workshop. In addition to long papers presenting completed work, we also invite short papers and system descriptions (demos). Short & long paper submission deadline: May 1st, 2016.
31 July - 6 August 2016, Logic Colloquium 2016 (LC 2016), Leeds, U.K.Date: 31 July - 6 August 2016Location: Leeds, U.K.Deadline: 29 April 2016
The Logic Colloquium 2016, organized under the auspices of the Association for Symbolic Logic, will feature 12 plenary speakers, as well as 2 tutorials and 6 special sessions. The twenty-seventh annual Gödel Lecture will be delivered by S. Todorcevic.
For more information, see http://www.lc2016.leeds.ac.uk/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 29th, 2016.
25-29 July 2016, Mathematical Foundations of Informatics Conference, Chisinau, MoldovaDate: 25-29 July 2016Location: Chisinau, MoldovaDeadline: 5 May 2016
The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.
For more information, see http://www.mfoi.eu/conf2016/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 5, 2016.
25-29 July 2016, 5th International Workshop on Theorem proving components for Educational software (ThEdu 2016), Bialystock, PolandDate: 25-29 July 2016Location: Bialystock, PolandDeadline: 4 June 2016
This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).
The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.
For more information, see http://www.uc.pt/en/congressos/thedu/thedu16
We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. Deadline for extended abstracts and proposals: 4. June 2016.
16-18 July 2016, 20th Workshop on the Semantics and Pragmatics of Dialogue (Semdial 2016 / JerSem), Rutgers University, New Jersey, USADate: 16-18 July 2016Location: Rutgers University, New Jersey, USADeadline: 20 April 2016
JerSem will be the 20th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2016 the workshop will be hosted by the Rutgers University Center for Cognitive Science, at its downtown New Brunswick Campus, approximately one hour from New York City. The workshop is timed to immediately follow IJCAI 2016 in New York City, and will be collocated at Rutgers with NASSLLI, the North American Summer School in Logic, Language and Information.
The workshop will feature a special session on Questions Under Discussion, focusing on the role of discourse purposes in utterance interpretation and dialogue structure, and their reflection in utterance form.
For more information, see http://semantics.rutgers.edu/jersem/
We invite submissions on all topics related to the semantics and pragmatics of dialogue. Full paper submission deadline: 20 April 2016. JerSem will also provide authors with an opportunity to submit 2-page late-breaking abstracts describing system demonstrations and poster presentations, with an anticipated deadline in early June.
16-17 July 2016, 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2016), New York City, U.S.A.Date: 16-17 July 2016Location: New York City, U.S.A.Deadline: 20 June 2016
AI research continues to face huge challenges in developping truly intelligent systems. Recent developments in neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. The workshops in the NeSy series are intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.
Keynote speakers are Leon Bottou (Facebook AI Research, U.S.A.) and Gary Marcus (New York University & Geometric Intelligence Inc., U.S.A.). NeSy'16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016.
Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere. Deadline for paper submission: May 25, 2016. Additionally, for the first time presentations based on extended abstracts will be considered. These shall allow to report on latest results which had not been available at the time of paper submission, and have a deadline for submission of June 20, 2016.
11-13 July 2016, Seventh International Workshop on Computational Models of Narrative (CMN 2016)Date: 11-13 July 2016Deadline: 7 March 2016
The workshop series, Computational Models of Narrative (CMN) is dedicated to advancing the computationally grounded scientific study of narrative. Narrative provides a model for organizing and communicating experience, knowledge, and culture. This interdisciplinary workshop aims to provide an appropriate venue for papers addressing fundamental topics and questions regarding narrative.
The workshop will have a special focus on how the computational modeling, analysis, or generation of narrative has affected approaches in the humanities for studying and generating narrative in or across textual, aural, or visual media.
CMN 2016 is a satellite workshop symposium of The Digital Humanities 2016 (DH 2016)
For more information, see http://narrative.csail.mit.edu/cmn16/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Long, short and position papers are solicited. Submission deadline is March 7, 2016.
11-15 July 2016, NASSLLI workshop on Statistical and Logical Models of Meaning (SaLMoM), Rutgers University, New Jersey, USADate: 11-15 July 2016Location: Rutgers University, New Jersey, USADeadline: 1 April 2016
Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.
One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.
For more information, see https://sites.google.com/site/statlogmeaning/.
We invite submissions in the form of 2-page abstracts on topics relating statistical and logical models of natural language. This can be a summary of an already published paper or a new contribution. Submissions will be evaluated as to their potential for establishing meaningful links between the logical and statistical approaches. Deadline: April 1st 2016. Submission webpage: https://easychair.org/conferences/?conf=salmom2016.
10 July 2016, Fourth Workshop on Natural Language and Computer Science (NLCS'16), New York City, U.S.A.Date: Sunday 10 July 2016Location: New York City, U.S.A.Deadline: 10 April 2016
Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.
NLCS'16 is affiliated with Logic in Computer Science 2016.
For more information, see http://www.indiana.edu/~iulg/nlcs.html
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 10, 2016.
9 July 2016, Second Workshop on Bridging the gap between human and automated reasoning, New York NY, U.S.A.Date: 9 July 2016Location: New York NY, U.S.A.Deadline: 18 April 2016
Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.
This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.
For more information, see http://ratiolog.uni-koblenz.de/bridging2016
Papers, including the description of work in progress are welcome. Full Paper submission deadline: April 18th, 2016.
8-10 July 2016, 9th annual workshop on Decisions, Games and Logic (DGL 2016), Michigan, U.S.A.Date: 8-10 July 2016Location: Michigan, U.S.A.Deadline: 1 March 2016
The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic, and philosophy working on formal approaches to rational individual and group decision making. This is the first DGL to be held in North America.
For more information, see http://www-personal.umich.edu/~skaron/dgl/
We invite submissions from graduate students, post-docs and other early career researchers in decision theory, game theory, logic, and formal philosophy more generally, including philosophy of science and epistemology. Both full and poster presentations are solicited. Co-authored papers and interdisciplinary work are highly encouraged. Submission deadline is 1 March 2016.
4 July 2016, 4th International Workshop on Quantified Boolean Formulas (and Beyond) (QBF 2016), Bordeaux, FranceDate: Monday 4 July 2016Location: Bordeaux, FranceDeadline: 8 May 2016
Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete compared to NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF. Considerable progress has been made in the theory and practice of QBF solving throughout the past years.
The goal of the International Workshop on Quantified Boolean Formulas (and Beyond) is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the state of the art in research and to consolidate on immediate and long-term challenges. As the efforts of extending languages with quantifiers have not only been made for propositional logic in terms of QBFs, but in many other formalism like Constraint Satisfaction Problem (CSP) and Satisfiability Modulo Theories (SMT), QBF 2016 also targets researchers working in these related fields in order to exchange experiences and ideas.
For more information, see http://fmv.jku.at/qbf16/
We solicit paper submissions in the following categories: talk-only papers (presenting work that has been published already, novel unpublished work, or work in progress), full papers (describing novel, unpublished work, including work in progress) and short tutorial presentations (on topics related to the workshop). Deadline for submissions: 8 May 2016.
27 June - 1 July 2016, Computability in Europe 2016 (CiE 2016), Paris, FranceDate: 27 June - 1 July 2016Location: Paris, FranceDeadline: 23 April 2016
CiE 2016 is the twelfth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
CiE 2016's Motto is: "Pursuit of the Universal". The year 2016 brings the eightieth anniversary of the publication of Alan Turing's seminal paper featuring the Universal Turing Machine. Just as the semantics of the machine gave rise to Incomputability, and pointed to future directions in proof theory, AI, generalised computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honours Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines.
For more information, see http://lipn.univ-paris13.fr/CIE2016/
The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to computability for presentation at the conference and inclusion in the proceedings. Papers that build bridges between different parts of the research community are particularly welcome. Submission deadline: 15 December 2015.
In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and two pages) by the deadline April 23, 2016, via EasyChair, selecting the category "Informal Presentation".
25 June 2016, Third Symposium for the History and Philosophy of Programming (HaPoP 2016), Paris, FranceDate: 25 June 2016Location: Paris, FranceDeadline: 14 April 2016
One major challenge throughout the history of programming is the development of an interface between humans, software and hardware. It has been the task of the so-called operating system to: maintain a file system; regulate access to resources; synchronize operations; etc. Today, Operating Systems are usually equipped with Graphical User interfaces (GUI) designed to give the 'user' a 'friendly' experience thus hiding â€“ and sometimes even rendering inaccessible â€“ much of the underlying structure and features of the computing machinery. The aim of the current symposium is to offer an opportunity for historical and philosophical reflection on operating systems and the programs they coordinate.
Our approach is interdisciplinarity and openness towards different fields relevant to HaPoC. We were and are strongly convinced that such trans- and interdisciplinarity is necessary if one wants to reflect on a discipline such as computer science with its multidimensional nature. The current symposium will be organized in a similar manner and invites researchers coming from a diversity of backgrounds, including historians, philosophers, logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically that of operating systems.
For more information, see http://hapoc.org/hapop3
The Programme Committee cordially invites researchers working in a field relevant to the main topics of the symposium to submit an abstract. Abstract should be submitted at the latest by (extended deadline) April 14, 2016.
22-26 June 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, PortugalDate: 22-26 June 2016Location: Porto, PortugalDeadline: 29 January 2016
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions can be made in two categories: regular research papers and system descriptions. Submission deadline (title and abstract): 29 January 2016.
22-24 June 2016, 21st International Conference on Applications of Natural Language to Information Systems (NLDB 2016), Manchester, UKDate: 22-24 June 2016Location: Manchester, UKDeadline: 31 January 2016
Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field.
For more information see http://www.salford.ac.uk/conferencing-at-salford/conference-management/
NLDB 2016 invites researchers from academia and industry to submit papers for oral or poster presentations on recent, unpublished research that addresses theoretical aspects, algorithms, applications, architectures for applied and integrated NLP, resources for applied NLP, and other aspects of NLP, as well as review and discussion papers. Submission deadline is 31 January 2016.
19-24 June 2016, 33rd International Conference on Machine Learning (ICML 2016), New York, U.S.A.Date: 19-24 June 2016Location: New York, U.S.A.Deadline: 5 February 2016
ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.
For more information, see http://icml.cc/2016/
We invite submissions of papers on all topics related to machine learning for the conference proceedings, and proposals for tutorials and workshops. This year, ICML will adopt a single reviewing cycle, with a single paper deadline on February 5th.
15-17 June 2016, Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), Faro, PortugalDate: 15-17 June 2016Location: Faro, PortugalDeadline: 14 March 2016
The conference is concerned with the theory of computability and complexity over real-valued data. 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. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.
For more information, see http://cca-net.de/cca2016/
Authors are invited to submit 1-2 pages abstracts in PDF format (including references) by March 14, 2016.
15-17 June 2016, 22nd International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2016), Zuerich, SwitzerlandDate: 15-17 June 2016Location: Zuerich, SwitzerlandDeadline: 1 May 2016
The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS)
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.
For more information, see http://automata2016.ini.uzh.ch/
Papers presenting original and unpublished research on all fundamental aspects of cellular automata and related discrete complex systems are sought. There are two categories of submission : full papers (submission now closed) and exploratory papers (submission deadline: May 1, 2016). The later submission deadline for exploratory papers allows quick reporting of recent discoveries, work -in-progress and/or partial results.
12-17 June 2016, 15th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL HLT 2016), San Diego, U.S.A.Date: 12-17 June 2016Location: San Diego, U.S.A.Deadline: 6 January 2016
The conference covers a broad spectrum of disciplines working towards enabling intelligent systems to interact with humans using natural language, to understanding computational and other linguistic properties of language, and to enhancing human-human communication through services such as speech recognition, automatic translation, information retrieval, text summarization, and information extraction
For more information see http://naacl.org/naacl-hlt-2016/
The conference invites the submission of long and short papers on substantial, original, and unpublished research in all aspects of automated language processing and creation of language resources. The short paper format may also be appropriate for a small, focused contribution, a work in progress, a negative result, an opinion piece or an interesting application nugget. Deadline for both Long and Short paper submission: Jan 6, 2016.
9-10 June 2016, 16th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference (LMP 2016), London, Ontario, CanadaDate: 9-10 June 2016Location: London, Ontario, CanadaDeadline: 22 February 2016
The LMP Graduate Student Conference is a graduate student conference in philosophy at Western University in London, Ontario, Canada. LMP will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. James Ladyman (University of Bristol) will be giving the keynote address.
Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Submission deadline is February 22nd, 2016. Papers in philosophy of physics will also be considered for the 13th Annual Clifton Memorial book prize.
8-9 June 2016, 9th Interaction and Concurrency Experience (ICE 2016), Heraklion, GreeceDate: 8-9 June 2016Location: Heraklion, GreeceDeadline: 25 March 2016
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 general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.
For more information, see http://2016.discotec.org/ice2016
We solicit contributions relevant to Interaction and Concurrency. Both full and short papers are sollicited, as well as announcements of previously-published or unpublished works. Paper selection will use an innovative mechanism which utilizes both reviewers and an an interactive discussion amongst authors and PC members. Deadline for abstract submission: March 25, 2016.
6â€“10 June 2016, 13th International Workshop on Quantum Physics and Logic (QPL 2016), Glasgow, ScotlandDate: 6â€“10 June 2016Location: Glasgow, ScotlandDeadline: 13 March 2016
QPL is a workshop that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.
For more information see http://qpl2016.cis.strath.ac.uk/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 13 March 2016.
22-27 May 2016, 6th Summer School on Formal Techniques (SSFT16), Atherton CA, U.S.A.Date: 22-27 May 2016Location: Atherton CA, U.S.A.Deadline: 30 April 2016
Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the sixth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.
The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".
Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16
CfP special issue of 'Philosophy & Technology' on Logic as TechnologyDeadline: 15 June 2016
This special issue initiates Philosophy and Technology's new subject area on logic and technology by proposing to explore how our thinking about logic can be shaped by our thinking about technology. This includes, first and foremost, the suggestion that we can see logic as a technology itself. A general header under which we can study logics as technologies starts from the insight that logical systems and theories are (pick your preferred term) developed, engineered or designed, and are often so with a particular application in mind. Many of their properties are best seen as the result of design or modelling decisions.
We welcome papers that explore the potential connections between logic and technology, and further develop fruitful ways of technological thinking about logic. Deadline for submission (extended): 15 June 2016.
9-13 May 2016, 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba, PolandDate: 9-13 May 2016Location: Szklarska Poreba, PolandDeadline: none
We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.
The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.
Contributions related to logic, logical philosophy, pragmatics, foundations of mathematics and related areas are welcome. papers for presentation. Submission deadline is 4 April 2016.
9-11 May 2016, PhDs in Logic VIII, Darmstadt, GermanyDate: 9-11 May 2016Location: Darmstadt, GermanyDeadline: 7 February 2016
PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.
The program will involve five tutorials by established researchers in different fields as well as short presentations by PhD students on their research.
Registration is open until April 30 2016. For more information, see www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/
We invite abstracts by PhD students on their research in any general field of Logic: Mathematical Logic, Philosophical Logic, Logic in Computer Science. The abstracts will be reviewed anonymously by two members of the Scientific Committee: the chosen abstracts will be presented by their authors during the conference in a 20 minute presentation. Please submit your blinded abstract by February 7th 2016.
CfP special issue of JICPR on "Pluralism in Mathematics"Deadline: 15 July 2016
Professors Mihir Kumar Chakraborty and Michele Friend are co-editing a special issue of the Journal of Indian Council of Philosophical Research (JICPR). This will be the first collection of edited papers on the subject of mathematical pluralism in the world.
"Pluralism" is an attitude. It means having a principled tolerance towards whatever it is one is pluralist about. The tolerance can be principled in different ways. One is that the pluralist might think that he or she can learn more, and not be led too far astray, by seriously employing or entertaining several: methodologies, theories, types of theory etc. A second reason is that on present evidence there is no good enough reason to be monist about: methodology, theory, type of theory, foundations and so on. A third reason is that one observes pluralism in the successful practice of mathematics. Finally, there are external reasons that also give rise to plurality: these stem from the society and culture in which mathematics is born. The traditions of Arabic, Chinese and Indian mathematics were different from the Greek.
This volume will track both kinds of plurality, internal as well as external and project pluralism in mathematics through representative articles. We shall accept papers on these, or related, themes. If you are not sure that your topic falls within "mathematical pluralism", you may send in an abstract for evaluation of relevance to Michele at gwu.edu or mihirc4 at gmail.com by 20 May. Regardless of whether you have sent in an abstract, papers are due 15 July 2016.
For more information, see here or http://www.springer.com/philosophy/journal/40961/PSE
22-25 April 2016, 29th International Workshop on Description Logics (DL 2016), Cape Town, South AfricaDate: 22-25 April 2016Location: Cape Town, South AfricaDeadline: 7 February 2016
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.
This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).
For more information, see http://dl2016.cs.uct.ac.za/
We invite contributions on all aspects of description logics, Paper registration deadline: February 7, 2016.
3 April 2016, 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Eindhoven, The NetherlandsDate: Sunday 3 April 2016Location: Eindhoven, The NetherlandsDeadline: 5 February 2016
This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis.
Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.
For more information see http://hcvs2016.it.uu.se/
We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Paper submission deadline is 5 February 2016.
20 - 24 June 2016, Logica 2016, Hejnice, Czech RepublicDate: 20 - 24 June 2016Location: Hejnice, Czech RepublicDeadline: 15 February 2016
Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.
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. The deadline is 15 February 2016.
9 or 10 May 2016, Logical Aspects of Multi-Agent Systems (LAMAS'16), SingaporeDate: 9 or 10 May 2016Location: SingaporeDeadline: 1 February 2016
There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.
The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS
We will allow three types of submissions to attract a broad audience and to have a mixed bag of contributions: regular papers, system descriptions and extended abstracts. Paper submision deadline is February 1, 2016, with author notification at March 2 and camera-ready deadline on March 10.
20-22 October 2016, Autumn School on Computational Social Choice and Fair Division, St. Petersburg, RussiaDate: 20-22 October 2016Location: St. Petersburg, Russia
The Laboratory of Game Theory and Decision Making at HSE St. Petersburg will organise an autumn school on computational social choice and fair division. Lectures will be given by Hervé Moulin (Glasgow and HSE), Anna Bogomolnaia (Glasgow and HSE), Felix Brandt (Munich), William Thomson (Rochester), and Clemens Puppe (Karlsruhe). Participation is free, but registration is required.
Registration for the school is open until July 31, 2016. For more information, see http://scem.spb.hse.ru/en/ilgt/CSCFD.
19-22 October 2016, BN Pair Meeting 2016 (in honour of the 60th birthdays of Alexandre Borovik & Ali Nesin), Istanbul, TurkeyDate: 19-22 October 2016Location: Istanbul, Turkey
Student support is available from the Association for Symbolic Logic for ASL student members upon application. Deadline for application: July 18th.
For more information, see https://sites.google.com/site/bnpair2016/
19-21 October 2016, The 27th International Conference on Algorithmic Learning Theory (ALT 2016), Bari, ItalyDate: 19-21 October 2016Location: Bari, Italy
ALT-2016 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 19th International Conference on Discovery Science (DS 2016).
The invited speakers are Avrim Blum, Kristian Kersting, John Shawe-Taylor, Gábor Lugosi, and Gianluca Bontempi.
Early registration deadline: Sep 8, 2016. For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2016/
16 - 17 October 2016, 2016 Autumn School on Computational Logic, New York NY, U.S.A.Date: 16 - 17 October 2016Location: New York NY, U.S.A.
Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming.
16-17 October 2016, 2016 Autumn School on Computational Logic, New York NY, U.S.A.Date: 16-17 October 2016Location: New York NY, U.S.A.
Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming. It will consist of four half-day tutorials.
A number of scholarships for students that cover local expenses for the duration of the school are available. Deadline for application: July 24.
For more information, see http://iclp16school.webs.upv.es/
11 October 2016, KNAW Symposium on Go and Machine IntelligenceDate & Time: Tuesday 11 October 2016, 18:00-20:00Location: KNAW, Trippenhuis, Kloveniersburgwal 29, 1011 JV Amsterdam
KNAW is organising a symposium on the AlphaGo computer that beat the strongest human Go-player by 4-1 earlier this year.
Note that only the first lecture in this workshop will be in English. The others in Dutch.For more information, see www.knaw.nl/nl/actueel/agenda/machinelearning.
28-29 September 2016, GPU technology conference, Passenger Terminal, Amsterdam, The NetherlandsDate: 28-29 September 2016Location: Passenger Terminal, Amsterdam, The Netherlands
GPU computing touches some of today's hottest topics—from artificial intelligence and self-driving cars to supercomputing and virtual reality. This is a unique opportunity to learn from fellow experts, share your work, and explore how GPU technology can take your business, research or application to the next level.
For more information, see https://www.gputechconf.eu/.
26-30 September 2016, Workshop on Set-theoretical aspects of the model theory of strong logics, Bellaterra, SpainDate: 26-30 September 2016Location: Bellaterra, Spain
The workshop is one of two main events of the research program on Large Cardinals and Strong Logics that will take place at the Centre de Recerca Matemàtica. The workshop is intended to provide an opportunity to learn about the recent exciting results on the connections between the theory of large cardinals and the model theory of strong logics and to serve as a springboard for future research. The Scientific Committee includes: J. Bagaria, M. Magidor, and J. Väänänen.
For more information, see http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/W1_LargeCardinals.aspx
21-22 September 2016, Bonn Set Theory Workshop 2016: "Generalised Baire spaces", Bonn, GermanyDate: 21-22 September 2016Location: Bonn, Germany
This workshop is the third in a series of workshops on generalized descriptive set theory (Amsterdam 2014, Hamburg 2015). It will feature two tutorials and two longer research talks by senior speakers and research talks by junior speakers. Moreover, we want to motivate participants to stay in Bonn on the day after the workshop, on which we will provide opportunities for research collaboration.
Confirmed senior speakers: David Asperó (Norwich), Sy David Friedman (Vienna), Benedikt Löwe (Amsterdam, Hamburg) and Luca Motto Ros (Turin)
The registration deadline is the 31st of May 2016. There is still some funding available to support travel and accommodation. For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2016/
17 September 2016, Directions in Computability Theory: A meeting in memory of Barry Cooper, Leeds, EnglandDate: 17 September 2016Location: Leeds, England
A meeting in memory of Barry Cooper, who died last autumn, will be held In the School of Mathematics, University of Leeds, on Saturday September 17th 2016. All friends and former students of Barry's, as well as anyone interested in Mathematical Logic, is welcome to attend. The focus will be on Computability Theory, particularly with reference to Barry's work.
Barry was a central figure in the study of Computability Theory in the UK, and had a large number of research students and postdoctoral assistants. He was a founding member and president of the Association Computability in Europe (CiE). In recent years, he also achieved a high profile because of his work in promoting awareness of the Alan Turing Centenary.
The meeting will consist of 4 talks followed by a dinner in the evening, together with a jazz performance. (Barry was a founder and keen member of the Leeds Jazz Club).
Information on registration and further details of the meeting can be found at the webpage: http://www1.maths.leeds.ac.uk/~matcmh/barrycoopermeeting/
6-8 September 2016, British Logic Colloquium (BLC 2016), Edinburgh, ScotlandDate: 6-8 September 2016Location: Edinburgh, Scotland
This is the annual meeting of the British Logic Colloquium. The scope of the event includes mathematical and philosophical logic as well as logic in computer science and applications of logic. The event will be preceded by the BLC PhD day, on 6th, and followed by a symposium in celebration of Gordon Plotkin's 70th Birthday (GDP70) on 9th September.
We anticipate that our programme will include contributed talks on a range of topics including proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics. We especially encourage students and early-career researchers to present their work.
For more information, see http://conferences.inf.ed.ac.uk/blc/
5-9 September 2016, 12th Reasoning Web Summer School (RW 2016), Aberdeen, Scotland, UKDate: 5-9 September 2016Location: Aberdeen, Scotland, UK
Over the years, the Semantic Web vision has been driving many community efforts which have invested a lot of resources in developing vocabularies and ontologies for annotating their resources semantically. Besides ontologies, rules have long been a central part of the Semantic Web framework and are available as one of its fundamental representation tools, with logic serving as a unifying foundation. Linked data is a related research area which studies how one can make RDF data available on the Web, and interconnect it with other data with the aim of increasing its value for everybody.
Many advanced capabilities required by Semantic Web and Linked Data application scenarios call for Reasoning. Thus, a perspective centered on the reasoning techniques complementing other research efforts in this area is desirable. This Summer School series is devoted to this perspective, and will give insight into the Semantic Web, Linked Data, Ontologies, Rules, and Logic.
The Reasoning Web Summer School 2016 is primarily intended for advanced undergraduate students, M.Sc. and Ph.D. students, postdoctoral researchers, and young researchers from industry. The Summer School will also be open to a limited number of senior researchers from other areas wishing to learn about Semantic Web, Linked Data and related issues. The number of participants is limited. Application deadline: TBA.
For more information, see http://www.abdn.ac.uk/events/rr-2016/rw-2016/.
4-16 September 2016, International Rationality Summer Institute 2016 (IRSI), Aurich, GermanyDate: 4-16 September 2016Location: Aurich, Germany
Rationality is a key concept in psychology, philosophy, and neuroscience. A divide and conquer approach between these disciplines, however, has prevented them from benefitting from one another's progress. Typically, philosophers characterize what it means to be rational, psychologists empirically investigate where people's thinking conforms with and deviates from those norms of rationality, and cognitive neuroscientists investigate the neural correlates of rational thinking and decision-making.
The aim of the “International Rationality Summer Institute (IRSI)” is to overcome this division of labor and to provide a framework in which students can learn the state of research in the neighboring disciplines and discuss recent developments in the diverse areas of rationality research.
Application deadline is April 15, 2016. For more information, see http://irsi2016.de/
30 August - 2 September 2016, Collective Intentionality X, The Hague, The NetherlandsDate: 30 August - 2 September 2016Location: The Hague, The Netherlands
The International Social Ontology Society (ISOS) announces the program of its tenth conference. Collective Intentionality X is an interdisciplinary conference concerning collective intentionality in particular and social ontology more generally.
Keynote lectures and special symposia:
- Michael Bratman (Stanford University): Acting and Thinking Together
- Gunnar Björnsson (Umeâ University): Shared Responsibility<
- Toni Erskine (University of New South Wales): 'Coalitions of the Willing' and the Shared Responsibility to Protect
- Johanna Seibt (Aarhus University): Social Robotics - New Forms of Sociality, New Types of Responsibility?
- Henry Shue (Oxford): Rules and Exceptions in War
- Christopher Kutz (Berkeley), Michael Skerker (United States Naval Academy), Seumas Miller (Charles Sturt University): Special Panel on Collective Responsibility, War and Terrorism
For more information, see http://www.collintx.org/
24-27 August 2016, Conceptual Spaces at Work 2016, Huddinge, WedenDate: 24-27 August 2016Location: Huddinge, Weden
This three-day meeeting focuses on *concepts and their applications* using the theory of Conceptual Spaces (CS), as introduced by Peter GÃ¤rdenfors (2000). It provides a geometric model for the representation of human conceptual knowledge that bridges the symbolic and the sub-conceptual levels of representation. The event is preceded by a one day workshop on 'Reasoning in CS; on 24 Aug 2016.
Attendance is free, however registration is required by 31 July 2016.
22-27 August 2016, The 7th International Conference on Interactive Theorem Proving (ITP 2016), Nancy, FranceDate: 22-27 August 2016Location: Nancy, France
ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. The program committee accepted 27 regular papers and 5 rough diamonds this year. There will be invited talks by Viktor Kuncak (EPFL), Grant Olney Passmore (Aesthetic Integration and University of Cambridge) and Nikhil Swamy (Microsoft Research).
The following affiliated events will take place after the main conference:
- Coq Workshop 2016
- Isabelle Workshop 2016
- Mathematical Components, an Introduction
Up-to-date information and online registration can be found at https://itp2016.inria.fr/.
15-26 August 2016, 28th European Summer School in Logic, Language and Information (ESSLLI-2016), Bolzano, ItalyDate: 15-26 August 2016Location: Bolzano, Italy
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.
There will be 45 courses at foundational, introductory, and advanced levels, as well as 3 workshops, invited lectures and a student session to foster interdisciplinary discussion of current research. Moreover, the school features 3 satellite events: the COMPOSES workshop, the 21st Conference on Formal Grammar (FG 2016), and the Computational Creativity, Concept Invention, and General Intelligence (C3GI) Workshop.
Deadline for registration: 31 July 2016 (early registration: 31 May 2016). For more information, see http://esslli2016.unibz.it/.
15-19 August 2016, DSALT: Distributional Semantics and Linguistic Theory, Bolzano, ItalyDate: 15-19 August 2016Location: Bolzano, Italy
For more information, see http://esslli2016.unibz.it/?page_id=256
15-26 August 2016, DGfS Summer School "Mapping Meaning", Tübingen, GermanyDate: 15-26 August 2016Location: Tübingen, Germany
The traditional linguistic research asks what the meaning of linguistic expressions is. Newer approaches, however, draw attention to the question of how the meaning of natural language arises. The DGfS Summer School Mapping Meaning: Theory – Cognition – Variation would like to follow this new perspective by focusing on the dynamics and adaptivity of linguistic meaning. Taking up these key issues of the Collaborative Research Center 833 in Tübingen, the summer school aims at providing an inspiring forum for discussing the meaning constitution of natural language from theoretically and methodologically different points of view.
The Summer School is co-organized by the Deutsche Gesellschaft für Sprachwissenschaft (DGfS), the Collaborative Research Center 833 (SFB 833), the Research Training Group 1808 (GRK 1808) and the Forum Scientiarum in Tübingen.
Minimum Education Level: Advanced students (Ph.D. or M.A. level, advanced B.A. student)
Description:Renowned researchers from Germany, Europe and the United States will offer a total of 18 courses. The language of instruction will be English. The courses are assigned to three thematic areas – Theory, Cognition, and Variation.
For more information, see http://www.uni-tuebingen.de/forschung/forschungsschwerpunkte/
14 August 2016, Composes end-of-project workshop, Bolzano, ItalyDate: 14 August 2016Location: Bolzano, Italy
The end-of-project workshop of the Composes project will take place on Sunday August 14th 2016 in Bolzano (Italy), as a satellite event of ESSLLI 2016. The workshop will be an occasion to discuss some exciting topics in computational semantics, with some great invited speakers/panelists leading the discussion. We foresee a mixture of position statements by the invitees and audience participation in the form of open debates.
Speakers/Panelists: Nicholas Asher, Marco Baroni, Stephen Clark, Emmanuel Dupoux, Katrin Erk, Adele Goldberg, Alessandro Lenci, Hinrich Schütze and Jason Weston
Please visit the workshop website for information about (free) registration and for updates: http://clic.cimec.unitn.it/composes/workshop.html
27-29 July 2016, Workshop "Model theory of finite and pseudofinite structures", Leeds, EnglandDate: 27-29 July 2016Location: Leeds, England
A workshop on the model theory of finite and pseudofinite structures will be held at the University of Leeds (UK), from 27th to 29th July 2016. Some of the themes that will be touched on during the workshop are:
- asymptotic classes of finite structures, measurable structures, and generalisations;
- connections to homogeneous structures;
- finite and infinite permutation groups;
- zero-one laws.
For more information, see http://www.maths.leeds.ac.uk/fps
25-30 July 2016, 18th European Agent Systems Summer School (EASSS 2016), Catania, ItalyDate: 25-30 July 2016Location: Catania, Italy
Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.
The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.
24-30 July 2016, Third Summer School on Mathematical Philosophy for Female Students, MunichDate: 24-30 July 2016Location: MunichTarget audience: excellent female students who want to specialize in mathematical philosophy
Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.
This year the focus of the summer school will be to provide an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.
The deadline for applications is March 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/
24-30 July 2016, Hilbert-Bernays Summer School on Logic and Computation, Goettingen, GermanyDate: 24-30 July 2016Location: Goettingen, Germany
The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.
Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.
Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer
18-23 July 2016, Summer School in Tame Geometry, Konstanz, GermanyDate: 18-23 July 2016Location: Konstanz, Germany
The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.
Funding is available for students and early postdocs.
For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.
18-22 July 2016, Summer School on Computational Social Choice, Palacio Miramar, San SebastianDate: 18-22 July 2016Location: Palacio Miramar, San Sebastian
This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.
The summer school is organised by COST Action IC1205 on Computational Social Choice (http://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.
18-29 July 2016, 1st Irvine Conference on Descriptive Inner Model Theory and HOD Mice, Irvine CA, U.S.A.Date: 18-29 July 2016Location: Irvine CA, U.S.A.
This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.
Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.
For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html
16-30 July 2016, 8th South-East Asian Summer School on Computational Logic, Rayong, ThailandDate: 16-30 July 2016Location: Rayong, Thailand
This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.
A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.
You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.
12-17 July 2016, Set Theoretic Pluralism Symposium (STP-2016), Aberdeen, ScotlandDate: 12-17 July 2016Location: Aberdeen, Scotland
The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.
The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).
Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.
9-10 July 2016, 4th International Workshop on Strategic Reasoning (SR2016), New York NY, U.S.A.Date: 9-10 July 2016Location: New York NY, U.S.A.
Strategic reasoning is a key topic in the multi-agent systems research area. The literature in this field is extensive and includes a variety of logics used for reasoning about the strategic abilities of the agents in the system. Results stemming from this research have been used in a wide range of applications, including robotic teams endowed with adaptive strategies, and automatic players capable of beating expert human adversaries. A common feature in all these domains is the requirement for sound theoretical foundations and tools accounting for the strategies that agents may adopt in the presence of adversaries.
The SR international workshop series 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. SR 2016 is to be held as Satellite Workshop of LICS 2016
8-16 July 2016, North American Summer School for Logic, Language, and Information (NASSLLI 2016), New Brunswick, New JerseyDate: 8-16 July 2016Location: New Brunswick, New Jersey
The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.
NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.
Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/
6-9 July 2016, 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, FranceDate: 6-9 July 2016Location: Annecy, France
Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, a complementary focus of ontological inquiry has gained significant momentum, fueled by the advent of complex information systems which rely on robust and coherent formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques, and their relations to cognition and reality are at the center of the modern discipline of formal ontology.
The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.
For more information, see http://iaoa.org/fois2016/
5-8 July 2016, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), New York NY, U.S.A.Date: 5-8 July 2016Location: New York NY, U.S.A.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.
Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/
5-19 July 2016, EpiCenter Spring Course in Epistemic Game Theory, Maastricht University, the NetherlandsDate: 5-19 July 2016Location: Maastricht University, the Netherlands
The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.
The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.
5-9 September, 2016, Workshop on Proof Theory, Modal Logic and Reflection Principles, Tbilisi, GeorgiaDate: 5-9 September, 2016Location: Tbilisi, GeorgiaCosts: 200 euro registration
A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.
This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.
For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/
4-5 July 2016, Ninth Workshop on Computability Theory (WCT 2016), Gent, BelgiumDate: 4-5 July 2016Location: Gent, Belgium
The workshop is a satellite of Computability in Europe 2016, which will be held in Paris from June 27 to July 1, 2016.
For more information, see the workshop's website at http://wct.math.uconn.edu/wctghent/.
1 July 2016, 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016), Coimbra, PortugalDate: Friday 1 July 2016Location: Coimbra, Portugal
Non-classical logics -- such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic -- have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics.
The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications and describe example problems and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.
For more information, see http://iltp.de/ARQNL-2016/
30 June - 2 July 2016, AAL 2016: Australasian Association for Logic, Melbourne, AustraliaDate: 30 June - 2 July 2016Location: Melbourne, Australia
The Australasian Association for Logic will hold its 2016 conference in Melbourne from June 30 to July 2. The keynote speaker is Dr. Sara L. Uckelman of Durham University. The conference venue is La Trobe City Campus, located in the middle of Melbourne's CBD. All are welcome to attend the conference, although there is a registration fee.
28-30 June 2016, Logic, Algebra and Truth Degrees (LATD 2016), Phalaborwa, South AfricaDate: 28-30 June 2016Location: Phalaborwa, South Africa
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 theoretical and applied areas of Mathematics, Computer Science and Philosophy. This conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas.
The featured topics for this meeting are the following: algebraic semantics and abstract algebraic logic, applications and foundational issues, first, higher-order and modal formalisms, geometric and game theoretic aspects, and proof theory and computational complexity. The invited speakers include: L. Cabrer, M. Gehrke, H. Hosni, P. Jipsen, and N. Preining.
For more information, see http://www.latd2016.co.za/
27 June - 1 July 2016, Third IAOA Interdisciplinary School on Applied Ontology (ISAO 2016), Bolzano, ItalyDate: 27 June - 1 July 2016Location: Bolzano, Italy
World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants.
The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. The event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.
24 June 2016, ABC Brain Day & Night 2016, De Brakke Grond, Nes 45, Amsterdam, The NetherlandsDate: Friday 24 June 2016Location: De Brakke Grond, Nes 45, Amsterdam, The Netherlands
On June 24th the Amsterdam Brain and Cognition center organizes the ABC Brain Day (& Night), the yearly conference where ABC members present their research.
For more information, see http://abc.uva.nl/events/item/brainday-2016.html
20-22 June 2016, Formal Epistemology Workshop 2016 (FEW 2016), Groningen, The NetherlandsDate: 20-22 June 2016Location: Groningen, The Netherlands
Keynote speakers are Richard Pettigrew (University of Bristol), Sonja Smets (University of Amsterdam) and Kevin Zollman (Carnegie Mellon University). The full program and further information can be found at http://www.philos.rug.nl/few2016/
*Participation is free, but registration until Mai 31 is required. To register please write an email to 2016few at gmail.com
The Formal Epistemology Workshop 2016 is followed by a workshop on chance. For further information on this second event please visit http://www.philos.rug.nl/chance/
17 June 2016, Workshop on Plural Foundations: Plural Logic and the Foundations of Mathematics, Leeds, EnglandDate: Friday 17 June 2016Location: Leeds, England
The Plural Foundations conference will showcase and explore the uses of logics of plural quantification in the philosophical foundations of mathematics.
Speakers: Neil Barton (Kurt Gödel Research Center) Francesca Boccuni (San Raffaele, Milan) Berta Grimau (Glasgow) and Øystein Linnebo (Oslo).
For more information and registration, see https://www.eventbrite.co.uk/e/. Note that there are a limited number of places available at this workshop. Please direct any further enquiries to Simon Hewitt at s.hewitt at leeds.ac.uk.
16-17 June 2016, Workshop "Philosophical Methods", Essen, GermanyDate: 16-17 June 2016Location: Essen, Germany
The topic of the workshop is intended to be construed fairly broadly, with an eye on questions regarding conceptual clarification. We are especially interested in debates concerning:
(*) a priori methods and a posteriori methods in philosophy
(*) conceptual analysis and Carnap's conception of explication
(*) formal methods in philosophy
Attendence is free of charge, but please register by June 10, 2016. For details see https://philosophicalmethods.wordpress.com/.
13-14 June 2016, Conference "Pictures and Propositions", London, EnglandDate: 13-14 June 2016Location: London, England
The London Aesthetics Forum (Institute of Philosophy), with generous funding from the British Society of Aesthetics, announces a conference on Pictures and Propositions. The event is free and open to all but registration is required.
This conference brings philosophers from art and aesthetics working on pictorial representation together with philosophers of mind and language working on the nature of content. We believe that each party is well positioned to offer new insights to the other.
For more information, see https://www.eventbrite.co.uk/e/pictures-and-propositions-tickets-24998072909. Please direct inquires to Alex Grzankowski: ag890 at cam.ac.uk
10-11 June 2016, Intuitionism, Computation and Proof: Selected themes from the research of G. Kreisel, Paris, FranceDate: 10-11 June 2016Location: Paris, France
This workshop will critically explore Georg Kreisel's seminal contributions to logic and the philosophy of mathematics, by bringing together a number of experts to discuss developments initiated or significantly advanced by Kreisel's work in different areas. The discussion will revolve around three main topics: the "unwinding program" in proof theory, new insights about intuitionism and finitism in the foundations of mathematics, and Church's thesis and informal rigor in computability and philosophy of mathematics.
For more information, see the conference webpage at http://www.ihpst.cnrs.fr/en/activites/conferences/. To enquire about the workshop, please contact the organizers at marianna.antonutti at gmail.com and mattia.petrolo at univ-paris1.fr.
9-13 June 2016, 11th International Computer Science Symposium in Russia (CSR 2016), St. Petersburg, RussiaDate: 9-13 June 2016Location: St. Petersburg, Russia
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science.
Distinguished opening lecture: Herbert Edelsbrunner (IST, Austria) Invited Speakers include Christos H. Papadimitriou (Berkeley, USA), Orna Kupferman (Hebrew University, Israel), Virginia Vassilevska Williams (Stanford, USA) and Vladimir Kolmogorov (IST, Austria).
9-10 June 2016, Workshop at Kent: Type Theory and Philosophy, Canterbury, EnglandDate: 9-10 June 2016Location: Canterbury, England
This is a workshop to be held in Canterbury which explores how type theory might play the kinds of role in philosophy taken at present by standard calculi such as first-order logic, set theory and modal logic. The event will consist of tutorials and talks and is open to anyone who would like to find out more about type theory.
For more details see https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy.
3-4 June 2016, Workshop on Proofs, Justifications and Certificates, Toulouse, FranceDate: 3-4 June 2016Location: Toulouse, France
The workshop aims to bring together researchers working in (1) Provability Logic, (2) Realizability, (3) Proof certificates and (4) Justification Logic. The aim is to foster collaboration and share ideas between the four fields, and all presentations will be accessible to researchers and students working in any of them.
There will be one session devoted to each field, each with two invited speakers. In order to generate a constructive exchange, aside from one hour of speaking time, each presentation will include an additional half hour devoted to questions and discussion.
The workshop is open to all and no registration is needed. For more information, see the workshop webpage at http://www.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4th-june or direct inquiries to David Fernández Duque at david.fernandez at irit.fr.
30 May - 2 June 2016, Summer School on Blockchain Technologies: From Cryptographic E-cash to Modern Cryptocurrencies, Corfu, GreeceDate: 30 May - 2 June 2016Location: Corfu, Greece
The rise of Bitcoin and other so-called "cryptocurrencies" has renewed interest in electronic payment systems and raised many research questions, which range from understanding, formalizing, and analyzing the protocols that support the underlying blockchain technology to designing new cryptocurrencies with better security guarantees. There have been a number of relevant papers that have appeared in recent cryptography and security conferences, but the space of research problems is enormous and -- especially with the introduction of more robust blockchain platforms like Ethereum -- is still growing.
This summer school aims to bring together the communities working on cryptocurrencies, cryptographic electronic cash, and distributed consensus. The target audience is anyone (students, researchers, developers, professionals) with an interest in cryptography/security. It is helpful for participants to have a basic knowledge of cryptography but we will make sure to provide an overview of all the necessary cryptographic building blocks; similarly, we expect that the school will be able to educate and motivate even those participants who already work within these research areas.
For more information, see http://bitcoinschool.gr/
28-29 May 2016, 5th CSLI Workshop on Logic, Rationality, and Intelligent Interaction, Stanford CA, U.S.A.Date: 28-29 May 2016Location: Stanford CA, U.S.A.
This event continues a long-standing tradition at Stanford of annual workshops in logic, broadly conceived, aimed at fostering discussion across disciplines and universities, with the added goal of involving both junior and senior participants. The content of the workshop is drawn from the disciplines of logic, philosophy, mathematics, computer science, cognitive science, linguistics and economics, with an emphasis on exploring interdisciplinary contacts.
For more information, see here.
22 May 2016, Foundational Impact of Recursion Theory: A conference , Storrs CT, U.S.A.Date: 22 May 2016Location: Storrs CT, U.S.A.
In honor of Steve Simpson's 70th birthday, a one-day conference will be held at the University of Connecticut, Storrs on May 22, 2016, the day before the Association of Symbolic Logic meeting at the same location. The goal of the conference is to bring together researchers working in all aspects and foundational applications of recursion theory.
There is no registration fee, but we ask participants to register online by May 1, 2016. There will be a conference dinner following the conference; the cost will be announced.
Complete information is available on the conference webpage, http://www.marshall.edu/math/FIRT16/. or from any of the organizers: Jeff Hirst (hirstjl at appstate.edu), Alberto Marcone (alberto.marcone at uniud.it), and Carl Mummert (mummertc at marshall.edu).
20 May 2016, Workshop 'Informal Aspects of Uncertainty Evaluation', Cambridge, EnglandDate: 20 May 2016Location: Cambridge, England
Philosophers of science have studied scientific uncertainty from the viewpoint of formal probabilistic frameworks, such as classical probability theory and Bayesianism. It is not always clear how to apply such formal tools to cases of uncertainty evaluation encountered in scientific practice. This one-day workshop will be dedicated to a critical examination of informal practices of uncertainty evaluation in metrology, climate science, particle physics and computer science, with the aim of clarifying whether and why certain kinds of uncertainty resist formalization. This workshop will also serve as the concluding event of the Economies of Uncertainty project, funded by a Marie Curie Intra-European Fellowship within the 7th European Community Framework Programme.
Speakers will be: Fabien Grégis (Paris 7), Phil Maguire (NUI Maynooth), Luca Mari (LIUC Italy), Wendy Parker (Durham), Lenny Smith (LSE and Oxford), Kent Staley (Saint Louis) and Eran Tal (Cambridge).
For additional details on this event, please visit the workshop website: http://people.ds.cam.ac.uk/et382/events.html. Attendance is free to all members of the academic community and no registration is required. However, if you plan to attend please email the organizer, Dr. Eran Tal (et382 at cam.ac.uk) by Friday, May 13th 2016 so as to allow for a sufficient supply of food.
20-21 May 2016, "The Identity Theory of Truth", Cambridge, EnglandDate: 20-21 May 2016Location: Cambridge, England
The purpose of this conference is to bring together new research on the identity theory of truth. To a first approximation, the identity theory states that a proposition is true just in case it is identical with a fact. The identity theory is often seen as an alternative to both correspondence and minimalist theories of truth. The topic has many important connections to work in metaphysics, the philosophy of mind and the philosophy of language. And it plays an important role on in the history of philosophy: versions of the theory can be detected in the works of Bradley, Frege, Moore, Russell, and Wittgenstein, amongst others.
For more information, see http://www.phil.cam.ac.uk/events/identity-truth
19-20 May 2016, International Workshop "Language and metalanguage, logic and meta-logic.
Revisiting Tarski's hierarchy", Louvain-la-Neuve, BelgiumDate: 19-20 May 2016Location: Louvain-la-Neuve, Belgium
The goal of this workshop is to bring together researchers in logic, philosophy of logic, philosophy of language and philosophy of mathematics to investigate the problem of the separation between object-language and metalanguage.
Ever since the work of Alfred Tarski we have known that trivializing paradoxes arise when one designs a precise language that is able to express at the same time the object theory and the metatheory of a certain domain. As a solution, Tarski suggested a strict hierarchy of languages in which every language can only talk about the language immediately below it in the hierarchy. Although this works as a technical solution, it is rather artificial and remote from our intuitions about natural language.
Since Tarski's results, logic, philosophy of language and mathematics have changed quite a bit. Nowadays we have a multitude of non-classical logical systems that can prevent the paradoxes from popping up or from destroying all meaning. There are well-established mathematical tools to carefully deal with the possibility of reasoning about the metatheory of a foundational theory ('forcing' in set theory, category theory, consistency strength). Ways of dealing sensibly with non-stratified full comprehension in mathematics have been proposed. Sophisticated grounding and revision techniques for self-referential truth have been developed. Formal tools have been devised to better understand natural language. People are trying to emancipate themselves from the norm that urges us to use a classical metatheory. Given all these new developments, we think now is a good time to reopen the philosophical debate on the distinction between object-language and metalanguage.
For more information, see http://perso.uclouvain.be/peter.verdee/metalang2016
11-13 May 2016, The Art of Voice SynthesisDate: 11-13 May 2016Location: University of Amsterdam, Orgelpark and STEIM, Amsterdam
Synthetic speech is part of modern everyday life. Artificial voices do not only occur in multifaceted technological uses, but they also feed back into researching the natural human voice. Moreover, artists, musicians and composers find a source of inspiration in the artificial sound of such voices. Our conference inquires both the richness of the human voice and the limits and surplus of its theoretical modelling and mechanical and digital imitation. We are specifically interested in modelling and synthesizing so-called "extended vocal techniques" - all sounds the human voice can produce, exceeding conventional singing and speaking. The conference will cover the history of the artificial voice, extended vocal techniques, aspects of theoretical modelling and technical realization, and the role of the artificial voice in contemporary music. Academics, scientists and artists will come together to exchange ideas and insights in three days of presentations, meetings, workshops and a concert. With a group of international experts we will place the artificial voice in a broad perspective of historical, technical, socio-cultural, artistic and musical investigation.
For more information, see http://www.artificialvoice.nl/
9-13 May 2016, 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), SingaporeDate: 9-13 May 2016Location: Singapore
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.
For more information, see http://sis.smu.edu.sg/aamas2016
3 May 2016, Workshop "Philosophy of the Precautionary Principle", Tilburg, The NetherlandsDate: Tuesday 3 May 2016Location: Tilburg, The Netherlands
Martin Peterson (Texas A&M University, USA): 'When To Use the Precautionary Principle and When Not To Use It. A Geometric Analysis.'
Thomas Boyer-Kassem (Tilburg University, The Netherlands): 'On the coherence of the Precautionary Principle as a decision rule'
Neelke Doorn (Delft University of Technology, The Netherlands): 'How safe is safe enough: The place of irreversibility in decision making about risks'
Participation in the workshop and refreshments are free. Advance registration by email to tilps at uvt.nl< is appreciated. There will be a social dinner after the workshop. For more information, see here or contact t.c.e.boyer at tilburguniversity.edu.
20-22 April 2016, OZSW Graduate Conference in Theoretical Philosophy (OZSW-GCTP2016): How Philosophy meets the World, University of Twente, EnschedeSpeaker: Jan Broersen, Sonja Smets, Frederica Russo, a.o.Date: 20-22 April 2016Location: University of Twente, Enschede
The Dutch Research School of Philosophy (OZSW) and the University of Twente invite anyone interested to the yearly "OZSW Graduate Conference in Theoretical Philosophy" (OZSW-GCTP2016): "How Philosophy Meets the World", to take place from 20 to 22 April 2016. At the conference, PhD & Research Master students will present their current research.
Keynote speakers are Jan Broersen (Utrecht University), Federica Russo (University of Amsterdam), Sonja Smets (University of Amsterdam), Johnny Søraker (University of Twente), Krist Vaessen (Eindhoven University of Technology) and Pieter Vermaas (Delft University of Technology).
Further information, the program, and a registration form can be found on the OZSW website: http://www.ozsw.nl/activity/gctp-2016/.
18-19 April 2016, REINS Workshop Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet, Utrecht, The NetherlandsDate: 18-19 April 2016Location: Utrecht, The Netherlands
Our tendency to delegate responsibilities to machines (self-driving cars, algorithmic trading, military drones, autonomous surveillance systems, etc.) leads to pressing questions that call for answers from an interdisciplinary perspective. Computer scientists can contribute by studying how to design responsible AI, but they first need to know exactly what is meant by that. Philosophers may be able to tell them what responsibility is, but may find it hard to operationalise their insights in such fundamental topics as action, freedom, ethics, norms, and reasons. And that is where legal theorists may be of help, as they are used to think about the relation between abstract notions like fairness, justice, duty, excuse, complicity, causality and their concrete reflections in the rules of law.
On April 18-19 2016, we organise an interdisciplinary workshop where we bring together researchers from Philosophy, Computer Science and Legal Theory to exchange views on the subject of responsible intelligent systems.
Attendance is free and open to all academics. To enable us to estimate how much coffee and sandwiches we have to order, we would be happy if you let us know if you plan to come by sending an email to H.W.A.Duijf at uu.nl with the subject 'Attendance REINS workshop'. Please mention your name and affiliation so that we can make a name tag for you to wear at the workshop.
For more information, see https://www.projects.science.uu.nl/reins/
10-13 April 2016, What makes us musical animals, St Petersburg, RussiaDate: 10-13 April 2016Location: St Petersburg, Russia
Henkjan Honing will give two lectures in Russia on 13 April 2016 in St Petersburg and 10 April 2016 in Moscow with the title "What makes us musical animals".
For more information, see http://www.nispb.ru/en/news--calendar/dutch-wednesday-2016/
7-9 April 2016, Workshop "Roots of Deduction", Groningen, The NetherlandsDate: 7-9 April 2016Location: Groningen, The Netherlands
Over the past five years the VISI research project 'Roots of Deduction', directed by Catarina Dutilh Novaes, has investigated the historical, cognitive and philosophical roots of deduction. The main focus of the project has been a particular multi-agent dialogical account of deduction, the 'built-in opponent' conception of deduction. This has been used in the project to inform analyses of ancient Greek conceptions of logic and deduction; to help us to understand mathematical cognition and cognitive biases; and to shed light on classical and contemporary problems in the philosophy of logic.
The closing workshop of the project is taking place on April 7-9 (starting right after lunch, ending just before lunch) at the Faculty of Philosophy in Groningen.
All welcome, but if you wish to attend the workshop, please drop us a note, as we only have a limited number of spots. For more information, see https://sites.google.com/site/therootsofdeduction/
2-3 April 2016, 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16), Eindhoven, The NetherlandsDate: 2-3 April 2016Location: Eindhoven, The Netherlands
In more than a decade of research, it has been established that a wide variety of state-based dynamical 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. The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
Keynote speaker: Jiri Adamek (Braunschweig, Germany). Invited speakers: Andreas Abel (Gothenburg, Sweden) and Filippo Bonchi (CNRS/ENS Lyon, France). There will be a special session on weighted automata, with invited tutorials by Borja Balle (Lancaster, UK) and Alexandra Silva (UC London, UK). CMCS'16 is co-located with ETAPS 2016.
For more information, including the full programme of the workshop, see http://www.coalg.org/cmcs16/
14-18 March 2016, 10th International Conference on Language and Automata Theory and Applications (LATA 2016), Prague, Czech RepublicDate: 14-18 March 2016Location: Prague, Czech Republic
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
4-7 March 2016, 17th Szklarska Poreba Workshop on the Roots of Pragmasemantics, Szklarska Poreba, PolandDate: 4-7 March 2016Location: Szklarska Poreba, Poland
Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.
The main theme of this yearâ€™s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).
For more information see https://sites.google.com/site/szklarskaporeba17/
4-11 March 2016, Interdisciplinary College 2016 Spring School, Günne at Lake Möhne, GermanyDate: 4-11 March 2016Location: Günne at Lake Möhne, Germany
The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".
For more information, see http://www.interdisciplinary-college.de/.
15-19 February 2016, Lorentz center workshop on Unified Correspondence, Lorentz center, LeidenDate: 15-19 February 2016Location: Lorentz center, Leiden
Unified correspondence is a very recent approach to the the well known Sahlqvist theory in modal logic, which has imported techniques from duality, algebra and formal topology and exported the state of the art of Sahlqvist theory to a wide range of logics. This wealth of new techniques, results and insights is now ready to be put to use in the mathematical environments of logical systems which are suitable to address formalization problems in the target application areas of linguistics and management science. The aim of this workshop is therefore to foster new scientific collaborations among mathematical logicians using correspondence theoretic tools on the one hand and, on the other, researchers in linguistics and management science interested in applying logical methods.
Participation in Lorentz workshops is by invitation only, and the number of participants at any given workshop is limited to 55 per any given day. If you are interested in participating, please contact the workshop coordinator Aimeé Reinards, reinards at lorentzcenter.nl.
For more information, see https://www.lorentzcenter.nl/lc/web/2016/757/info.php3?wsid=757 or here.
25-29 January 2016, 2016 Winter School on Quantum Security, Darmstadt, GermanyDate: 25-29 January 2016Location: Darmstadt, GermanyCosts: only travel and accommodation
The first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.
As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.
The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.
For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-2016/
15 January 2016, Workshop "Backgrounded reports: commitment and negation in parenthetical reports and reportative evidentials", Radboud University, Nijmegen, the NetherlandsSpeaker: Regine Eckardt, Martina Faller, Julie Hunter, Todor Koev, Corien Bary & Emar MaierDate: Friday 15 January 2016Location: Radboud University, Nijmegen, the Netherlands
There are various forms of reported speech in which the aspect of reporting is somehow backgrounded, or not-at-issue. and the content of the report itself, i.e., the complement or quoted phrase, serves as the main point. In this workshop we want to bring together the more or less disjoint strands of research on the different classes of backgrounded reporting to explore the possibilities of a unified approach of all these phenomena that takes into account the relevant facts about commitment, denial, and projection.
For more information, see https://sites.google.com/site/background2016/
9-10 January 2016, 98th Peripatetic Seminar on Sheaves and Logic, Doorn, The NetherlandsDate: 9-10 January 2016Location: Doorn, The Netherlands
We are happy to announce the 98th Peripatetic Seminar on Sheaves and Logic, which will take place during the weekend of 9 and 10 January 2016 in Doorn, the Netherlands. As usual, we invite talks on every aspect of category theory or its applications in mathematics.
To have a clear estimate of the number of participants, we ask participants to register preferably before December 21. For more information, see https://staff.fnwi.uva.nl/b.vandenberg3/PSSL98/
6-9 January 2016, 2015-16 ASL Winter Meeting, Seattle WA, U.S.A.Date: 6-9 January 2016Location: Seattle WA, U.S.A.
The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.
For more information, see http://www.aslonline.org/asl_meetings.php
4-7 January 2016, Logical Foundations of Computer Science 2016 (LFCS'16), Deerfield Beach FL, U.S.A.Date: 4-7 January 2016Location: Deerfield Beach FL, U.S.A.
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.
For more information, see http://lfcs.info/lfcs-2016/
4-17 January 2016, 6th Bar-Ilan Winter School on Cryptography, Tel-Aviv, IsraelDate: 4-17 January 2016Location: Tel-Aviv, Israel
The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.
The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).
For more information, see http://crypto.biu.ac.il/6th-biu-winter-school
MoL and PhD defenses
7 October 2016, Master of Logic defense, Nigel SequeiraTitle: Knowing How To Do SemanticsDate & Time: Friday 7 October 2016, 13:00Location: Room F3.20, Science Park 107, AmsterdamSupervisor: Martin Stokhof
29 September 2016, Master of Logic defense, Fernando Ortega RuizTitle: The paradoxial reading of The TractatusDate & Time: Thursday 29 September 2016, 16:00Location: Room F1.15, Science Park 107, AmsterdamMentor: Martin StokhofFor more information, contact Tanja Kassenaar at t.kassenaar at uva.nl.
26 September 2016, Master of Logic defense, Arianna NovaroTitle: Judgment Aggregation in Dynamic Logic of Propositional AssignmentsDate & Time: Monday 26 September 2016, 14:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Umberto Grandi, Ulle Endriss
26 September 2016, Master of Logic defense, Sirin BotanTitle: Propositional Opinion Diffusion with ConstraintsDate & Time: Monday 26 September 2016, 11:30Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Umberto Grandi, Ulle Endriss
31 August 2016, Master of Logic defense, Thomas CattermoleTitle: Paraconsistency and Identity - a Pragmatic ApproachDate & Time: Wednesday 31 August 2016, 11:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Robert van Rooij
30 August 2016, Master of Logic defense, Iliana GioulatouTitle: HyperintensionalityDate & Time: Tuesday 30 August 2016, 16:15Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Franz Berto and Luca Incurvati
30 August 2016, Master of Logic defense, Benjamin SparkesTitle: Inquisitive Conditional-Doxastic LogicDate & Time: Tuesday 30 August 2016, 14:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Floris Roelofsen and Ivano Ciardelli
26 August 2016, Master of Logic defense, Almudena ColacitoTitle: Minimal and Subminimal Logic of NegationDate & Time: Friday 26 August 2016, 14:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Dick de Jongh en Marta Bílková
26 August 2016, Master of Logic defense, Kristina GogoladzeTitle: Evidence-Based Belief Revision for Non-Omniscient AgentsDate & Time: Friday 26 August 2016, 11:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Alexandru Baltag
25 August 2016, Master of Logic defense, Thom van GesselTitle: Action Models in Inquisitive LogicDate & Time: Thursday 25 August 2016, 17:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Floris Roelofsen and Ivano Ciardelli
25 August 2016, Master of Logic defense, Daniil FruminTitle: Weak factorisation systems in the effective toposDate & Time: Thursday 25 August 2016, 14:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Benno van den Berg
24 August 2016, Master of Logic defense, Anna BellomoDate & Time: Wednesday 24 August 2016, 16:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Arianna Betti and Luca Incurvati
15 July 2016, Master of Logic defense, Tim HoogeveenTitle: Valid Inference under uncertaintyDate & Time: Friday 15 July 2016, 13:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Robert van Rooij
8 July 2016, Master of Logic defense, Tom SchoonenTitle: Thinking the Impossible: Arguments for Impossible Worlds in SemanticsDate & Time: Friday 8 July 2016, 14:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Franz Berto and Paul Dekker
7 July 2016, Master of Logic defense, Leanne StreekstraTitle: On the stability of flexible permission structuresDate & Time: Thursday 7 July 2016, 11:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Rene van den Brink en Jakub Szymanik
5 July 2016, Master of Logic defense, Philip Willem Bernhard MichgelsenTitle: Genetic Algorithmic Optimisation for School Allocation MechanismsDate & Time: Tuesday 5 July 2016, 14:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Jan van Eijck
4 July 2016, Master of Logic defense, Sander in 't VeldTitle: Temporal Logics, Automata and the Modal μ-CalculusDate & Time: Monday 4 July 2016, 15:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Yde Venema & Sebastian Enqvist
4 July 2016, Master of Logic defense, Eli DrummTitle: Readtable-Marco Transducer-Chain ParsingDate & Time: Monday 4 July 2016, 12:00Location: Room F3.20, Science Park 107, AmsterdamSupervisor: Leen Torenvliet and Bruno Loff
29 June 2016, Master of Logic defense, Onindo KhanTitle: A Formalisation of Kant’s Theory of SpaceDate & Time: Wednesday 29 June 2016, 11:00Location: Room B0.207, Science Park *904*, AmsterdamSupervisor: Michiel van Lambalgen and Riccardo Pinosio
28 June 2016, Master of Logic defense, Evan MarzionTitle: Closed Sets of Higher Order FunctionsDate & Time: Tuesday 28 June 2016, 15:30Location: Room F3.20, Science Park 107, AmsterdamSupervisor: Piet Rodenburg
24 June 2016, Master of Logic defense, Christopher BaduraTitle: Truth in Fiction via Non-Standard Belief RevisionDate & Time: Friday 24 June 2016, 11:30Location: Room F3.20, Science Park 107, AmsterdamSupervisor: Francesco Berto
10 June 2016, PhD defense, Gideon Maillette de Buy WennigerTitle: Aligning the Foundations of Hierarchical Statistical Machine TranslationDate & Time: Friday 10 June 2016, 11:00Location: Aula - Oude Lutherse Kerk, Singel 411, 1012 WN AmsterdamPromotor: Prof. dr. Khalil Sima'an
The work done in the thesis research focuses on the improvement of hierarchical statistical machine translation. To do so it uses reordering labels, which are based on the hierarchical translation equivalence structure that is derived from word alignment.
Your attendance at the defense is much appreciated.
The thesis abstract and a PDF of the full thesis can be found at http://dare.uva.nl/record/1/533642, as well as on the ILLC Dissertations page at https://www.illc.uva.nl/Research/Publications/Dissertations/#DS-2016-06.
8 June 2016, PhD defense, Fleur L. BouwerTitle: What do we need to hear a beat? The influence of attention, musical abilities, and accents on the perception of metrical rhythmDate & Time: Wednesday 8 June 2016, 11:00Location: Aula, Singel 411, AmsterdamPromotor: Prof. Dr. Henkjan HoningCopromotor: Dr. Jessica Grahn
Beat perception is the process that allows us to make music together. Fleur Bouwer examined this human ability, by exploring the effects of attention, musical abilities, and accents on the perception of a regular beat in music.
On the occasion of the PhD defense on June 8, a workshop with presentations from international speakers on the topics of beat perception and prediction will take place on the afternoon of Tuesday, the 7th of June.
For more information on both the defense and the workshop, see http://www.fleurbouwer.nl/workshop.
7 June 2016, PhD defense, Johannes MartiTitle: Interpretation of Linguistic Behavior with Possible World ModelsDate & Time: Tuesday 7 June 2016, 16:00Location: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Martin Stokhof and Frank VeltmanFor more information, please contact johannes.marti at gmail.com
3 June 2016, Master of Logic defense, Thomas SantoliTitle: Logics for Compact Hausdorff Spaces via De Vries DualityDate & Time: Friday 3 June 2016, 11:00Location: Room Bo.2o7, Science Park *904*, AmsterdamSupervisor: Nick Bezhanishvili and Yde Venema
3 June 2016, PhD defense, Phong LeTitle: Learning Vector Representations for Sentences - The Recursive Deep Learning ApproachDate & Time: Friday 3 June 2016, 11:00Location: Aula der Universiteit, Singel 411, 1012 XM AmsterdamPromotor: Rens BodCopromotor: Willem Zuidema
For more information, please contact Phong Le (p.le at uva.nl)
13 May 2016, Master of Logic defense, Yfke DulekTitle: Quantum Homomorphic Encryption for Polynomial-Sized CircuitsDate & Time: Friday 13 May 2016, 15:00Location: Room L0.17, CWI, Science Park 105, AmsterdamSupervisor: Christian Schaffner
31 March 2016, Master of Logic defense, Stephen PastanTitle: Another Approach to Truthmaker SemanticsDate & Time: Thursday 31 March 2016, 13:00Location: Room F1.15, ILLC, Science Park 107, AmsterdamSupervisor: Floris Roelofsen, Franz Berto
22 March 2016, PhD defense, Zoé ChristoffTitle: Dynamic Logics of Networks: Information Flow and the Spread of Opinion Dynamic Logics of Networks - Information Flow and the Spread of OpinionDate & Time: Tuesday 22 March 2016, 10:00Location: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Johan van BenthemCopromotor: Sonja Smets
The abstract of the thesis is available on: https://www.illc.uva.nl/Research/Publications/Dissertations/
And the full text here: https://www.illc.uva.nl/Research/Publications/Dissertations/DS-2016-02.text.pdf
For more information on the defence and the workshop held on the same day, see https://ldsiic.wordpress.com/.
11 March 2016, PhD defense, Ivano CiardelliTitle: Questions in LogicDate & Time: Friday 11 March 2016, 12:00Location: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Jeroen GroenendijkCopromotor: Floris Roelofsen
For more information, please contact i.a.ciardelli at uva.nl
1 March 2016, Master of Logic defense, Rick BellaarTitle: Understanding Schizophrenia: A Wittgensteinian Response to Double BookkeepingDate & Time: Tuesday 1 March 2016, 12:30Location: Room G3.10, Science Park 904, AmsterdamSupervisor: Dr. J. Kiverstein
15 January 2016, Master of Logic defense, Sarah HillerTitle: Corrective Feedback in First Language AcquisitionDate & Time: 15 January 2016, 11:00Location: Room F1.15, ILLC, Science Park 107, AmsterdamSupervisor: Raquel Fernandez Rovira
8 January 2016, Master of Logic defense, Nikolas NisidisTitle: A decompositional analysis of discourse relationsDate & Time: Friday 8 January 2016, 14:00Location: Room F1.15, ILLC, Science Park 107, AmsterdamSupervisor: Henk Zeevat
Projects and Awards
Veni grants for Martha Lewis and Martin Lipman
We are very pleased that two young researchers have been awarded VENI grants to carry out their projects at ILLC:
Dr Martha Lewis: Metaphorical Meanings for Artificial Agents (Faculty of Science)
Dr Martin Lipman: Een gefragmenteerde wereld: Een nieuwe filosofie-aanpak van perspectivische feiten (Faculty of Humanities)
For more information, see http://www.uva.nl/en/news-events/news/uva-news/content/news/2016/07/
Christian Geist and Ulle Endriss win 2016 IJCAI-JAIR Best Paper Prize
Christian Geist and Ulle Endriss will receive the 2016 IJCAI-JAIR Best Paper Prize for their paper "Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects", published in the Journal of Artificial Intelligence Research (JAIR) in 2011. The paper is based on Christian's Master of Logic thesis, which he defended at the ILLC in 2010. This prize is awarded annually to an outstanding paper published in the journal in the preceding five calendar years. Funding for the award is provided by the International Joint Conference on Artificial Intelligence (IJCAI). The prize will be formally announced during an awards ceremony at IJCAI in New York City this July.
For further information, see here.
Amsterdam Data Science Research Assistant Grant for Desmond Elliott
Desmond Elliott (ILLC) and Laura Hollink (CWI) have been awarded an Amsterdam Data Science Research Assistant Grant for 12 months to work on Multimodal Evidence of Concept Drift.
Amsterdam Data Science (ADS) is a collaborative initiative of the UvA, CWI, HvA and VU involving over 250 scientific researchers. ADS provides a network to connect expert researchers from business, humanities, informatics, life sciences and social sciences and actively promotes collaboration across disciplines, research institutes and industry within the Amsterdam region and beyond.
For more information about Amsterdam Data Science, see http://amsterdamdatascience.nl/
Best Paper Award at AAMAS-2016
During the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016), held in Singapore in early May, a paper coauthored by Ulle Endriss (ILLC) was honoured with the Best Paper Award.
For more information, see here.
NVIDIA Academic Hardware Grant for Desmond Elliott
Desmond Elliott has been awarded a Tesla K40 as an unrestricted gift from the NVIDIA Academic Hardware Grant Program. The hardware will be used to support ongoing research on multilingual multimodal machine learning.
For more information about the NVIDIA Academic Research Programs, see https://developer.nvidia.com/research-programs
ILLC and IvI start project with SAP
ILLC and IvI have started a project with SAP focussing on text analysis and machine learning. Two PhD students have been appointed on this project. At ILLC Serhii Havrylov will start the PhD project under the supervision of Ivan Titov.
For more information, see https://www.uva.nl/over-de-uva/organisatie/faculteiten/faculteiten/faculteiten/
NWO Vici for Arianna Betti
NWO has awarded 32 scientists a Vici grant of 1.5 million Euros, including ILLC staff member prof. Dr. Arianna Betti for the project 'Ideas at scale - Towards a computational history of ideas (e-Ideas)'. The funding will enable the laureates to do research for the next five years and to build up their own research group. Vici is one of the largest grants for individual scientists in the Netherlands and is part of NWO's Talent Scheme.
For more information, see http://www.nwo.nl/en/research-and-results/programmes/Talent+Scheme/awards/
ERC Consolidator Grant awarded to Franz Berto
The European Research Council (ERC) has awarded a Consolidator Grant to five researchers from the University of Amsterdam (UvA), including ILLC staff member Prof.dr. Franz Berto (for the project LoC, "The Logic of Conceivability: Modelling Rational Imagination with Non-Normal Modal Logics"). An ERC Consolidator Grant is a prestigious personal grant of about two million euros and provides research support to talented researchers for a period of five years.
For more information, see
or contact F.Berto at uva.nl
Fenrong Liu is awarded Changjiang Distinguished Professorship
Fenrong Liu, Professor at Tsinghua University and holder of the Amsterdam-China Visiting Chair, has been awarded a Changjiang Distinguished Professorship by the Ministry of Education in China. The highly competitive national Changjiang Program, founded in 1998, is considered to be China's most prestigious scholarly honor.
Fenrong Liu is the first logician to receive this award, in recognition of her academic contributions.
Fenrong Liu obtained her Ph. D. at the ILLC, University of Amsterdam in 2008, and became a full professor at Tsinghua University in 2011. She is currently a Co-Director of the Tsinghua-UvA Joint Research Center for Logic.
For more information, see http://www.moe.gov.cn/srcsite/A04/s8132/201601/t20160111_227571.html
ILLC Alumnus Erik Rietveld member of Society of the Arts
The Society of Arts has selected thirteen new members. Amongst the nwe members are ILLC Alumnus and Vidi Laureaat Erik Rietveld together with his brother Ronald, for their work at the crossroads of architecture, art and science.
NWO Open Competition grant for "The Flow of Cognitive Goods"
Rens Bod (ILLC) and Jeroen van Dongen (Institute of Physics) received an NWO Open Competition grant to carry out their project "The Flow of Cognitive Goods: Towards a Post-Disciplinary History of Knowledge". The project will fund two PhD positions and one Postdoc position (738.000 Euro). It will investigate the long-term exchanges of ideas and methods across disciplines using both digital humanities techniques (analyzing cross-citations from 46 million publications) and historical methods (primary and secondary sources).
For more information, see Rens Bod <rens.bod at gmail.com>
QuSoft: new research center for quantum software
QuSoft, the first research center dedicated to quantum software, has officially been launched on December 3rd, 2016. A joint initiative between Centrum Wiskunde & Informatica (CWI), the University of Amsterdam (UvA) and Vrije Universiteit Amsterdam (VU Amsterdam), QuSoft will be located at Amsterdam Science Park and will complement the research conducted by QuTech, which focuses on the development of quantum hardware.
The main focus of QuSoft will be on the development of quantum software, which requires fundamentally different techniques and approaches to those used to develop conventional software because of the counter-intuitive quantum mechanical properties of the quantum computer such as superposition, interference and entanglement. The chief research objective is to develop software and find applications that exploit the extraordinary power of quantum computers.
For more information, see http://www.uva.nl/en/news-events/news/uva-news/content/press-releases/2015/12/, http://www.cwi.nl/news/2015/qusoft-research-center-quantum-software-launched and http://www.qusoft.org/.
ERC Starting Grants awarded to Floris Roelofsen and Ivan Titov
The European Research Council (ERC) has awarded a Starting Grant to six researchers from the University of Amsterdam (UvA), including our own Dr Floris Roelofsen (for the project "QuModQu Quantification and Modality in the Realm of Questions") and Dr Ivan Titov (for the project "BROADSEM: Induction of Broad-Coverage Semantic Parsers"). Our PhD student Ivano Ciardelli has made important contributions to the QuModQu research proposal and will play a prominent role in the project as a postdoctoral researcher.
A Starting Grant is a personal grant of about 1.5 million euros and provides research support to talented researchers for a period of five years.
For more information, see http://www.uva.nl/en/news-events/news/uva-news/content/press-releases/2015/11/.
1st Luxembourg Art Prize
On September 19 this year, Albert Janzen, one of our Master of Logic students, was awarded the first Luxembourg Art Prize 2015.
For his art work, which you can see on the website below, Albert received a grant to produce a solo exhibition to be held at La Galerie Hervé Lancelin in Luxembourg in 2016.
For more information, see https://www.artluxembourg.lu/albert-janzen-laureat-2015/
Funding, Grants and Competitions
ERC Proof of ConceptDeadline: Tuesday 4 October 2016
If, as a receiver of an ERC grant, you are interested in exploring the innovation potential of your work, the ERC is here to help.
ERC Proof of Concept Grants are designed to support ERC grantees with the commercial or societal application of the results of their funded research.
Application deadline: 04 October 2016 17:00:00For more information, see ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/topics/erc-poc-2016.html.
ERC Starting Grant
ERC Starting Grants are designed to support excellent Principal
Investigators at the career stage at which they are starting their own
independent research team or programme. Applicant Principal
Investigators must demonstrate the ground-breaking nature, ambition and feasibility of their scientific proposal.
Application deadline: 18 October 2016 17:00:00For more information, see ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/topics/erc-2017-stg.html.
NWO Mathematics ClustersDeadline: Thursday 15 September 2016
Only a professor in the field of one of the mathematical disciplines can apply. An application must be linked to one or more of the four mathematics clusters in the Netherlands: DIAMANT, NDNS+, GQT or STAR. Each application consists of one tenure track and one PhD-position.
Application deadline: 15 September 2016For more information, see www.nwo.nl/en/funding/our-funding-instruments/ew/mathematics-clusters/mathematics-clusters.html or contact Mw. dr. ir. P.W. de Bont at p.debont at nwo.nl.
NWO Research Talent
Research Talent is a responsive mode funding scheme, which offers talented and ambitious young researchers a platform to pursue a scientific career and carry out high-quality PhD research. This ambition, amongst others, is reflected in the choice of study, followed courses and academic activities that the student engaged in. To this aim a full professors within social and behavioural sciences, and who is also the intended promoter, can submit an application for a grant for these upcoming researchers.
Application deadline: 27 September 2016 14:00For more information, see www.nwo.nl/en/funding/our-funding-instruments/magw/research-talent/research-talent.html or contact Dhr. drs. J.S. Voskuilen at magwot at nwo.nl.
NWO Vidi GrantDeadline: Thursday 6 October 2016
The Innovational Research Incentives Scheme Vidi is a grant for experienced researchers. Vidi gives researchers who have already spent several years doing postdoctoral research the opportunity to develop their own innovative lines of research, and to appoint one or more researchers. Vidi is part of the Talent Scheme.
Application deadline: 6 October 2016 14:00
Annals of Science Best Paper Prize 2016 (for doctoral students)
Submissions are being accepted for the Annals of Science best paper prize 2016. This prize is awarded annually to the author of an original, unpublished essay in the history of science or technology, which is not under consideration for publication elsewhere. The prize, which is supported by Taylor & Francis, is intended for those who are currently doctoral students, or have been awarded their doctorate within the past four years.
The winning essay will be published in the Journal, and the author will be awarded US$1000 and a free subscription to Annals of Science. Papers should be submitted by 30th September 2016, with the winner being notified by 31st December 2016.
For more information, see http://explore.tandfonline.com/page/est/annals-of-science-student-prize or contact Oliver Hill-Andrews (Editorial Assistant) at annals.science at sussex.ac.uk.
Horizon 2020: Marie Skłodowska-Curie Individual Fellowships
The goal of Individual Fellowships is to enhance the creative and innovative potential of experienced researchers, wishing to diversify their individual competence in terms of skill acquisition through advanced training, international and intersectoral mobility.
Deadline: 14 September 2016 17:00:00 (Brussels time). For more information, see https://ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/
ERC Advanced Grant
If, as an established leading principal investigator, you are interested in the opportunity for long-term funding, the ERC is here to help. ERC Advanced Grants are designed to allow outstanding research leaders of any nationality and any age to pursue ground-breaking, high-risk projects in Europe.
The scheme targets researchers who have already established themselves as top independent research leaders.
Application Deadline: 1 September 2016. For more information, see https://erc.europa.eu/advanced-grants.
NWO Joint eScience and Data Science across Top Sectors
The Netherlands eScience Center (NLeSC), Netherlands Organisation for Scientific Research Physical Sciences (NWO), and Dutch Digital Delta invite technology-oriented researchers to apply for funding and support for researching disruptive eScience technologies and Big Data.
Application deadline: 30 August 2016 14:00. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/ew/
Vici is a funding instrument from the Talent Scheme. It gives senior researchers the opportunity to build up their own research group, often in anticipation of a tenured professorship. The research group must become structurally embedded in the research institution.
Application deadline: 25 August 2016 14:00. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/
NWO Free Competition (humanities)
Within the Free Competition Humanities, researchers can apply for funding for curiosity-driven research that does not fall under the thematic funding programmes. Researchers are therefore free to choose the subject of their project, as long as it fits within the humanities.
Application deadline: 6 September 2016 14:00. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/free-competition/gw/
Litwin Books Award for Ongoing Doctoral Dissertation Research in the Philosophy of Information
The purpose of this award is to encourage and support scholarship in the philosophy of information. The award shall consist of $1,000, given annually to a graduate student who is working on a dissertation on the philosophy of information (broadly construed). As we see it, the range of philosophical questions relating to information is broad, and approachable through a variety of philosophical traditions (philosophy of mind, logic, philosophy of information so-called, philosophy of science, etc.).
The scholarship recipient must be an active doctoral student whose primary area of research is directly philosophical, whether the institutional setting is philosophy or another discipline; that is to say, the mode of dissertation research must be philosophical as opposed to empirical or literary study. The recipient must have completed all course work and have had a dissertation proposal accepted by the institution. Recipients may receive the award not more than once.
Nominations should be submitted via email by June 1. For more information, see http://litwinbooks.com/award.php
NWO Onderzoeksbeurs "Wiskundeleraar in Onderzoek"
Het programma STEM Teacher Academy heeft via het NWO Gebiedsbestuur Exacte Wetenschappen onderzoeksbeurzen voor enthousiaste wiskundedocenten beschikbaar gesteld. Deze financiering is alleen voor wiskundeleraren aan Nederlandse middelbare scholen die graag hun kennis willen opfrissen. Dit kan door middel van één dag per week (voor 6 tot 12 maanden) onderzoek uit te voeren bij een wiskunde-instituut met betrekking tot fundamenteel, toegepast of didactisch onderzoek.
Deadline: 4 oktober 2016 14:00
Voor meer informatie, zie http://www.nwo.nl/financiering/onze-financieringsinstrumenten/ew/
Call for nominations: Oberwolfach Prize 2016 in Discrete Mathematics, Logic or Theoretical Computer Science,
The Oberwolfach Foundation awards in cooperation with the Mathematisches Forschungsinstitut Oberwolfach a prize for excellent achievements in *Discrete Mathematics*. This also includes Logic and Theoretical Computer Science.
The prize amounts to Euro 10.000. Candidates should be mathematicians with Ph.D./Dr. degree received not more than 10 years ago and must be nominated. Proposals should contain a description of the scientific achievements, curriculum vitae and publication list of the candidate.
We request all senior scientists in Discrete Mathematics, Logic or Theoretical Computer Science to make proposals before September 1st, 2016. For more information, see http://www.mfo.de/math-in-public/prizes/oberwolfach-prize
Call for Nominations: 2016 Sack Prize for the most outstanding doctoral dissertation in mathematical logic
The ASL invites nominations for the 2016 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. The Sacks Prize was established to honor Professor Gerald Sacks of MIT and Harvard for his unique contribution to mathematical logic, particularly as adviser to a large number of excellent Ph.D. students. The Sacks Prize will consist of a cash award plus five years free membership in the ASL.
Students who defend their dissertations (equivalent to the American doctoral dissertation) between October 1, 2015, and September 30, 2016, are eligible for the Prize this year. Nominations must be received by September 30, 2016. This is an international prize, with no restriction on the nationality of the candidate or the university where the doctorate is granted.
Call for a grant application workshop proposal as part of SMART Cognitive Science
SMART Cognitive Science invites proposals for a € 2500 grant to organize a workshop specifically designed to allow participants to focus on an interdisciplinary theme that will subsequently lead to a national or international grant application or a volume intersecting between the humanities and cognitive sciences. Every researcher of the Faculty of Humanities at the University of Amsterdam can submit a workshop proposal. We invite proposals in all areas of the humanities and cognitive sciences, but cross-disciplinary and innovative topics are particularly encouraged.
Deadline for submissions: April 29th. For more information, see http://smartcs.humanities.uva.nl/news/
NASSLLI2016: Student Scholarships and Presentations
The North American Summer School for Logic, Language, and Information (NASSLLI) brings together top-tier faculty in Cognitive Science, Computer Science, Linguistics, Psychology, and Philosophy to introduce students to topics and issues that represent various combinations of these disciplines.
The organizers of NASSLLI 2016 are excited to announce TWO opportunities for students attending NASSLLI 2016:
(1) Student Scholarships
(2) Presentations in the Student Session
Submission Deadline: Sunday, March 20, 2016. For more information, see http://nasslli2016.rutgers.edu/images/Student%20CfA%20FINAL.pdf
Rubicon aims 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 talented researchers who have completed their doctorates in the past year the chance to gain experience at a top research institution outside the Netherlands, as international research experience is likely to be an advantage at a later stage in the applicant's academic career. For certain typically Dutch topics, 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.
Deadline for applications: Thursday 31 March 2016. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/rubicon/index.html
T-AP Digging into Data Challenge
The Trans-Atlantic Platform will be launching its first international funding opportunity: the T-AP Digging into Data Challenge. The T-AP Digging into Data Challenge will launch in March 2016. The Challenge will support research projects that explore and apply new “big data” sources and methodologies to address questions in the social sciences and humanities.
Marie Curie Research and Innovation Staff Exchange (RISE) grant
The RISE scheme will promote international and inter-sector collaboration through research and innovation staff exchanges, and sharing of knowledge and ideas from research to market (and vice-versa).
The scheme fosters a shared culture of research and innovation that welcomes and rewards creativity and entrepreneurship and helps to turn creative ideas into innovative products, services or processes.
Deadline for applications: Thursday 28 April 2016. For more information, see https://ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/
NWO Innovational Research Incentives Scheme Vici
The Innovational Research Incentives Scheme Vici is a grant for senior researchers. It is a funding instrument from the Talent Scheme, and gives senior researchers the opportunity to build up their own research group, often in anticipation of a tenured professorship.
Deadline for applications: Thursday 24 March 2016. For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/
NIAS: Theme-group Fellowships
Theme Groups bring together scholars of different backgrounds with specific expertise to work together on a daily basis, to advance knowledge on a particular theme. A NIAS research theme group is a group composed of maximum five scholars, half of them from the Netherlands, the other half from other countries. They become Fellows at NIAS for one semester of five months. Researchers work both individually and as a team on a clearly defined research topic with the aim of producing a concrete result such as a book, scientific paper or conference.
Deadline for submitting a Theme Group Proposal for the research year 2017/18: 15 April 2016. For more information, see http://www.nias.knaw.nl/theme-groups
Paris Institute for Advanced Study Fellowships
The Paris Institute for Advanced Study welcomes applications from high level international scholars and scientists in the fields of the humanities, the social sciences and related fields for periods of five or nine months, during the academic year 2017-2018. The Paris IAS will host around twenty guest researchers, allowing them to work freely on the project of their choice. The researchers will benefit from the scientific environment of the Institute and have the opportunity to create contacts with researchers in the academic institutions of Greater Paris.
Deadline for applications: 1 March 2016. For more information, see http://www.paris-iea.fr/en/apply/calls-for-applications/
Call for Nominations: Ackermann Award 2016
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2014 and 31.12.2015 are eligible for nomination for the award. The 2016 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 29 August - 2 September 2016, in Marseille (France).
The deadline for submission is 15 April 2016. Nominations can be submitted from 1 January 2016 and should be sent to the chair of the Jury, Anuj Dawar, by e-mail. For more information, see http://www.eacsl.org/submissionsAck.html.
The Cooperation Flanders programme
The Cooperation Flanders programme funds and encourages joint research by Flemish and Dutch researchers in the humanities. Many scientific questions cross boundaries and so national borders should not hinder researchers. The research programme funds projects that are jointly realised by two researchers at a time: one Dutch and one Flemish researcher.
2016 Application deadlline: Friday 1 April 2016. For more information, see http://www.nwo.nl/en/research-and-results/programmes/gw/cooperation-flanders/.
Cooperation Japan (JSPS) - Invitation fellowship
NWO has a cooperation agreement with the Japan Society for the Promotion of Science (JSPS). The programme Cooperation Japan (JSPS) is for Dutch researchers who want to cooperate with colleagues in Japan. It offers the possibility of a JSPS Invitation fellowship in Japan.
For more information, see http://www.nwo.nl/en/funding/our-funding-instruments/nwo/cooperation-japan-jsps/
Robert J. Glushko Dissertation Prizes
The Cognitive Science Society and the Glushko-Samuelson Foundation will award up to five outstanding dissertation prizes in cognitive science. The goals of these prizes are to increase the prominence of cognitive science, and encourage students to engage in interdisciplinary efforts to understand minds and intelligent systems. The hope is that the prizes will recognize and honor young researchers conducting ground-breaking research in cognitive science.
Application deadline: Saturday 30 January 2016, For more information, see http://www.cognitivesciencesociety.org/about_awards_glushko_nominations.html
Heinrich Boell Stiftung: student and doctoral scholarships
The scholarship department of the Heinrich Böll Foundation grants scholarships to undergraduates, graduates, and doctoral students from inside and outside Germany.
We hold the application process twice a year. The application deadline is 1 March and 1 September. Please note: We only accept online applications. The application portal will be opened about 6 weeks before the application deadline.
Deadline: Sunday 1 March 2016. For more information, see https://www.boell.de/en/foundation/application and http://www.boell.de/en/2015/04/02/application-process-spring-2016.
Open Positions at ILLC
Postdoctoral Researcher in LogicDeadline: Sunday 2 October 2016
Applications are invited for a Postdoctoral Researcher in Logic at the Faculty of Humanities.
Application deadline: Sunday 2 October 2016For more information, see www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-420-postdoctoral-researcher-in-logic.html or contact Prof. Dr. Franz Berto at f.berto at uva.nl.
PhD candidate in Logic and Analytic PhilosophyDeadline: Sunday 2 October 2016
Applications are invited for PhD candidate in Logic and Analytic Philosophy at the Faculty of Humanities.
Application deadline: Sunday 2 October 2016For more information, see www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-419-phd-candidate-in-logic-and-analytic-philosophy.html or contact Prof. Dr. Franz Berto at f.berto at uva.nl.
PhD position or Postdoc position in Computational Linguistics and Dialogue Processing
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam invites applications for a research position at either the PhD candidate or the postdoc level in the recently established Dialogue Modelling Group led by Raquel Fernández. The mission of the group is to understand dialogical interaction by developing empirically-motivated formal and computational models that can be applied to various dialogue processing tasks and to human-machine interaction.
Application deadline: 15 September 2016
Five PhD positions at the Faculty of Humanities, UvA
Applications are invited for five PhD fellowships at the Faculty of Humanities, tenable from 1 November 2016 (4 years, 0.8 FTE). The PhD candidates at the Faculty of Humanities, UvA will be appointed within one of the five Research Schools of the Faculty of Humanities, or within the ILLC. The appointment will be for 4 years for 0.8 FTE under the terms of employment currently valid for the Faculty.
Application deadline: 15 August 2016. For more information, see here.
Postdoctoral researcher in Logic
We are looking for a postdoctoral researcher who will join the research group of Prof. Sonja Smets. Preference will be given to a candidate who is active in one of the following areas:
- Logic and its applications to formal epistemology or multi-agent systems. In particular we are interested in the use of logical methods to study the dynamics of information. Topics of interest can relate to belief revision theory, social network theory, epistemic game theory, truth approximation or formal learning theory.
- Logic and its applications in the area of quantum mechanics or quantum information theory. In particular we are interested in quantum logic and its use in quantum information theory (e.g. logics used for the formal verification of quantum information protocols).
Deadline for applications: 15 June 2016. For more information, see here
Two PhD positions at Faculty of Science
The ILLC currently has two PhD positions available at the Faculty of Science, starting on 1 September 2016. Applications are now invited from excellent candidates wishing to conduct research in an area within ILLC that fits naturally in the Faculty of Science. Closing date for applications: 15 May 2016.
Postdoctoral researcher in Statistical Machine Translation
The SLPL Lab, led by Professor Khalil Sima'an, is part of the Language and Computation Programme at the ILLC. The SLPL Lab is seeking to attract a postdoctoral researcher in Statistical Machine Translation for a fixed term of two years. SLPL currently has 7 PhD candidates, 3 postdoctoral researchers and two research assistants working on five ongoing externally funded projects, including a Vici, H2020 QT21, ITN EXPERT, an Open Competition and an STW project.
Prospective candidates should hold a PhD degree in statistical natural language processing or a related research area with experience in statistical machine translation, as well as proven experience in and affinity with programming and empirical experimentation with text (parallel) corpora. While this is primarily a research position, the successful candidate will be expected to also make a minor contribution to teaching.
Application deadline: 15 May 2016. For more information, see here.
Two PhD positions in History of Humanities and Sciences
The two PhD candidates will respectively work at the Faculty of Humanities (Institute for Logic, Language and Computation) and the Faculty of Science (Institute of Physics (IOP). Both institutes are located at the Amsterdam Science Park. The positions will reinforce the newly founded Center for the History of Humanities and Sciences, and are funded by the NWO Humanities open competition programme 'The Flow of Cognitive Goods: Towards a Post-Disciplinary History of Knowledge'. This programme is led by Prof. Rens Bod (ILLC) and Prof. Jeroen van Dongen (IOP).
Application deadline: 1 April 2016. For more information, see here.
PhD candidate in Formal Semantics
The Inquisitive Semantics group, part of the Logic and Language research programme, is looking for a PhD candidate with an interest in developing new logical tools within the inquisitive semantics framework for the analysis of quantification in natural language
Application deadline: 15 March 2016. For more information, see here
PhD candidate in Logic
The Inquisitive Semantics group, part of the Logic and Language research programme, is looking for a PhD candidate with an interest in carrying out a thorough investigation of first-order inquisitive logic, with an eye towards applications in linguistics and computer science. The ILLC provides an excellent environment for research in this area with world-class faculty in logic and formal semantics.
Application deadline: 15 March 2016. For more information, see here
Postdoctoral researcher in computational logic or experimental semantics
The Inquisitive Semantics group, part of the Logic and Language research program, is looking for one or two Postdoctoral researchers with an interest in building new bridges between inquisitive semantics and neighbouring fields, in particular computer science and psycholinguistics.
Application deadline: 15 March 2016. For more information, see here
Postdoctoral researcher in Formal Semantics
The Inquisitive Semantics group, part of the Logic and Language research program,research program, is looking for a Postdoctoral researcher with an interest in developing a fully compositional dynamic inquisitive semantics, and to apply this framework to a number of linguistic phenomena.
Application deadline: 15 March 2016. For more information, see here
Open Positions, General
Research and teaching assistant position (PhD or Postdoc level) in Formal Methods and Theoretical Computer Science, University Koblenz-Landau (Germany)Deadline: Friday 21 October 2016
The department for Computer Science of the University Koblenz-Landau (Campus Koblenz) invites applications for the position of a research and teaching assistant (wissenschaftlicher Mitarbeiter/Mitarbeiterin, 1,0 EGr. 13 TV-L) at PhD or Postdoc level, in the research group ``Formal methods and theoretical computer science''(Prof. Dr. Viorica Sofronie-Stokkermans).
The position is available for 3 years; the teaching obligations are of 8h/week during the semesters. In addition to the teaching obligations there is the possibility of pursuing a PhD.
Applicants should have a MSc degree (or comparable University degree) in Computer Science, Mathematics or a related discipline.
Code number of position: 118/2016. Application letters (including a CV) must be sent by e-mail as a single .pdf file with specific reference to the position (118/2016) to Prof. Dr. Viorica Sofronie-Stokkermans (E-Mail: sofronie at uni-koblenz.de). To receive full consideration, applications should be received by October 21, 2016. Applications sent after this date will also be considered until the position is filled.For more information, see www.uni-koblenz-landau.de/de/uni/organisation/stellen/stellenarchiv/archiv-ordner/118-2016 or contact Prof. Dr. Viorica Sofronie-Stokkermans at sofronie at uni-koblenz.de.
Postdoctoral fellowship on formal concepts, Oslo (Norway)Deadline: Saturday 15 October 2016
A Post-Doctoral Research Fellowship is available at ConceptLab at the Department of Philosophy, Classics, History of Art and Ideas, University of Oslo (UiO). The department is looking for a Post-Doctoral Fellow whose research will contribute to the research theme 'Formal concepts' and who will contribute to the research environment of ConceptLab in general.For more information, see uio.easycruit.com/vacancy/1696835/62040.
Three postdoctoral positions on formal epistemology, Prague (Czech Republic)Deadline: Saturday 15 October 2016
The Institute of Philosophy of the Czech Academy of Sciences in Prague is seeking to appoint 3 positions for postdoctoral or early career researchers in philosophy. The positions will be associated with Professor Ladislav Kvasz?s research project 'Formal epistemology - the next synthesis' The project is scheduled for 6 years, which is also the maximum duration of the appointments.
The positions are differentiated according to three subject areas:
1) the historical and philosophical study of the formalization of logic
2) the study of the contemporary attempts at developing a formal epistemology
3) the study of the epistemology actually employed in physical research.
The starting date for the appointments is January 1, 2017. The positions are offered for two years, with a possible extension of up to six years on the basis of research performance and with respect to the priorities of the project. Please submit your application by e-mail by October 15, 2016.For more information, see www.flu.cas.cz/cz/3-positions-for-postdoctoral-researchers or contact Prof. Ladislav Kvasz at kvasz at flu.cas.cz.
Westerdijk fellowship for young female researchers in computing science, Utrecht (The Netherlands)Deadline: Friday 14 October 2016
The Westerdijk fellowship is a very prestigious position for young female researchers offered jointly by the Faculty of Science and the Department Information and Computing Sciences at Utrecht University. Beside the standard employment conditions, the Westerdijk fellowship offers the following benefits:
- A (fully financed) PhD position;
- Technical and/or secretarial support;
- Additional budget of ? 50,000 for personal development, facilities and travel.
The department is looking for an outstanding candidate with complementary yet connectable research interests to those of the current departmental research staff.For more information, see www.academictransfer.com/employer/UU/vacancy/35436/lang/en.
Postdoctoral position in information assurance, Luxembourg (Luxembourg)Deadline: Thursday 20 October 2016
The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). One of the open positions is for a Research Associate (postdoc) in Information Assurance (Ref: R-STR-5004-00-B).
The research will be conducted within the VoteVerif project (Verification of Voter-Verifiable Voting Protocols), in collaboration with Polish Academy of Sciences, Warsaw, Poland. The project aims to develop novel concepts, methodologies, and tools for specification, analysis, and assessment of information security properties. The focus is on voting procedures and protocols, and in particular on their essential features like confidentiality, coercion-resistance, and voter-verifiability. The researcher will be working under the supervision of Prof P Y A Ryan, head of the APSIA (Applied Security and Information Assurance) research group.
PhD position in Knowledge Representation, VU Amsterdam (The Netherlands)Deadline: Thursday 20 October 2016
Applications are invited for a PhD position with the Knowledge Representation Group in the area of logics for (VERY) large knowledge bases at the VU in Amsterdam.
PhD position on 'Probabilistic Decision Support for Forensic Investigations' at Utrecht UniversityDeadline: Saturday 1 October 2016
The Department of Information and Computing Sciences of Utrecht University is looking for an enthusiastic PhD candidate for our PROBAS project (Probabilistic decision-making Based on Arguments and Scenarios). In this project, fundamental research on language, logic and algorithms is combined with research into knowledge elicitation and decision-support in the context of large forensic investigations.
The aim of this interdisciplinary project is to determine how logical arguments and scenarios are used in actual decision-making, how they can be used to construct and compare Bayesian networks, and how subsequently mathematical and computational techniques can be used to refine and choose between alternative networks.
20 September 2016, PhD position Linguistics/Philosophy (Groningen)Date: Tuesday 20 September 2016Location: Groningen
We offer a fully funded PhD position in the NWO-funded project "The Language of Fiction and Imagination" led by Dr. Emar Maier (Groningen). The aim of this project is to develop a formally explicit account of the interpretation of fiction as "imagination updates", exploiting existing frameworks in semantics (e.g. Discourse Representation Theory, Mental Spaces), and philosophy (e.g. Mental Files, pretense theories of fiction). The position advertised is for a subproject centered on the linguistic questions raised by the project: How does a reader even know that a given text is fiction? Are there linguistic clues an author can leave to mark a text is to be interpreted as an imagination update? The goal is to give a formal semantic analysis of putatie fiction markers (e.g. free indirect discourse), building on the semantic machinery developed in the other subprojects, and engaging with existing work in both formal/cognitive linguistics and literary studies/narratology.
You may apply for this position until Tuesday 20 September (23:59 local Dutch time) by means of the application form at the RuG vacancies website.
The preferred starting date is 1 January 2017, or earlier. You may apply for this position until Tuesday 20 September (23:59 local Dutch time) by means of the application form. For submission details and required documents, see the full advertisement at the RuG vacancies website at http://www.rug.nl/about-us/work-with-us/job-opportunities/ or the project website at https://sites.google.com/site/emarmaier/vidi, or contact Dr Emar Maier at e.maier at rug.nl.
Postdoctoral position (research assistantship) in "The Evolution of Linguistic Complexity", Edinburgh (Scotland)Deadline: Thursday 13 October 2016
The School of Philosophy, Psychology and Language Sciences is seeking to appoint a 1.0 FTE Research Assistant for a fixed-term period of 24 months. The position is to support a research project entitled "The Evolution of Linguistic Complexity" which is funded by the European Research Council and led by Dr Kenny Smith.
The successful candidate will be responsible for developing computational models of language learning, language use, and iterated learning. This position requires someone with a PhD in Cognitive Science, Psychology, Linguistics, Computer Science or related disciplines, programming skills necessary for developing computational models of language learning and language use, up-to-date knowledge of the current literature on modelling human cognition. The post will be based in the Centre for Language Evolution.
Applications must be received before 13 October, 2016For more information, see www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.display_form or contact Dr Kenny Smith at kenny.smith at ed.ac.uk.
Tenure-track Assistant Professorship in Fundamental Mathematics, Utrecht (The Netherlands)Deadline: Sunday 16 October 2016
Utrecht University has a Tenure-track opening for an Assistant professor of Mathematics in the Division of Fundamental Mathematics (0,8 -- 1,0 FTE)
We are searching for candidates whose expertise is in algebraic topology, differential topology, or (higher) category theory; or in related areas in algebra, algebraic geometry, or mathematical logic.
The appointment is at the level of assistant professor, initially for a period of 5 years. The position is partially funded by the Spinoza grant of Prof dr I. Moerdijk. In case of positive evaluations, the position becomes permanent after 5 years. In exceptional cases, the higher rank of associate professor is negotiable. Funds have been reserved so the candidate can appoint one PhD student.
Application deadline is 16 October 2016.For more information, see www.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm or contact Carin van de Weerd at c.vandeweerd-nijboer at uu.nl.
Postdoctoral position in proof theory, Vienna (Austria)Deadline: Friday 21 October 2016
A position as post-doctoral researcher is available in the group for Computational Logic at the Faculty of Mathematics of the Vienna University of Technology. This position is part of a research project on the proof theory of induction. The aim of this project is to further deepen our understanding of the structure of proofs by induction and to develop new algorithms for the automation of inductive theorem proving. Techniques of relevance include cut-elimination, witness extraction, Herbrand's theorem.
The position is initially for 1 year - an extension is possible in case of mutual interest. The starting date is negotiable, but should be within 6 months of the application deadline. The application deadline is October 21, 2016.
PhD student position in information assurance, Luxembourg (Luxembourg)Deadline: Friday 7 October 2016
The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). One of the open positions is for a PhD Candidate in Information Assurance (Ref: R-STR-5014-00-B).
The research will be conducted within the VoteVerif project (Verification of Voter-Verifiable Voting Protocols), in collaboration with Polish Academy of Sciences, Warsaw, Poland. The project aims to develop novel concepts, methodologies, and tools for specification, analysis, and assessment of information security properties. The focus is on voting procedures and protocols, and in particular on their essential features like confidentiality, coercion-resistance, and voter-verifiability. The researcher will be working under the supervision of Prof P Y A Ryan, head of the APSIA (Applied Security and Information Assurance) research group.
Lecturer position in Algorithms and Complexity, Leeds (England)Deadline: Sunday 18 September 2016
The School of Computing is a partner in the new Joint School of Engineering between the University of Leeds (UoL) and Southwest Jiaotong University (SWJTU), based in the SWJTU campus in the city of Chengdu in China. To support this exciting new initiative we are seeking to appoint an outstanding candidate with a track record of excellence in research and teaching, and enthusiasm to help to deliver the Computer Science programme with the joint school. Algorithms and Complexity (including computational logic) is one of the highlighted areas.For more information, see www.jobs.ac.uk/job/AOL301/lecturer-in-computer-science or contact Dr Olaf Beyersdorff at O.Beyersdorff at leeds.ac.uk.
Stipendiary Lectureship in Philosophy, Oxford (England)Deadline: Thursday 8 September 2016
Hertford College proposes to appoint a Stipendiary Lecturer in Philosophy. The part-time lectureship is for a fixed term from 1 October 2016 to 30 September 2017 and is non-renewable. It can be held in conjunction with another similar appointment to the extent that this is compatible with the responsibilities of the lecturership.
The tutorial teaching load will be an average of six hours per week (mainly in pairs and small classes) during term. In addition, the appointee will be expected to play a significant role in administration and student support (including pastoral care) in respect of degree programmes involving Philosophy at Hertford College, and is expected to be available to assist throughout the 2016 Admissions round. The successful candidate will be capable of teaching Ethics, both to first-years taking the Moral Philosophy course based on Mill?s Utilitarianism and to upper-year students taking the Ethics paper (usually as part of the PPE core). Ability to teach other first-year courses and some popular upper-year papers would also be desirable. S/he will be under the direction of Professor Peter Millican, Gilbert Ryle Fellow and Tutor in Philosophy.
Job Ref: AC21814J. Applications must be received by 5.00pm on Thursday 8 September 2016.For more information, see www.jobs.ac.uk/job/AOH057/stipendiary-lecturership-in-philosophy or contact college.office at hertford.ox.ac.uk.
Research Fellowship in Historical and Philosophical Studies, Cambridge (England)Deadline: Monday 3 October 2016
Applications are invited for Research Fellowships in Historical & Philosophical Studies and related fields intended for outstanding researchers early in their careers. The Fellowships offer an opportunity to carry out independent research in a stimulating and supportive academic environment. Applications will be accepted from any graduate of a university within or outside the United Kingdom.
All candidates should note that these Research Fellowships are extremely competitive and typically less than one candidate in 100 is successful. Successful candidates are expected to be either graduate students, probably in the latter stages of their research leading to a PhD Degree, or post-doctoral researchers who have been awarded their PhD Degree after 1 October 2015. Candidates who do not fulfil these criteria are unlikely to be considered.
Applications must be submitted online and received by 17.00 BST on Monday 3 October 2016.For more information, see www.jobs.ac.uk/job/AOH225/research-fellowships-in-historical-and-philosophical-studies.
Postdoctoral research fellowship (5y; philosophy included among the eligible subjects), Oxford (England)Deadline: Friday 9 September 2016
All Souls College invites applications for up to five Post-Doctoral Research Fellowships in the following subjects: Life Sciences; Theoretical Physical Sciences (broadly defined); Classical Studies; Modern Languages; Literature in English; and Philosophy. Those elected will be expected to take up their Fellowships on 1 October 2017 or such other date as may be agreed in advance with the College. The Fellowship are for five years, fixed-term, and non-renewable.
The Fellowships are intended to offer opportunities for outstanding early career researchers to establish a record of independent research. But, while the primary duty of a Post-Doctoral Research Fellow is the completion of a significant body of independent research for publication, they are also encouraged to undertake appropriate teaching and supervision of research in the University, develop their curriculum vitae, and improve their prospects of obtaining a permanent academic position by the end of the Fellowship.
Closing dates and times for Applications: 4 pm (UK time), Friday, 9 September 2016.For more information, see www.jobs.ac.uk/job/AOI588/five-year-post-doctoral-research-fellowships.
Associate Professorship in Theoretical Philosophy, Oslo (Norway)Deadline: Wednesday 21 September 2016
The Department of Philosophy, Classics, History of Art and Ideas seeks to appoint an Associate Professor in Philosophy specializing in any area within theoretical philosophy. Preference may be given to applicants working in the areas associated with the Department's Centre for the Study of Mind in Nature (CSMN) and the Department's new 'Toppforsk' project on Conceptual Engineering.
The successful candidate is expected to initiate and lead research, supervise PhD candidates, participate in teaching and in exam setting and assessment at all levels, and to carry out administrative duties in accordance with the needs of the Department.
The application deadline is September 21.
PhD student position in "The Language of Fiction and Imagination" (linguistics/philosophy), Groningen (The Netherlands)Deadline: Tuesday 20 September 2016
The Faculties of Arts and of Philosophy at the University of Groningen are looking for a PhD student in the NWO-funded research project "The Language of Fiction and Imagination" led by Dr. Emar Maier. The project will build a bridge between cognitive and formal semantics, exploiting existing semantic frameworks (e.g. Discourse Representation Theory, Mental Spaces), and philosophy (e.g. Mental Files, pretense theories of fiction), in order to arrive at a formally explicit account of the interpretation of fiction.
Our ideal candidate has
- a strong background in formal semantics (through training in theoretical linguistics, logic, and/or philosophy of language), and a clear interest in (linguistic aspects of) literature/narratology;
- excellent English and academic writing/presentation skills;
- an MA or MSc degree in a field relevant to the project (e.g. linguistics, philosophy, literary studies, A.I.);
You may apply for this position until Tuesday 20 September (23:59 local Dutch time) by means of the application form.For more information, see www.rug.nl/about-us/work-with-us/job-opportunities/overview or contact Dr Emar Maier at e.maier at rug.nl.
Two PhD student positions in theoretical philosophy, Groningen (The Netherlands)Deadline: Wednesday 14 September 2016
The Faculty of Philosophy at the University of Groningen offers a PhD position in the Department of Theoretical Philosophy. Applications are invited from high quality prospective PhD students in the areas of philosophy of science, epistemology or formal epistemology. Candidates should have a master's degree in Philosophy with an excellent academic record. They should have a very good command of English and strong academic writing skills.
The preferred starting date is 1 November 2016, or as soon as possible thereafter. You can apply for this position until 14 September 2016 (Dutch local time).For more information, see www.rug.nl/about-us/work-with-us/job-opportunities/overview.
PhD or postdoctoral position in 'Automaticity in Thought and Action', Bochum (Germany)Deadline: Saturday 24 September 2016
At the Institute of Philosophy II of the Ruhr-University in Bochum a position for a PhD student (50 % TVL) or a postdoc position (100% TVL) is offered in the area of philosophy of mind and cognition in the research group of Prof. Albert Newen, in the collaborative project "Automaticity in Thought and Action and Its Significance for our Self-Understanding? Thematic Framework for the Position: Philosophy of Self-Deception, Self-Consciousness or Self-Understanding"
The position is available for a period of three years (with an assessment after the first year). Given the formal contract for the envisioned funding, the project will be situated in Bochum but developed in a close collaboration with philosophers from Duisburg-Essen and Dortmund. Furthermore, it is connected with the Anneliese-Meier-Award of the Humboldt-Foundation (held by Prof. Shaun Gallagher in cooperation with Prof. Newen in Bochum). Thus candidates should be interested in working out project in the area of the philosophy of mind and cognition within the thematic framework of the position determined by the research project. Applications must be received before 24 September, 2016
PhD student position in argument mining, Dundee (Scotland)
The Centre for Argument Technology, University of Dundee, invites applications for a PhD student to work in the interdisciplinary area lying between computational linguistics and argumentation. The studentship aims to explore techniques in computational linguistics, text mining and deep learning to exploit theories of argument structure and classical rhetoric in order to automatically identify human reasoning in unconstrained natural language texts. Because of the team's current research with IBM, the research conducted as a part of this PhD studentship will also be able to make use of Bluemix and Watson components.
The starting date for the 42-month PhD studentship is negotiable. More information is available from the advertistement on the research group web site at http://www.arg-tech.org/index.php/phd-studentship-available-in-argument-mining/, and applicants should apply by sending a CV and covering letter to Prof. Chris Reed. Closing date for applications is 31 August 2016.
PhD student position in supervision of autonomous software systems, Utrecht (The Netherlands)
Modern software systems operate in increasingly dynamic settings and therefore need flexible and adaptive requirement models. In general, the requirements of software systems are in constant motion due to their continuously changing environments. The PhD project concerns the creation of an adaptive runtime supervision framework that continuously monitors the execution of software systems, evaluates their behavior against the current requirements, and intervenes by deciding which requirements should be added, ignored or weakened.
The two main pillars of the envisioned approach are that:
1. accurate requirement models can be obtained only at runtime and through learning;
2. requirement revision, including requirement approximation, is preferred over system adaptation.
The project will be conducted under the joint supervision of Dr. Fabiano Dalpiaz (Software Systems) and Dr. Mehdi Dastani (Intelligent Systems).
The application deadline is October 2, 2016. For more information, see http://www.uu.nl/en/organisation/working-at-utrecht-university/jobs. Additional information about the vacancy can be obtained from: Dr. Fabiano Dalpiaz: f.dalpiaz at uu.nl.
PhD student position in Knowledge Representation and Reasoning, Luxembourg (Luxembourg)
The Individual and Collective Reasoning Group (ICR) in the Computer Science and Communications research unit (CSC) at the University of Luxembourg is looking for a Doctoral candidate (PhD student) in Knowledge Representation and Reasoning (M/F).
- 14 months fixed-term contract, extendable to 36 months in total, full-time (40h/week)
- Start date as soon as possible
- Student status
Postdoctoral position in temporal issues (14m), Milan (Italy)
The Centre for Philosophy of Time is looking for a researcher who has a research specialism in Temporal Issues with respect to at least one of the following areas: metaphysics, philosophy of mind, philosophy of language and philosophy of science. Ideally we aim at making one hire with an area of research specialism in the Metaphysics of Time, and one hire with an area of research specialism in temporal aspects within Philosophy of Mind. PhD is strongly preferred.
The call will be out till Friday, September 2. The interview will take place in September. For more information, see http://www.centreforphilosophyoftime.it/news/.
Three PhD student positions and one postdoctoral position in history and philosophy of mathematics, Zuerich (Switzerland)
The positions are devoted to historical and/or philosophical analyses of the development and/or the practice of mathematics, or of mathematics' contemporary scientific, social or cultural roles. At least one position will be devoted to the study of medieval non European mathematics, especially Indian or Arabic. Projects that focus on commercial and practical mathematics, or consider cross cultural exchange are especially encouraged. Philosophical projects that consider mathematics as a practice, rather than as an abstract ideal, are encouraged. Projects that are framed strictly inside the analytic philosophical tradition are discouraged (but this reservation does not extend to projects that combine analytic and other approaches).
We are looking for candidates who hold Masterâ€™s or PhD degrees in related disciplines with a relevant research background. Starting Date is flexible during the academic year 2016-2017. The postdoctoral researcher will have its position reconsidered on a yearly basis, based on research performance and the chair's priorities for a maximum period of no more than 6 years.
Applications must be received before 31 August, 2016. For more information, see https://apply.refline.ch/845721/4747/pub/1/ or contact Prof. Dr. Roy Wagner, professor of history and philosophy of mathematical sciences, at roy.wagner at gess.ethz.ch.
PhD position on Learning Language through DialogueLocation: Tilburg UniversitySupervisor: Afra Alishahi and Raquel Fernández
The Tilburg center for Cognition and Communication (TiCC) invites applications for a PhD position for the project "Learning Language through Dialogue". The goal of the project is to study the influence of communicative interaction on language development, and to investigate how linguistic constructions are acquired through conversation. This will be pursued by applying a multi-disciplinary approach that combines analyzing child-adult interaction data and developing computational models that simulate the process of construction learning through interaction.
Application deadline: 30 August 2016. You can apply for this position here. For more information about the project and the vacant PhD position, contact the project supervisors Afra Alishahi from Tilburg University (a.alishahi at tilburguniversity.com) and Raquel Fernández from University of Amsterdam (raquel.fernandez at uva.nl).
Two Industrial PhD Student Positions in Formal Logic at the University of Barcelona
The University of Barcelona offers two PhD positions in collaboration with the Catalan industrial sector. As such, the industrial component of the PhD revolves around the development and verification of legal software in Coq. This work will be complemented with the formalization of parts of logic/mathematics. Since the group where this project will be embedded works on ordinal analysis via modal logic and reflection principles, we expect collaboration with the main group to arise, but we are open to alternative proposals.
Two PhD student positions in Science Studies and History of Science, Zuerich (Switzerland)
The Chair for Science Studies (Prof. Michael Hagner) at ETH Zurich invites applications for 2 PhD positions in Science Studies and History of Science:
1) History of the humanities, or the human and life sciences in the 20th century (history of the book and scientific publishing in the 19th or 20th century)
2) History and visual culture in science, technology, and art.
The initial funding period is two years, the third year subject to assessment. Applicants should hold a Master's degree or equivalent, received no longer than three years before the starting date, in the history of science, the history of technology and culture, STS, art history, or philosophy.
Applications must be received before 31 August, 2016. For more information, see https://apply.refline.ch/845721/4767/pub/1/
Six-month teaching contract for logic in philosophy, Perth (Australia)
I have generated a rather interesting problem at UWA: my logic class is now so large that we don?t have enough staff to teach it (750 students enrolled this coming semester). So I?m putting out the call: are there any recent PhDs who (i) have taught logic before and (ii) would be willing to come to Perth on a full-time teaching intensive contract for 6 months? This is all rather urgent: I need two people who are willing to head over here within the next 3 weeks. UWA will most likely cover relocation (though what this exactly looks like, I?m not sure, but flights at least I should think and hopefully some preliminary accommodation).
Please send expressions of interest and requests for further information to Sam Baron ASAP at: samuel.baron at uwa.edu.au.
Postdoctoral position in epistemology / decision theory, Hamburg (Germany)
Universität Hamburg invites applications for a Research Associate for the project "Knowledge and Decision" (PI: Moritz Schulz), funded by the Deutsche Forschungsgemeinschaft. The position commences on October 10th 2016 or as soon as possible thereafter. It is remunerated at the salary level TV-L 13 and calls for 39 hours per week. Duties include academic services in the project named above. The successful candidate should have previous knowledge appropriate to the topics of the project including competence in epistemology, decision theory and logic. S/he should also have the necessary social skills for working in a collaborative context.
The application deadline is August 15th , 2016. More information about the project, as well as the full job advertisement, can be found at https://moritzschulz.com/projekt/. For further information, please contact Wanja Thielmann (project assistant), at Wanja.Thielmann at studium.uni-hamburg.de.
Weston Junior Research Fellowship in Philosophy, Oxford (England)
The New College, Oxford invites applications for this post, which is tenable for a fixed period of three years from 1 October 2017 or as soon as possible thereafter based in New College, Oxford. The person appointed will be expected to undertake advanced research in Philosophy and will have completed his or her PhD/DPhil or be in the last year of doctoral work at the time of taking up the post, and may not previously have held a Junior Research Fellowship or comparable appointment.
Further particulars and an application form may be obtained from the College's website at http://www.new.ox.ac.uk/weston-junior-research-fellowship-philosophy, or from the Academic Registrar, New College, Oxford OX1 3BN, tel: 01865 279596, or tuition at new.ox.ac.uk. The closing date for receipt of applications is 5.00pm on Monday 19 September 2016.
Assistant Professorship (permanent) in mathematical logic, Krakow (Poland)
The Institute of Philosophy of the Jagiellonian University (Krakow) advertises an open permanent position in mathematical logic. This is a permanent position (not 'tenure' -- there's no such thing in Poland) subject to the following constraints: 1) the hiree is expected to achieve the Polish 'habilitation' in 8 years; this is mandatory, but after this s/he will move to a higher payment level; 2) there will be periodic evaluation of both the publication output and the quality of teaching (not more often than once in 2 years). The hiree is expected to start teaching in Polish at some point - when this will happen is negotiable.
The deadline for submitting application is August 2nd, 2016. On application, the diploma needs to have a notarized Polish translation. All other application documents need to be presented both in Polish and in English.
The announcement in English is here: http://logika.net.pl/wp-content/uploads/others/pdf/ and the original Polish one is here: http://www.bip.uj.edu.pl/documents/1384597/126392020/op-wfiloz-zl-adiu-30-VI.pdf. The 'personal survey' the announcement mentions is the following document: https://dl.dropboxusercontent.com/u/1554329/Personal_Survey_to_be_translated.rtf. Further questions may be addressed to Professor Jerzy Golosz at jgolosz at iphils.uj.edu.pl.
Tenure track assistant/associate professor position in Theoretical Computer Science
Tenure track assistant/associate professor position in Theoretical Computer Science at the Department of Computer Science of the Vrije Universiteit Amsterdam.
Please send your application before 1 September 2016. For more information, see http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2016/16191.aspx#accept.
Postdoctoral position and two PhD student positions on Hilbert's 24th problem, Lisbon (Portugal)
Within the project "Hilbert's 24th Problem", funded by the Portuguese Science Foundation, FCT, we have three grants available, 1 Post-doc and two BI-grants (intended for potential PhD students). All grants are initially for one year, starting in September 2016, with the option to be extended up to three years in total. The deadline for applications is 28 July, 2016.
For more information, see
BI (Phil): http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=77953
BI (Math): http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=77954
Project theme: https://en.wikipedia.org/wiki/Hilbert%27s_twenty-fourth_problem.
For further information on the project and/or the grants please contact: Reinhard Kahle, kahle at fct.unl.pt.
Junior and Senior Principal Investigator at QuSoft
QuSoft is the new Dutch research Center for Quantum Software that was recently launched jointly by the University of Amsterdam (UvA), the Centrum voor Wiskunde en Informatica (Center for Mathematics and Computer Science, CWI) and the Vrije Universiteit Amsterdam (VU). The researchers at QuSoft develop software and applications that exploit the extraordinary power of quantum computers based on their quantum mechanical properties such as superposition, interference and entanglement. That requires fundamentally different techniques and approaches from those used to develop conventional software.
QuSoft wishes to recruit two principal investigators, one at junior faculty (tenure track) level and the other at the level of associate or full professor. The new QuSoft faculty will be part of the core of the QuSoft center and we expect that they take on an active role in shaping and developing the center. The new QuSoft faculty members will be employed by the UvA, but will be expected to spend most of their time at the QuSoft Center, which is presently housed by the CWI. The senior position that is available is an associate or full professorship with the UvA.
Application deadline: 1 September 2016.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-338-junior-and-senior-principal-investigator-at-qusoft.html.
Postdoctoral position (3y) in philosophy of science, Rome (Italy)
A three-year position in the philosophy of science is now open at the University of Rome TRE, Department of Philosophy, Communication and Visual Arts. The position is funded through the national research project on the nature of scientific models and theories led locally by Prof. Mauro Dorato. The area of research of the project is at the intersection of metaphysics and philosophy of science, and the successful applicant is expected to have an expertise and carry out research work on one or more of the following themes: scientific realism, the interpretation and philosophical consequences of contemporary physical theories and the role of mathematical models in the scientific representation of the world.
The call (in Italian) can be found at: http://filcospe.it/attachments/article/1437/BandoProt790.pdf. To apply, complete the required forms at the end of the call, and send them, together with all the material indicated on page 3, at the address indicated on the same page. The deadline for application is 28/7/2016. Please note that the deadline is intended *for receipt of the parcel by the department*. Applications received at a later date will not be considered.
For further inquiries, please e-mail the departmental staff at: silvia.chiappa at uniroma3.it.
Lectureships in Knowledge Representation and Reasoning (and other areas of computer science), Cardiff (Wales)
Applications are invited for two Lectureship posts in the School of Computer Science & Informatics at Cardiff University. These are full-time, open-ended posts starting on 1 August 2016 or as soon as possible thereafter. Although applications relating to any of the school's research groups are welcomed, the field of Knowledge Representation and Reasoning is one of the current priority areas of the school.
Deadline for applications: 14th July 2016. Full details about the post are available at http://www.jobs.ac.uk/job/ANX560/.
Postdoctoral Associate position on information flow security, London (England)Deadline: until filled
Andrei Popescu is hiring a postdoctoral associate for 14 months on a project having the following goals:
(1) Develop an expressive, compositional and quasi-automated framework for information flow security of web-based systems.
(2) Use this framework to produce the world's first feature-rich and security-verified social media platform, in collaboration with an industrial partner.
The position is based at the Middlesex University London, and offers a competitive salary. Candidates should have a PhD, and have expertise in proof assistant technology. Experience with Isabelle/HOL is a plus.
For more information, see http://andreipopescu.uk/ or contact Dr. Popescu at a.popescu at mdx.ac.uk. For informal inquiries about the position, Dr. Popescu can also be contacted while at IJCAR 2016 in Coimbra or ITP 2016 in Nancy.
PhD student positions in Computer Science, Lucca (Italy)
Applications are now being accepted for scholarships for the Computer Science and Systems Engineering (CSSE) curriculum within the 2016/17 PhD program at the IMT School for Advanced Studies Lucca. Research deals with the development of languages and techniques for the analysis and verification of modern concurrent and distributed systems. Specific areas of expertise are concurrency theory, programming languages, and software engineering, with applications in a wide range of domains such as adaptive systems, cyber-physical systems, cloud computing, computational biology, fault-tolerant systems, security, and transportation networks.
Applications must be received before 13 July, 2016. For more information, see https://www.imtlucca.it/phd or http://sysma.imtlucca.it/phd-program/. For informal enquiries, please do not hesitate to contact: Rocco De Nicola (rocco.denicola at imtlucca.it) or Mirco Tribastone (mirco.tribastone at imtlucca.it).
2 PostDocs at Stirling
The Faculty of Arts and Humanities, University of Stirling is offering two full-time Postdoctoral Research Fellowships in Philosophy. The Fellows will work in collaboration with Prof. Crispin Wright (Principal investigator), together with others of the Stirling philosophers and an international network of associated researchers, on a John Templeton Foundation-funded research project entitled 'Knowledge Beyond Natural Science'.
The project will involve a two-stream, interactive investigation of philosophical problems presented by knowledge a priori and ordinary psychological self-knowledge, and of certain analogies between them. Four dedicated full fees and maintenance PhD studentships will also be associated with the project.
The posts are offered as full-time appointments for 33 months to start on March 1 2017. One Fellow will contribute primarily to the investigation of the a priori, and one to the investigation of self-knowledge.
PhD Fellowships (4) at Stirling (SASP)
The School of Arts and Humanities at the University of Stirling is pleased to invite applications for four 36 month, fully-funded PhD Studentships in Philosophy (covering fees and maintenance at current RCUK rates), two for candidates from within the EU and two for candidates from any country.
Successful applicants will be part of the St Andrews Stirling Philosophy Graduate Programme and will have to apply through the SASP online application process. The four successful applicants will research for PhD as members of a collaborative team led by Professor Crispin Wright working in the John Templeton Foundation-funded project, Knowledge beyond Natural Science, which involves parallel investigations into A Priori Knowledge and Self-Knowledge. The project will run in Stirling from March 1, 2017 until November 28, 2019.
Assistant professor in Philosophical Logic and Philosophy of Language (Internal job)
This vacancy is open only to candidates who currently hold an appointment within the University of Amsterdam.
The Faculty of Humanities offers assistant professors the opportunity to collaborate with leading researchers at research institutes that partly as a result of their multidisciplinary approach are world-renowned. Moreover, you will be teaching in a dynamic context in which new educational methods are being developed.
For more information, see here.
Docent Logica & Argumentatieleer (0.4fte), Hyperion Lyceum, Amsterdam
The Hyperion Lyceum in Amsterdam is currently looking for a teacher for the subject Logica & Argumentatieleer for the school year 2016/17, starting August 1st. To take this position, you don't necessarily have to hold a degree in teaching, as there is the option to obtain a Lerarenbeurs and to do the teacher training during the year.
First interviews will take place in the week of June 20-24. For more information, refer to the vacancy announcement availabe at http://www.hyperionlyceum.nl/doc/vacatures/HL-vacature037-docent-LA.pdf or contact Heleen Booy (h.booy at hyperionlyceum.vova.nl).
Postdoc Position on Fair Recommender Systems, Edinburgh
Postdoc Position on Fair Recommender Systems (two years), at the University of Edinburgh, School of Informatics.
Closing date: 14 July 2016. For more information, see https://www.vacancies.ed.ac.uk/pls/corehrrecruit/
Lecturer/Associate Professor in Agent-based Systems, Southampton
The Agents, Interaction and Complexity (AIC) group within Electronics and Computer Science, at the University of Southampton, welcomes applications for a full time post at either Lecturer or Associate Professor level.
Closing date: 10 July 2016. For more information, see https://jobs.soton.ac.uk/Vacancy.aspx?ref=744016FP
Postdoc vacancy at LORIA - epistemic protocol synthesis
A one-year postdoc position is available at LORIA, Nancy, France, in the ERC project Epistemic Protocol Synthesis headed by Hans van Ditmarsch. The deadline for application is 15 July.
For more information, see here.
PhD student position on formal methods for testing of networks of controllers, Grenoble (France)
The CONVECS (Inria Grenoble / LIG) and CTSYS (LCIS Valence) teams are offering a fixed term (3 years) PhD position for research on formal methods for the testing of networks of controllers.
See http://convecs.inria.fr/jobs/2016c.html for details. Applications after July might not be considered.
Research Assistant for Amsterdam Data Science Project on Multimodal Evidence of Concept Drift
Applications are invited for a part-time research assistant on the Multimodal Evidence of Concept Drift project under the supervision of Desmond Elliott and Laura Hollink. The position will last for 12 months at 0.2 FTE. The deadline for applications is June 10th; interviews will take place between June 16th - 22nd.
Application deadline: 10th June 2016. For more information, please contact d.elliott at uva.nl with informal enquiries.
Or see here.
Associate Senior Lectureship (4y) in Computational Linguistics, Gothenburg (Sweden)
The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg has a position for an Associate Senior Lecturer in Computational Linguistics, at the the Centre for Linguistic Theory and Studies in Probability (CLASP). CLASP is devoted to research and advanced training in the application of probabilistic modelling and machine learning methods to core issues in linguistic theory and cognition. It also addresses topics in dialogue and linguistic interaction.
This would be a fixed-term employment, limit 4 years. Job assignments consist of research, teaching, supervision and some administration. Administration and teaching will make up no more than 50% of the employment. The successful candidate is expected to devote at least half of her or his time in research associated with the application of Machine Learning to Computational Linguistics, and the rest in administration and teaching, mainly within the Master's program in Language Technology.
Reference number: PER 2016/200. Applications must be received before 21 June 2016. For more information, see http://www.gu.se/english/about_the_university/.
PhD student position in knowledge-based systems, Lisbon (Portugal)
NOVA LINCS is a Portuguese leading research unit) hosted at Departamento de Informática - Universidade Nova de Lisboa. We are pursuing an ambitious research program on Principles and Engineering for Global Software Systems, as a collaboration of the research groups Computer Systems, Knowledge-based Systems, Multimodal Systems, and Software Systems. The NOVA LINCS Knowledge-Based Systems (KBS) group conducts research in the broad area of knowledge representation and reasoning.
NOVA LINCS is now opening a call for PhD Studentships. Students will be offered the opportunity of spending some time at research labs or other institutions with which NOVA LINCS and DI have agreements or partnerships in projects or exchange agreements. The positions will be supported up to 4 years, renewable on a yearly basis.
The first call for applications is open until June 3, 2016. < For more information, see http://nova-lincs.di.fct.unl.pt/open-positions/phd-studentships. Further inquiries should be sent to nova-lincs.secretariado at fct.unl.pt (cc. to jleite at fct.unl.pt) with reference 'PhD Studentships Application NOVALINCS-2016-1st Call'.
Assistant Professor in Theoretical Philosophy (1.0 FTE)Location: Theoretical Philosophy, Utrecht
The Department for Philosophy and Religious Studies at Utrecht University is looking for an Assistant Professor in the field of Theoretical Philosophy, with a research focus on mathematical logic or formal epistemology. This position includes both teaching (70%) and research in this field (30%).
We offer a position, starting August 1st 2016. The initial appointment will be on a temporary basis for a period of one year. Subject to satisfactory performance, this will be followed by a permanent appointment. Deadline for submitting your application is June 12th, 2016.
For more information see http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ or contact J.M.Broersen at uu.nl.
Postdoctoral position (2y) on meta-ontology, Uppsala (Sweden)
A two-year postdoctoral position is available at Uppsala University. The position is within the project The Lightness of Being, financed by Riksbankens Jubileumsfond. The principal investigator is Professor Matti Eklund. The project is on metaontology . Among the research that might be of interest for the project is research in metaphysics, philosophy of language, philosophy of logic, epistemology, and the history of analytic philosophy.
Applications must be received before 1 June, 2016. For more information, see http://uu.se/en/about-uu/join-us/details/?positionId=102524 Or contact Matti Eklund at matti.eklund at filosofi.uu.se.
PhD student position in deontic logic and medical ethics, Gent (Belgium)
The Centre for Logic and Philosophy of Science (CLPS) of Ghent University (Belgium) is offering a full-time position for 2+2 years, for a pre-doctoral researcher, starting October 2016 (flexible, but in any case not later than December 1, 2017). It is part of the project "Towards a more integrated formal account of actual ethical reasoning, with applications in medical ethics", funded by the Flemish Research Foundation (FWO-Vlaanderen) and supervised by Joke Meheus (Ghent University), Frederik Van De Putte (Ghent University), and Christian Straßer (Ruhr-Universität Bochum).
The project is situated at the intersection of philosophical logic and ethics. More specifically, the aim of this project is to lay the conceptual groundwork for a formal account for the explication of ethical reasoning, to develop and study deontic logics within that account, and to apply them to some real-life examples from medical ethics. For more information on the project, see the attached outline.
Lectureship in mathematical logic or formal epistemology, Utrecht (The Netherlands)
The Department for Philosophy and Religious Studies at Utrecht University is looking for an Assistant Professor in the field of Theoretical Philosophy, with a research focus on mathematical logic or formal epistemology. This position includes both teaching (70%) and research in this field (30%). Within the department the position is part of the group for "Theoretical Philosophy", The group has research foci in foundations of mathematics, mathematical logic, logic for AI, philosophy of AI, metaphilosophy, philosophy of science, metaphysics, philosophy of mind, and in philosophy of language, and stands in close interaction with the History and philosophy of science-group at Utrecht University.
Postdoctoral position in stochastic games, Bordeaux (France)Deadline: TBA
A one-year postdoc position is available at Université de Bordeaux in LaBRI on the topics of the ANR project Stoch-MC ( http://perso.crans.org/~genest/stoch.html ) to start in October 2016 (not strict).
We seek candidates with a PhD in computer science or mathematics and a strong interest in one or several of the following topics:
* stochastic games
* Markov decision processes
* probabilistic automata
* any other topic related to the Stoch-MC ANR project.
Inquiries and applications should be sent to hugo.gimbert at cnrs.fr
Intensive Research Program on Large Cardinals and Strong Logics: PhD student & postdoctoral grants, Barcelona (Spain)
In order to increase the number of young researchers participating in its Intensive Research Programs, the CRM announces a call for participants interested in participating in the IRP on Large Cardinals and Strong Logics, from September to December 2016. We can offer two different packages including registration and housing: CRM package 1 (September 19-30) and CRM Package 2 (November 7-18).
Application deadline: 31 May 2016. For more information, see http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/CRM-Grants-LCSL.aspx
Research fellowship in machine learning, information theory or artificial intelligence, Canberra (Australia)
The Research School of Computer Science (RSCS) at the Australian National University (ANU) is seeking an outstanding Research Fellow interested in Universal AI with excellent mathematical background and research expertise in Machine Learning, (Algorithmic) Information Theory, (Bayesian) Statistics, Artificial Intelligence or any related area. Possible backgrounds are a PhD, or near completion of a PhD, in mathematics, physics, computer science, engineering, or related. The position holder will be member of the Intelligent Agents team lead by Professor Marcus Hutter, and primarily work on Unifying Foundations for Intelligent Agents.
The position is available immediately - fixed term - for 2 years - potential prolongation by 1-2 more years. Closing Date: 30 June 2016. Further information for applicants is available at http://jobs.anu.edu.au/cw/en/job/508515/ and http://www.hutter1.net/rsise/postdoc15.htm.
PhD student position in Algorithms, Bergen (Norway)
The Algorithms Research Group at The Department of Informatics of University of Bergen, Norway has a vacancy for a PhD position for 3 years, starting September 1, 2016. The application deadline is May 29, 2016. The successful candidate will be working under the supervision of Professor Pinar Heggernes.
The position is part of the project 'CLASSIS : The renaissance of graph classes - New algorithmic theory of forbidden induced subgraphs' funded by the Research Council of Norway. The goal of this project is to develop a new algorithmic theory of graph classes based on forbidden induced subgraphs. Main research areas are algorithms and complexity, combined with structural graph theory (graph classes).
Detailed information can be obtained and applications must be submitted via the following web page: https://www.jobbnorge.no/en/available-jobs/job/125338/phd-position-in-algorithms
Assistant professor in Digital Humanities and Information Cultures
The candidate will bring to the position a relevant and innovative research agenda in the areas of Digital Humanities and Information Cultures and will be especially interested in the critical study, de- velopment and application of digital methods, techniques and tools.
Application deadline: 30 May 2016. For more information, see here
Lecturer positions in Computer Science, Rochester NY (U.S.A.)Deadline: -
The University of Rochester Department of Computer Science seeks applicants for two full time lecturer positions. Candidates must have a PhD in computer science or a related discipline and/or significant teaching experience. The preferred candidate will have college teaching experience, a strong commitment to working with students, the ability and passion to help develop new courses along with any necessary labs, and high personal motivation and responsibility. The position may start as early as July 1, 2016.
For more information, see http://www.cs.rochester.edu/about/recruit.html. If after reading this you have questions about the positions, contact the chair of the CS department, Prof. Sandhya Dwarkadas (dwarkadas at cs.rochester.edu).
PhD student position in "The Nature of Representation", Stockholm (Sweden)
The European Training Network DIAPHORA offers 1 Early Stage Researcher position in philosophy at predoctoral level. The position is for 4 years (funding for the 4th year is provided by Stockholm University), starting 1 October 2016.
Department of Philosophy, Stockholm University, Sweden. Workpackage: The Nature of Representation. Available supervisors: Kathrin Glüer, Åsa Wikforss, Anandi Hattiangadi. Expected annual gross salary plus mobility allowance: EUR 37,200.
The deadline for applications is 26 May 2016 at noon (CET). For further particulars, please consult here: http://www.ub.edu/diaphora/wp-content/uploads/2016/04/.
Postdoctoral position in Algorithms, Munich (Germany)
A postdoctoral position in the area of efficient algorithms is available in the research group of Prof. Susanne Albers, Department of Computer Science, Technical University of Munich (TU Munich).
The position will be funded by a new ERC Advanced Grant entitled "APEG: Algorithmic Performance Guarantees" that addresses innovative research in the fields of approximation algorithms, online algorithms and algorithmic game theory. Therefore, the postdoc should have a research interest in at least one of these areas.
The position provides a competitive 12 month salary with standard benefits. The initial appointment is for a period of one year. The expected start date of the position is fall/winter 2016/17.
The successful candidate should have a PhD degree in computer science or mathematics. Furthermore, he/she should be interested in collaborating with PhD students. The application material should include (1) a cover letter describing the interest in the position, (2) a CV and list of publications, (3) a short research summary, and (4) the names and contact information of at least two references. The material should be sent electronically to <albers at in.tum.de>.
Applications will be reviewed starting from June 1, 2016. More information about Susanne Albers and the research group can be found at http://wwwalbers.in.tum.de/index.html.en
Postdoctoral position in non-monotonic logics and formal argumentation, Bochum (Germany)
The Institute for Philosophy II at the Ruhr-University Bochum (RUB) invites applications for a Post-doctoral research position in the domain of nonmonotonic logics and formal argumentation. The position is part of a research project on formal argumentation and defeasible reasoning.
Duration: 3 years. Starting date: latest at 1. August 2016. The candidate is supposed to have a PhD degree (or equivalent) in philosophy, computer science, m, or another relevant discipline. Furthermore, the candidate should have expertise in formal logic and/or formal argumentation. Mastering the German language is not required.
Deadline for the application: 31. May 2016 For more information, see http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/call-postdoc2.html or contact christian.strasser at RUB.de.
Postdoctoral positions in mathematical logic, Lisbon (Portugal)
CMAF-CIO, a mathematics research center based at the University of Lisbon (Portugal) is advertising several post-doc positions, including Mathematical Logic.
Please see http://cmafcio.campus.ciencias.ulisboa.pt/node/1 for more details. The call is open from May 16 to June 30.
Postdoctoral or PhD student position in Computation with Bounded Resources, Innsbruck (Austria)
Within the research unit Computation with Bounded Resources at the University of Innsbruck, Austria there is an opening for a 2 year position as postdoctoral researcher or a 3 year position as PhD student. The position is funded by the ANR-FWF project "The fine structure of proof systems and their computational interpretations" (FISP for short). The research unit is part of the Computational Logic Group of the Department of Computer Science.
The objective of FISP is to apply the powerful and promising techniques from structural proof theory to central problems in computer science for which they have not been used before, especially the understanding of the computational content of proofs, the extraction of programs from proofs and the logical control of refined computational operations. Its primary objective is to build new concrete computational interpretations of proof systems based on the techniques developed in the STRUCTURAL project (2011-2013).
Applications must be received before 31 May, 2016. Further information is available from the Project FISP page at http://cl-informatik.uibk.ac.at/research/projects/, or by contacting Prof. Georg Moser at georg.moser at uibk.ac.at.
Nine PhD student positions in mathematics, Luxembourg (Luxembourg)
The Mathematics Research Unit of the University of Luxembourg has obtained a large grant from the Fonds National de la Recherche Luxembourg for its PhD programme and opens up to 9 positions for PhD candidates.
Starting date: 1 September 2016 or later. Applications received on or before 10 May 2016 will be treated with priority.
For more information and an application form, see http://emea3.mrted.ly/116rn
Postdoctoral position in mathematical logic, Salerno (Italy)
The Department of Mathematics at the University of Salerno invites applications for a three-year postdoctoral position in Mathematical Logic. The position is co-funded by the Horizon 2020 project 'SYSMICS' and involves a commitment of 20% of time for project assistance duties. The research focus in on: algebraic logic, many-valued logics, and substructural logics. The net salary is approximately 1450 euros per month.
Applicants are expected to have a strong background in mathematics and logic, the ability to conduct collaborative mathematical research, and the potential for excellence in research. Good written and oral English skills are required. The postdoctoral fellow will work within the logic group of the department and will be in contact with researchers in more than 20 universities participating in the project.
The deadline for applications is the 10th of May. Details on content, requirements and application procedure can be found at: http://logica.dmi.unisa.it/lucaspada/745-postdoc. For further inquiries please contact Dr. Luca Spada (lspada at unisa.it).
Postdoctoral position in philosophy of time, Milan (Italy)
The Center for Philosophy of Time in Milan is looking for a PostDoc researcher who has a research specialism in temporal issues with respect to at least one of the following areas: metaphysics, philosophy of mind, philosophy of language and philosophy of science. We will be looking for an analogous profile in a second call. Ideally we aim at making one hire with an area of research specialism in the metaphysics of time, and one hire with an area of research specialism in temporal aspects within philosophy of mind. PhD is strongly preferred.
The call is out till 10 May 2016. The position will start on 1 June. Duration of the grant is 14 months. Neat salary slightly over 1.850 € per month. The second call will be out in the next weeks, and the position will start in September or October.
You can find the complete text of the call at http://www.unimi.it/ricerca/assegni_ricerca/99818.htm and further details about the job at http://www.centreforphilosophyoftime.it/news/
Grant opportunities for Master or PhD students in philosophy, Rio de Janeiro (Brazil)
Selection of foreign candidates not resident in Brazil for Master or PhD in the PPGF (Programa de PÃ³s-GraduaÃ§Ã£o em Filosofia) is open up to May 31st. No need to come on location to submit an application. Details can be found here http://www.ppgf.ifcs.ufrj.br/wp-content/uploads/2016/03/Edt_ESTR_2016.pdf
The Research Foudation of the State of Rio de Janeiro (FAPERJ) is also offering research grants for a stay of 4 to 12 months including airticket for foreign students doing their PhDs outside of Brazil http://www.faperj.br/?id=18.4.2. Deadline is May 12.
PhD student position in theoretical computer science, Karlsruhe (Germany)
The group "Theoretical Computer Science / Parallel Computing" at the Department of Informatics of Karlsruhe Institute of Technology (Germany) is inviting applications for a fixed-term full-time position of a PhD Student / Research Assistant (m/f) (pay grade 13 TV-L) starting on or after July 1st, 2016 (the exact date is negotiable).
The research group is primarily concerned with the development of algorithms for problems from network science, combinatorial scientific computing, and applied optimization. In the focus of this position are research projects on parallel graph algorithms that work well both in theory and in practice. Further responsibilities as part of the position include the supervision of bachelor and master students and possibly TA duties. As such, a decent knowledge of German is desirable.
To receive full consideration, submit your application by May 12, 2016. For more information, see http://parco.iti.kit.edu/ and the detailed announcement at http://parco.iti.kit.edu/Stellenausschreibung-ParCo-english-web.pdf (PDF).
PhD student position in computer security, Rennes (France)Deadline: -
Looking for a Ph.D. thesis that combines computer security and mathematics? IRISA, the computer science laboratory of Rennes in France, seeks to hire an outstanding Ph.D. student to perform research in the field of formal modeling and analysis of security.
The position is within the project entitled "Attack-Defense Trees for Computer Security: Formal Modeling of Preventive and Reactive Countermeasures". Attack-defense trees constitute a methodology to represent how an attacker may compromise a system and how a defender can protect it against potential attacks. The project's objective is to increase the expressive power of attack-defense trees by integrating reactive countermeasures into the formalism.
We offer a three year appointment funded by the French Ministry of Higher Education and Research. The successful candidate will participate in the activities of the Embedded Security and Cryptography (EMSEC) research team co-led by Prof. Dr. Gildas Avoine and Prof. Dr. Pierre-Alain Fouque. The student will be supervised jointly by Dr. Barbara Kordy and Prof. Gildas Avoine.
Applications will be considered on a rolling basis until the position is filled. For more information, see http://people.irisa.fr/Barbara.Kordy/vacancies.php or http://people.irisa.fr/Barbara.Kordy/vacancies/PhD_16.pdf, or contact dr. Barbara Kordy at barbara.kordy at irisa.fr.
Full professorship in philosophical anthropology, Tilburg (The Netherlands)
Tilburg University seeks to appoint a full professor of philosophy, addressing contemporary issues about human nature and culture. We look for a colleague who is able to inspire our students and strengthens our teaching, who is engaged in original research and contributes to a stimulating environment for graduate students and faculty. It is a full time appointment for an indefinite period.
Tilburg University has a focus on the Social Sciences and Humanities. Its motto is 'Understanding Society'. The School of Humanities has departments in communication- and information sciences, cultural studies, and philosophy, and the responsibility for the liberal arts and sciences program of University College Tilburg. The Department of Philosophy is responsible for undergraduate and graduate majors in philosophy and for courses that assist students from other programs in developing their reflective skills on moral issues, humanity, science and society.
The application deadline is May 16, 2016. For more information, see https://career012.successfactors.eu/ or contact the Dean of Tilburg School of Humanities, Prof. Dr. Willem B. Drees, e-mail: w.b.drees at tilburguniversity.edu or the Head of the Department of Philosophy, Dr. Frans van Peperstraten, e-mail: f.t.vpeperstraten at tilburguniversity.edu.
PhD student position in computational linguistics, Gothenburg (Sweden)
The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg has openings for a doctoral studentship position (one or several) in Computational Linguistics. This would be a fixed-term employment (48 months), starting 2016-09-01.
The Centre for Linguistic Theory and Studies in Probability (CLASP) is based in the Department. CLASP is devoted to research and advanced training in the application of probabilistic modelling and machine learning methods to core issues in linguistic theory and cognition. It also addresses topics in dialogue and linguistic interaction. As the position is funded in part by a research grant from the Swedish Research Council, the successful candidate should write her or his doctoral thesis within one of CLASP's core areas, and the research should fit in within the research programme of the centre.
Closing date: 2016-05-19. Reference number: UR 2016/335. For more information, see http://www.gu.se/english/about_the_university/.
Two positions (one postdoc, one PhD student) in digital humanities, Graz (Austria)
The Centre for Information Modelling - Austrian Centre for Digital Humanities at the University of Graz has two open positions, which are to be filled from 1 July 2016:
(1) University Assistant with doctorate (30 hours/week; limited to 5 years), focusing on independent scientific research in the subject area of "Digital Humanities", especially in the area of Computational Linguistics or Information Science and their application to humanistic research data data.
(2) University Assistant without doctorate (20 hours/week; limited to 4 years), focusing on independent scientific research in the subject area of "Digital Humanities", especially in the areas of "Digital Scholarly Edition" or "Digital Diplomatics".
The application deadline is May 13, 2016. Details on content, requirements and application procedure can be found in the documents or the website: http://informationsmodellierung.uni-graz.at/de/neuigkeiten/detail/article/
Lectureship in Mathematical Logic, Leeds (England)
A Lecturer in Mathematical Logic position is open at the University of Leeds. The position is full-time (part-time hours will be considered). Applications must be received before 28 April, 2016.
The Logic group in Leeds is the largest in a mathematics department in the UK, and one of the largest and strongest internationally. It has strength in the areas of model theory, proof theory, constructivism and category theory, and set theory. It has also a long computability theory tradition. The Logic group has close links to logicians in the School of Computing, and also in the School of Philosophy. We are also interested in reinforcing links between Logic and other areas of strength in the Department (algebra, geometry, analysis). We welcome applicants from researchers whose interests are connected to these fields, or to Theoretical Computer Science or Philosophy.
For more information, see https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1040. Informal enquiries may be made to Professor Dugald Macpherson (H.D.Macpherson at leeds.ac.uk) or Professor Alastair Rucklidge, Head of School (maphdmat at leeds.ac.uk).
Three PhD studentships in Computational Linguistics, London (U.K.)
The School of Electronic Engineering and Computer Science (EECS) of Queen Mary University of London has 3 PhD studentships available for applicants of any nationality.
The school has a Computational Linguistics Lab, at the intersection of our Theoretical Computer Science and Cognitive Science research groups. They are are happy to discuss proposals in computational linguistics and natural language processing, particularly relating to their research in dialogue modelling and compositional distributional semantics.
Full professorship in philosophical logic, Pisa (Italy)
The Scuola Normale Superiore (SNS) invites expressions of interest from qualified academics in the field of Logic, and announces the possible opening of one position in its Classe di Scienze Umane at the full professor level.
SNS seeks candidates with a proven record of achievements in logic and a high international profile. Applicants should have a strong interest in the philosophical aspects of logic and in the philosophy of mathematics, so as to integrate their own teaching with Philosophy and History of Philosophy courses offered at the Scuola. Knowledge of Italian is highly appreciated.
The deadline for applications is the 31st of May 2016. For more information, see http://en.sns.it/bando/professorship-logic-scuola-normale-superiore-pisa-italy
Postdoctoral position in "Recursion, Guarded Recursion and Computational Effects", Birmingham (England)
The university of Birmingham is looking for a Postdoctoral Research Fellow to work on an EPSRC-funded project "Recursion, Guarded Recursion and Computational Effects".
The researcher will work with Paul Blain Levy (principal investigator) and Neelakantan Krishnaswami (co-investigator) as part of the Theoretical Computer Science group at the University of Birmingham, to investigate fine-grained typed calculi and operational, denotational and categorical semantics for languages that combine either guarded or general recursion and type recursion with a range of computational effects. This will build on existing work such as call-by-push-value and Nakano's guarded recursion calculus. The position lasts from 1 October 2016 until 30 September 2019.
The closing date is at 22 May 2016. Reference: 54824. You can read more and apply for the job at http://tinyurl.com/projguarded. Informal enquiries can be made to Dr Paul Levy (P.B.Levy at cs.bham.ac.uk).
PhD student position in formal methods for software and systems modeling, Konstanz (Germany)
The Chair for Software and Systems Engineering (Prof. Stefan Leue), in the department of Computer and Information Science at the University of Konstanz (Germany), has an opening for the full-time position of a Research Assistant/PhD Student (Salary Scale 13 TV-L). The position may be interesting for a logician with strong interests in computer science in general and logic in computer science (e.g., temporal logics, model checking, program semantics, etc.) in particular.
The position is primarily geared towards PhD candidates, but in exceptional circumstances post-doctoral candidates can be considered as well. Competency in German is not a prerequisite.
The group of Prof. Dr. Stefan Leue likes to work on formal methods for software and systems modeling and analysis, with particular interest in applying formal methods research in practical settings. They have recently come up with the concept of causality checking and are developing tools for system safety analysis.
Deadline for applications: 18 April 2016. For more information, see http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2016/ (scroll down for the English version) or contact Prof. Stefan Leue at Stefan.Leue at uni-konstanz.de.
3 PhD Positions at Aarhus University
The Logic and Semantics group at Aarhus University, led by Prof. Dr. Lars Birkedal, has 3 openings for PhD positions:
- a position in the project 'Modular reasoning about concurrent higher-order imperative programs' (see http://www.cs.au.dk/~birke/modures/ or contact Lars Birkedal at birkedal at cs.au.dk)
- a position in a new project 'Guarded homotopy type theory' aimed at developing type theories combining ideas from guarded type theory and homotopy type theory (contact Lars Birkedal at birkedal at cs.au.dk or Bas Spitters at spitters at cs.au.dk)
- a position in the project 'Language-based Security' focusing in particular on mitigating timing attacks (see http://talent.au.dk/phd/scienceandtechnology/opencalls/ or contact Prof. Aslan Askarov at aslan at cs.au.dk).
Application deadline for all positions is May 1st, 2015. For more information, see http://cs.au.dk/research-at-cs/logic-and-semantics/. For information on how to apply, see http://talent.au.dk/phd/scienceandtechnology/opencalls/.
PhD student position in philosophical logic or formal epistemology, Bochum (Germany)
The Department of Philosophy II at Ruhr-University Bochum is seeking to hire a PhD student working in philosophical logic (65% TV-L E13 position, approx. €2,200 /month before tax). The position is associated with the chair of Logic and Epistemology (Prof. Heinrich Wansing) and comes with a mild teaching duty of one undergraduate class per semester. Residency in Bochum or in commutable distance is expected.
The appointment is temporary until September 30th 2020, and is to be filled by July 2016. The deadline for applications is 21st of April 2016. The dissertation project is supposed to be a project either in philosophical logic or formal epistemology. Suitable areas include modal logic, paraconsistent logic, many-valued logic, structural proof-theory, theories of negation, epistemic logic, knowability, and theories of doxastic agency.
Required qualifications/ skills: Candidates should have completed an excellent Master's thesis in philosophical logic or formal epistemology and should have some background in the semantics and proof-theory of non-classical and modal logics. Moreover, candidates are supposed to have good communication skills in English. Good social skills are also required as cooperation with other researchers is expected.
For more information, see http://www.stellenwerk-bochum.de/jobs-finden/rub-angebote/details/anzeige/ or contact Prof. Heinrich Wansing (Heinrich.Wansing at rub.de).
Assistant Professorship in Philosophy of Science, Tilburg (The Netherlands)
The philosophy department at Tilburg University (The Netherlands) seeks to appoint an outstanding candidate in philosophy of science, starting August 1, 2016. The successful candidate will hold a PhD in philosophy with a research specialization in philosophy of science. He/she will have a track record of publications in leading international journals or show the capability of developing such a record early in his or her career. The successful candidate is expected to apply regularly for external research funding. Experience of teaching at university level is necessary.
The department of philosophy at Tilburg University is an internationally oriented and pluralist department whose core research strength is in the Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS). The successful candidate would become a member of TiLPS and be expected to contribute to the center's activities. A second group, Philosophy of Man and Society, aims both at highly ranked scientific publications and at a fruitful dialogue between philosophy and society. Taking as its starting point the motto of Tilburg University: 'Understanding Society', philosophical research at Tilburg is often done in an interdisciplinary framework.
The deadline for applications is April 22nd, 2016. For more information, see https://career012.successfactors.eu/ or contact the Head of the Department of Philosophy, Dr. Frans van Peperstraten at f.t.vpeperstraten at tilburguniversity.edu.
Postdoctoral position (2+2y) in "Coordination, Collective Goal and Cooperation", Milan (Italy)
The Department of Philosophy and the Centre for the Study of Social Action (CSSA) at the University of Milan are delighted to announce the opening of a post-doctoral position on "Acting Together: Coordination, Collective Goal, and Cooperation". The project is jointly led by Professors Hykel Hosni and Corrado Sinigaglia and spans formal and experimental methods, with particular emphasis on minimalist approaches to coordination, shared agency, and cooperation.
The appointment will be made initially for two years and it will be renewed for another two years subject to funding. The postdoctoral fellow will be a member of the Center for the Study of Social Action and will participate in the wider research community of the Department of Philosophy, the second largest in the country. While the postdoctoral fellow will pursue sound philosophical research, the project is ideally suited to interdisciplinary collaboration with cognitive scientists, economists and mathematical and computational logicians; there will be opportunities for such collaboration in connection with Professors Sinigaglia and Hosni's ongoing scientific research on acting together.
The deadline for application is April 26th 2016. For more information, see http://www.cssa.unimi.it/?page_id=230. We welcome informal inquires on the nature of project and the application procedure.
Master's Program in Logic at the University of Gothenburg
The Department of Philosophy, Linguistics & Theory of Science at the University of Gothenburg is pleased to announce the inauguration of the Master's Program in Logic. The program will be launched in Autumn of 2016.
Although the deadline for applicants from non-EU/EEA countries for Autumn of 2016 has already passed, applicants from EU/EEA countries (and others not in need of a Swedish resident permit) can still apply until 11:59 PM (Sweden time) of Friday 15 April 2016.
For more information, see http://flov.gu.se/mil.
PhD student position in 'Making scientific inferences more objective', Tilburg (The Netherlands)
The Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS) at Tilburg University, The Netherlands, invites applications for a four-year PhD position (1,0 fte) in philosophy of science, starting 1 September 2016 or later this year.
The PhD position is funded by the European Research Council (ERC), through a Starting Investigator Grant for the research project 'Making Scientific Inferences More Objective' (principal investigator: Prof. Dr. Jan Sprenger). Candidates must hold a MA/MSc degree or equivalent by the time of appointment. Apart from philosophy graduates, candidates with degrees in other relevant disciplines (e.g., mathematics, psychology) are welcome if they can demonstrate a high level of familiarity with philosophy of science.
The deadline for applications is 8 May 2016. Shortlisted candidates will be informed by 12 May, and skype interviews will be held on 17 and 18 May. Candidates will be notified as soon as possible thereafter. For more information or to apply online see http://www.tilburguniversity.edu/about-tilburg-university/working-at/wp/.
PhD student position in semantics / pragmatics of disagreement,Barcelona (Spain)
The European Training Network *Diaphora* (H2020-MSCA-ITN-2015-675415) offers 2 Early Stage Researcher positions in philosophy at predoctoral level. The positions are for 3 years each, starting 01.10.2016. The 2 Early Stage Researcher positions are offered by the University of Barcelona (on Peer disagreement/social epistemology, the semantics and pragmatics of disagreement, or philosophical methodology/metaphilosophy) and the University of Neuchatel (on the free will debate in Early Modern (pre-Kant) philosophy).
The deadline for applications is 22 April 2016 at noon (CET). Offers are expected to be made no later than 6 May 2016. For further particulars, see http://www.ub.edu/grc_logos/.
Postdoctoral position on epistemic logic and social epistemology (3y), Bayreuth (Germany)
The Department of Philosophy at the University of Bayreuth invites applications for one postdoctoral position (3 years, E13 TV Z, 1.0 FTE) starting from Sept. 1st 2016, or soon after. The successful applicant will be part of the research project 'From Shared Evidence to Group Attitudes' (SEGA), funded by the German (DFG) and the Czech Science Foundation (GACR).
We encourage applications in the areas of Philosophical Logic (especially epistemic logic), Judgment Aggregation and Belief Merge or Social Epistemology Applicants should have a PhD in philosophy or in a discipline closely related to philosophy. Deadline for applications: April 30th, 2016.
For more information, see http://sega-project.org or http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft/, or contact Olivier Roy at olivier.roy at uni-bayreuth.de.
Two PhD Positions in Logic, University of BernDeadline: -
Two open PhD positions are available in the project 'Justifications and Non-classical Reasoning' in the Logic and Theory Group of the Institute of Computer Science at the University of Bern.
We are looking for students with a strong background in logic (mathematics, computer science, or philosophy) who want to further develop their knowledge and skills in epistemic and non-classical logic.
The salary for the position is approximately 50,000 Swiss Francs per year.
David Tresman Caminer PhD-Studentship for the History of Computing (London, U.K.)
The Department of Computer Science at Middlesex University, together with the LEO Computers Society are looking for a PhD Candidate for a research project in the area of History and Philosophy of Computing, under the supervision of Dr. Giuseppe Primiero. The project will investigate historical circumstances, technical developments in terms of systems and application software, hardware design and implementation, advances in business and administrative practice, and the social, political and business aspects that led to the successful production and marketing but later decline of LEO Computers and its software products.
Applications must be received before (extended deadline) 18 April 2016. For more information, see http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships/ Or contact somebody at studentship.research at mdx.ac.uk
Associate/Full Professor in Computational Linguistics, Stony Brook University
The Department of Linguistics at Stony Brook University (New York, USA) invites applications for a tenured appointment in computational linguistics. Applicants must have a PhD, preferably in Linguistics or Computer Science. The department has a long-standing focus on theoretical linguistics, and has recently branched out into experimental and computational linguistics with a number of new hires. This hire is supposed to further sharpen the department's computational profile and strengthen its connections to local IT industry.
Stockholm University: Assistant professor in Mathematical Logic
The Department of Mathematics at Stockholm University with its excellent research record and long lasting traditions has acquired a very special place in Scandinavian mathematics. The department consists of two divisions: mathematics and mathematical statistics. Professors and lecturers working at the division of mathematics possess competence in different areas of mathematics, in particular there are research groups in algebra, geometry and combinatorics, analysis and logic. During the last decade the division has almost doubled the number of students. We carry out an active policy to develop and modernise the educational process and both our Bachelor and Master programs got the highest ranking in the latest university evaluation.
Deadline: 11 April 2016. For more information, see http://www.su.se/english/about/vacancies/
VU Amsterdam: 4 PhD candidates-lecturers in PPE
Beginning in September 2016, VU Amsterdam will offer an international bachelor programme in Philosophy, Politics and Economics (PPE). The J.S. Mill College, with its own venue on the VU Amsterdam campus, will form its social and intellectual community. The PPE programme (www.vu-ppe.nl) is a joint initiative of three faculties of VU Amsterdam: the Faculty of Humanities, the Faculty of Social Sciences, and the Faculty of Economics and Business Administration. The PPE programme seeks candidates for four fully funded PhD positions with full employment benefits. As one of the four PhD candidates-lecturers PPE you will teach courses within the college, play an active role in the PPE-community, and conduct research that results in a PhD dissertation. The gross yearly salary starts at €30.500,- in the first year and increases to its maximum of €38.772,- in year four of the appointment (based on 1.0 fte appointment).
Deadline: Sunday 13 March 2016. For more information, see http://www.vu.nl/en/employment/vacancies/2016/16041.aspx
University of Strathclyde: Research Associate
Applications are invited for a Research Associate to work under the supervision of Dr Clemens Kupke on the EPSRC grant "Coalgebraic Foundations of Semi-Structured Data".
Deadline: 29 Februari 2016. For more information, see https://bit.ly/1KLxjMz
University of Strathclyde: PhD PositionDeadline: -
Applications are invited for PhD study under the supervision of Dr Clemens Kupke and Prof Neil Ghani in coalgebra, category theory and logic with special focus on coalgebraic fixpoint logics and their applications in databases and economic game theory. The position is fully funded for EU students and will last for 3.5 years.For more information, please contact P.vanOrmondt at uva.nl
Or see here.
Postdoc research fellows, Basque Country, Spain
Ikerbasque - the Basque Foundation for Science, launched a call offering 15 contract positions for postdoctoral researchers, within any of the Basque Research Institution (Universities, BERC - Basque Excellence Research Centres, CIC – Cooperative Research Centres, Biomedical institutions and Technology Corporations, among others). These Fellowships are intended to offer young promising researchers a track towards a PI role and independent research. The applicants must have their PhD completed between 1/1/2006 and 31/12/2013. The positions are for a period of 5 years. Application deadline: 4 April 2016.
For more information, see http://www.ikerbasque.net/
PhD Position in Logic, University of Bern
The Mathematical Institute at the University of Bern invites applications for a PhD position in the Mathematical Logic Group of Prof. George Metcalfe.
Applicants are expected to have a strong background in Logic and an interest in pursuing research on topics related to Universal Algebra, Proof Theory, and/or Non-Classical Logics. Due to University regulations, applicants should also have at least a (Bachelor) Minor in Mathematics and a Masters degree before starting the position.
The salary for the position, including a 15 percent teaching assistantship, is approximately 50,000 Swiss Francs per year.
For more details, and information on how to apply (closing date: 30.4.2016) please contact Prof. George Metcalfe by email atgeorge.metcalfe at math.unibe.ch.
University of Lublin: PhD position
The Faculty of Philosophy at the John Paul II Catholic University of Lublin invites applications for one PhD position (33 months) starting from 01 April 2016 or soon after. The Faculty is a vital research and teaching environment in Philosophy and Cognitive Science, offers excellent career development opportunities. The position will be in the project "Permissions, Information and Institutional Dynamics, Obligations, and Rights" under the supervision of Prof. Piotr Kulicki.
Deadline: Monday 15 February 2016. For more information, see http://www.philosophy.kul.pl/phd-student-position/ and http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft//
PhD position in Logic, AI and philosophy, Utrecht (the Netherlands)
An open PhD position is available in the REINS project on the topic of 'Responsible agency'. We are looking for a student with a formal/philosophical logic background (not necesarilly a mathematical logic background) who wants to further develop his knowledge and skills in an interdisciplinary project with legal theorists, AI-researchers and philosophers.
Lecturer (Assistant Professor) Position in Computer Science, Liverpool
We seek a research-active, motivated, and highly professional individual expected to contribute in a variety of ways to the research areas mentioned below. You should have an excellent research track record or high research potential in the area of your expertise, strong interest in securing research funding, and ability to contribute to teaching provided by the Department. Preference will be given to those with potential in interdisciplinary research, research impact, and outreach activities. The Department is renowned internationally for excellent research in Algorithms and Optimisation; Argumentation; Automata, Computability and Complexity Theory; Data Mining and Machine Learning; Economics and Computation; Networks and Distributed Computing; Knowledge Representation; Robotics and Autonomous Systems; and,Verification.
Closing date for receipt of applications: Friday, 15 January 2016 at 17:00 GMT. For more information, see https://www.liverpool.ac.uk/working/jobvacancies/currentvacancies/academic/
PhD Positions in Artificial Intelligence, EPFL, Lausanne
Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.
LIA has several openings for Ph.D. candidates in Artificial Intelligence, with particular interest in autonomous intelligent agents, multi-agent systems, computational game theory, and multi-agent learning. Studies will be part of the EDIC Ph.D. program. The positions carry an assistantship with an annual salary of about 50000 Swiss Francs/year.
Applications have to be submitted to EDIC at http://phd.epfl.ch/edic by April 15th, 2016. For more information, see the LIA-website at http://liawww.epfl.ch/, or contact prof. Boi Faltings by email: boi.faltings at epfl.ch.
Postdoc Position in Multi-agent Systems, EPFL, Lausanne
Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.
LIA has en opending for a post-doc position. The position is not attached to a specific project but candidates should have a background in the broad area of multi-agent systems, ranging from AI planning to computational game theory. The position offers possibilities for career development through teaching and supervision of student projects at all levels. The annual salary is very competitive at about 80000 Swiss Francs/year. The starting date can be as soon as possible but is flexible.
Postdoc position at KTH Royal Institute of Technology
The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in computational complexity.
The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. On the theoretical side, proof complexity has turned out to have deep, and sometimes surprising, connections to other topics such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and therefore researchers in these or other related areas are more than welcome to apply.
These are full-time employed positions for one year with a possible one-year extension. The expected starting date is August-September 2016, although this is to some extent negotiable.
The application deadline is January 24, 2016. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2015-0816-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.
Postdoc position in SAT solving at KTH Royal Institute of Technology
The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.
The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. On the practical side, some interesting problems are to gain a better understanding of the performance of current state-of-the-art SAT solvers — in particular, solvers using conflict-driven clause learning (CDCL) — and to explore techniques that would go beyond CDCL, such as approaches based on algebraic or geometric reasoning.
These are full-time employed positions for one year with a possible one-year extension. The expected start date is August-September 2016, although this is to some extent negotiable.
The application deadline is January 24, 2016. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2015-0823-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.
PhD position in Logic & Foundations of Decision Making
A PhD position is open at the Faculty of Technology, Policy and Management at the Delft University of Technology.
The PhD candidate will conduct research at the interface of logic and computer science, and theories of decision making, such as decision theory, game theory, and social choice theory. The research project will be formulated in consultation with the PhD candidate. Particular topics of interest include the development of modal logics of strategic ability, belief and rationality, as well as algebraic/coalgebraic methods for reasoning about dynamic decision making processes. The PhD candidate will be supervised by Dr. Helle Hvid Hansen who works closely with the Applied Logic group at TPM, as well as with other researchers in coalgebra and logic in the Netherlands and abroad.
For more details, and information on how to apply (closing date: 14 Dec 2015), go to http://recruitment2.tudelft.nl/vacatures/.
Hack Your Future
Hackyourfuture is an initiative that teaches computer programming to refugees in Dutch refugee centers. At the moment many refugees have very few possibilities in terms of work and education during their time in a refugee center. Our aim is to teach refugees to program and to bring them in contact with our network of businesses that hire programmers. Currently we're developing our on-line educational program and we're looking for programmers who would like to help out to create a high quality course.
We are looking for people who'd like help as:
- tutors, who help our students with their programming exercises and help them with more general questions. (like what language to learn next, career questions etc.) This is mainly done on-line and takes 2-4 hours a week. (we will teach multiple programming languages)
- program developers, who organize and structure the educational set-up of the program. This mainly comes down to creating a curriculum of interesting exercises for our students after they have learned the basics of programming.
PhD and Postdoc Positions at QMATH Copenhagen
The positions are available in the frame of the recently announced Villum Center for Excellence in the Mathematics of Quantum Theory (QMATH) at the University of Copenhagen.
QMATH will focus on research in quantum information theory and mathematical physics and will work in close collaboration with experimental quantum science in Copenhagen.
For more information and current activities, please see: http://www.math.ku.dk/english/research/gamp/qit/.
Postdoc call (deadline: Nov 30, 2015): http://employment.ku.dk/faculty/?show=778262.
PhD call (deadline January 3, 2016): http://www.math.ku.dk/english/about/jobs/phd_2016/.
PhD student position in Cottbus
Sonja Smets appointed professor Logic and Epistemology
Sonja Smets has been appointed professor of Logic and Epistemology at the Faculty of Science and the Faculty of Humanities of the University of Amsterdam.
For more information, see http://www.uva.nl/en/news-events/news/professorial-appointments/item/.
Sonja Smets appointed new director of ILLC
Sonja Smets has been appointed director of the Institute for Logic, Language and Computation (ILLC) effective 1 June 2016. Smets has been working for ILLC since 2012, where she joined the management team in November 2013.
In 2012 Smets moved with her research team from University of Groningen to UvA, where she became director of the ILLC PhD-programme. Her research programme, which is now part of the Instituteâ€™s Amsterdam Dynamics group, ranges over logic and its applications in areas such as formal epistemology and quantum theory. In 2009, she received a Vidi award from the Netherlands Organisation for Scientific Research (NWO) for her project on quantum logic and the applications of logic to quantum information theory. In 2012 she was awarded the ERC Starting Grant to fund her project on the logical structure of correlated information change.
Besides her work for ILLC, Smets was appointed member of the Scientific Oversight Committee of the Joint Research Center for Logic at Tsinghua University (Beijing) and UvA in 2014.
REMINDER-Bicycle reclaim regarding bicycle clean-up Facility Services
Herewith I want to remind you that, if your bicycle has been removed from the premises, you can reclaim it until 1 September as stated below
As of 13 June, broken and abandoned bicycles will be cleared from the bicycle racks on faculty and USC premises. This will allow more students and employees to use these facilities and provide easier access to the premises for emergency services.
All broken bicycles will be tagged, as well as bicycles which are known to have been in the shed/rack for a long time. If bicycles with tags are not removed by their respective owners before 4 July, they will be removed. Please note: locks damaged in the process will not be compensated.
All bicycles will be stored for a period of two months. You can reclaim your bicycle from Monday to Friday between 08:00 and 17:00 until the 1 September.
For more information, please contact
Emmanuel Kum 020 525 2102
Jan Rozenga 020 525 2816
Rik Holsheimer 020 525 3792
Ruben Giebler 020 525 3650
New book by Anne Troelstra
Anne Troelstra to publish a book natural history travel narratives entitled 'A Bibliography of natural history travel narratives'.
For more information, contact Anne Troelstra at A.S.Troelstra at uva.nl
Master in Pure and Applied Logic at Barcelona
The biannual two-year 'Master in Pure and Applied Logic' programme for 2016-2018, jointly organized by the University of Barcelona and Polytechnical University of Catalunya, is still open for 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.
Regular preregistration closes officially on September 9th 2016, but it is strongly advised to do the preregistration before the end of July. The courses start on September the 12th, 2016.
Data-Oriented Parsing demo now online
Data-Oriented Parsing is a framework developed at ILLC based on the notion that language use relies on the recombination of exemplars and fragments from memory (the model has been applied to other forms of cognitions such as music and reasoning as well). This demo shows the latest implementation.
For more information, see https://www.illc.uva.nl/Research/Other-Links/Projects-and-Demos/
Event Report: Industry Day on Computational Social Choice
On 21 June 2016, COST Action IC1205 on Computational Social Choice, a European research network with partners in 39 countries that is being coordinated at the ILLC, organised an Industry Day at the Manufacture des Tabacs in Toulouse, France.
The programme consisted of five invited keynote talks by practitioners, from both the private and the public sector, who make innovative use of collective decision making technologies for which computational social choice provides the scientific foundations. The event attracted close to 100 participants, several of which also presented during the open poster session held on the same day.
For further information, see here, http://www.illc.uva.nl/COST-IC1205/ (COST Action IC1205) or http://www.irit.fr/COMSOC-2016/industry.shtml (Industry Day in Toulouse), or contact Ulle Endriss (ulle.endriss at uva.nl).
Open Letter on the ius promovendi by ILLC Researchers
On 1 June 2016, in a letter addressed to the Rector Magnificus of the University of Amsterdam, a group of senior researchers at the ILLC have expressed their views on the need to modernise the regulations that determine who can take formal responsibility for the supervision of a PhD project at the University of Amsterdam.
The letter and additional information are available at http://tinyurl.com/uva-ius-promovendi.
New Book: Handbook of Computational Social Choice
The Handbook of Computational Social Choice, edited by Felix Brandt (Munich), Vincent Conitzer (Duke), Ulle Endriss (ILLC), Jérôme Lang (Paris), and Ariel Procaccia (Carnegie Mellon) has just appeared with Cambridge University Press.
The digital edition of the book is freely available at http://www.cambridge.org/9781107060432. Find it under "Resources" und use the password cam1CSC to unlock it. This password can be distributed openly and legally.
29 April 2016, ILLC drinksDate & Time: Friday 29 April 2016, 17:30
The ILLC PhD council kindly invites you to the first edition of the ILLC drinks in 2016! These drinks are meant as an informal meeting place for the entire ILLC community. There will be drinks, snacks & fun so be sure to be there :-)
We hope to see you!For more information, please contact phdcouncil.illc at gmail.com
Fenrong Liu publishes an article in Guangming Daily
Fenrong Liu publishes an article "Advances in Modern Logic" in Guangming Daily April 13, 2016, one of the most influential newspapers in China. In the article, she argues that social structure plays an important role in intelligent interactions, and she explains some open problems and challenges in logic once we start thinking from a social dimension.
For more information, see http://news.gmw.cn/2016-04/13/content_19683597.htm
New sourcebook on Formal Epistemology: ``Readings in Formal Epistemology: "Readings in Formal Epistemology"
This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic.
For more information, see https://www.springer.com/us/book/9783319204505
The Vossius Center for the History of Humanities and Sciences has officially opened
After almost 400 years, the first professor at the University of Amsterdam, Gerardus Vossius, has been honored with a Center that aims to bring together researchers from all faculties who share an interest in the history of humanities and sciences.
For more information, see http://vossius.uva.nl/
31 March - 9 June 2016, Several IXA workshops on valorisationDate: 31 March - 9 June 2016
IXA organises a new serie of workshops on various topics in valorisation. The workshops are very pratical to get you started immediately. The workshops are open to all scientists from AMC, HvA, UvA, VU, VUmc and NWO Institutes. Participation is free of charge and for the workshops starting at 08:30 breakfast will be served. The location of the workshops is alternately at the VU, UvA or AMC.
For more information, see http://www.ixa.nl/en/news-agenda/agenda.html
Rens Bod delivered the Academy Lecture 2016 at The Norwegian Academy of Science and Letters
On 8 March 2016 Rens Bod delivered the 2016 Academy lecture to the Norwegian Academy of Science and Letters entitled "How Interactions between Humanities and Science have Shaped our Knowledge".
For more information, see http://www.dnva.no/kalender/vis.html?tid=66789
18 March - 4 September 2016, UvA Special Collections Exhibition 'Out of the Box'Date: 18 March - 4 September 2016
The exhibition 'Out of the Box' showcases items from the rich heritage of the University of Amsterdam, selected by UvA scholars from various disciplines. Amongst the items are selections by ILLC researchers Rens Bod, Bas Cornelissen, Henkjan Honing and Carlos Vaquero.
For more information (in dutch) see http://bijzonderecollecties.uva.nl/nieuws-agenda/tentoonstelling/.
M.Sc. Program in Cognitive Systems: Human-Computer Symbiosis
To teach the new paradigm of cognitive computing, the M.Sc. Program in Cognitive Systems brings together two main scientific areas: Cognitive Psychology, and Artificial Intelligence in Computer Science. Aiming, on the one hand, for the prospective students to understand the basis for human cognition, the Program is strongly influenced by Cognitive Psychology and includes learning modules that explore the fundamentals of perception, learning, mental representation, and reasoning in humans.
For more information, see http://www.ouc.ac.cy/web/guest/s2/programme/cos/
Honorary doctorate Dick de Jongh and Matthias Baaz
An honorary doctorate was awarded by the Ivane Javakhishvili Tbilisi State University to Professors Dick de Jongh (ILLC, University of Amsterdam) and Matthias Baaz (Vienna University of Technology) in recognition of their contribution to the development of the Georgian schools of logic and linguistics.
The ceremony was held during The Eleventh Tbilisi Symposium on Logic, Language and Computation, Tbilisi, Georgia, 25 September, 2015.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/Honorary-doctorate
Former Regular Events
Seminar on music cognition and computationDate: irregularLocation: Room TBA, Science Park 904, Amsterdam
A reading/discussion group on music cognition and computation exists since 2004. For each meeting one or two articles are chosen (and read by the participants beforehand) to form the basis for a discussion.
The seminar on music cognition and computation homepage can be found at http://staff.science.uva.nl/~ahoningh/readinggroup.html.