News Archives 2014
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Past Events
Headlines Calls for Paper
Headlines Past Conferences
Headlines MoL and PhD defenses
Headlines Projects and Awards
Headlines Funding, Grants and Competitions
Headlines Open Positions at ILLC
Headlines Open Positions, General
No Past appointments
No Former Regular Events
19 December 2014, ILLC midwinter Colloquium 2014Location: ILLC Common Room (F1.21), 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.
For more information, see http://www.illc.uva.nl/ILLCColloquium/Midwinter2014/ or contact rens.bod at gmail.com.
16 December 2014, Cognition@ILLC, Padraic MonaghanSpeaker: Padraic MonaghanTitle: Repetition in language and music: General or specific processes?Location: Room F1.15, Science Park 107, Amsterdam
This is the first meeting of monthly Cognition at ILLC seminar. The goal of the seminar is to create a joint platform to discuss cognition related research. It is organized jointly by three ILLC research groups: LoCo, LaLo, and LaCo. For more information, see here or contact Jakub Szymanik at jakub.szymanik at gmail.com.
12 December 2014, Cool Logic, Tingxiang ZouSpeaker: Tingxiang ZouTitle: An Invitation to Homotopy Type TheoryLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
In the last decade, a number of deep connections between a form of type theory and homotopy theory have been discovered, which leads to a new research area: Homotopy Type Theory (HoTT) that attracts theoretical computer scientists, topologists, logicians and categorical theorists. In this talk, I will give a very brief introduction for HoTT: Martin Löf's dependent type theory; homotopy theory; their connections and maybe Voevodsky's Univalence Axiom.
12 December 2014, DIP Colloquium, Jan-Willem RomeijnSpeaker: Jan-Willem Romeijn (Groningen)Title: What are the chances?Location: Room F1.15, Science Park 107, Amsterdam
12 December 2014, Colloquium on Mathematical Logic, Jouko VaananenSpeaker: Jouko VaananenTitle: Quantum team logicLocation: Drift 6, zaal 007, Utrecht
A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy. We point out that these logical Bell's Inequalities are provable in the probability logic of Fagin, Halpern and Megiddo. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this end we generalise the team semantics of dependence logic first to probabilistic team semantics, and then to, what we call quantum team semantics.
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).
12 December 2014, Logic and Interactive Rationality (LIRa), Alessandra PalmigianoSpeaker: Alessandra Palmigiano (Delft)Title: Unified Correspondence as a Proof-Theoretic ToolLocation: Room F1.15, Science Park 107, Amsterdam
12 December 2014, Farewell meeting Roel de VrijerLocation: Kerkzaal (main building), VU University, De Boelelaan 1105, Amsterdam
Op vrijdag 12 december is er 14.00-17.00 een feestelijke bijeenkomst vanwege de pensionering van Roel de Vrijer bij de Afdeling Informatica aan de VU, afgelopen september. Je bent hiervoor van harte uitgenodigd.
De bijeenkomst zal plaatsvinden in de Kerkzaal, op de 16e verdieping van het Hoofdgebouw van de VU. U bereikt het Hoofdgebouw vanaf de Boelelaan zijde, de hoofdingang. In de ontvangsthal loopt u linksaf naar de liften. Neem de lift naar de 15de (hoogst bereikbare met lift) verdieping. De Kerkzaal is bereikbaar via een trap vanaf de 15e verdieping. Zie ook http://www.vu.nl/nl/over-de-vu/contact-routebeschrijving/
Het programma van de bijeenkomst is ongeveer als volgt:Voor meer informatie, email f.van.raamsdonk at vu.nl
14.15 praatjes door Vincent van Oostrom, Jan Willem Klop, en Roel zelf
15.15 muzikaal intermezzo
15.30 praatjes door Guus Schreiber en Wan Fokkink
11 December 2014, Colloquium on Mathematical Logic, Matthias Schirn (Munich)Speaker: Matthias Schirn (Munich)Title: Frege: Second-Order Abstraction and Referential IndeterminacyLocation: Janskerkhof 13, room 006 in Utrecht
In this talk, I shall critically discuss some issues related to Frege's paradigms of second-order abstraction principles: Hume's Principle and Axiom V. The focus is on the referential indeterminacy of value-range terms arising from a semantic stipulation later to be embodied in Axiom V of Grundgesetze. I shall discuss Frege's attempt to remove the indeterminacy as well as his subsequent proof of referentiality for his formal language with special emphasis on the case of value-range terms. Attention will also be paid to the assumptions that underly his overall strategy.
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).
11 December 2014, Colloquium on Mathematical Logic, Matthias SchirnSpeaker: Matthias SchirnTitle: Frege: Second-Order Abstraction and Referential IndeterminacyLocation: Room 0.06, Janskerkhof 13, Utrecht
11 December 2014, Theoretical Computer Science Seminar, David Garcia SorianoSpeaker: David Garcia Soriano (Yahoo Labs, Barcelona)Title: The Minimum Wiener Connector ProblemLocation: CWI room L017, Science Park 123, Amsterdam
9 December 2014, Logic Tea, Merlin CarlSpeaker: Merlin CarlTitle: Infinite Time Algorithmic RandomnessLocation: Room F1.15, Science Park 107, Amsterdam
9 December 2014, Computational Linguistics Seminar, Desmond ElliottSpeaker: Desmond ElliottTitle: Representing the Structure of Images for Language Generation and Image SearchLocation: Meeting Room (F1.15), Science Park 107, Amsterdam
The upcoming session of the CLS will be a presentation by Desmond Elliott (CWI).
As this is the last CLS of the year, we might go for drinks afterwards.
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.
8 December 2014, XLSX seminar, Anna Szabolcsi (NYU)Speaker: Anna Szabolcsi (NYU)Title: KA particles cross-linguisticallyLocation: Room K02, Bungehuis, Spuistraat 210, Amsterdam
Abstract: In Japanese, the particle ka occurs (at least) in disjunctions, indefinites, wh-questions, and polar questions; Malayalam oo and Sinhala de/hari have a similarly wide distribution (Jayaseelan 2001, 2008, 2011; Shimoyama 2006; Slade 2011; a.o.). In many other languages, the distribution of what I generically dub “KA particles” is narrower (Bhat 2000; Cable 2010; Haspelmath 1997; Szabolcsi, Whang & Zu 2014; Winter 1995; a.o.). This talk will ask what unifies the signature contexts of KA, and why the particle is not always present in such contexts.For more information, please contact m.d.aloni at uva.nl
5 December 2014, Colloquium on Mathematical Logic, Volodya ShavrukovSpeaker: Volodya ShavrukovTitle: Astrology of Nerode SemiringsLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
5 December 2014, Logic and Interactive Rationality (LIRa), Soroush Rafiee RadSpeaker: Soroush Rafiee Rad (UvA)Title: Forming Rational Belief From First Order Probabilistic EvidenceLocation: Room F1.15, Science Park 107, Amsterdam
4 December 2014, Ulle Endriss faculty-winner UvA Teacher of the Year contestLocation: CREA Muziekzaal, Amsterdam
The six faculty winners of the contest for UvA Teacher of the Year 2014 have been selected. Ulle Endriss won for the Faculty of Science.
The faculty winners will give their final presentations on Thursday December 4th, in an open event at the CREA Muziekzaal. The overall winner will be announced at the Dies Natalis on 8 January 2015.
For more information (in dutch), see http://medewerker.uva.nl/fnwi/actueel/nieuws/nieuws/nieuws/content-2/folder/2014/
3 December 2014, Algebra|Coalgebra Seminar, Giovanni CinaSpeaker: Giovanni Cina (ILLC)Title: Modal Logics for presheaf categoriesLocation: Room B0.203, Science Park 904, Amsterdam
1 December 2014, Faculty Colloquium, Khalil Sima'anSpeaker: Khalil Sima'anTitle: The Hidden Treasures of Translated Text: Towards Meaning Preserving Machine TranslationLocation: Room C1.110, Science Park 904, Amsterdam
28 November 2014, Cool Logic, Aybüke Özgün (LORIA, CNRS - Lorraine)Speaker: Aybüke Özgün (LORIA, CNRS - Lorraine)Title: Relational vs. Neighbourhood Semantics for Epistemic LogicLocation: ILLC seminar room (F1.15), Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
28 November 2014, SMART Cognitive Science Lecture, Rineke VerbruggeSpeaker: Rineke Verbrugge (Groningen)Title: Learning to apply theory of mind: from logic to the lab
28 November 2014, Event organized on the occasion of the retirement of Krzysztof R. AptLocation: CWI, Turing room, Science Park 123, Amsterdam
We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.
28 November 2014, Workshop "Structure and Relations"Location: Drift 6, room 007, Utrecht, The Netherlands
No matter how chaotic the world may seem, some of us think that structure is all there is. We are not going to determine whether this view is correct, but we will focus on the requirements for a mathematical foundation that enables us to talk in the most direct way about structure and relations.
10:00-11:00 F.A. Muller (Erasmus University Rotterdam, Utrecht University), Axiomatising Structure: Why? What? How?
11:00-12:00 Benno van den Berg (University of Amsterdam), Univalent Foundation
13:00-14:00 Joop Leo (Utrecht University), A new logic of relations
For more information, contact Joop Leo at joop.leo at uu.nl.
26 November 2014, Algebra|Coalgebra Seminar, Dexter Kozen (Cornell University)Speaker: Dexter Kozen (Cornell University)Title: Completeness and Incompleteness in Nominal Kleene AlgebraLocation: ILLC Room F1.15, Science Park 107
24-26 November 2014, Workshop on Correlated Information ChangeLocation: Doelenzaal, University Library, Singel 425, AmsterdamCosts: none (registration necessary!!)
Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.
For more information, see http://www.illc.uva.nl/LogiCIC14/
21 November 2014, LeGO Seminar, Jeroen GroenendijkSpeaker: Jeroen GroenendijkTitle: Deontic and Epistemic Modals in Suppositional [Inquisitive] SemanticsLocation: OMHP Room A2.30, Oudemanhuispoort 4-6, Amsterdam
20-21 November 2014, Synthese Conference on Qualitative and Quantitative Methods in Formal EpistemologyLocation: The 'Nina van Leerzaal', The Allard Pierson Museum, Oude Turfmarkt 127, AmsterdamCosts: none (registration necessary!!)
The goal of this meeting is to bring together researchers using formal methods in epistemology, methods ranging from logic to probability theory. We create a forum to present new developments, exchange ideas, explore and establish new connections between the use of qualitative and quantitative methods in formal philosophy.
For more information, see http://www.illc.uva.nl/Synthese/
19 November 2014, Colloquium on Mathematical Logic, Kostas Tsaprounis (Barcelona, Athens)Speaker: Kostas Tsaprounis (Barcelona, Athens)Title: Long realsLocation: Room 610, Hans Freudenthal Building, Budapestlaan 6, Utrecht
Ever since Dedekind and Cantor, there is a well-known procedure which, starting with the set of natural numbers, produces in a canonical fashion the complete ordered field of the reals. In this talk, we study what happens when one replaces $\omega$ by any infinite cardinal $\kappa$ in the above construction(s). This is joint work in progress with David Aspero.
For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).
18 November 2014, UvA Summer School Seminar
The UvA organises a seminar with practical advice for members of staff who want to organise a summer school or a similar event at the UvA (finances, accommodation, catering, etc.).
For more information and to register, see: http://uva.nl/summerschoolseminar
17 November 2014, History of Humanities and Science meetingSpeaker: Machiel Keestra & Chao Kang TaiLocation: Room A2.08, OMHP, Oudemanhuispoort 4-6, Amsterdam
The next History of Humanities and Science meeting will be on Monday 17 November with two talks that aim to bridge several disciplines at our university. Next we will give an update on the future of our Center (funding, courses, new journal).
14 November 2014, Inaugural Lecture, Franz BertoSpeaker: Franz BertoTitle: The Metaphysical Basis of LogicLocation: Aula, University of Amsterdam, Singel 411, Amsterdam
Franz Berto was appointed professor of philosophy, in particular metaphysics and the history of philosophy, at the Faculty of Humanities in October 2013. He will hold his inaugural lecture (in English) entitled The Metaphysical Basis of Logic on Friday 14 November 2014 at 16:00 hours in the Aula of the University of Amsterdam.
14 November 2014, Logic and Interactive Rationality (LIRa), Johannes MartiSpeaker: Johannes Marti (UvA)Location: Room F1.15, Science Park 107, Amsterdam
13 November 2014, Crosslinguistic semantics (XLSX) colloquium, Natasha Koroktova (UCLA)Speaker: Natasha Koroktova (UCLA)Title: Varieties of evidential shiftLocation: Room A2.01, OMHP, Oudemanhuispoort 4-6, Amsterdam
12 November 2014, Public Lecture "Logics for Social Behaviour", Alessandra PalmigianoSpeaker: Alessandra PalmigianoLocation: Museum Boerhaave, Lange St Agnietenstraat 10, Leiden
If humans are social animals, are they also logical animals?
Perhaps it is not by chance that the same Aristotle who recognized the social nature of human beings as their defining trait is also the father of logic.
Classical logic - the logic of Aristotle's syllogisms - is wonderfully clear but it also offers a limited perspective for the study of social behaviour. Humans speak languages which abound in vague concepts, interact with one another in open-ended forms of cooperation and coordination, can take decisions in groups on the basis of what group members consider to be half-truths, can form opinions on the basis of what they have understood of the opinions of others. Classical logic is not the right tool for all these phenomena.
To deal with them, new, nonclassical logics have been developed. This public lecture will focus on how nonclassical logics can help to describe and understand social behaviour, focusing on multi-player games, decision making in the face of uncertainty, and aggregation of information, preferences, and opinions.
For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650.
11 November 2014, AUC Guest Lectures, Jakub SzymanikSpeaker: Jakub SzymanikTitle: Semantic ComplexityLocation: Common room, Amsterdam University College, Science Park 113, Amsterdam
For more information, seehttp://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/.
11 November 2014, Logic Tea, Joshua SackSpeaker: Joshua SackTitle: A coalgebraic approach to graded modal logic and graded bisimilarityLocation: Room F1.15, Science Park 107, Amsterdam
7 November 2014, Cool Logic, Thomas Brochhagen (ILLC)Speaker: Thomas Brochhagen (ILLC)Title: Nominal Combinations, Compositionality, and Semantic SlackLocation: ILLC seminar room (F1.15), Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
The interpretative variability of noun-noun combinations raises a number of issues concerning their constituents' contribution and mode of composition. Faced with these problems it is often emphasized that their proper treatment requires a delicate balance between (semantic and syntactic) constraints and (pragmatic) flexibility. Although many proposals acknowledge the central role of context and world knowledge to determine their meaning, the challenge they pose to the classical interpretation(s) of the principle of compositionality have received little attention. In this talk, we proceed by carefully evaluating where things go wrong, on possible ways to fix them and on what we can learn from them.
For more information, contact coollogic.uva at gmail.com
7 November 2014, DIP Colloquium, Thomas BrouwerSpeaker: Thomas Brouwer (Aberdeen)Title: Giving Falsity Its DueLocation: Room F1.15, Science Park 107, Amsterdam
7 November 2014, Logic and Interactive Rationality (LIRa), Virginie Fiutek and Sébastien MagnierSpeaker: Virginie Fiutek and Sébastien Magnier (University of Lille)Title: The notions of Proof in French Civil Law: a logical analysisLocation: Room F1.15, Science Park 107, Amsterdam
5 November 2014, BSc Information Sciences @ ILLCLocation: Room F1.21 (ILLC Common Room), Science Park 107, Amsterdam
On Wednesday 5 November 2014 at 17:00 a group of students from the UvA's three Bachelor's programmes in the Information Sciences (Computer Science, Artificial Intelligence, and Information Studies) will visit the ILLC. The event will include three short talks on research in AI at the ILLC: Jelle Zuidema will speak about AI and Cognitive Science, Ivan Titov will speak about Natural Language Processing, and Ulle Endriss will speak about Knowledge Representation and Multiagent Systems. The scientific part of the event will take roughly one hour and be followed by a small borrel.
For more information, contact Raquel Fernández (raquel.fernandez at uva.nl).
5 November 2014, Colloquium on Mathematical Logic, Dorottya SzirakiSpeaker: Dorottya SzirakiTitle: Algebraic Logic and Vaught's ConjectureLocation: Room D1.112, Science Park 904, 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).
5 November 2014, Algebra|Coalgebra Seminar, Andrea Pedrini (University of Milan)Speaker: Andrea Pedrini (University of Milan)Title: Polyhedra: from geometry to logicLocation: Room D1.112, Science Park 904, Amsterdam
3-4 November 2014, Amsterdam Workshop on Set Theory: Generalized Baire Space (AST 2014), Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.
The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).
For more information, see http://www.math.uni-hamburg.de/spag/ml/AST2014/
31 October 2014, ILLC Current Affairs MeetingLocation: F1.21, ILLC Common room, Science Park 107, Amsterdam
As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.
For more information, contact illc at uva.nl
31 October 2014, Logic and Interactive Rationality (LIRa), Enkhbold NyamsurenSpeaker: Enkhbold Nyamsuren (UvA)Title: Are you smarter than your inner child?Location: Room F1.15, Science Park 107, Amsterdam
29 October 2014, FNWI Collegetour at SPUI25, Richard Ridderinkhof and Ulle EndrissSpeaker: Richard Ridderinkhof and Ulle EndrissTitle: Difficult DecisionsLocation: Spui 25-27, 1012 XM Amsterdam
Life is all about making choices. In this public lecture at SPUI25, the UvA's academic-cultural centre, Richard Ridderinkhof (UvA Psychology) and Ulle Endriss (ILLC) will discuss the ins and outs of taking difficult decisions, be it as an individual or in a group. Please note that this event will be held in Dutch and that registration is required.
For more information, see http://www.spui25.nl/programma/item/29.10.14---fnwi-collegetour.html.
29 October 2014, Algebra|Coalgebra Seminar, Leonardo CabrerSpeaker: Leonardo Cabrer (Florence)Title: Exact Unification Type and Admisible rulesLocation: ILLC Room F1.15, Science Park 107, Amsterdam
28 October 2014, Logic Tea, Janine ReinertSpeaker: Janine ReinertTitle: Expressive Limitations in Hybrid Approaches to Possible and Impossible WorldsLocation: Room F1.15, Science Park 107, Amsterdam
24 October 2014, Cool Logic, Konstantin Genin (Carnegie Mellon University)Speaker: Konstantin Genin (Carnegie Mellon University)Title: Learning with Ockham: Simplicity in Inductive InferenceLocation: ILLC seminar room (F1.15), Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
Is it possible to give a non-circular justification for the systematic scientific bias in favor of simpler theories? Combining ideas from belief revision, learning theory and topology, we give a justification for Ockham's razor grounded in truth-finding efficiency. Connections are demonstrated between monotonicity principles in belief revision, Popperian falsificationism and simplicity.
For more information, contact coollogic.uva at gmail.com
24 October 2014, DIP Colloquium, Mark van AttenSpeaker: Mark van Atten (CNRS, Paris)Title: Dummett vs. BrouwerLocation: Room F1.15, Science Park 107, Amsterdam
24 October 2014, SMART Cognitive Science Lecture, William FoleySpeaker: William Foley (Sydney)
24 October 2014, Logic and Interactive Rationality (LIRa), Jan van EijckSpeaker: Jan van Eijck (UvA)Title: Selected Topics in Communication and ActionLocation: Room F1.15, Science Park 107, Amsterdam
23 October 2014, Valedictory lecture, Prof. Andy TanenbaumSpeaker: Prof. Andy TanenbaumLocation: the Aula of the Vrije Universiteit, Amsterdam, The Netherlands
Prof. Andy Tanenbaum is finally retiring. He has been at the Vrije Universiteit for 43 years, but everything must eventually end. To say goodbye to everyone, he will give a final lecture at the VU, to which everyone is invited.
Register for his farewell lecture ("afscheidscollege"). For more information, see http://www.cs.vu.nl/tanenbaum/
22 October 2014, PIIA Seminar, Fan YangSpeaker: Fan YangTitle: Propositional dependence logicLocation: Stijlkamer 0.06, Janskerkhof 13, Utrecht
For more information, see http://jeroengoudsmit.com/piia/.
17 October 2014, DIP Colloquium, Federico GobboSpeaker: Federico Gobbo (Amsterdam/Torino)Title: Natural language formalization meets constructive mathematicsLocation: Room F1.15, Science Park 107, Amsterdam
15 October 2014, Algebra|Coalgebra Seminar, Alexandra SilvaSpeaker: Alexandra SilvaTitle: Automata learning: a categorical perspective.Location: ILLC Room F1.15, Science Park 107, Amterdam
14 October 2014, AUC Guest Lectures, Ulle Endriss (ILLC, University of Amsterdam)Speaker: Ulle Endriss (ILLC, University of Amsterdam)Title: Judgment AggregationLocation: Common room, Amsterdam University College, Science Park 113, Amsterdam
This lecture will be an introduction to the field of judgment aggregation, which deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions into a single such view that appropriately reflects the stance of the group as a whole.
For more information, see http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/
14 October 2014, Logic Tea, Benno van den BergSpeaker: Benno van den BergTitle: How constructive is nonstandard arithmetic?Location: Room F1.15, Science Park 107, Amsterdam
10 October 2014, Logic and Interactive Rationality (LIRa), Mathias MadsenSpeaker: Mathias MadsenLocation: Room F1.15, Science Park 107, Amsterdam
2 October 2014, DIP Colloquium, Dorit AbuschSpeaker: Dorit Abusch (Cornell University)Title: Pictorial Discourse Referents, Bridging and Continuous NarrativeLocation: Room F1.15, Science Park 107, Amsterdam
2-3 October 2014, LiRA-Workshop "The Logical Dynamics of Information, Agency and Interaction"Location: Room F1.15, ILLC, Science Park 107, Amsterdam
The workshop "The Logical Dynamics of Information, Agency and Interaction" will be organised by Alexandru Baltag and Fenrong Liu on October 2 and 3, with invited speakers from Tsinghua university and from the ILLC.
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2513 or http://zoechristoff.files.wordpress.com/2014/09/final-program-october-2-3.pdf.
1 October 2014, Drinks at Polder on the occasion of Van Emde Boas' 50 years research activityLocation: Café - Restaurant Polder, Science Park 205, Amsterdam
On the occasion of 50 years of research activity in mathematics, Peter van Emde Boas will organise drinks at Polder. All are cordially invited!
For more information, see http://bronstee.com/invitatie/Invitatie20141001aa.pdf (english) and http://bronstee.com/invitatie/Invitatie20141001nl1.pdf (dutch)
1 October 2014, Algebra|Coalgebra Seminar, Malvin GattingerSpeaker: Malvin GattingerTitle: PDL has Craig Interpolation since 1981Location: ILLC Room F1.15, Science Park 107, Amsterdam
30 September 2014, Logic Tea, Ronald de HaanSpeaker: Ronald de HaanTitle: Real-Life OraclesLocation: Room F1.15, Science Park 107, Amsterdam
For more information on this talk and future events please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).
Or see here.
26-27 September 2014, Celebration event in honour of Johan van BenthemLocation: University of Amsterdam, Amsterdam, The Netherlands
On 26 and 27 September 2014 the Institute for Logic, Language and Computation (ILLC) and the University of Amsterdam organize a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day will have lectures for the general public, Johan's valedictory lecture 'Fanning the Flames of Reason', and a reception. The second day is a scientific workshop devoted to current trends in logic, with emphasis on the areas where Johan was or is active.
For more information, see http://www.illc.uva.nl/J65/
25 September 2014, Cool Logic, Ana Lucia Vargas SandovalSpeaker: Ana Lucia Vargas SandovalTitle: Has Vaught's Conjecture been solved?Location: ILLC Seminar Room (F1.15), Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
Vaught's Conjecture states that the collection of countable models of a first-order complete theory in a countable language is either countable, or has the cardinality of the continuum. This talk provides an approach to Vaught's Conjecture, its importance in the mathematical logic field and some of the current developments around it. I will also discuss the controversy lead by Professor Knight from Oxford University when he claimed had a “counterexample” for Vaught's Conjecture in 2002.
For more information, contact coollogic.uva at gmail.com
25 September 2014, LogiCIC/LIRa Seminar, Thomas IcardSpeaker: Thomas Icard (Stanford University)Title: Comparative Probability in Language and ActionLocation: Room F1.15, Science Park 107, Amsterdam
24 September 2014, Computational Linguistics Seminar, Phong LeSpeaker: Phong LeTitle: Unsupervised Dependency Parsing: Let's Use Supervised ParsersLocation: Room F1.15, Science Park 107, Amsterdam
22 September 2014, The State of Science, Johan van Benthem / Fenrong LiuSpeaker: Johan van Benthem / Fenrong LiuTitle: Where is Logic Going, and Why?Location: Spui 25, Amsterdam
For more information, see http://www.spui25.nl/programma/item/
19 September 2014, `Borrel' on the occasion of Jeroen Groenendijk's retirementLocation: Kapitein Zeppos, Gebed Zonder End 5, Amsterdam
19 September 2014, LeGO Seminar, Johannes MartiSpeaker: Johannes MartiTitle: The Four Dimensions of Two-DimensionalismLocation: Room 307, Vendelstraat 8, Amsterdam
18 September 2014, Logic and Interactive Rationality (LIRa), Fenrong LiuSpeaker: Fenrong Liu (UvA/Tsinghua)Location: Room F1.15, Science Park 107, Amsterdam
17 September 2014, Algebra|Coalgebra Seminar, Johan van BenthemSpeaker: Johan van BenthemTitle: Changing a Semantics: Opportunism, or Courage?Location: Room F1.15, Science Park 107, Amsterdam
16 September 2014, AUC Logic Guest Lectures, Prof. Dr. Fenrong LiuSpeaker: Prof. Dr. Fenrong LiuTitle: Do we reason alike? A logical reflection on the encounters between Chinese and Western traditionsLocation: Common room, Amsterdam University College, Science Park 113, Amsterdam
Do Chinese and Westerners think and reason very differently, or do we think alike after all? How has communication between us been possible throughout history? In her talk Prof. Dr. Fenrong Liu of the University of Amsterdam and Tsinghua University will take the logical stance, introduce Chinese ancient logic, and explain how this indigenous tradition engaged with Western ideas from the 17th century onward. Prof. Dr. Fenrong Liu will illustrate how we can discuss the similarities and differences between our two traditions in a meaningful way.
Reference:F. Liu, J.Seligman and J.Zhai, eds, Handbook of Logical Thought in China, Springer, to appear.
For more information, see http://www.auc.nl/news-events/who-s-in-town/upcoming-whos-in-town-lectures/ or contact t.achourioti at uva.nl.
15 September 2014, Language in Interaction Board en Consortium meetingLocation: F1.21, ILLC Common room, Science Park 107, Amsterdam
12 September 2014, Cool Logic, Pietro PasottiSpeaker: Pietro PasottiTitle: Quantum Quacks: fraud and nonsense in healthcare culture(s)Location: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
Drawing the line between science and pseudoscience is known to be a hard task that has haunted philosophers and scientists at least since the birth of the Galilean scientific tradition. Drawing inspiration from some works of Wittgenstein, and some of his intuitions on nonsense and the importance of practice, I try to outline a questioning procedure to help us place a couple of exemplary dubious practices on the one or the other side of the `worthiness' line. Most literature focuses on trying to obtain a demarcation between what's science ("and *thus* it's worthwhile") and what's not. My approach tries to go straight to what's worthwhile and what is not, by trying to clarify concepts such as `cure' and `effective therapy'. What needs have a healer for us to put our dear bones in their hands?
12 September 2014, DIP Colloquium, Anna SzabolcsiSpeaker: Anna Szabolcsi (NYU)Title: The grey eminences behind meet and join in some natural languagesLocation: Room F1.15, Science Park 107, Amsterdam
12 September 2014, SMART Cognitive Science Lecture, Charles YangSpeaker: Charles Yang (Pennsylvania)
12 September 2014, DIP Colloquium, Gavin KitchingSpeaker: Gavin Kitching (University of New South Wales)Title: Wittgenstein and Marx: Autobiography and Criteria of SignificanceLocation: Room F1.15, Science Park 107, Amsterdam
11 September 2014, Logic and Interactive Rationality (LIRa), Bryan RenneSpeaker: Bryan Renne (UvA/Colombia)Title: Belief as Willingness to BetLocation: Room F1.15, Science Park 107, Amsterdam
11 September 2014, Computational Linguistics Seminar, Charles Yang (UPenn)Speaker: Charles Yang (UPenn)Title: The price of productivityLocation: Room F1.15, Science Park 107, Amsterdam
9 September 2014, LogiCIC/LIRa Double Seminar, Jeremy Seligman / Thomas ÅgotnesSpeaker: Jeremy Seligman (Auckland) / Thomas Ågotnes (Bergen)Title: Exploiting and maintaining network Ignorance / From Distributed to Common KnowledgeLocation: Room F1.15, Science Park 107, Amsterdam
29 August 2014, Drinks with pizza, introduction Master of Logic studentsLocation: Outside Café-Restaurant Polder, Science Park 205, Amsterdam
As every year, we'd like to welcome the new class of Master of Logic students with drinks and pizza in a tent outside of restaurant Polder at Science Park.For more information, please contact t.kassenaar at uva.nl
28 August 2014 (corrected), Computational Social Choice Seminar, Olivier CaillouxSpeaker: Olivier CaillouxTitle: Arguing about Voting RulesLocation: Room F1.15, Science Park 107, Amsterdam
20 August 2014, SMART Cognitive Science Lecture, William Bechtel, and othersSpeaker: William Bechtel, and othersTitle: Levels, levels, and levels: Unpacking the senses relevant to cognitive science (an unorthodox view of Marr~s levels of analysis)Location: Room 0.04 Bungehuis, Spuistraat 210, Amsterdam
12 August 2014, Theoretical Computer Science Seminar, Christian SchaffnerSpeaker: Christian SchaffnerTitle: On the Parallel Repetition of Multi-Player Games: The No-Signaling CaseLocation: CWI room L017, Science Park 123, Amsterdam
11-22 August 2014, 26th European Summer School in Logic, Language and Information (ESSLLI-2014), Tuebingen, GermanyLocation: Tuebingen, GermanyDeadline: 15 June 2013
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 about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.
For more information, see http://www.esslli2014.de/
22 July 2014, SMART Cognitive Science Summer Seminar, Tim O'Donnell and othersSpeaker: Tim O'Donnell (MIT) and othersTitle: Storage & Computation in LanguageLocation: Room 0.04 Bungehuis, Spuistraat 210, Amsterdam
10 July 2014, Computational Social Choice Seminar, Vahid HashemiSpeaker: Vahid HashemiTitle: Measuring Diversity of Preferences in a GroupLocation: Room F1.15, Science Park 107, Amsterdam
10 July 2014, Theoretical Computer Science Seminar, Henry YuenSpeaker: Henry YuenTitle: Infinite Randomness Expansion with a Constant Number of DevicesLocation: CWI room L017, Science Park 123, Amsterdam
2 July 2014, Theoretical Computer Science Seminar, Anke van ZuylenSpeaker: Anke van Zuylen (College of William & Mary, USA)Title: On some recent MAX SAT approximation algorithmsLocation: CWI room L016, Science Park 123, Amsterdam
30 June - 1 July 2014, Workshop "Arguing on the Web 2.0"Location: Doelenzaal, Singel 425, AmsterdamCosts: freeDeadline: 28 February 2014
In this workshop, we aim to bring together philosophers, computer scientists, argumentation scholars, and experts in persuasive communication to discuss the nature and dynamics of argumentation on the Internet, how new technologies change the argumentative practices of users, what skills and expertise become critical in such a new info-ecology, how ICT can be used to foster rather than hamper critical reflection and debate, and what implications this should have for education, societal change and policy making.
20 June 2014, ILLC Midsummernight Colloquium 2014Location: F1.21, 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.
For more information, see http://www.illc.uva.nl/ILLCColloquium/
19 June 2014, Theoretical Computer Science Seminar, Alexander RothSpeaker: Alexander RothTitle: State- and Gate-Teleportation with applications for the Continuous-Variable Cluster-Quantum-ComputerLocation: CWI Room L016, Science Park 123, Amsterdam
19 June 2014, LogiCIC Workshop: The Dynamics of Information StatesLocation: Room K.06, Bungehuis, Spuistraat 210
There will be a LogiCIC mini workshop on the Dynamics of Information States in the afternoon after the PhD defense of Ben Rodenhäuser. Hans Rott, Branden Fitelson and Wesley Holliday will give talks.
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2441
19 June 2014, The ABC opening conference: Brain dayLocation: Brakke Grond Theatre, Nes, Amsterdam
on June 19th the Amsterdam Brain and Cognition center organizes the ABC Brain Day, an exciting opening conference to introduce the ABC (formerly CSCA) to their members and the general public. The conference will highlight the research that is being conducted by ABC members and there will be an ABC Poster Prize awarded.
Also on this day the Creative Mind Prize will be awarded by comic and initiator Freek de Jonge.
For more information, see http://abc.uva.nl/brainday
13 June 2014, DIP Colloquium, Cleo CondoravdiSpeaker: Cleo Condoravdi (Stanford)Title: The Ingredients of AnankasticityLocation: Room C1.17, Oudemanhuispoort, Vendelstraat 8, Amsterdam
11 June 2014, Algebra|Coalgebra Seminar, Julia Ilin/ Sumit SourabhSpeaker: Julia Ilin/ Sumit SourabhTitle: Axiomatizations of intermediate logics via the pseudo-complemented lattice reduct of Heyting algebras / Duality and canonicity for Boolean algebra with a relationLocation: Room F1.15, Science Park 107
10 June 2014, The Utrecht Philosophy Lectures, Dr Sean Walsh (University of California Irvine)Speaker: Dr Sean Walsh (University of California Irvine)Title: Alonzo Church's intensional logicLocation: Sweelinckzaal, Drift 21, 3512 BR, Utrecht, Nederland
The Utrecht Philosophy Lectures is a series of talks on philosophical issues, hosted by Utrecht University's Department of Philosophy and Religious Studies. On 10 June, Dr Sean Walsh (University of California Irvine) will speak about Alonzo Church's intensional logic, in relation to other well-known intensional logics.
For more information, see http://news.hum.uu.nl/events/lecture-sean-walsh-on-churchs-intensional-logic/
10 June 2014, LogiCIC/LIRa mini-workshop on Formal EpistemologySpeaker: Jason Konek, Ben Levinstein, Krzysztof MierzewskiLocation: Room F1.15, Science Park 107, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=2412 and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/event/35041/
6 June 2014, DIP Colloquium, Lionel ShapiroSpeaker: Lionel ShapiroTitle: Assertoric Force Perspectivalism: Relativism Without Relative TruthLocation: Room F1.15, Science Park 107, Amsterdam
5 June 2014, Second KNAW NWO PhD EventLocation: KNAW, The Trippenhuis, Kloveniersburgwal 29, 1011 JV Amsterdam, The Netherlands
The scientific cooperation between China and the Netherlands dates back more than thirty years. Throughout the years, training of talented young researchers has always been an important aim. PhD candidates from both China and Netherlands benefit from the complementary expertise of excellent scientists in the two countries while getting to know the science system in both countries, building closer ties and a lasting cooperation. The PhD event is organised for this group of young researchers.
Like the first PhD event, we offer interesting and challenging disputes and workshops, a keynote speech of an international expert, lectures with very practical information for your PhD project and your future career and a lot of opportunity to get to know each other.
For more information, see https://www.knaw.nl/en/news/calendar/second-knaw-nwo-phd-event
3-5 June 2014, LogiCIC/LIRa Tutorial on CoherenceSpeaker: Branden FitelsonLocation: Room F1.15, Science Park 107, Amsterdam
3 June 2014, ILLC Current Affairs MeetingLocation: ILLC Common room (F1.21), Science Park 107, Amsterdam
As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.
For more information, see illc at uva.nl
2 June 2014, DIP Colloquium, Joel SobelSpeaker: Joel Sobel (San Diego)Title: Effective Communication in Cheap Talk GamesLocation: Room F1.15, Science Park 107, Amsterdam
28 May 2014, Joint A|C and PIIA seminar, Paula Henk / Shengyang ZhongSpeaker: Paula Henk / Shengyang ZhongTitle: Adding the Supremum to Interpretability Logic / Duality for the Logic of Quantum ActionsLocation: Room F1.15, Science Park 107
27 May 2014, Spinoza Lecture, Prof. Quentin SkinnerSpeaker: Prof. Quentin SkinnerTitle: Hobbes and the Iconography of the StateLocation: Oude Lutherse Kerk, Singel 411, Amsterdam
27 May 2014, Logic Tea, Roosmarijn GoldbachSpeaker: Roosmarijn GoldbachTitle: Modelling Democratic DeliberationLocation: Room , Science Park 107, Amsterdam
27-28 May 2014, Workshop on Model-Based Cognitive Neurosciences: Theory and ApplicationceLocation: Amsterdam Brain and Cognition (ABC) Nieuwe Prinsengracht 130 (Entrance Building G), Room DS.02Target audience: For graduate and PhD students in the field of experimental/mathematical Psychology, Neuroscience, AI, Computer Science, Neuroeconomics or similar subject.Costs: free, but limited to 30 participants
Have you ever wondered how to fit a model to your behavioral data? The Amsterdam Center for Brain & Cognition (ABC) is organizing a 1½ day workshop with the aim to introduce cognitive mathematical models of decision making and their application. International and national speakers will discuss why the model-based approach is useful and attractive in both the cognitive and neuroscientific field. Topics will range from the theoretical background of several sequential sampling models to their application in neuroimaging studies. The course is particularly designed for PhD students, postdoctoral researchers, and anyone how takes an interest in getting more out of their behavioral data.
For more information, see http://abc.uva.nl/events/item/
23 May 2014, ILLC - CWI Table Tennis TournamentLocation: CWI Recreation Room
A friendly sporting collaboration between the ILLC and the CWI. Play some games of table tennis, get to know some of your neighbors at the CWI, and enjoy some free drinks and snacks! All members of the ILLC and the CWI are welcome to participate, but you must register on the webpage.
23 May 2014, SMART Cognitive Science Lecture, Roel WillemsSpeaker: Roel WillemsTitle: Mental simulation during narrative comprehension: Insights from neuroimaging.Location: Room A008, OMHP, Oudemanhuispoort 4-6, Amsterdam
For more information and an abstract, see http://smartcognitivescience.wordpress.com/2014/02/14/410/
21 May 2014, BetaBreak: Reuniting Humanities and ScienceLocation: Central Hall, Science Park 904, Amsterdam, The Netherlands
A debate between Rens Bod, Hans Radder and Frank van Vree about reuniting arts and sciences.
For more information (in dutch), see http://www.betabreak.nl/ and http://www.uva.nl/over-de-uva/organisatie/faculteiten/content/.
20 May 2014, ACG Colloquium, Jean-Eric PinSpeaker: Jean-Eric Pin (CNRS-LIAFA)Title: Quantitative formalisms of regularity, a partial surveyLocation: Room L202, CWI, Science Park 123, Amsterdam
For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=332
16 May 2014, Cool Logic, Nika PonaSpeaker: Nika PonaTitle: What is wrong with Marxist philosophy of mathematics?Location: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
16 May 2014, LeGO Seminar, Franz BertoSpeaker: Franz BertoTitle: Telling Negations from In-Australia Operators
15 May 2014, LogiCIC/LIRa Seminar, Bryan RenneSpeaker: Bryan Renne (UvA)Title: Dynamic Justification Logic for Formal EpistemologyLocation: Room F1.15, Science Park 107, Amsterdam
15 May 2014, Coalgebra in the Netherlands (COIN)Location: Room HG00.307, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands
COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.
The next COIN meeting is scheduled for Thursday 15 May 2014, at Radbout University Nijmegen. As usual, everyone who is interested is cordially invited to come.
Sjaak Smetsers: Bialgebraic semantics in PVS
Joost Winter: Brzozowski Bialgebras
Enric Cosme-Llopez & Jan Rutten: The dual equivalence of equations and coequations for automata
For more information, see http://cs.ru.nl/~hbasold/coin/
14 May 2014, Algebra|Coalgebra Seminar, Umberto RivieccioSpeaker: Umberto Rivieccio (Delft University of Technology)Title: Many-valued modal logic over residuated lattices via dualityLocation: Room F1.15, ILLC Building, Science Park 107, Amsterdam
13 May 2014, Logic Tea, Zhenhao LiSpeaker: Zhenhao LiTitle: Structures that permit minimal Turing degreesLocation: Room F1.15, Science Park 107, Amsterdam
9 May 2014, Theoretical Computer Science Seminar, Maris OzolsSpeaker: Maris Ozols (Cambridge)Title: Quantum information without interferenceLocation: CWI Room L017, Science Park 123, Amsterdam
8 May 2014, Spinoza Lecture, Prof. Quentin SkinnerSpeaker: Prof. Quentin SkinnerTitle: Hobbes and the Person of the StateLocation: Oude Lutherse Kerk, Singel 411, Amsterdam
8 May 2014, Logic and Interactive Rationality (LIRa), Zoé ChristoffSpeaker: Zoé ChristoffTitle: Dynamic Logic for Threshold ModelsLocation: Room F1.15, Science Park 107, Amsterdam
6 May 2014, AUC Logic Guest Lectures, Floris RoelofsenSpeaker: Floris RoelofsenTitle: Inquisitive Epistemic LogicLocation: AUC common room, Science Park 113, Amsterdam
Floris Roelofsen (ILLC) will explain `Inquisitive Epistemic Logic' to the first year AUC students currently following the course 'Logic, Information flow and Argumentation'. The lecture is open to all interested parties.
For more information, please contact t.achourioti at uva.nl.
2 May 2014, Theoretical Computer Science Seminar, Rachel MorganSpeaker: Rachel MorganTitle: The Information Distance between Black-Box Optimization ProblemsLocation: CWI Room L017, Science Park 123, Amsterdam
30 April 2014, Joint PIIA and A|C seminar, Fatemeh Seifan / Jeroen GoudsmitSpeaker: Fatemeh Seifan / Jeroen GoudsmitTitle: Uniform Interpolation for Coalgebraic Fixpoint Logic / Using Admissible Rules to Characterise LogicsLocation: Room F1.15, Science Park 107, Amsterdam
25 April 2014, LeGO Seminar, Harald BastiaanseSpeaker: Harald BastiaanseTitle: The Intensional Many - Conservativity ReclaimedLocation: Room 308, Philosophy Department, Vendelstraat 8, Amsterdam
24 April 2014, Valedictory speech, Frank VeltmanSpeaker: Frank VeltmanTitle: De taal der vooroordelenLocation: Aula, Oude Lutherse kerk, Singel 411, 1012 XM, Amsterdam
On Thursday April 24th 2014, Frank Veltman will deliver his valedictory speech. Drinks will be served afterwards.
For more information, contact illc at uva.nl
23 April 2014, Logic Tea / DIP Colloquium, Daniel AltshulerSpeaker: Daniel Altshuler (Duesseldorf)Title: Using 'Now' and the Present Tense to Talk about the PastLocation: Room F1.15, Science Park 107, Amsterdam
23 April 2014, Colloquium on Mathematical Logic, Thierry Coquand (Gothenburg)Speaker: Thierry Coquand (Gothenburg)Title: Constructive mathematics and univalent foundationLocation: Room 0.06, Janskerkhof 13, Utrecht
23 April 2014, Computational Linguistics Seminar, Gideon Maillette de Buy WennigerSpeaker: Gideon Maillette de Buy WennigerTitle: Enrichment of Hiero grammars with explicit reordering information for Hierarchical SMTLocation: Room F1.15, Science Park 107, Amsterdam
17 April 2014, LIRa Student Session, Johannes Marti and Riccardo PinosioSpeaker: Johannes Marti and Riccardo PinosioTitle: Premise Semantics for Conditional LogicLocation: Room F1.15, Science Park 107, Amsterdam
16 April 2014, Computational Social Choice Seminar, Justin KrugerSpeaker: Justin KrugerTitle: Axiomatic Analysis of Aggregation Methods for Collective AnnotationLocation: Room B0.203, Science Park 904, Amsterdam
16 April 2014, Algebra|Coalgebra Seminar, Sam van GoolSpeaker: Sam van GoolTitle: Free algebras for Gödel-Löb provability logicLocation: Room F1.15, Science Park 107
We give a construction of finitely generated free algebras for Gödel-Löb provability logic, GL. On the semantic side, this construction yields a notion of canonical graded model for GL and a syntactic definition of those normal forms which are consistent with GL. Our two main techniques are incremental constructions of free algebras and finite duality for partial modal algebras. In order to apply these techniques to GL, we use a rule-based formulation of the logic GL by Avron (which we simplify slightly), and the corresponding semantic characterization that was recently obtained by Bezhanishvili and Ghilardi.
15 April 2014, Theoretical Computer Science Seminar, Daniele Micciancio (University of California, San Diego)Speaker: Daniele Micciancio (University of California, San Diego)Title: An Equational Approach To Secure ComputationLocation: CWI room L016, Science Park 123, Amsterdam
12 April 2014, Philosophical Festival DRIFTLocation: LAB111, Arie Biemondstraat 111, AmsterdamCosts: Full/student price: €10,-/€~6,- pre-sale (€12,-/€~8,- at the door)
DRIFT is a yearly philosophical festival organized by students of the University of Amsterdam. We aim at presenting academic philosophy in a relaxed setting by offering a night filled with lectures, debates, music, poetry and theatre, followed by a party.
With Markus Gabriel, Ray Brassier, Ruth Sonderegger, Francesco Berto, Phillipe Descola, Wayne Martin, Katrien Schaubroeck, Paul Cliteur, Victor Kal, and more!
For more info or tickets, see http://festivaldrift.nl/en/.
11 April 2014, Cool Logic, Eileen WagnerSpeaker: Eileen WagnerTitle: Anything Goes? On the Normativity of LogicLocation: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
10 April 2014, Logic and Interactive Rationality (LIRa), Ivano CiardelliSpeaker: Ivano CiardelliTitle: Modalities in the realm of questions: axiomatizing inquisitive epistemic logicLocation: Room F1.15, Science Park 107, Amsterdam
8 April 2014, Theoretical Computer Science Seminar, Niel de Beaudrap (CWI)Speaker: Niel de Beaudrap (CWI)Title: The computational power of "probabilities" from a finite fieldLocation: CWI room L017, Science Park 123, Amsterdam
4 April 2014, DIP Colloquium, Speaker: Atocha AlisedaSpeaker: Speaker: Atocha Aliseda (Mexico)Title: Hypothesis testing in adaptive logicsLocation: Room F1.15, Science Park 107, Amsterdam
3 April 2014, Algebra|Coalgebra Seminar, Fatemeh SeifanSpeaker: Fatemeh SeifanTitle: Uniform Interpolation for Coalgebraic Fixpoint LogicLocation: Room F1.15, Science Park 107
In this talk we will use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoy the uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under projection, which is known to hold for weak-pullback preserving functors, to a more general class of functors, i.e.; functors with quasi-functorial lax extensions. Then we will show thatclosure under projection implies definability of the bisimulation quantifier in the language of coalgebraic fixpoint logic, and finally we prove the uniform interpolation theorem.
2 April 2014, Computational Linguistics Seminar, Wilker AzizSpeaker: Wilker Aziz (Wolverhampton)Title: Exact Sampling and Optimisation in Statistical Machine TranslationLocation: Room F1.15, Science Park 107, Amsterdam
1 April 2014, AUC Logic Guest Lectures, Jakub SzymanikSpeaker: Jakub SzymanikTitle: Logic and complexity in cognitive scienceLocation: AUC common room, Science Park 113, Amsterdam
Jakub Szymanik (ILLC) will talk about 'Logic and Complexity in Cognitive Science' to the first year AUC students currently following the course 'Logic, Information flow and Argumentation'. The lecture is open to all interested parties.
For more information, please contact t.achourioti at uva.nl.
1 April 2014, Logic Tea, Guillaume ThomasSpeaker: Guillaume ThomasTitle: Count/mass coercion in TTRLocation: Room F1.15, Science Park 107, Amsterdam
31 March - 2 April 2014, Amsterdam Quantum Logic WorkshopLocation: Oost-Indisch Huis, Room E0.02
This three-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.
For more information, see http://www.joshuasack.info/events/workshop2014/.
28 March 2014, Cool Logic, Malvin GattingerSpeaker: Malvin GattingerTitle: PDL probably has Craig Interpolation since 1981. Or: If Rumsfeld would have been a logician.Location: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
28 March 2014, DIP Colloquium, Thomas Ede ZimmermannSpeaker: Thomas Ede ZimmermannTitle: On the ontological status of semantic valuesLocation: Room F1.15, Science Park 107, Amsterdam
28 March 2014, Logic Tea, Paolo MancosuSpeaker: Paolo MancosuTitle: In good company? On Hume's principle and the assignment of numbers to infinite conceptsLocation: Room F1.15, Science Park 107, Amsterdam
27 March 2014, Colloquium on Mathematical Logic, Lev Beklemishev (Moscow)Speaker: Lev Beklemishev (Moscow)Title: Positive Provability Logic - for Uniform Reflection PrinciplesLocation: Room 0.06, Janskerkhof 13, Utrecht
26 March 2014, LogiCIC/LIRa Seminar, Francesca Poggiolesi and Brian HillSpeaker: Francesca Poggiolesi (CNRS-CEPERC) and Brian Hill (CNRS-GREGHEC)Title: An alternative proof-theoretical approach to standard conditional logics / Confidence in Beliefs and Decision MakingLocation: Room F1.15, Science Park 107, Amsterdam
21 March 2014, DIP Colloquium, Catarina Dutilh NovaesSpeaker: Catarina Dutilh Novaes (Groningen)Title: A dialogical analysis of structural rulesLocation: Room F1.15, Science Park 107, Amsterdam
20 March 2014, Algebra|Coalgebra Seminar, Nick BezhanishviliSpeaker: Nick BezhanishviliTitle: Canonical rules for modal logicLocation: Room F 1.15, Science park 107
19 March 2014, Logic and Interactive Rationality (LIRa), Joshua SackSpeaker: Joshua Sack (UvA)Title: Modal Logic for Mixed Strategies in GamesLocation: Room F1.15, Science Park 107, Amsterdam
14 March 2014, Cool Logic, Vlasta SikimicSpeaker: Vlasta SikimicTitle: On Purpose and Variations of Cut EliminationLocation: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
13 March 2014, Theoretical Computer Science Seminar, Tommaso Gagliardoni (TU Darmstadt, Germany)Speaker: Tommaso Gagliardoni (TU Darmstadt, Germany)Title: Proofs of security for digital signatures in the Quantum Random Oracle ModelLocation: ILLC Meeting Room F1.15, Science Park 107, Amsterdam
12 March 2014, Logic and Interactive Rationality (LIRa), Benjamin BewersdorfSpeaker: Benjamin Bewersdorf (Universitat Konstanz)Title: Experience and Rational Belief ChangeLocation: Room F1.15, Science Park 107, Amsterdam
12 March 2014, Computational Linguistics Seminar, Barend Beekhuizen / Jelke BloemSpeaker: Barend Beekhuizen / Jelke BloemTitle: Learning Meaning without Primitives: Typology Predicts Developmental Patterns / Large-scale analysis of order variation in Dutch verbal clustersLocation: Room F1.15, Science Park 107, Amsterdam
12 March 2014, Live-streamed event on "Global Humanities?"
4Humanities.org will host a live-streamed event on "Global Humanities?" on March 12, 2014, noon-1:30 pm Pacific Standard Time. The featured participant will be Rens Bod, professor of humanities and digital humanities at University of Amsterdam, who will engage online with Alan Liu, David Marshall (Dean of Humanities & Fine Arts, University of California, Santa Barbara ), and others at UC Santa Barbara on the question of the humanities and global humanities.
The questions are:
How can we think comparatively about what the humanities mean in multiple areas of the world with educational and funding systems not necessarily commensurable with U.S.-style "liberal arts"?
For example, how are the humanities and arts talked about elsewhere?
How are their histories and traditions different?
How are they positioned relative to other disciplines, institutions, and social sectors?
How are their different functions interrelated--memorial, educational, critical, research-oriented, etc.?
In both the past and the contemporary moment, how are humanities and arts differently valued or challenged around the world?
The event will be livestreamed on YouTube from the event page at http://4humanities.org/2014/02/. Suggested readings from Rens Bod's book and Geoffrey Galt Harpham's *The Humanities and the Dream of America* are available from the event page (request a login to download the readings from Lindsay Thomas: lindsaythomas at umail.ucsb.edu ). For more information, contact rens.bod at gmail.com.
6 March 2014, Theoretical Computer Science Seminar, Andrew Drucker (IAS Princeton)Speaker: Andrew Drucker (IAS Princeton)Title: On the Success Probability of Polynomial-Time SAT SolversLocation: CWI room L017, Science Park 123, Amsterdam
6 March 2014, KNAW Master Class, Arnaud Durand, Lauri Hella, Phokion KolaitisSpeaker: Arnaud Durand, Lauri Hella, Phokion KolaitisTitle: Master Class on Dependence LogicLocation: KNAW, Kloveniersburgwal 29, Amsterdam
The Royal Netherlands Academy of Arts and Sciences will organise a master class for young researchers, PhD-students and research master students in dependence logic.
Arnaud Durand (Paris): Computational aspects of dependence logic.
Phokion Kolaitis (Santa Cruz): Database dependencies.
Lauri Hella (Tampere): Modal Dependence Logic.
For more information, see https://www.knaw.nl/en/news/calendar/dependence-logic-masterclass
4 March 2014, Logic Tea, Julian KiversteinSpeaker: Julian KiversteinTitle: Coordination and Common GroundLocation: Room F1.15, Science Park 107, Amsterdam
28 February 2014, LeGO Seminar, Erik RietveldSpeaker: Erik RietveldTitle: Skilled intentionality for 'higher' cognitionLocation: Room 308, Vendelstraat 8, Amsterdam
26 February 2014, Logic and Interactive Rationality (LIRa), Giovanni CinàSpeaker: Giovanni CinàTitle: Modal Logics for Presheaf CategoriesLocation: Room F1.15, Science Park 107, Amsterdam
26 February 2014, PIIA Seminar, Albert VisserSpeaker: Albert VisserTitle: The Interpretability of InconsistencyLocation: Amsterdam, Science Park 904, A1.08
For more information, see http://phil.uu.nl/piia/
26 February 2014, Computational Linguistics Seminar, Ivan TitovSpeaker: Ivan TitovTitle: Inducing Shallow Meaning Representations from Unannotated TextsLocation: Room F1.15, Science Park 107, Amsterdam
25 February 2014, Theoretical Computer Science Seminar, Giannicola ScarpaSpeaker: Giannicola ScarpaTitle: Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information CostLocation: CWI Room L017, Science Park 123, Amsterdam
24 February 2014, AUC Logic Guest Lectures, Christian SchaffnerSpeaker: Christian SchaffnerTitle: Quantum CryptographyLocation: AUC common room, Science Park 113, Amsterdam
Christian Schaffner (ILLC) will talk about about 'Quantum Cryptography' to the first year AUC students currently following the course 'Logic, Information flow and Argumention'. The lecture is open to all interested parties.
For more information, please contact c.schaffner at uva.nl.
21 February 2014, Cool Logic, Gijs WijnholdsSpeaker: Gijs WijnholdsTitle: Conversions between D and MCFG_wn: Logical characterizations of the Mildly Context-Sensitive LanguagesLocation: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
21 February 2014, LeGO Seminar, Jakub SzymanikSpeaker: Jakub SzymanikTitle: Semantic Complexity and Linguistic DistributionsLocation: Room 308, Vendelstraat 8, Amsterdam
21 February 2014, LogiCIC Lunch-talk, Vincent HendricksSpeaker: Vincent Hendricks (Copenhagen)Title: Science BubblesLocation: Room F1.15, Science Park 107, Amsterdam
20 February 2014, Algebra|Coalgebra Seminar, Jérôme Fortier (UQAM / AMU)Speaker: Jérôme Fortier (UQAM / AMU)Title: Cut-elimination in circular proofsLocation: Room F1.15, ILLC Building, Science Park 107, Amsterdam
20 February 2014, Algebra|Coalgebra Seminar, Silvio Ghilardi (University of Milano)Speaker: Silvio Ghilardi (University of Milano)Title: From free algebras to proof boundsLocation: Room F1.15, ILLC Building, Science Park 107, Amsterdam
19 February 2014, Logic and Interactive Rationality (LIRa), CancelledSpeaker: Cancelled (was: Bryan Renne)
18 February 2014, Logic Tea, Karoly VarasdiSpeaker: Karoly VarasdiTitle: Classifying incomplete entitiesLocation: Room F1.15, Science Park 107, Amsterdam
14 February 2014, ILLC Current Affairs MeetingLocation: ILLC Common room (F1.21), Science Park 107, Amsterdam
As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.
For more information, contact illc at uva.nl.
12 February 2014, Logic and Interactive Rationality (LIRa), Facundo CarreiroSpeaker: Facundo Carreiro (UvA)Title: Announcements in Coalgebraic Modal LogicLocation: Room F1.15, Science Park 107, Amsterdam
12 February 2014, Computational Linguistics Seminar, Dr. Michael FrankeSpeaker: Dr. Michael FrankeTitle: Bayesian models for reasoning about referential expressionsLocation: Room F1.15, Science Park 107, Amsterdam
10 February 2014, The interplay of language, culture, and cognition for odor, Prof. Asifa MajidSpeaker: Prof. Asifa MajidLocation: Room C4.174, Science Park 904, Amsterdam
My research investigates the nature of categories and concepts in language, in non-linguistic perception and
cognition, and the relationship between them. I adopt a large-scale cross-cultural approach in order to
establish which aspects of categorisation are fundamentally shared, and which language-specific. My work is
interdisciplinary, combining standardised psychological methodology, in-depth linguistic studies and
ethnographically-informed description. This coordinated approach has been used to study of domains such as
space, event representation and more recently the language of perception.
For more information, see http://www.mpi.nl/news/people/majid-asifa
7 February 2014, DIP Colloquium, Igor YanovichSpeaker: Igor Yanovich (Tuebingen)Title: The (non)-category of weak/strong necessityLocation: Room F1.15, Science Park 107, Amsterdam
6 February 2014, Algebra|Coalgebra Seminar, Benno van den BergSpeaker: Benno van den BergTitle: Open maps, small maps and final coalgebrasLocation: Room F1.15, ILLC, Science Park, Amsterdam
Abstract: In his book on non-well-founded sets Aczel proves a general final coalgebra theorem, showing that a wide class of endofunctors on the category of classes has a final coalgebra. I will discuss generalisations of this result to the setting of algebraic set theory and try to motivate why it is interesting to look at results at this level of generality.
For more information, see http://www.illc.uva.nl/alg-coalg/
5 February 2014, LogiCIC/LIRa Seminar, Barteld KooiSpeaker: Barteld Kooi (Groningen)Title: The ambiguity of knowabilityLocation: Room F1.15, Science Park 107, Amsterdam
4 February 2014, Logic Tea, Jakub SzymanikSpeaker: Jakub SzymanikTitle: Computational Feasibility of Epistemic FormalismsLocation: Room F1.15, Science Park 107, Amsterdam
4 February 2014, SMART Cognitive Science Lecture, Simon Fisher, Johan Bolhuis, Caroline JungeSpeaker: Simon Fisher, Johan Bolhuis, Caroline JungeTitle: Genes & LinguisticsLocation: Room 1.02, REC M, Plantage Muidergracht 12, Amsterdam
On February 4th, from 16h-17h, there will be an Amsterdam Brain & Cognition (ABC) Lecture by Simon Fisher (MPI/RU Nijmegen) on "Decoding the genetics of speech and language"
Prior to this lecture, from 15h-16h, we will organize a SMART Cognitive Science debate on Genes & Linguistics ("Is genetic research revolutionizing our understanding of language?") with Johan Bolhuis (Utrecht), Caroline Junge (U. of Amsterdam) and Simon Fisher (MPI/RU Nijmegen).
Both events take place in room 1.02 of REC M (Plantage Muidergracht 12). All welcome!
For abstracts and more information, see http://smartcognitivescience.wordpress.com/
4 February 2014, Truth of empirical propositions, Per Martin-LöfSpeaker: Per Martin-LöfLocation: Room 006, Van Wijkplaats 3, Leiden University
For more information, please contact anstenklev at gmail.com.
3 February 2014, Faculty Colloquium, Nina GierasimczukSpeaker: Nina GierasimczukTitle: Logic and Learning: An Interdisciplinary AccountLocation: Room C1.110, Science Park 904, Amsterdam
31 January 2014, Cool Logic, Stefan PliquettSpeaker: Stefan PliquettTitle: ∀ and ∃: A study of Love, Logic and DisasterLocation: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
31 January 2014, Symposium "The History of the Humanities: Pattern-Seeking, Pattern-Rejecting or Both?"Location: Trippenhuis, Kloveniersburgwal 29, 1011 JV Amsterdam
Symposium on the occasion of the publication of the English translation of the book "De vergeten wetenschappen. Een geschiedenis van de humaniora" by Rens Bod.
For more information, see https://www.knaw.nl/nl/actueel/agenda/
29 January 2014, Colloquium on Mathematical Logic, Jouko VaananenSpeaker: Jouko VaananenTitle: Multiverse set theory and absolutely undecidable propositionsLocation: Room D1.114, Science Park 904, AmsterdamFor more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).
29 January, PIIA Seminar, Nick Bezhanishvili, Dick de JonghSpeaker: Nick Bezhanishvili, Dick de JonghTitle: Canonical formulas and stable intermediate logics; NNIL and ONNILLILocation: Room D1.114, Science Park 904, Amsterdam
For more information, see http://phil.uu.nl/piia
24 January 2014, CWI Algorithms & Complexity seminar, Bill Fefferman (Caltech)Speaker: Bill Fefferman (Caltech)Title: The classical power of quantum computation: BQP vs the Polynomial HierarchyLocation: CWI room L017, Science Park 123, Amsterdam
How powerful are quantum computers? Despite the prevailing belief that quantum computers are more powerful than their classical counterparts, this remains a conjecture backed by little formal evidence. In this talk, the author will address this question from two different perspectives.
Based on joint work with Chris Umans
For more information, see
or contact rdewolf at cwi.nl.For more information, see here .
23 January 2014, Logic and Interactive Rationality (LIRa), Chenwei ShiSpeaker: Chenwei ShiTitle: Evidence Logic and Culprits for the Failure of Epistemic ClosureLocation: Room F1.15, Science Park 107, Amsterdam
23 January 2014, [XLSX] Crosslinguistic Semantics, Katja Jasinskaja (ZAS Berlin)Speaker: Katja Jasinskaja (ZAS Berlin)Title: Negative concord 'even' across Slavic: Decline and fall of the particle 'ni'Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
For more information, contact m.d.aloni at uva.nl
21 January 2014, Logic Tea, Michael FrankeSpeaker: Michael FrankeTitle: The Use of Quantifiers: Set Size & TypicalityhereLocation: Room F1.15, Science Park 107, Amsterdam
17 January 2014, Cool Logic, Sanne Kosterman and Babette PapingSpeaker: Sanne Kosterman and Babette PapingTitle: Secure Multiparty ComputationLocation: Room F1.15, Science Park 107, AmsterdamTarget audience: MSc Logic and PhD students
17 January 2014, DIP Colloquium, Lucas ChampollionSpeaker: Lucas Champollion (New York)Title: Man and woman: the last obstacle for boolean coordinationLocation: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
16 January 2014, Logic and Interactive Rationality (LIRa), Shengyang ZhongSpeaker: Shengyang ZhongTitle: Relational Structures in Quantum LogicLocation: Room F1.15, Science Park 107, Amsterdam
16 January 2014, Workshop on (dynamic) modal logics and tableau systems, Brussel, BelgiumLocation: Brussel, Belgium
On January 16th, 2014 a workshop on (dynamic) modal logics and tableau systems will take place at the Vrije Universiteit Brussel. Attendence is free.
One day later, on January 17th, Jonas De Vuyst will publicly defend his PhD thesis on tableau systems for dynamic modal logics.
15 January 2014, The Significance of Phenomenology, Arianna BettiSpeaker: Arianna BettiTitle: The Phenomenological Roots of TruthmakingLocation: Room C0.23, Oudemanhuispoort, Vendelstraat 8, Amsterdam
This talk takes place as part of lecture series and graduate seminar The Significance of Phenomenology. For further information on both contact j.d.kiverstein at uva.nl
14 January 2014, ACG Colloquium, Matteo CiminiSpeaker: Matteo Cimini (école polytechnique)Title: A formalization of bisimulation-up-to techniques and their meta-theoryLocation: Room L.202, CWI, Science Park 123, Amsterdam
For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future
9 January 2014, Logic and Interactive Rationality (LIRa), Imme van den BergSpeaker: Imme van den Berg (CIMA-UE)Title: A model for orders of magnitude within Nonstandard AnalysisLocation: Room F1.15, Science Park 107, Amsterdam
Calls for Paper
18-19 December 2014, 12th European Workshop on Multi-Agent Systems (EUMAS 2014), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 26 September 2014
In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.
EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS). To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned.
EUMAS 2014 welcomes both original, unpublished papers, as well as papers that are under submission or have been published in a relevant conference, conference or journal. We specially invite submissions by students that we think will receive valuable feedback from the discussion-oriented focus of the conference. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. Abstract submission deadline: September 26, 2014
17-19 December 2014, Workshop "Vagueness via Nonclassical Logics", Sydney, AustraliaLocation: Sydney, AustraliaDeadline: 15 October 2014
There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science~with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.
Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness
To submit an abstract please email Nick Smith at nicholas.smith at sydney.edu.au by 15 October.
15-17 December 2014, The 25th International Symposium on Algorithms and Computation (ISAAC 2014), Jeonju, KoreaLocation: Jeonju, KoreaDeadline: 16 June 2014
The 25th International Symposium on Algorithms and Computation (ISAAC 2014) will be held in Jeonju, Korea during December 15-17, 2014. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcomed.
For more information, see http://tcs.postech.ac.kr/isaac2014/
The Programme Committee cordially invites all researchers to submit their papers for presentation. The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a comparison with related work. A Best Paper and a Best Student Paper may be awarded. Submission deadline: June 16, 2014.
11-13 December 2014, Agent-based modeling in philosophy, Munich, GermanyLocation: Munich, GermanyDeadline: 1 June 2014
In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.
For more information, see http://www.lmu.de/abmp2014
We invite submissions of extended abstracts of 750-1000 words for contributed talks by 1 June 2014.
10-12 December 2014, 13th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2014), Pisa, ItalyLocation: Pisa, ItalyDeadline: 25 September 2014
The symposium of the Italian Association for Artificial Intelligence (AI*IA) is a traditional two-yearly meeting of researchers working on theory and applications in Artificial Intelligence. The XIII symposium will be hosted by the Department of Computer Science at the University of Pisa.
AI*IA 2014 will be centred on thematic workshops, tutorials, panels, doctoral consortium, demo session, plenary sessions with invited speaker seminars, and a special track on the theme Artificial Intelligence for Society and Economy. We hope that the 2014 meeting will strengthen awareness that AI is assuming a central role in the competitive strategies of the present scenario of rapid changes.
The AI*IA Doctoral Consortium on December 11th is a full-immersion occasion, for Ph.D. students, to discuss their ongoing research work, establish research connections with peer researchers, and receive first-class mentorship from domain experts.
For more information, see http://aiia2014.di.unipi.it/
Scientific and industrial research groups, and individual researchers are invited to submit proposals of tutorials and demos. Additionally, PhD Students are invited to submit abstracts of their ongoing research work for the Doctoral Consortium. Submission deadline is 16 June 2014 (tutorials), 25 September 2014 (DC Consortium, extended), or 15 September 2014 (demos).
11-12 December 2014, International Workshop on Logic and Philosophy of Mathematical Practice, Brussels, BelgiumLocation: Brussels, BelgiumDeadline: 1 November 2014
The Center for Logic and Philosophy of Science (CLWF) at Free University Brussels (VUB) will hold an international workshop on Logic and Philosophy of Mathematical Practices.
Invited keynote speakers are: Danielle Macbeth (Haverford College, Haverford, PA), Rik Pinxten (Ghent University) and Suzanne Prediger (Technische Universität Dortmund)
For more information, see http://www.vub.ac.be/CLWF/LPMP2014/
We welcome paper proposals on a variety of topics related to the conference theme 'on mathematical practices'. Please send abstracts (max. 500 words) prepared for blind review by November 1, 2014.
CfP special track of JAIR on "Cross-language algorithms and applications"Deadline: 1 March 2015
The Journal of Artificial Intelligence Research (JAIR) is pleased to announce the launch of the Special Track on Cross-language Algorithms and Applications. The core Artificial Intelligence technologies of speech and natural language processing need to address the challenges of processing multiple languages. While the first challenge of multilingualism is to bridge the nomenclature gap for the same concepts, the next significant challenge is to develop algorithms and applications that not only scale to multiple languages but also leverage cross-lingual similarities for improved natural language processing.
The goal of this special track is to serve as a home for the publication of leading research on Cross-language Algorithms and Applications, focusing on developing unified themes leading to the development of the science of multi- and cross-lingualism. Topics of interest include, but are not limited to: efforts in the direction of multilingual transliteration; multilingual document summarization; rapid prototyping of cross language tools for low resource languages; and machine translation.
10 December 2014, 14th workshop on Computational Models of Natural Argument (CMNA 2014), Krakow, PolandLocation: Krakow, PolandDeadline: 31 October 2014
The series of workshops on Computational Models of Natural Argument acts to nurture and provide succor to the ever growing community working on Argument and Computation, a field developed in recent years overlapping Argumentation Theory and Artificial Intelligence.
The workshop focuses on the issue of modelling "natural" argumentation. Naturalness may involve the use of means which are more visual than linguistic to illustrate a point, such as graphics or multimedia. Or to the use of more sophisticated rhetorical devices, interacting at various layers of abstraction. Or the exploitation of "extra-rational" characteristics of the audience, taking into account emotions and affective factors.
For more information, see http://www.cmna.info/CMNA14/
The workshop encourages submissions in three categories:
- Long papers, either reporting on completed work or offering a polemic discussion on a burning issue (up to 10 pages).
- Short papers describing work in progress (up to 5 pages).
- Demonstration of implemented systems: submissions should be accompanied by written reports (up to 3 pages).
Deadline for submissions: 31 October 2014
CfP special issue of JLAMP on "automated verification of programs and web systems"Deadline: 25 February 2015
This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) provides a forum for researchers working in the areas of verification, program transformation, software engineering, rule-based programming, formal methods, and Web-oriented research, to submit their papers on the Automated Verification of Programs and Web Systems.
This special issue is devoted to the themes of the WWV and VPT workshop series on Automated Specification and Verification of Web Systems (WWV) and on Verification and Program Transformation (VPT). This is however an open call for papers. Both participants of the most recent editions of the WWV and VPT workshop series and others working on the themes of this special issue are hereby invited to submit a paper. Abstract submission deadline: 25 February 2015
For more information, see http://www.journals.elsevier.com/
Contribute to Amsterdam Science magazineDeadline: 1 January 2015
Are you eager to share your research? Are there developments in your field that we should all know about? Then contribute to Amsterdam Science.
Amsterdam Science is a new university science magazine, publishing the best science writing of students and researchers in Amsterdam. The magazine will showcase research conducted by master students, PhD students and researchers in all areas, e.g., mathematics, chemistry, astronomy, physics, biological and biomedical sciences, ecology, earth and environmental sciences, forensic science, computer science, logic. The core of the magazine consists of scientific reports about recent research, written in an accessible yet academic style. The magazine will be distributed for free in print and online.
To contribute, please contact the scouting editors on magazine-science at uva.nl. They will guide you through the submission process. The publication of the first issue is scheduled for March 2015. The submission deadline is 1 January 2015. Two more issues will follow in the course of 2015.
For more information, see http://amsci.nl/
29-30 November 2014, 2014 Annual Meeting of the Australasian Association of Logic (AAL 2014), Christchurch, New ZealandLocation: Christchurch, New ZealandDeadline: 15 October 2014
The 2014 annual meeting of the Australasian Association of Logic will be held just prior to the 2014 New Zealand Association of Philosophers Conference.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts of talks presented at AAL meetings are published in the Bulletin of Symbolic Logic. Membership in the AAL is free and not recorded. Papers on any area of logic are welcome. Abstracts should be submitted via email by October 15.
24-25 November 2014, The 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014), Linköping, SwedenLocation: Linköping, SwedenDeadline: 22 September 2014
In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. Amounts of data of ever increasing scale are now handled and processed. The ARCOE-Logic workshop aims to provide a dedicated forum for the researchers to discuss recent developments, important open issues and future directions in the area of contextual knowledge representation and knowledge management.
ARCOE-Logic 2014 is held in conjunction with The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014).
For more information, see http://www.arcoe.org/2014/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts deadline: September 22, 2014. Submission deadline: September 29, 2014.
24-25 November 2014, Analogical Reasoning East & West (AREW), Heidelberg, GermanyLocation: Heidelberg, GermanyDeadline: 10 October 2014
AREW is a two-day workshop aimed at bringing together people working in the area of analogical reasoning, broadly speaking. The invited speakers are two people working on formal aspects of analogical reasoning, including issues of the logical representation of analogical reasoning and formal models of the same, and applications of analogical reasoning, particularly with reference to such applications in history.
Further information about the workshop can be found at https://analogicalreasoning.wordpress.com.
We invite submissions of abstracts for 20-25 minute papers (plus 5-10 min. discussion) on any aspect of analogical reasoning or related subjects. Abstract deadline: October 10, 2014.
22-24 November 2014, Logic and Engineering of Natural Language Semantics (LENSL 11), Kanagawa, JapanLocation: Kanagawa, JapanDeadline: 15 August 2014
LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).
Invited Speaker(s): Chris Barker (New York University), Kimiko Nakanishi (Ochanomizu University) Christopher Tancredi (Keio University) and Matthew Stone (Rutgers University) (TBC). This year the workshop will include a student session.
For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/
We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields. Abstract submission deadline: August 15, 2014.
8-9 November 2014, 8th Annual Arché Graduate Conference, St. Andrews, ScotlandLocation: St. Andrews, ScotlandDeadline: 8 August 2014
Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, is hosting the 8th Annual Arché Graduate Conference at the University of St Andrews in November 2014. The conference will feature Keynote Speakers Penelope Mackie (Nottingham) and Ian Rumfitt (Birmingham), as well as a Symposium on Conceptual Engineering by Herman Cappelen and Patrick Greenough (Arché, St Andrews).
We invite graduate students to submit high-quality papers. We welcome papers in the four main Arché research topics (Logic, Language, Metaphysics and Epistemology) broadly construed, as well as related areas. We especially encourage submissions from members of underrepresented groups in philosophy. Deadline for submissions: 8th August 2014.
7-8 November 2014, Canadian Society for Epistemology International Symposium "Epistemic Reasons" (CSE 2014), Sherbrooke QC, CanadaLocation: Sherbrooke QC, CanadaDeadline: 28 September 2014
Epistemic reasons ground belief: in a factual sense they are actual grounds for belief, and in a normative sense they are good grounds for belief. This year's symposium will be devoted to exploring the concept of epistemic reasons, whether factual or normative. Specific topics of presentation may include the relevance of practical interests and affective states to epistemic reasons, psychologism about epistemic reasons and its competitors, epistemic reasons in foundationalist, coherentist, and externalist frameworks, a priori epistemic reasons, epistemic reasons and testimonial knowledge, and the role of epistemic reasons in automatic vs. deliberative cognitive processes.
For more information, visit the Symposium's website at http://sce-cse.recherche.usherbrooke.ca or write to Yves Bouchard (yves.bouchard at usherbrooke.ca) or David Matheson (david_matheson at carleton.ca).
Authors are invited to submit a 250 word abstract (in English or in French) for a paper of 20-30 minutes reading time. The deadline for submitting an abstract is Monday September 29th. Abstracts can be submitted online.
3-5 November 2014, European Conference on Social Intelligence (ECSI-2014), Barcelona, SpainLocation: Barcelona, SpainDeadline: 3 September 2014
Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular.
The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields
For more information, see http://ecsi.sintelnet.eu
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions should have a forward-looking perspective that contributes to the objectives of the symposium. Challenging position papers are specially welcome. The technicality of the papers should take the mixed audience into consideration. Selection for the symposium and subsequent publication will be based on the possibility of fruitful discussions and the quality of the arguments put forward. Paper submission deadline: September 3, 2014.
CfP special issue of Kuenstliche Intelligenz Journal on "Higher-Level Cognition and Computation"Deadline: 19 December 2014
Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning.
The topics of interest for the special issue of the Kuenstliche Intelligenz journal, appearing in autumn 2015, include, but are not limited to: analogical reasoning, common sense and defeasible reasoning, deductive calculi for higher-level cognition * inductive reasoning and cognition, preferred mental models and their formalization, and probabilistic approaches of reasoning.
The Kuenstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: Technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors. Submission deadline: 19-Dec-2014 (EXTENDED).
For more information, see http://www.kuenstliche-intelligenz.de/index.php?id=7800
23-24 October 2014, Ninth Annual Meeting of the Chicago Colloquium on Digital Humanities and Computer (Science DHCS 2014), Evanston IL, U.S.A.Location: Evanston IL, U.S.A.Deadline: 30 June 2014
The DHCS Colloquium has been a lively regional conference (with non-trivial bi-coastal and overseas sprinkling), rotating since 2006 among the University of Chicago (where it began), DePaul, IIT, Loyola, and Northwestern. This year's colloquium will partly overlap and share some programming with the annual members meeting and conference of the Text Encoding Initiative, which will be hosted by Northwestern University, October 22-24.
For more information, see http://dhcs.northwestern.edu/
We welcome submissions on anything that plausibly stays within the intersection of DH and CS. A submission for a paper or poster should include an abstract of ~750 words and a minimal bio. Send it to martinmueller at northwestern.edu by June 30, 2014. While the DHCS Colloquium is not a graduate student conference per se, we will look with particular interest at paper and poster submissions by graduate students.
16-18 October 2014, The Making of the Humanities IV, Royal Netherlands Institute, Rome, ItalyLocation: Royal Netherlands Institute, Rome, ItalyDeadline: 1 June 2014
This is the fourth of a biennially organized conference that brings together scholars and historians interested in the comparative history of the humanities (philology, art history, historiography, linguistics, logic, literary studies, musicology, theatre studies, media studies, a.o.). Although histories of single humanities disciplines already exist for a long time, the history of the humanities as a whole has only very recently been investigated, and the first monographs have just appeared.
For more information, see http://makingofthehumanities.blogspot.nl/
We welcome papers on any aspect of the history of humanities, but we especially encourage submissions on the conference theme Connecting Disciplines. Deadline for abstract submissions: 1 June 2014
16-18 October 2014, Logical aspects of Rational Agency (LARA2014), St Petersburg RussiaLocation: St Petersburg RussiaDeadline: 1 June 2014
The cognitive diversity of agents has been a recurrent topic of contemporary investigations in the fields of artificial intelligence, information science, psychology, linguistics, neurosciences and logic, opening new horizons for logical inquiry that focuses on the in-depth analysis of rational agency. Today it is a novel challenge and a cross point for various lines of research including the study of formal theories, informal philosophical and logical approaches as well as that of their wider application. We encourage the discussions related to the logical aspects of the diversity of agents.
For more information, see http://ocs.philosophy.spbu.ru/index.php/LARA/
The Programme Committee invites submissions centered on the following topics:
-Logic and Pragmatics of Speech Communication
-Logical Models of Agents' Interaction
-Action Analysis: Game-Theoretic, Model-Theoretic and Dynamic approaches
-Epistemic and Dynamic Epistemic Logics
-Logical Theory of Rational Choice and Free Will
-Game Theory and Game-Theoretical Semantics in the Studies of Agency
-Modality and Time
-Formal Semantics for Modelling Rational Agents' Behavior
-Historical Issues in the Logical Theory of Agency
Deadline for submission of short abstracts (up to 500 words): 1 June 2014. After the first selection round, a second selection round will take place based on reviews of full papers (12 pages).
CfP special issue of Journal of Logic and Analysis on "Continuity, Computability, Constructivity"Deadline: 31 January 2015
After a further year of successful work in the EU-IRSES project COMPUTAL and an excellent workshop in Ljubljana (Slovenia) in September this year, we are planning to publish a collection of papers dedicated to the meeting and the project in the Journal of Logic and Analysis.
The issue should reflect progress made in Computable Analysis and related areas, not only work in the project. Submissions are welcome from all scientists and should be on topics in the spectrum from logic to algorithms. Deadline for Submission: 31 January 2015.
9-11 October 2014, Sixth French Philosophy of Mathematics Workshop (FPMW 6), Toulouse, FranceLocation: Toulouse, FranceDeadline: 15 May 2014
This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.
The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html
Submissions of papers in any topic of philosophy of mathematics are welcome. The languages of the workshop are French and English. The deadline for submission is May 15, 2014. The Scientific Committee (see below) will evaluate each submission and notifies acceptance by July 1, 2014.
Each talk should be no longer than 45 minutes, and will be followed by a 30 minutes discussion. Each submission should be no more than 15,000 characters, and formatted in Word, RTF or PDF. It should be sent to both brice.halimi at u-paris10.fr and sebastien.maronne at math.univ-toulouse.fr. Receipt of submissions will be acknowledged by email.
Younger scholars and graduate students working on their dissertations are particularly encouraged to submit, as the workshop wll provide them with an opportunity to discuss their work with internationally renowned experts in the field.
7-10 October 2014, The Eleventh International Conference on Concept Lattices and Their Applications (CLA 2014), Kosice, SlovakiaLocation: Kosice, SlovakiaDeadline: 14 June 2014
CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.
For more information, see http://cla2014.ics.upjs.sk
Papers in all areas relevant to theory and applications of FCA are solicited. Abstract submission deadline: June 14, 2014.
CfP special issue of JoLLI on "Euler and Venn diagrams"Deadline: 30 October 2014
Euler and Venn diagrams have been widely studied over recent years and their role in logical reasoning and information visualization is now prominent. Venn diagrams formed the basis of what is widely regarded to be the first sound and complete diagrammatic logic, called Venn-I, developed by Sun-Joo Shin in the 1990s. Since then, substantial research has been conducted on Euler and Venn diagrams, spanning logic, cognitive science and philosophy. We will consider submissions that focus on any aspect of Euler and Venn diagrams research, that falls within the scope of JOLLI, and encourage submissions from any discipline. The proposed special issue will bring together a valuable collection of papers for researchers working in this area.
We solicit papers consisting of original research contributions. Submitted papers that extend previously published conference papers should be submitted with a cover note to the editors explaining the contribution beyond the earlier version. It is expected that substantial new material is included in the submission to the special issue.
Abstract submission: October 15, 2014. Paper submission: October 30, 2014. More information, including formatting guidelines and details of the scope of JOLLI can be found on our web page https://sites.google.com/site/eulerandvenndiagrams/.
24-26 September 2014, 14th European Conference on Logics in Artificial Intelligence (JELIA-2014), Madeira Island, PortugalLocation: Madeira Island, PortugalDeadline: 19 May 2014
The aim of JELIA-2014 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.uma.pt/jelia2014/.
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. Deadline: 19 May 2014.
23 September 2014, KIK Workshop on "Higher-level cognition and computation", Stuttgart, GermanyLocation: Stuttgart, GermanyDeadline: 1 July 2014
This workshop, held in conjunction with KI 2014, aims at bringing together researchers from Artificial Intelligence, Automated Deduction, Computer Science, Cognitive Psychology, Philosophy, and related areas to foster a multi-disciplinary exchange between research in higher-level cognition and computation.
Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning.
For more information, see http://imodspace.iig.uni-freiburg.de/kik-ws/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: 01-Jul-2014.
22-26 September 2014, The 37th German Conference on Artificial Intelligence (KI 2014), Stuttgart, GermanyLocation: Stuttgart, GermanyDeadline: 1 May 2014
KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi- Agent System Technologies).
The conference invites original research papers from all areas of AI, its fundamentals, its algorithms, its history and its applications. 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 1st.
22-26 September 2014, Logic and Applications (LAP 2014), Dubrovnik, CroatiaLocation: Dubrovnik, CroatiaDeadline: 2 June 2014
The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.
The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.
For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Submission deadline: June 2, 2014.
22 September 2014, 8th International Workshop on Applications of Semantic Technologies (AST 2014), Stuttgart, GermanyLocation: Stuttgart, GermanyDeadline: 22 April 2014
Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C~s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.
The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.
We invite you to submit original research, case studies, in-use, or position papers in English language of up to 12 pages. We also encourage you to submit demonstration papers, which will be given special attention in a separate slot (max. 8 pages). Submission deadline: April 22, 2014
18-19 September 2014, Workshop "Argumentation, Rationality and Decision", London, U.K.Location: London, U.K.Deadline: 15 July 2014
Recent decades have seen an explosion of research into formal argumentation theory within computer science, drawing on roots in philosophy and legal theory. The formalisms developed enable reasoning with incomplete and inconsistent information to reach decisions that are rational according to various criteria. However, this work has largely been conducted in isolation from the established mathematical decision sciences in microeconomic theory.
The workshop will bring together philosophers, economists, computer scientists and psychologists to discuss areas of common interests and possible directions for research.
For more information, see http://www.doc.ic.ac.uk/~rac101/ard/
2-page abstracts should be submitted to the EasyChair site: https://www.easychair.org/conferences/?conf=ard2014 To attend without presenting, please submit a half-page summary of your research interests and previous research themes, also via the EasyChair site: https://www.easychair.org/conferences/?conf=ard2014 The deadline for submissions and participation is Tuesday 15th July, 2014.
17-20 September 2014, 11th International Conference on Theoretical Aspects of Computing (ICTAC 2014), Bucharest, RomaniaLocation: Bucharest, RomaniaDeadline: 16 March 2014
ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring 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. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.
ICTAC 2014 calls for regular research papers on theories of computation and programming, foundations of software engineering and on formal techniques in software design and verification, as well as papers about tools that support formal techniques for software modeling, system design and verification. Abstract submission deadline: 16 March 2014.
12-13 September 2014, 10th international symposium of cognition, logic and communication: Perspectives on Spatial Cognition, Riga, LatviaLocation: Riga, LatviaDeadline: 15 February 2014
The 10th Symposium for Cognition, Logic and Communication, to be held at the University of Latvia in Riga on September 12-13, 2014, will focus on the cognitive processing of space, its cognitive and formal representation, and its linguistic encoding. We will explore the content and the scope of spatial cognition and how universal it is. The impact of non-spatial factors on spatial cognition and transformations of spatial cognition into non-spatial domains will be discussed. Scale-dependency of spatial cognition and differences between small-scale and large-scale spatial cognition will be explored. The syntax and semantics of locative and other spatial expressions will be examined, along with their relations to cognitive structures of spatial representation.
We welcome contributions from all fields including cognitive science, psychology, linguistics, computer science, and philosophy. Interdisciplinary contributions are very much welcome. In addition to individual papers, the scientific committee will be considering proposals for 2-hour sub-symposia including 3-4 contributions. The deadline for submission is 15 february 2014.
12 September 2014, Workshop "Predicate approaches to modality", Munich, GermanyLocation: Munich, GermanyDeadline: 16 June 2014
Predicate Approaches to modality are a viable alternative to the now standard operator approaches to modality. They allow for a uniform treatment of truth and the modal notions, are expressively rich and they fit in nicely with the relational analysis of propositional attitudes. The workshop is intended to further and foster research on predicate approaches to modality in philosophical and mathematical logic.
For more information see http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/pam2014/ or contact the organizers: Martin Fischer (M.Fischer at lrz.uni-muenchen.de) or Johannes Stern (Johannes.Stern at lrz.uni-muenchen.de).
We invite submissions of abstracts (500-1000words) suitable for 45min presentation. Submission deadline: 16.6.2014
11-13 September 2014, Workshop on Modal Syllogistics, Lisbon, PortugalLocation: Lisbon, PortugalDeadline: 31 May 2014
Aristotle is the founder of modal logic. His system of modal syllogisms has been studied for many centuries, with less than successful results. In 1955, Jan Lukasiewicz declared that "in contrast to the assertoric syllogistic which is perfectly clear and nearly free of errors, Aristotle's modal syllogistic is almost incomprehensible because of its many faults and inconsistencies". Some scholars have been trying to resist this pessimistic judgement and to articulate interpretations of the modal syllogistic that are, at the same time, logically consistent and plausible on exegetical grounds. This workshop wants to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the subject.
For more information, see http://www.lancog.com/modalsyllogistics.html
We invite submissions of long abstracts or short papers on any aspect of the modal syllogistic. The time slot is 80 minutes (50' talk + 30' discussion). We aim at accepting five contributed papers. Submission deadline: May 31, 2014.
10-12 September 2014, 5th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2014), Verona, ItalyLocation: Verona, ItalyDeadline: 10 May 2014
The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
Please visit the conference website http://gandalf2014.di.univr.it for more information.
Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 10th, 2014.
6-8 September 2014, Semantic content workshop, Barcelona, SpainLocation: Barcelona, SpainDeadline: 31 May 2014
Recent debates about semantic content have called into question traditional accounts and have renewed interest in unorthodox approaches, in particular approaches that operate with semantic contents that do not have absolute truth-values. These novel approaches to semantic content challenge the simple models of communication and information transfer that have traditionally been assumed. They also raise independently interesting questions about linguistic communication.
The project 'Semantic Content and Conversational Dynamics' organizes an international workshop on topics relevant to these issues. Invited speakers include Frank Veltman.
For more information, see http://semcon.wordpress.com/workshop-2/.
Contributions are invited. There will be space for up to 8 contributed papers. Submission deadline: 31st of May 2014.
CfP book "Applications of Formal Philosophy;"Deadline: 31 December 2014
We welcome full paper submissions for a book titled: "Applications of Formal Philosophy: The Road Less Travelled" to be published with Springer, edited by Rafal Urbaniak and Gillman Payette.
Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent is to further counter the impression of idleness with respect to philosophy at large. The focus of the volume is on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.
The submission deadline is December 31, 2014. Please make sure that the content of the paper fits the scope of the volume. For more information, see http://entiaetnomina.blogspot.nl/2014/09/
4-6 September 2014, Colloquium Logicum 2014, Neubiberg/Munich (Germany)Location: Neubiberg/Munich (Germany)Deadline: 16 June 2014
The Colloquium Logicum is organized every two years by the DVMLG, the German association of logicians in mathematics, philosophy and theoretical computer science. In 2014 the conference will take place in Munich at the Universität der Bundeswehr München, Neubiberg. 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.
Besides the regular scientific programme it is planned to include a PhD Colloquium with invited presentations of excellent recent PhD graduates.
For more information, see the web page at http://cca-net.de/cl2014/
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, June 16, 2014.
4-6 September 2014, Salzburg Conference for Young Analytic Philosophy (SOPhiA 2014), Salzburg, AustriaLocation: Salzburg, AustriaDeadline: 31 May 2014
SOPhiA 2014 aims at an opportunity for students and doctoral candidates in Philosophy to get in touch with prospective or well established philosophers and take a first peek into the philosophical business. Beside the conference presentations there also will be workshops on selected topics in analytic philosophy.
Keynote Speakers: Elke Brendel, Winfried Loeffler, Jeanne Peijnenburg and Benjamin Schnieder
For more information, see http://www.sophia-conference.org/
Students and doctoral candidates (pre-doc) in philosophy are hereby encouraged to submit an abstract for a presentation of approximately 20 minutes in length. Contributions in every discipline of philosophy (epistemology, ethics, logic, metaphysics, philosophy of religion, philosophy of science etc.) are welcome. As customary in analytic philosophy, contributors should make use of understandable language as well as rational argumentation. Deadline: May 31, 2014.
3-4 September 2014, Bucharest Colloquium in Analytic Philosophy - Logic and its philosophy (BCAP 2014), Bucharest, RomaniaLocation: Bucharest, RomaniaDeadline: 25 April 2014
Confirmed keynote speakers: Kit Fine (New York), Øystein Linnebo (Birbeck), David McCarty (Indiana) and Gabriel Sandu (Helsinki).
We are looking for high-quality contributions on logic and philosophy of logic. Presentations will be 30 minutes, followed by 15 minutes for discussion. Deadline for submission is April 25th, 2014.
2-5 September 2014, Highlights of Logic, Games and Automata (Highlights 2014), Paris, FranceLocation: Paris, FranceDeadline: 30 June 2014
There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.
A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.
For more information, see http://highlights-conference.org/
The conference has no published proceedings. Participants are invited to present their best work, be it published elsewhere or yet unpublished. The conference is three days long. The contributed talks are around ten minutes. Submission deadline TBA.
1-4 September 2014, 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014), Valparaiso, ChileLocation: Valparaiso, ChileDeadline: 24 March 2014
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-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.
WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
For more information, see http://wollic.org/wollic2014/.
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 24, 2014, and the full paper by Mar 28, 2014 (firm date).
1-3 September 2014, The 18th Workshop on the Semantics and Pragmatics of Dialogue (Semdial 2014), EdinburghLocation: EdinburghDeadline: 16 May 2014
SemDial 2014 (DialWatt) will be the 18th 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 2014 the workshop will be hosted by the Interaction Lab, Heriot-Watt University, Edinburgh. It will be collocated with Ro-Man (The 23rd IEEE Symposium on Robot and Human Interactive Communication) and the world-famous Edinburgh festival.
For more information, see http://www.macs.hw.ac.uk/InteractionLab/Semdial/
Paper submissions are invited on all topics related to the semantics and pragmatics of dialogue. The deadline is the 16th of May 2014.
28 August - 2 September 2014, Eighth European Conference on Analytic Philosophy (ECAP8), Bucharest, RomaniaLocation: Bucharest, RomaniaDeadline: 25 April 2014
ECAP-conferences are organized every three years by the /European Society for Analytic Philosophy/ (ESAP). The aim of these conferences is to establish contacts and encourage collaboration among European analytic philosophers.
For more information, see http://www.esap.info/ecap8/
We invite contributions for 30-minute presentations at the parallel sessions and the special workshops. The Deadline for Submission (extended) is April 25th , 2014.
25-27 August 2014, 9th Scandinavian Logic Symposium, Tampere, FinlandLocation: Tampere, FinlandDeadline: 25 April 2014
The scope of SLS 2014 is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc. As with previous editions, the primary aims of the Symposium are to reflect the current activities in logic in the Nordic countries and to provide a local meeting forum for their logical communities, broadly conceived. Besides, it invites and warmly welcomes participation of logicians from all over the world.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: April 25, 2014
25-27 August 2014, Concept Types and Frames in Language, Cognition and Science (CTF 2014), Duesseldorf, GermanyLocation: Duesseldorf, GermanyDeadline: 15 April 2014
The 4th conference on "*Concept Types and Frames in Language, Cognition, and Science*" (CTF'14) will take place on 25--27 August 2014 at the University of Düsseldorf, Germany. The conference is intended as an interdisciplinary platform that contributes to the development of a general theory of the structure of representation. Special focus is given to accounts using frames understood as recursive attribute-value structures with functional attributes. The topics range from formalisms to describe frames and their ontological interpretation to applications of frames in the modeling of dynamic aspects of concept formation in science and cognition and the description of natural language semantics.
For more information, see http://www.sfb991.uni-duesseldorf.de/ctf-2014/
We invite submission of abstracts for 25min oral presentations (plus 10min discussion). Deadline: 15h of April 2014. Conference Topics:
- The structure of representations in cognition
- Attribute-value structures, type signatures, and constructional schemas
- Ontological aspects of frames
- Lexical decomposition, constructions, and semantic composition
- Coercion, conceptual shifts, and co-composition
- Dynamic models of verb semantics
- Typological aspects of NP semantics
23-24 August 2014, Conference on Hypothetical Reasoning, Tuebingen, GermanyLocation: Tuebingen, GermanyDeadline: 12 May 2014
Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. This conference focusses on its logical aspects.
This conference is organised as part of the French-German ANR-DFG project HYPOTHESES, In conjunction with ESSLLI 2014.
For more information, see http://ls.informatik.uni-tuebingen.de/hypo/
We invite contributed talks on any of the conference topics. Contributions on related topics are welcome, too. We especially encourage young researchers, including students, to contribute. There will be 12 slots for contributed talks (30 min) and 5 slots for shorter presentations. The deadline for submission (extended) is 12 May 2014.
20-22 August 2014, Fourth Workshop on Controlled Natural Language (CNL 2014), Galway, IrelandLocation: Galway, IrelandDeadline: 14 March 2014
This workshop on controlled natural language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.
For more information, see http://attempto.ifi.uzh.ch/site/cnl2014/
We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS format and should not exceed 10 pages. Submission deadline: 14 March 2014.
19 August 2014, International Workshop on Defeasible and Ampliative Reasoning (DARe@ECAI 2014), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 25 May 2014
The International Workshop on Defeasible and Ampliative Reasoning (DARe), held in conjunction with ECAI 2014 in Prague, Czech Republic, aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss the defeasible and ampliative aspects of reasoning 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. Submission deadline: 25 May 2014
18-22 August 2014, The Twenty-first European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 1 March 2014
The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised 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'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference.
This call invites the submission of papers and posters for the technical programme of ECAI'14. High-quality original submissions are welcome from all areas of AI. Both long (6-page) and short (2-page) papers can be submitted. Paper submission deadline: 1 March 2014.
18-19 August 2014, 7th European Starting Artificial Intelligence Researcher Symposium (STAIRS-2014), PragueLocation: PragueDeadline: 15 May 2014
The 7th European Starting AI Researcher Symposium will be held as a satellite event of ECAI-2014, the 21st European Conference in Artificial Intelligence, in Prague in August 2014.
STAIRS is aimed at young researchers in Europe and beyond, particularly PhD students, but also advanced Master's students and postdoctoral researchers holding a PhD for less than one year at the time of the paper submission deadline. STAIRS offers opportunities to gain experience with submitting to and presenting at an international event with a broad scientific scope.
For more information, see http://www.ecai2014.org/stairs/.
We welcome submissions in all areas of AI, ranging from foundations to applications. Accepted papers will be presented either orally or in a poster session. The paper submission deadline is 15 May 2014.
18-22 August 2014, Workshop on Models in Formal Semantics and Pragmatics, Tübingen, GermanyLocation: Tübingen, GermanyDeadline: 15 February 2014
The field of natural-language semantics and pragmatics has undergone a shift away from defining or even mentioning models. Indeed, some scholars find their use redundant at best, harmful at worst. A generation of young semanticists got their first encounters with the formal theory through Heim and Kratzer's textbook, which does not mention models at all. There is little open discussion on these developments, but much anecdotal evidence that people have strong opinions about them. This ESSLII-2014 workshop will give the debate a public forum.
For more information, see http://homepages.uconn.edu/~stk12004/Models_ESSLLI2014/.
The workshop has room for eight submitted papers of 30 minutes each, including discussion. Abstracts must be submitted by February 15, 2014.
18-22 August 2014, ESSLLI Workshop on Information Dynamics in Artificial Societies (IDAS@ESSLLI-14), Tuebingen, GermanyLocation: Tuebingen, GermanyDeadline: 30 April 2014
Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aimed at discussing formal theories and logics of information dynamics - including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation - in order to better understand how information circulates in an artificial society, and how it influences the individual and collective cognitive attitudes.
The workshop is an event of ESSLLI-14 and will take place on August 18-22 2014, Tubingen, Germany. It will form part of the coordination activities of SINTELNET, the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini.
For more information, see http://www.irit.fr/~Laurent.Perrussel/idas-14/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 30, 2014.
18-22 August 2014, 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XV), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 11 May 2014
The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
Following the previous fourteen, very successful, editions, the 15th CLIMA will take place in Prague, Czech Repulblic, on the 18th and 19th of August 2014. It will be co-located with ECAI~14. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Logics for Games, Strategic Reasoning, and Social Choice' and on 'Logics for Agreement Technologies'.
For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXV.html
We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Submissions will be peer-reviewed by at least three PC members. Submission deadline is May 11th.
18-19 August 2014, Logics for Games and Strategic Reasoning and Social Choice, Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 11 May 2014
Strategic reasoning occurs in many multi-agent scenarios. This is evident in theoretical approaches to MAS, as well as in practical solutions used, for example, in computer games, IT infrastructures for e-voting procedures, social network services, etc. This special session at CLIMA XV (Computational Logic in Multi-Agent Systems) addresses the question how formal logic can contribute to our understanding, modeling and analysis of strategic behavior, and investigates how the metaphors of game and social interaction can help in constructing and using logical formalisms.
For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXVsessions.html or contact the organizer, Wojtek Jamroga (University of Luxembourg), at wojtek.jamroga at uni.lu. For general information on CLIMA XI, see http://centria.di.fct.unl.pt/events/climaXIV/ or contact clima2014 at easychair.org .
We encourage submission of high quality, original papers which have not been accepted for publication nor are currently under review for another journal or conference. Submissions should not exceed 16 pages in the Springer LNCS format. Note that, while theoretical papers are welcome, submissions must include at least some illustrating examples. Submission deadline: May 11, 2014
18-19 August 2014, 5th AISB Workshop on "Figurative language: its patterns and meanings in domain-specific discourse", Birmingham, U.K.Location: Birmingham, U.K.Deadline: 9 June 2014
Forms of figurative language such as metaphor and metonymy are key resources for communicating domain-specific information in an accessible way. Modelling such patterns of communication is a key aim of academic disciplines such as linguistics, discourse studies, and psycholinguistics, and understanding such phenomena is an emerging goal within Artificial Intelligence and the related field of Natural Language Processing. A particularly interesting current area of research is work on automatically generating as well as understanding metaphor, which are both emerging as important sites for addressing long-standing problems in linguistics, artificial intelligence, and cognitive science.
To facilitate communication about such efforts, we are planning a two-day workshop on modelling the meanings and patterns of health and political conflict, where discourse in these domains typically gives rise to some of the richest and most figurative forms of human discourse. The workshop will take place at the University of Birmingham, and will be jointly organized through the University's Institute for Advanced Studies (IAS) as well as the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB).
For more information, see http://www.cs.bham.ac.uk/~gargetad/
We are calling for 500 word abstracts for presentations at this workshop, which may report research in progress, as well as more finished research. To coincide with IAS activities over lapping with the workshop, we are also planning a special session on the morning of the second day dedicated to corpus and computational resources, such as FrameNet, WordNet, Propbank, and Ontonotes (to name a few), and if you wish to present in this, please mark your abstract as for the "Special Session". Abstracts of no more than 500 words (plus references, if desired) are to be submitted by 9th June.
11-22 August 2014, Student Session at ESSLLI 2014, Tuebingen, GermanyLocation: Tuebingen, GermanyDeadline: 1 April 2014
The Student Session of the 26th European Summer School in Logic, Language, and Information (ESSLLI) is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).
More detailed guidelines and policies regarding submission can be found on the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/ or by emailing dehaan at kr.tuwien.ac.at. For general inquiries about ESSLLI 2014, please consult the main ESSLLI 2014 page: http://www.esslli2014.info/.
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 and will appear in the student session proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. eadline for submissions: April 1st, 2014.
11-15 August 2014, Epistemic Logic for Individual, Social, and Interactive Epistemology, Tübingen, GermanyLocation: Tübingen, GermanyDeadline: 8 March 2014
Historically, with its origins in philosophy, epistemic logic promised to illuminate traditional issues of epistemology, the theory of knowledge. In recent years, epistemic logic has been making good on that promise, with important new applications not only to individual epistemology, a traditional focus of philosophers for the last two-and-a-half thousand years, but also in social epistemology, the more recent investigation of the social dimensions of knowledge and information flow, as well as interactive epistemology, the study of knowledge and belief in strategic, game-theoretic situations.
During five 90-minute sessions, the ELISIEM workshop will feature presentations covering the latest applications of epistemic logic to individual, social, and interactive epistemology, putting work at this fascinating intersection on the map of interdisciplinary activities in logic.
For more information, see https://sites.google.com/site/elisiem2014/.
We invite submissions of papers (preferably shorter than 15 pages), including a brief abstract and several keywords, in PDF format through EasyChair. Submission deadline: March 8, 2014
11-15 August 2014, Formal and experimental pragmatics, TübingenLocation: TübingenDeadline: 8 March 2014
The recently emerging field of experimental pragmatics has painted a complex picture of the interaction between semantic and pragmatic information in phenomena as diverse as implicature, referentiality, figurative meaning, prosody, and presupposition. In parallel, advances in probabilistic and game-theoretic models that treat pragmatic inference as a problem of reasoning under uncertainty have yielded testable quantitative predictions about the outcome of many different kinds of pragmatic inference. Despite this progress, a great deal of work is needed on the mathematical foundations and quantitative empirical grounding of pragmatics, and, most critically, the connection between the two. The aim of this ESSLLI-2014 workshop is to promote dialog and community for these lines of research: strengthening the search for an empirically grounded formal pragmatics.
For more information, see https://sites.google.com/site/fepesslli2014
Authors are invited to submit an extended abstract of original work for oral or poster presentations relevant to the workshop's topics. Submissions should be anonymous, in PDF format and not exceed 2 pages of 12pt text with 2.5cm margins on all sides, including all references, figures, tables etc. Submissions are due 8 March 2014.
5-8 August 2014, 10th International Conference on Advances in Modal Logic (AiML-2014), Groningen, The NetherlandsLocation: Groningen, The NetherlandsDeadline: 12 May 2014
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. AiML-2014 is the tenth conference in the series.
For more information, see http://www.philos.rug.nl/AiML2014/
Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. Authors are also invited to submit short presentations, intended for presentation at the conference but not for the published proceedings. Submission deadline is 14 March 2014 (12 May 2014 for short presentations).
4-5 August 2014, Second workshop on Reasoning about other minds: Logical and cognitive perspectives, Groningen, The NetherlandsLocation: Groningen, The NetherlandsDeadline: 1 July 2014
This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as 'theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an "inverse planning" model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people's observed behavior.
For more information, see http://www.ai.rug.nl/conf/reasoningminds2/.
Please send your extended abstract in PDF format, not exceeding 4 double-spaced pages (1,500 words) by Tuesday July 1, 2014.
1-4 August 2014, 7th Annual Conference on Artificial General Intelligence (AGI 2014), Quebec City QC, CanadaLocation: Quebec City QC, CanadaDeadline: 1 April 2014
The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field - the creation of thinking machines with general intelligence at the human level and possibly beyond.
AGI'14 will be co-located with and immediately after AAAI'14 and CogSci 2014. Yoshio Bengio will give a keynote on "Deep Learning for AI"; and AGI-14 will include a Workshop on AGI & Cognitive Science.
For more information, see the conference website here: http://agi-conf.org/2014
As in prior AGI conferences, we welcome submission of papers on all aspects of AGI R&D, with the key proviso that each paper should somehow contribute specifically to the development of Artificial General Intelligence. Two types of papers will be accepted: Regular Papers, and short Technical Communications. The submission deadline (extended) is April 1st, 2014.
31 July - 2 August 2014, Fifth Workshop on Computational Models of Narrative (CMN'14), Quebec City QC, CanadaLocation: Quebec City QC, CanadaDeadline: 11 April 2014
Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. The aim of this workshop series is to address key questions that advance our understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.
For more information, see http://narrative.csail.mit.edu/cmn14/
This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Papers should be relevant to issues fundamental to the computational modeling and scientific understanding of narrative; we especially welcome papers relevant to the neuroscientific and cognitive aspects of narrative. Regardless of its focus, reported work should provide some sort of insight of use to computational modeling of narratives. We accept both finished research and more tentative exploratory work. Submission deadline is April 11, 2014.
28 July 2014, 4th International Workshop on Euler Diagrams (ED 2014), Melbourne, AustraliaLocation: Melbourne, AustraliaDeadline: 28 April 2014
Euler diagrams represent relationships between sets, including intersection, containment, and disjointness. These diagrams have become the foundations of various visual languages and have notably facilitated the modelling of, and logical reasoning about, complex systems. This workshop of peer-reviewed submissions will afford the growing Euler diagrams community the opportunity to present and discuss new research, and share multi-interdisciplinary expertise. We envisage that this will stimulate collaborations on current and future research needs.
We solicit submissions on any of the conference topics, both full papers (consisting of original research or surveys) and short paperse (consisting of systems descriptions, software demonstrations, position statements or original research contributions). Paper submission deadline: April 28th (abstracts April 21st).
28 July - 1 August 2014, 16th Latin American Symposium on Mathematical Logic (XVI SLALM), Buenos Aires, ArgentinaLocation: Buenos Aires, ArgentinaDeadline: 10 May 2014
XVI SLALM will include four tutorial courses in Model Theory, Computability Theory, Set Theory and Non-classical Logic. About a hundred researchers and students from Latin-America and other continents will participate in the meeting. The Symposium has the scientific sponsorship of the Association for Symbolic Logic.
For more information, see the conference web site at http://www-2.dc.uba.ar/congresos/slalm2014/
Contributed presentations can be submitted in one of the four parallel sessions: Model Theory, Computability Theory, Set Theory and Non-classical Logic. Abstract submission deadline: May 10th, 2014.
27-30 July 2014, Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT11), Bergen, NorwayLocation: Bergen, NorwayDeadline: 1 March 2014
This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.
For more information, see http://folk.uib.no/nmita/LOFT11
The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages. The deadline for submission is March 1, 2014.
23-24 July 2014, First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 20 April 2014
PRUV 2014 is the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. The aim of PRUV is to make researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, and to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, that are working on these topics.
PRUV 2014 is associated with the Vienna Summer of Logic, a major event hosting logic conferences and workshops. In particular, PRUV will be hosted by FLoC and associated to IJCAR.
For more information, see http://vsl2014.at/pruv/
PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness. We accept submissions of papers and results previously published in other major conferences and journals. Paper submission deadline: April 20, 2014.
23 July 2014, Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 28 April 2014
The ARQNL workshop aims at fostering the development of proof calculi, ATP 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. In particular, we are interested in all sorts of applications and problem formalizations that use a quantified non-classical logic. A particular emphasis of the first edition of the ARQNL workshop will be on quantified modal logics.
For further information see the workshop web page at http://vsl2014.at/arqnl/.
We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. These contributions may range from theory to system descriptions and implementations; they may also outline relevant applications and describe example problems and benchmarks. Research papers (up to 15 pages), short papers, talk abstracts, and system demonstrations (up to 5 pages) are solicited. The submission deadline is April 28th.
21-24 July 2014, Eleventh International Conference on Computability and Complexity in Analysis (CCA 2014), Darmstadt, GermanyLocation: Darmstadt, GermanyDeadline: 7 April 2014
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 the Conference Web Page at http://cca-net.de/cca2014/
Authors are invited to submit 1-2 pages abstracts in PDF format. Submission deadline: April 7, 2014
18 July 2014, 1st International Workshop on Quantification (QUANTIFY 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 25 April 2014
Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding than would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Moreover, theoretical results established for the quantifier-free formalism typically cannot be directly transferred to the quantified case. Further, techniques successfully implemented in reasoning tools for quantifier-free formulas cannot directly be lifted to a quantified version.
The goal of the 1st International Workshop on Quantification (QUANTIFY 2014) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view. Quantification is a topic in different research areas such as in SAT in terms of QBF, in CSP in terms of QCSP, in SMT, etc. This workshop has the aim to provide an interdisciplinary forum where researchers of various fields may exchange their experiences.
For more information, see http://vsl2014.at/quantify
We solicit two types of submissions: talk abstracts describing already published results, and full papers on novel, unpublished work. Submission deadline (extended) is April 25, 2014.
17-19 July 2014, 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 14 February 2014
The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.
NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).
NMR 2014 welcomes the submission of papers broadly centered on issues and research in non-monotonic reasoning. We welcome papers of either theoretical or practical nature. Submission deadline: February 14, 2014.
17-20 July 2014, 27th International Workshop on Description Logics (DL 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 7 April 2014
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 part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).
Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.
We invite contributions on all aspects of description logics, including but not limited to:
* Foundations of description logics
* Extensions of description logics
* Integration of description logics with other formalisms
* Applications and use areas of description logics
* Systems and tools around description logics
Paper registration deadline: April 7, 2014
17-18 July 2014, International Workshop on Proof, Structure and Computation (PSC 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 1 May 2014
The extraction of computational content from proofs has a long tradition in logic, but usually depends on a concrete encoding that allows us to turn proofs into algorithms. A recent trend in this field is the departure from such encoding which not only makes it simpler to represent the mathematical content, but also makes the extracted computational content encoding independent. This shift in focus allows us to focus on what is relevant: the computational aspects of proofs and the specification (not representation) of the structures involved. We now have growing evidence that this move from representations (e.g. the signed digit representation of the reals) to axioms (e.g. of the real numbers) is possible. This development largely parallels the step from assembler to high level languages in programming. As a by-product this move has already opened up the possibility to gain computational information from axiomatic proofs in more abstract and genuinely structural areas of mathematics such as algebra and topology.
We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even published) work on proof, structure, and computation. Submission deadline is 1 May 2014.
16-19 July 2014, Logic, Algebra and Truth Degrees (LATD 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 6 April 2014
The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.
Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with 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.
The Programme Committee cordially invites all researchers to submit papers on any of the featured topics. We particularly welcome contributions on many-valued and related logical systems. The deadline for contributions is 6th April 2014.
15 July 2014, Vienna Summer of Logic 2014 Workshop on Logic and Games, Vienna, AustriaLocation: Vienna, AustriaDeadline: 1 May 2014
Despite its austere appearance, formal logic can often be viewed through the lens of game theory, whereby various logical concepts -- validity, consequence, provability, satisfiability, (in)dependence, possibility, etc. -- become animated as games. Going in the other direction, one can start with games and find logics, and various logical concepts, therein. The idea of viewing logics as games, and vice versa, is by no means new, but it has enjoyed a certain renaissance in recent years. The workshop is intended to serve as a magnet to attract the latest research in the spirit of connecting logic to games.
Logic and Games will be a one-day event consisting of three invited 60-minute talks, together with selected shorter contributed talks. Invited speakers: Gabriel Sandu (Helsinki), Ondrej Majer (Prague) and Kazushige Terui (Kyoto).
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st.
14-17 July 2014, Joint 25th International Conference on Rewriting Techniques and Applications (RTA 2014) & 12th International Conference on Typed Lambda Calculi and Applications (TLCA 2014): , Vienna, AustriaLocation: Vienna, AustriaDeadline: 28 January 2014
This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.
For more information, see http://vsl2014.at/rta-tlca
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for abstract submission: January 28, 2014.
14-18 July 2014, Twenty-Third EACSL Annual Conference on Computer Science Logic & Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (CSL/LICS 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 13 January 2014
CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.
The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.
For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/
We invite submissions on topics that fit the themes of both conferences. Title and Short Abstracts are due January 13, 2014.
13 July 2014, Third International Workshop on Gentzen Systems and Beyond (GSB3), Vienna, AustriaLocation: Vienna, AustriaDeadline: 13 April 2014
This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the sequent calculus and natural deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics resisting a simpler description, including hypersequents, deep inference systems, display calculi, labelled deductive systems, tableaux, and proof nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches.
A broader aim of the workshop is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic systems, are shared. ------------------------------------------------------------------------------------
For more information, see http://vsl2014.at/pages/GSB-cfp.html
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 13, 2014.
12-24 July 2014, The Sixth Federated Logic Conference (FLoC 2014), Vienna, AustriaLocation: Vienna, AustriaDeadline: 30 September 2013
The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one hosting conference among the participating conferences. Deadline for submission of workshop proposals: September 30, 2013.
12-15 July 2014, 12th International Conference on Deontic logic (DEON 2014), Gent, BelgiumLocation: Gent, BelgiumDeadline: 1 March 2014
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".
This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.
For more information, see http://www.deon2014.ugent.be/
The Program Committee invites papers concerned with topics relevant to the conference or its special focus. We welcome theoretical work (formal models, representations, logics, specifications, verification), implementation-oriented work (programming languages, design models, simulations, prototype systems) and empirically driven work (linguistics). Abstract Submission Deadline: March 1, 2014.
12-13 July 2014, The Fifteenth International Workshop on Logic and Computational
Complexity and Workshop in Honor of Neil Immerman's 60th Birthday
(LCC 2014/ImmermanFest), Vienna, AustriaLocation: Vienna, AustriaDeadline: 2 May 2014
LCC 2014/ImmermanFest will be held in Vienna, Austria, on July 12-13, 2014, as an affiliated meeting of the Vienna Summer of Logic. The program will consist of a first day (July 12th) of talks which include both invited lectures and contributed talks selected by the program committee (based on submitted abstracts), and a second day (July 13th) devoted entirely to invited talks in celebration of Neil Immerman's 60th birthday.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, to which Neil Immerman has made numerous fundamental and inspiring contributions. In particular, he has been one of the leading figures in the development of descriptive complexity, which has elucidated intimate and beautiful connections between complexity theory and finite model theory. This year, day two of LCC 2014 will honor Neil's 60th birthday with a series of invited lectures by some of the leading researchers working in areas that have been influenced by Neil's work.
For more information, see http://www.cs.swansea.ac.uk/lcc2014/
We welcome submissions of abstracts, including submissions based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. Abstract submission deadline: May 2nd, 2014
8-11 July 2014, Trends in Logic XIV "The Road Less Travelled: Off-stream applications of formal methods", Ghent, BelgiumLocation: Ghent, BelgiumDeadline: 20 January 2014
Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.
Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.
For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission Deadline (extended): January 20th, 2014.
8 July 2014, CICM-2014 workshop "The Notion of Proof", Coimbra, PortugalLocation: Coimbra, PortugalDeadline: 31 May 2014
The traditional notion of mathematical proof faces in the 21st century what we will call "the computer challenge". Three different aspects are worth separating. 'Proof search' has its known limitations due to undecidability and complexity results. However, special areas, such as semigroup theory, already enjoy considerable support from computer-generated proofs. 'Proof check' is recently the 'hottest' area, in no small part due to the attempt to formally verify the proof of the Kepler conjecture by its author Hales. 'Proof representation' seems currently be the stumbling block for convincing the mathematical community to accept computer-aided theorem proving as a viable complement to everyday mathematical research.
For our workshop we solicit contributions for discussions about the current state-of-the-art of automated theorem proving (ATP), approaching the topic from the mathematical (or even philosophical) side, as well as from computer science.
For more information, see the workshop homepage at http://cicm-conference.org/2014/cicm.php?event=nop.
In addition to standard scientific/philosophical papers, descriptions and demonstrations of computer systems that bear on these issues are also welcome. Submission deadline is May 31.
7-8 July 2014, Symposium on the Foundations of Mathematics, Vienna, AustriaLocation: Vienna, AustriaDeadline: 31 March 2014
Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness. These different approaches have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.
For more information, see the conference website at http://sotfom.wordpress.com/.
We welcome submissions from scholars (in particular, young scholars, i.e. early career researchers or post-graduate students) on any area of the foundations of mathematics (broadly construed). Particularly desired are submissions that address the role of set theory in the foundations of mathematics, or the foundations of set theory (universe/multiverse dichotomy, new axioms, etc.) and related ontological and epistemological issues. Submission Deadline: 31 March 2014.
2-5 July 2014, Trends in Logic XIII "Gentzen's and Ja~kowski's heritage", Lodz, PolandLocation: Lodz, PolandDeadline: 15 March 2014
Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.
For more information, see http://filozof.uni.lodz.pl/trends
We warmly invite all contributions offering novel and significant results in the area of logic. There are two types of submissions: Full papers (which will be subjected to a proper reviewing process) and short presentations (which will undergo a light reviewing). Submission deadline: 15 March 2014 (full papers) or 7 May 2014 (short papers).
2-8 July 2014, Third East-Asian School on Logic, Language and Computation (EASLLC 2014), Tsinghua University, ChinaLocation: Tsinghua University, ChinaDeadline: 1 April 2014
The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.
In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.
We invite submissions of abstracts of original, unpublished papers from students in the area of logic, language and computation. Deadline for abstracts submission: April 1, 2014.
CfP special issue of Topoi on "Epistemic modals and the epistemology of modality"Deadline: 15 March 2015
Topoi: An international Review of Philosophy, is planning to devote a special issue to Epistemic Modals and the Epistemology of Modality, which will be edited by Berit Brogaard (University of Miami) and Dimitria Electra Gatzia (University of Akron).
Papers must be in English and should not exceed 8,000 words, though there is no minimum length. Each submission should also include a title page containing contact details, a brief abstract and list of keywords for indexing purposes. All submissions for this issue should be made through Topoi Editorial Manager (http://www.editorialmanager.com/topo/default.asp). Select 'S.I.: Epistemic modals (Brogaard/Gatzia)' as Article Type.
The deadline for the initial submission is March 15, 2015. Accepted papers will be published in 2016. For more information, see http://www.springer.com/philosophy/journal/11245 or email Dimitria E. Gatzia at dg29 at uakron.edu.
25-27 June 2014, 21st International Symposium on Methodologies for Intelligent Systems (ISMIS 2014), Roskilde, DenmarkLocation: Roskilde, DenmarkDeadline: 3 March 2014
The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance.
ISMIS'14 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas.
For more information, see http://isl.ruc.dk/ismis2014/
We invite you to submit a paper to ISMIS'14 on any of the aformentioned subjects. We explicitly solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. Please note that the paper submission deadline is February 3, 2014.
26-28 June 2014, The 7th Semantics and Philosophy in Europe Colloquium (SPE7), BerlinLocation: BerlinDeadline: 1 February 2014
The purpose of the Semantics and Philosophy in Europe colloquia is provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology, etc.). Previous SPE meetings have taken place in Paris (SPE1, 2008 and SPE3, 2010), London (SPE2, 2009), Bochum (SPE4, 2011), Turin (SPE5, 2012) and St.Peterburg (SPE6, 2013).
In addition to the general theme, SPE 7 will feature two special topics
- Conceptual structures and truth-conditional semantics
For more information, see http://www.zas.gwz-berlin.de/fileadmin/spe7/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Submission Deadline: February 1st, 2014.
24-27 June 2014, 9th International Ershov Informatics Conference (PSI'2014), Peterhof, St. Petersburg, RussiaLocation: Peterhof, St. Petersburg, RussiaDeadline: 13 January 2014
The Institute of Informatics Systems (Russian Academy of Sciences) and the Saint Petersburg State University are jointly organizing the Ershov Informatics Conference (the PSI Conference Series, the 9th edition) to be held in St. Petersburg, Russia, on June 24 - 27, 2014.
The PSI Conference is the premier international forum for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent trends, experiences and concerns in the conference area.
For more information, see http://psi.nsc.ru
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract submission deadline: January 13, 2014.
23-25 June 2014, 5th International Workshop on Computational Social Choice (COMSOC-2014), Pittsburgh, PennsylvaniaLocation: Pittsburgh, PennsylvaniaDeadline: 15 March 2014
Computational social choice is a growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing. Like its predecessors, this 5th edition of COMSOC will bring together theoretical computer scientists, researchers working in artificial intelligence, economicsts, political scientsists, mathematicians, and logicians working on these topics.
Submissions of papers describing original or recently published work on all aspects of computational social choice are invited. Submission deadline: March 15, 2014
For more information, see http://www.cs.cmu.edu/~arielpro/comsoc-14/.
23-27 June 2014, CiE 2014: Computability in Europe, Budapest, HungaryLocation: Budapest, HungaryDeadline: 14 April 2014
CiE 2014 is the tenth 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.
The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches.
For more information, see http://cie2014.inf.elte.hu
Unlike the traditional format of computer science conferences with pre-conference proceedings, mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. Continuing the tradition of past CiE conferences, also this year's CiE conference endeavours to get the best of both worlds. 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 one page) by the deadline of April 14, 2014.
23-27 June 2014, NASSLLI 2014 Student Session, University of Maryland, College Park, MD, USALocation: University of Maryland, College Park, MD, USADeadline: 14 March 2014
The Student Session of the North American Summer School for Logic, Language and Information (NASSLLI) will provides students an excellent opportunity to present their work to experts in their field as well as to a broader, well-informed interdisciplinary audience.
For more information, see http://web.pacuit.org/files/NASSLLI2014StuS_CFP.pdf or contact qharr at umd.edu
NASSLLI welcomes paper submissions for presentation at its Student Session. Submissions may be in any of the fields related to the school (logic and language, logic and computation, or language and computation) and should represent original, unpublished work by individuals who will not yet have received their Ph.D. by the time of the conference. All submissions will be reviewed by at least three specialists who will provide commentary on the paper regardless of its acceptance status. Submissions due: March 14th, 2014 (by midnight).
21-29 June 2014, Sixth North American Summer School for Logic, Language, and Information (NASSLLI 2014), University of Maryland, U.S.A.Location: University of Maryland, U.S.A.Costs: $175 for academicsDeadline: 1 September 2013
The 6th North American Summer School in Logic, Language and Information (NASSLLI 2014), a bi-annual summer school loosely modeled on the long-running ESSLLI series in Europe, will be held at the University of Maryland, College Park, June 23 - 27, 2014. In addition, we will run three intensive introductory courses ("bootcamps") on Saturday and Sunday, June 21-22. Additional events will be held during the weekend following the summer school, June 28-29.
The summer school will consist of 18 courses, scheduled in five parallel sessions throughout the week. Courses will meet for 90 minutes on each of five days. The instructors are prominent researchers who volunteer their time and energy to present work in their disciplines. NASSLLI courses are aimed at graduate students and advanced undergraduates in any of the fields represented at the summer school, but will also be of interest to post-docs and researchers in those fields. Courses are designed with an interdisciplinary audience in mind, by instructors who enjoy addressing students and colleagues from a wide range of disciplines.
For more information including the full program, see http://www.nasslli2014.com/.
Proposals are invited for courses or workshops that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. The deadline for proposals is September 1, 2013.
20-22 June 2014, 11th Annual Formal Epistemology Workshop (FEW 2014), Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.Deadline: 31 January 2014
The Formal Epistemology Workshop will be held in connection with the 2014 meeting of the Society for Exact Philosophy, which will take place immediately afterwards, at the California Institute of Technology, a short rail ride away in Pasadena.
There will be four contributed talks on Friday, June 20 and four contributed talks on Saturday, June 21. Sunday, June 22 will consist of shared events as part of both FEW and SEP, including a keynote address (by Bas van Fraassen) and a poster session.
For more information, see http://www.kennyeaswaran.org/few/
Contributors are invited to send full papers (suitable for presenting as a 40 minute talk) by Friday, January 31, 2014.
18-20 June 2014, Triennial International Conference of the Italian Society for Logic and Philosophy of Sciences (SILFS 2014), Rome, ItalyLocation: Rome, ItalyDeadline: 15 December 2013
On June 18-20 2014 SILFS, the Italian Society of Logic and Philosophy of Science will hold its triennial conference at the University of Rome 'Roma TRE'. Invited speakers are John Norton, Hannes Leitgeb and Tarja Knuuttila.
We invite submissions in all areas of logic and philosophy of science, with special attention to inter-disciplinary approaches to logical and epistemological issues and topics in the foundations of special sciences (both natural, social and human). The deadline for submission is December 15, 2013.
18-20 June 2014, Logical Aspects of Computational Linguistics (LACL 2014), Toulouse, FranceLocation: Toulouse, FranceDeadline: 15 March 2014
LACL'2014 is the 8th international conference on logical and formal methods in computational linguistics. This conference addresses the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at IRIT, Toulouse, France, from 18 to 20 June 2014 (with support from IRIT, Université Paul Sabatier et INP de Toulouse), and is co-located with CSLP 2014.
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: March 15, 2014
16 - 20 June 2014, Logica 2014, Hejnice, Czech RepublicLocation: Hejnice, Czech RepublicDeadline: 15 February 2014
Logica 2014 is the 28th in the series of annual international symposia devoted to logic.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions: 15 February
13-15 June 2014, 27th Annual Conference on Learning Theory (COLT 2014), Barcelona, SpainLocation: Barcelona, SpainDeadline: 7 February 2014
Invited speakers are Leslie Valiant (Harvard University) and Michael Jordan (UC Berkeley). COLT 2014 will take place within a larger research program on the Mathematics of Machine Learning organized at the Centre de Recerca Matemática in Barcelona.
For more information, see the conference website at http://orfe.princeton.edu/conferences/colt2014/
We invite submissions of papers addressing theoretical aspects of machine learning and related topics. We strongly support a broad definition of learning theory. We are also interested in papers that include viewpoints that are new to the COLT community. We welcome experimental and algorithmic papers provided they are relevant to the focus of the conference by elucidating theoretical results.
We also invite submission of open problems.
Paper submission deadline: February 7th, 2014, 11:00 PM EST.
9-13 June 2014, Ninth International Conference on Computability,
Complexity and Randomness (CCR 2014), Singapore, SingaporeLocation: Singapore, SingaporeDeadline: 15 March 2014
CCR 2014 will be held at the Institute for Mathematical Sciences in Singapore as a part of the Algorithmic Randomness Programme, 2-30 June 2014. Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.
Please register before 15 March 2014. For more information, see the Conference Web Page at http://www2.ims.nus.edu.sg/Programs/014algo/.Those who wish to talk during the conference should inform the IMS in subsequent correpondence.
7-9 June 2014, Logic, Grammar and Meaning, Norwich, U.K.Location: Norwich, U.K.Deadline: 20 March 2014
The "Logic, Grammar, and Language" Conference explores the the multifarious interactions between logic and natural language. We are interested to explore the relation(s) between logic and natural language from empirical (linguistic), philosophical, and logical perspectives.
We invite submissions on a broad range of topics related to the main theme of the conference. Submission deadline: March 20, 2014
6-12 June 2014, The 9th International Computer Science Symposium in Russia (CSR-2014), Moscow, RussiaLocation: Moscow, RussiaDeadline: 9 December 2013
CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 9th conference in a series of regular events started with CSR 2006 in St. Petersburg.
Authors are invited to submit original (and not previously published) research. Submission deadline: December 9, 2013
6-7 June 2014, Fourth LSE Graduate Conference in Philosophy of Probability, London, U.K.Location: London, U.K.Deadline: 23 March 2014
This is the fourth edition of the LSE Graduate Conferences in Philosophy of Probability. It aims to attract researchers working on any philosophical aspect of probability, including, but not limited to, Bayesian epistemology, the foundations of statistics, decision theory, probabilistic causation, probability logic and applications of probabilities in the natural, social and medical sciences.
For more information see http://www.lse.ac.uk/CPNSS/events/GraduateConferences/pop2014/.
Submissions are invited from graduate students and early career researchers (up to two years after the award of their PhD). Papers may be on any of the conference topics. We especially encourage submissions on applications of probabilities in the natural, social and medical sciences. Deadline for submissions: 23 March 2014. There are 6 travel grants of up to 150 GBP available to help authors of accepted papers to cover the costs of their travel and accommodation.
5-6 June 2014, 14th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, London ON, CanadaLocation: London ON, CanadaDeadline: 24 February 2014
The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. Doreen Fraser (University of Waterloo) 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. Papers in philosophy of physics will be considered for the 11th Annual Clifton Memorial book prize. Deadline: Papers should be submitted via EasyChair by February 24th, 2014.
4-6 June 2014, Cracow Workshop in Analytical Philosophy - Normativity of meaning, belief and knowledge (CWAP 2014), Cracow, PolandLocation: Cracow, PolandDeadline: 6 April 2014
CWAP 2014 is the 1st edition of what is planned to become a new platform for discussing problems in analytical philosophy in a small but stimulating environment. This year's edition shall focus on "normativity" as discussed within three areas of philosophical inquiry: theory of meaning, belief and knowledge.
All information concerning editorial guidelines, deadlines, fees, programme, our speakers and venue are available on-line at http://www.2014.cwap.pl/.
We invite submissions of original papers for presentations at the workshop addressing any problem within the broad subject of the workshop. We are particularly interested in the issues investigating into the meta-theory of normativity restricted (or not) to the particular domain: epistemic, linguistic etc. The deadline for paper submissions is 6st April 2014.
2-6 June 2014, International Conference "Algebra and Mathematical Logic: Theory and Applications", Kazan, RussiaLocation: Kazan, RussiaDeadline: 1 March 2014
Kazan Federal University and Tatarstan Republic Academy of Science organize an International Conference "Algebra and Mathematical Logic: Theory and Applications" dedicated to 80-th anniversary of Department of Algebra of Kazan University and to 70-th anniversary of Professor M.M. Arslanov.
The main topics of the conference include (but are not limited to) Lie Algebras, Group Theory, Ring Theory, Algebraic Geometry, Universal Algebra, Model Theory, Mathematical Logic, Computability Theory, Algebraic and Logic Methods in Computer Science.
For more information, see http://www.kpfu.ru/main_page?p_sub=25931
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submissions of abstracts: March 1, 2014
201 June 4, European Symposium on Medieval Logic and Semantics (ESMLS XX), June 2014, Cambridge, U.K.Location: Cambridge, U.K.Deadline: 31 January 2013
The 20th European Symposium on Medieval Logic and Semantics will take place in Cambridge (UK) in 2014, as was decided at the last meeting in Geneva. Most probably it will take place in the second half of June, although the exact dates has not yet been fixed. The topic for the meeting is: Theories and Uses of Relations in medieval logic, grammar and science.
For more information, see here.
If you intend to participate (with or without a paper), please let the organizers know by the end of the month (January 31, 2013).
29-31 May 2014, First international conference of the Italian Network for the Philosophy of Mathematics (FilMat), Milan, ItalyLocation: Milan, ItalyDeadline: 31 January 2014
The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.
In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.
For more information, see http://www.unisr.it/filosofia/filmat
We expect to host up to 16 contributed talks by speakers of any nationalities by double-blind review. Submissions of original contributions are invited in any area of philosophy of mathematics connected with the issues of objectivity, cognition, and proof. Submissions by young scholars are especially welcome. Deadline for submission is January 31, 2014.
26 May - 1 June 2014, Language Resources and Evaluation Conference (LREC 2014), Reykjavik, IcelandLocation: Reykjavik, IcelandDeadline: 1 October 2013
ELRA, the European Language Resources Association, is very pleased to announce that the 9th edition of the Language Resources and Evaluation Conference will take place in Reykjavik (Iceland) on May 26-June 1, 2014.
LREC has become the major event on Language Resources (LRs) and Evaluation for Human Language Technologies (HLT). The aim of LREC is to provide an overview of the state-of-the-art, explore new R&D directions and emerging trends, exchange information regarding LRs and their applications, evaluation methodologies and tools, ongoing and planned activities, industrial uses and needs, requirements coming from the e-society, both with respect to policy issues and to technological and organisational ones.
More information will be available soon on: http://www.lrec-conf.org.
A CFP is forthcoming. Estimated submission deadline is October 2013.
22-23 May 2014, Workshop "Objects of All Kinds" (OAK), Lille, FranceSpeaker: Dale Jacquette (Bern), Wim Veldman (Nijmegen)Location: Lille, FranceDeadline: 15 February 2014
The concept of object is one of the most general concepts in philosophy. On the one hand, we may be interested in the general question of what it is to be an object. On the other hand, we face the problem of delineating the criteria of objecthood in connection with specialized topics, giving rise to specific questions on what it is to be an object of a certain kind (such as concrete, abstract, indeterminate, mathematical, etc.). Accepting or refusing things of a certain kind as legitimate objects (of that particular kind) when developing a scientific theory or a philosophical position is likely to have important general repercussions.
In our workshop we wish to investigate the notion of object, both generally and in relation to particular fields of research. The emphasis is on the grounds and consequences of specific views on objects.
For more information, see http://evenements.univ-lille3.fr/oak/ or contact ronzitti at gmail.com or tero.tulenheimo at univ-lille3.fr (for information concerning the workshop) or matthieu.gallais at univ-lille3.fr (for practical information).
We invite submissions presenting original contributions to the above questions in relation to different disciplines within which they can arise (metaphysics, logic, physics, mathematics, theory of knowledge, and so on). Up to 4 contributed papers will be accepted for presentation at the workshop. In addition, up to 2 short student presentations will be accepted. Submission deadline: February 15, 2014
21-23 May 2014, Summer School and Workshop "Abstraction: Philosophy and Mathematics", Oslo, NorwayLocation: Oslo, NorwayDeadline: 15 February 2014
This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.
A limited number of contributed papers will be accepted for presentation. For consideration, please submit an extended abstract or a complete paper, ready for blind review, to oystein.linnebo at ifikk.uio.no by February 15, 2014.
15-16 May 2014, Proof, Computation and Complexity (PCC 2014), Paris, FranceLocation: Paris, FranceDeadline: 3 March 2014
The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.
PCC 2014 is organised as a satellite event of TYPES 2014. Registration for PCC 2014 will be through the TYPES 2014 site, with details to be announced later on. The workshop is scheduled for the full day of Friday, May 16. The participants are encouraged to attend the Thursday sessions of TYPES 2014. If the number and quality of submissions justifies this, then PCC 2014 will start in the afternoon of Thursday, May 15. This will be known by the notification date.
For more information, see http://www.irit.fr/PCC2014/
PCC is intended to be a lively forum for presenting and discussing recent work. We solicit contributions in the fields of PCC, non-exhaustively described above. Deadline for proposing a contributed talk: Monday, March 3, 2014.
CfP special issue of Annals of Mathematics and Artificial Intelligence on "Mathematical Theories of Natural Language Processing"Deadline: 31 July 2014
Since the 1990s, the practice of natural language processing (NLP) has gradually shifted from logic-based symbol manipulation systems first to purely statistical, and more recently to hybrid systems that combine structural and statistical methods. The mathematical theory of hybrid NLP is still not fully mature, and the special issue will lend focus to this expanding research area by including papers from mathematicians, computer scientists, theoretical and computational linguists and AI researchers with an interest in its foundations.
Subjects suitable for the special issue include, but are not limited to, NLP-related advances in
- inductive learning
- spectral techniques
- formal grammars
- commonsense reasoning
- low-pass semantics
- sparse models
- LSTM, deep learning
- compressed sensing
- cvs/distributional theories
Papers which were presented in January 2014 at the ISAIM special session on this topic are especially invited for submission, but other submissions not associated with ISAIM will be given equal consideration for publication. All papers will go through the standard refereeing process of the journal. The submission deadline is July 31 , 2014 . Papers should be submitted through the Springer website for the journal https://www.editorialmanager.com/amai choosing article type Special Issue S79: Mathematical Theories of NLP.
9-11 May 2014, Sixth Models and Simulations Conference (MS6), Notre Dame IN, U.S.A.Location: Notre Dame IN, U.S.A.Deadline: 22 November 2013
MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.
Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).
Papers are invited from both philosophers and practicing scientists. Abstract submission deadline: 22 November 2013.
5-9 May 2014, 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, FranceLocation: Paris, FranceDeadline: 8 October 2013
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://aamas2014.lip6.fr/
AAMAS 2014, the thirteenth conference in the AAMAS series, seeks high-quality submissions of full papers, limited to 8 pages in length. In addition to submissions in the main track, AAMAS 2014 will be soliciting papers in four special tracks (on Robotics, Virtual Agents, Innovative Applications and Challenges and Visions). Electronic Abstract Submission: October 8, 2013 (11:59 PM HST).
5 or 6 May 2014, Logical Aspects of Multi-Agent Systems (LAMAS 2014), Paris, FranceLocation: Paris, FranceDeadline: 22 January 2014
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, etc. The LAMAS workshop is a satellite workshop of AAMAS 2014 that serves the community as a platform for presentation, exchange, and publication of ideas.
For more information, see http://lamas2014.in.tu-clausthal.de
Authors are invited to submit papers in the following three categories: Regular papers (describing original unpublished research), System descriptions (describing new or significantly upgrded systems) or Extended abstracts (reporting interesting and relevant work that has been recently published or accepted for publication). Paper submission deadline: January 22, 2014.
28-30 April 2014, 3rd Conference on Games, Interaction, Reasoning, Learning & Semantics: Evolution and Cooperation (GIRLS'14@LUND), Lund, SwedenLocation: Lund, SwedenDeadline: 7 February 2014
The 3rd Lund Conference on 'Games, Interaction, Reasoning, Learning and Semantics' (GIRLS14@LUND) welcomes researchers in philosophy, cognitive science, economics & linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground. G.I.R.L.S.14@LUND will be themed around Evolution and Cooperation.
For more information, see the GIRLS14@LUND website at http://girls.loriweb.org/.
We welcome submissions that bear upon any of the conference topics. Abstracts should be submitted on or before February 7th, 2014.
27 April - 1 May 2014, 14th International Conference on Relational and Algebraic Methods in Computer Science (RaMICS 2014), Marienstatt im Westerwald. GermanyLocation: Marienstatt im Westerwald. GermanyDeadline: 25 October 2013
Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.
The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.
For more information, see http://mathcs.chapman.edu/ramics2014
We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Deadline for title and abstract submission: October 25, 2013.
24-25 April 2014, PhDs in Logic VI, Utrecht UniversityLocation: Utrecht UniversityDeadline: 15 January 2014
'PhDs in Logic' is a graduate conference organized by local graduate students. Its aim is to bring together PhD candidates and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011) and Munich (2013).
Following the previous meetings, the academic setup of the conference consists of two main parts:
(i) Four established researchers in logic will each give two 45-minute tutorial sessions on a relevant topic in logic;
(ii) About 15 PhD candidates will give 20-minute presentations on their work.
There will also be opportunities for informal gatherings, including a conference dinner.
If you would like to participate, please fill in the registration form on our website by 13 April 2014. For more information, see http://phdsinlogic2014.wp.hum.uu.nl/ or contact phdsinlogic at gmail.com.
PhD candidates interested in presenting a talk should submit a 500-1000 word abstract by January 15, 2014. We welcome PhD candidates in logic with a background in philosophy, computer science, mathematics or linguistics. Exceptions can be made for master students and first-year postdocs.
21-25 April 2014, The International Interdisciplinary Conference on Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014), St. Petersburg, RussiaLocation: St. Petersburg, RussiaDeadline: 1 March 2014
The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.
For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.
For presentation at thematic sessions, the conference PhML-2014 invites the submission of contributed papers on original and unpublished research relating to the interplay between philosophy, mathematics and linguistics. Papers from any tradition and from a wide variety of perspectives are welcome. Submission deadline for contributed papers: March 1st, 2014.
12-13 April 2014, The Second Asian Workshop on Philosophical Logic, Guangzhou, ChinaLocation: Guangzhou, ChinaDeadline: 20 January 2014
The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science.
Further information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/.
All researchers working on various aspects of philosophical logic are cordially invited to submit their papers by the submission deadline of January 20th, 2014.
10-12 April 2014, Mathematical Cultures 3 (MC3), London, U.K.Location: London, U.K.Deadline: 30 November 2013
MC3 is the third in a series of three conferences with associated publications on mathematics as culture and mathematics in culture. The third conference will consider the relation between mathematics and other cultures, whether popular or specialist. Amongst other topics, it will explore the question "why should I study mathematics?" - from perspectives within and outside mathematical cultures.
For more information, see https://sites.google.com/site/mathematicalcultures/conference-3
Abstracts of about 300 words are invited on the place and reception of mathematics in non-mathematical cultures, relations between mathematical and non-mathematical cultures, and especially the cultural significance of mathematics for school pupils, their parents and other advisers at the points when they decide whether or not to study it. Historical analyses are welcome, especially if they offer insight (possibly through contrast) into the experiences and conditions of present-day developed societies. The deadline is 30 November 2013.
9-11 April 2014, 30th British Colloquium for Theoretical Computer Science (BCTCS 2014), Loughborough, U.K.Location: Loughborough, U.K.Deadline: 26 March 2014
The purpose of the BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The conference will consist of invited presentations by distinguished researchers and a number of contributed talks.
Participants at the colloquium are encouraged to present a contributed talk. Abstract submission will be open in January 2014. Deadline for submission of abstracts is 26/03/2014.
5-6 April 2014, 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14), Grenoble, FranceLocation: Grenoble, FranceDeadline: 23 February 2014
Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.
For more information, see http://www.coalg.org/cmcs14
We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. Deadline for submission: 6 January 2014 (abstracts of regular papers) or 23 February 2014 (short contributions).
1-4 April 2014, Second Symposium on History and Philosophy of Programming (HaPoP 2), London, U.K.Location: London, U.K.Deadline: 3 January 2014
A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing. The aim of this symposium is to zoom into one fundamental aspect of computing, that is the foundational and the historical problems and developments related to the science of programming.
The convention is organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) as part of the AISB-50 Annual Convention 2014 to be held at Goldsmiths, University of London, on April 1st-4th 2014.
For more information, see http://www.computing-conference.ugent.be/hapop2.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Full paper submission deadline: 3 January 2014.
1-2 April 2014, Norms, Actions, Games (NAG 2014), London, U.K.Location: London, U.K.Deadline: 30 January 2014
In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties.
The present workshop is motivated by the conviction that the two paradigms to understand norms in strategic interaction are by no means incompatible and can be effectively used together for regulative purposes. The aim of the symposium is to gather researchers looking at norms in strategic interaction from different perspectives, i.e. philosophy, computer science, game theory, logic, fostering discussion and interdisciplinary collaboration. Researchers will be given the opportunity of presenting their work in a stimulating environment, without novelty constraints on their contribution.
For more information please have a look at the workshop website http://www.doc.ic.ac.uk/~pturrini/NAG/
We welcome contributions on the conference topics from all relevant disciplines, with special emphasis on interdisciplinary approaches. The deadline for submission is January 30, 2014, and we will accept short papers/extended abstract (max 3000 words).
13-14 March 2014, Conference "(Re)presenting the Speech of Others", Groningen, The NetherlandsLocation: Groningen, The NetherlandsDeadline: 1 December 2013
There are different ways of reporting what someone else has said. Common forms of speech reports are direct speech (Mary said 'I am sick') and indirect speech (Mary said that she is sick). Pretense and role play are closely related phenomena. Like in direct speech, someone engaging in role play adopts the perspective of another person and produces utterances from that shifted standpoint (I am sick). Another interesting parallel is that children start to use speech reports and to engage in role play at around the same time, namely at two to three years of age. This is well before they pass standard false belief tests (at around four) which are often taken to be the hallmark of Theory of Mind and metarepresentation. Since at least some forms of reported speech exhibit recursion, intensionality, and/or clausal embedding, this developmental gap may shed new light on the debate over the relationship between Theory of Mind and the syntax/semantics of recursive embedding. The aim of the conference is to discuss the cognitive and conceptual relationship of reported speech, pretense and cognitive abilities such as perspective-taking, metarepresentation and Theory of Mind.
For more information, see https://sites.google.com/site/representing2014/
We invite authors to submit an anonymous two-page abstract by 1 December, 2013, for a talk of 20 minutes plus 10 minutes discussion or a poster. We welcome theoretically and empirically oriented contributions addressing some of the conference's topics of interest from the perspectives of (psycho)linguistics, philosophy, psychology or semantics.
13-14 March 2014, Workshop "Empirical Methods of Linguistics in Philosophy",, Dortmund (Germany)Location: Dortmund (Germany)Deadline: 1 December 2013
The "experimental philosophy" movement has recently gained some momentum in the philosophical community. The movement's basic idea is to introduce experimental methods (other than thought experiments) or, more broadly conceived, empirical methods to philosophy. This workshop brings together researchers who implement empirical methods from linguistics in philosophical research.
Although the focus of the workshop is on the use of such methods in philosophy, both philosophers and linguists will be involved. Each of the workshop sessions will open with a paper demonstrating the application of a specific linguistic method in philosophy. This paper will be followed by two peer commentaries, one by a linguist, the other by a philosopher. The primary purpose of the workshop is exploratory: The potential applications, the benefits and the limits of linguistic methods in philosophy stand in need of clarification. The secondary purpose is to create a networking opportunity for researchers who employ (and those who intend to employ) empirical methods from linguistics in philosophy.
For more information, see the workshop page at PhilEvents: http://philevents.org/event/show/11885.
10-14 March 2014, 8th International Conference on Language and Automata Theory and Applications (LATA 2014), Madrid, SpainLocation: Madrid, SpainDeadline: 21 October 2013
LATA is a yearly conference 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 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). LATA 2014 will consist of invited talks, invited tutorials and peer-reviewed contributions
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Paper submission deadline (extended): October 21, 2013 (23:59 CET).
10-12 March 2014, Workshop on Beauty and Explanation in Mathematics (WBEM), Umea, SwedenLocation: Umea, SwedenDeadline: 1 December 2013
The purpose of this workshop is to bring together philosophers, mathematicians, and mathematics educators to study a question which is both relevant and timely for all three groups, namely whether mathematical beauty and mathematical explanation are related.
Our approach is largely empirical- we will develop a set of examples that will help us make necessary distinctions and connections. The central questions of the workshop fall into three classes. One class concerns relations between beauty and visualization in mathematics; the other class concerns relations between explanation and visualization in mathematics. The third, perhaps most intriguing, class deals with the question whether visualization is an essential link between explanation and beauty and mathematics, that is: When some mathematics is both beautiful and explanatory, does the conjunction depend on the presence of a visual element?
In addition to the scientific aims of the workshop, an important goal is to reach across normally rigid disciplinary domains to work on an area of common interest. We have invited top people from respective fields, some of whom know each other, but others (even within the same field) have never read each other s work.
For more information, see the workshop website at http://mathbeauty.wordpress.com/wbem/
If you are interested to contribute a paper to the workshop please submit an abstract, no more than 2 pages, describing with some detail what you would like to present, and whether you would like to present a short (20 minute) or long (40 minute) presentation. Deadline: December 1, 2013.
6-8 March 2014, 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), Angers, FranceLocation: Angers, FranceDeadline: 24 September 2013
The purpose of the 6th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.
Please check further details at the conference website (http://www.icaart.org/)
Papers describing original work are invited in any of the aforementioned areas. Regular Paper Submission deadline: September 24, 2013.
4-7 March 2014, INFTY Final Conference, Bonn, GermanyLocation: Bonn, GermanyDeadline: 17 February 2014
The INFTY Final Conference marks the conclusion of the European Science Foundation Research Networking Programme INFTY - New frontiers of infinity: mathematical, philosophical, and computational prospects. The INFTY network is devoted to the study of a wide range of aspects of Infinity. It principally addresses set theory as the mathematical study of infinity, and applications of set theory within pure mathematics.
The scientific program of the conference features invited on set theory and neighbouring areas by internationally leading experts and young researchers as well as contributed talks. A Hausdorff Afternoon will commemorate the publication of Felix Hausdorff's groundbreaking work Grundzüge der Mengenlehre exactly 100 years ago.
Please see http://www.math.uni-bonn.de/ag/logik/events/inftyfinal/ for more information or email inftyfinal at gmail.com.
The Programme Committee cordially invites all researchers to submit their papers for presentation. The (extended) deadline for submission of abstracts is February 17, 2014.
3-5 March 2014, KNAW Colloquium on Dependence LogicLocation: KNAW, Kloveniersburgwal 29, 1011 JV AmsterdamDeadline: 14 February 2014
The goal of this Academy Colloquium is to establish a basic theory of dependence and independence underlying seemingly unrelated subjects such as bound variables in logic, database theory, the theory of social choice, random variables, Mendelian genetics, causality, and even parts of quantum physics. There is an abundance of new results in this field demonstrating remarkable convergence. The concepts of (in)dependence in the different fields of humanities and sciences have surprisingly much in common and a common logic is starting to emerge.
For more information, see https://www.knaw.nl/en/news/calendar/dependence-logic or https://www.knaw.nl/shared/resources/actueel/bestanden/.
Young researchers, PhD-students and research master students in dependence logic or related fields are cordially invited to send a proposal for a 20 minutes presentation of their research in the Academy Colloquium. Although the colloquium will be focused on dependence logic, the scope of the presentations is wider, and other aspects of mathematical, computer science and philosophical logic pertaining to dependence and independence concepts or team semantics will be accepted as well. Submission deadline: 14 February 2014.
20-23 February 2014, Functions, proofs, constructions, Tuebingen, GermanyLocation: Tuebingen, GermanyDeadline: 1 September 2013
The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the duality of the notion of function itself. Should functions be viewed as procedures - piecewise constituted by instructions - or are functions sorts of black boxes to be identified by what they do - giving a value for each input - rather than by how they do it? Are functions primarily given as the denotation of linguistic predicates (in a Fregean manner), or are they rather an already given domain which we disclose through language?
For more information and a full programme please visit http://ls.informatik.uni-tuebingen.de/FPC/.
We invite philosophers, historians as well as mathematician and computer scientists willing to take part to the workshop to submit the extended abstract (max 2 pages) of a talk suitable for a 45 minutes to 1 hour presentation. Submission Deadline: September 1, 2013.
13-17 February 2014, 5th World Congress of Paraconsistent Logic (WCP5), Kolkata, IndiaLocation: Kolkata, IndiaDeadline: 1 September 2013
This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world.
All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplinary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics.
For more information, see http://www.paraconsistency.org/wcp5.html
All talks related to paraconsistent logic are welcome. Artistic works related to paraconsistency are also welcome. The deadline for submission is September 1st, 2013.
12-14 February 2014, Colombian Conference on Logic, Epistemology and Philosophy of Science (PHILOGICA III), Bogota, ColombiaLocation: Bogota, ColombiaDeadline: 15 November 2013
The conference is a biennial forum for new work in all areas of analytic philosophy, with special emphasis on logic, epistemology, and the philosophy of science.
For more information, please visit our website: http://filosofia.uniandes.edu.co/ms/philogicaIII/index.php?ac=en&id=call
The Programme Committee cordially invites all researchers to submit their papers for presentation. The time allocated for selected presentations is 40 minutes, including discussion. The submission deadline is November 15, 2013.
The best paper submitted by a young scholar will be awarded the Philologica Prize (including $500) during the closing ceremony of the conference.
6 - 9 February 2014, International Conference on Distributed Computing and Internet Technology 2014 (ICDCIT 2014), Bhubaneswar, IndiaLocation: Bhubaneswar, IndiaDeadline: 30 August 2013
Established in 2004, the ICDCIT conference series has become a a primary international forum for the presentation of state-of-the-art results in distributed computing and internet technologies, and their application in society, economy and governance; with proceedings published by Springer in the LNCS volumes.
For more information, see http://www.icdcit.ac.in/.
ICDCIT 2014 solicits original papers contributing to the foundations and applications of Distributed Computing and Internet Technology in the following broad areas: Distributed Computing, Internet Technologies and Societal Application. Abstract submission deadline: 30 August 2013
27-28 January 2014, AISB Workshop on Modelling Organisational Behaviour and Social Agency, Bournemouth, U.K.Location: Bournemouth, U.K.Deadline: 3 November 2013
The Society for the Study of Articial Intelligence and the Simulation of Behaviour (AISB) is organizing a Workshop on Modelling Organisational Behaviour and Social Agency. The event is hosted by Bournemouth University.
Agent-based models (ABMs) allow to observe the complexity of a system's interactions in the making. This is of interest for the social sciences because of a presumed ontological correspondence of agents with the atoms of social life. An agent can be anything from states to socio-cultural structures, to the environment. This methodological vagueness can be the scrutinised with the theoretical question of what is the basic unit for the analysis of social systems in-between culture, organisation, interactions, and the body. This is of particular relevance for the analysis of organisations, and hence we would like to bring together a group of people that is interested in any aspect of ABM of social agents in organisations.
For more information, see http://www.aisb.org.uk/index.php/news/82-bulletin/
We invite submissions that seek to examine the applications, structure, how-to, potentials, and philosophical and theoretical underpinnings of ABMs applied to organisational behaviour and social agency. The workshop welcomes contributions from any discipline. Abstracts should be submitted by November 3, 2013.
23-25 January 2014, Days in Logic 2014, Braga, PortugalLocation: Braga, PortugalDeadline: 12 January 2014
Days in Logic 2014 will take place in January 23-25 in Braga (north of Portugal). There will be short courses by Mário Edmundo (UAberta), Luís Antunes (UPorto), Michael Rathjen (ULeeds) and Alex Simpson (UEdinburgh). The meeting includes sessions of contributed talks of 25 minutes each.
For more information, see http://w3.math.uminho.pt/~luis/DiL2014/
Authors wishing to give a talk at the meeting are requested to submit an abstract by January 12, 2014.
18-19 January 2014, 7th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, U.K.Location: Cambridge, U.K.Deadline: 15 November 2013
Keynote speakers this year are Kit Fine (NYU) & Ofra Magidor (Oxford).
Here is a link to last year's conference website: http://www2.phil.cam.ac.uk/news_events/recent_events/camgradphilconf_2013.html
We invite papers from graduate students, or those who have recently completed their PhD, on any topic in the Philosophy of Mathematics and Logic, broadly construed. Papers will have respondents, and will be followed by open discussion. The deadline for receipt of submissions is the 15th November 2013.
13-16 January 2014, Modeling experiencers in natural language semantics (ISLA 2014 workshop), Tezpur, IndiaLocation: Tezpur, IndiaDeadline: 22 October 2013
There is a long-standing tradition of using logical and, more specifically, model-theoretic tools in the analysis of natural languages. Building on this tradition, this ISLA-2014 workshop aims at addressing one specific issue that has been the topic of discussion lately in the areas of formal semantics, applied logic, computational linguistics, and philosophy. The issue at stake is the notion of *experiencer*, across languages and across linguistic categories.
In addressing questions concerning experiencers, our workshop aims at reaching a better understanding of the nature of argument structure in natural language, which we take to be a key element in understanding the logical patterns that linguistic constructions give rise to, and in modeling the logic of natural language. Our interdisciplinary workshop will provide a platform for a fruitful exchange between those working in foundational areas in logic and those who are interested in the applications of logic to natural languages.
For more information, see http://parles.upf.edu/llocs/bgehrke/experiencers2014/
We invite abstracts for 40-minute presentations (30 + 10) to be submitted by October 22 (extended deadline).
13 January - 14 February 2014, Mathematical Structures of Computation, Lyon, FranceLocation: Lyon, FranceDeadline: 4 January 2014
The weeks Mathematical Structures of Computation are a scientific programme organized in Lyon. The central theme of this five-weeks session is the notion of computation. It will be developed under several aspects: algebraic computation, certified numeric computation, execution of concurrent processes, etc. We illustrate this crossed enrichment between Mathematics and Computer Science through five workshops about of these expanding research fields.
Registration for one or several of these workshops is free, but recommended, and can be performed until January 4th, 2014. For more information, see http://smc2014.univ-lyon1.fr/
6-17 January 2014, Fifth Indian School on Logic and its Applications(ISLA 2014), Tezpur, IndiaLocation: Tezpur, IndiaDeadline: 28 June 2013
ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.
The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.
The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.
The ISLA programme committee invites proposals for workshops for the School, in the broad interdisciplinary area connecting logic and the foundations of mathematics with artificial intelligence, computing science and philosophy. The objective is to bring before students and faculty an active research theme. Deadline for workshop proposals (extended): June 28, 2013
19-20 December 2014, Naming Matters: Workshop on the Logic of Proper Names, Stuttgart, GermanyLocation: Stuttgart, Germany
"Naming Matters" is a workshop with the world's leading researchers on proper names, the Stuttgart Circle for logic, and the Student Representatives of Philosophy of the University of Stuttgart. Speakers: Hans Kamp, Artemis Alexiadou, Tillmann Pross, Tomoo Ueda, Hazel Pearson, Jonathan Mai. Language: English/ German.
Participation is free of charge and registration is open to anyone. Visit http://www.namingmatters.org for more information (including program and abstracts) or to register (Deadline 17th of December), or contact mail at namingmatters.org.
16 December 2014, Foundationalist epistemology: Bolzano, Frege, HusserlLocation: Lipsius-building, room 002, Cleveringaplaats 1, Leiden
Speakers will be Stewart Shapiro (Ohio State University), Göran Sundholm, Maria van der Schaar, and Ansten Klev.
For more information, see http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/
13 December 2014, Master class The biology of Language: Evolution, Brain, Development, KNAW, Kloveniersburgwal 29, 1011 JV AmsterdamLocation: KNAW, Kloveniersburgwal 29, 1011 JV Amsterdam
Language serves as a cornerstone for human cognition, yet much about its evolution remains puzzling. Recent research on this question parallels Darwin's attempt to explain both the unity of all species as well as their diversity. What has emerged is that the unified nature of human language arises from a shared, species-specific computational ability, one with identifiable correlates in the brain, that has remained fixed since the origin of language about 100 thousand years ago. At the same time, the nature of variation from language to language arises historically in ways similar to biological variation, and can be modelled as such.
For more information, see http://biologyoflanguage.wp.hum.uu.nl/registration/
10 December 2014, The 1st International Workshop for Methodologies for Research on Legal Argumentation (MET-ARG 2014), Krakow, PolandLocation: Krakow, Poland
The aim of the workshop is to provide a space for exchange of methodological ideas concerning the research on legal argumentation from three perspectives: AI and Law, argumentation theory and legal theory. Since a thorough discussion of scientific aims and adopted methodologies is needed in this field, our main motivation is to discuss some perspectives of cooperation and mutual inspiration between these three research areas in order to develop more effective, accurate and scientifically adequate theories and models of legal argumentation. This may lead to establishing of interdisciplinary research projects related to legal argumentation.
MET-ARG is held in conjunction with the CMNA 14 workshop and is organized under auspices of the ArgDiaP organisation. At the workshop eight position papers will be presented by key specialists in the fields of AI and Law, argumentation theory and legal theory, which will be followed by a panel discussion "Force of Legal Arguments: Contemporary Perspectives and Methods" to which all the workshop's participants will be invited.
For more details, please visit the website: http://argdiap.pl/
5-7 December 2014, Aesthetics in Mathematics, Norwich, U.K.Location: Norwich, U.K.
It is a common thought that mathematics can be not only true but also beautiful, and some of the greatest mathematicians have attached central importance to the aesthetic merit of their work. Many have derived aesthetic pleasure from mathematical research, pointing out the incomparable beauty and elegance of particular theorems, proofs and theories. As the French mathematician and theoretical physicist Henri Poincaré put it, mathematical beauty is a "real aesthetic feeling that all true mathematicians recognise". Others have gone further, recognising mathematical beauty not only as a well-known phenomenon, but as one of the key motivations behind the formulation of mathematical proofs and as a criterion for choosing one mathematical theorem over another. Thus, Hermann Weyl famously declared: "My work always tried to unite the true with the beautiful, but when I had to choose one or the other, I usually chose the beautiful".
This conference seeks to address questions that arise out of this tendency, prevalent among mathematicians, to call theories, proofs and definitions ~beautiful~ or ~ugly~ and to judge them on the basis of aesthetic standards.
28-29 November 2014, "The Semantics/Pragmatics Distinction and Philosophical Methodology", Zuerich, SwitzerlandLocation: Zuerich, Switzerland
The primary aim of the conference is to examine the purpose of the semantics-pragmatics distinction and the arguments referred to in order to defend a particular account of the distinction.
The conference intends to address the following questions: What is the function of the semantics-pragmatics distinction? Are the different participants in the debate trying to account for the same distinction? On which basis, i.e. referring to what kind of arguments, can a particular account of the distinction between semantics and pragmatics be defended?
22-23 November 2014, Workshop on nonstandard modals, Leeds, EnglandLocation: Leeds, England
The University of Leeds will be hosting a workshop focused on recent linguistic and philosophical work on modality.
The list of speakers includes:
Simona Aimar (UCL/Columbia)
Fabrizio Cariani (Northwestern U)
Paul Egre (IJN, Paris)
Valentine Hacquard (U of Maryland)
Daniel Rothschild (UCL)
Malte Willer (U of Chicago)
More information is available at: http://www.personal.leeds.ac.uk/~phlps/modals/. Registration is free, but places are limited. If you're interested, please email the organizer at paolosantorio at gmail.com.
19-23 November 2014, 56th Students' Conference on Linguistics (StuTS 56), University of Hamburg, GermanyLocation: University of Hamburg, GermanyCosts: 30 Euro
The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.
The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.
First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.
10-14 November 2014, Workshop "Logics for Social Behaviour", Leiden, The NetherlandsLocation: Leiden, The Netherlands
This workshop is aimed at starting new scientific collaborations between (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics, and (b) researchers in social choice and judgment aggregation interested in applying logical methods.
While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.
Towards this goal, rather than displaying the standard organization, the present workshop is structured around three types of activities: tutorial sessions, discussion sessions and work sessions.
There is a limited number of places still available. If you are interested in participating in the workshop, please contact one of the organizers preferably no later than June 10, 2014. For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650&venue=Oort.
5 November 2014, Workshop "Object and property in logic, language and metaphysics", Birmingham, EnglandLocation: Birmingham, England
* David Liggins (Manchester), "Propositions and "that"-clauses".
* Jessica Leech (Sheffield), "Absolute necessity".
* Jonathan Payne (Institute of Philosophy), "Quantification and the neo-Fregean conception of object".
For more information, see http://philevents.org/event/show/15596
29-30 October 2014, International Colloquium "The Philosophers and Mathematics", Lisbon, PortugalLocation: Lisbon, Portugal
The Philosophers and Mathematics is an international colloquium organised by Hassan Tahiri, Center for the Philosophy of Science of the University of Lisbon, that takes place on 29th and 30th October 2014, at the Faculty of Sciences of the University of Lisbon, under the FCT research project "Argumentation and scientific change. A case study of how Ibn al-Haytham al-Shukuk changed the course of Astronomy forever". The Colloquium is organised in honour of Prof. Roshdi Rashed.
27-30 October 2014, 1st ESSENCE Autumn School, Ischia, ItalyLocation: Ischia, Italy
The School offers an interdisciplinary programme of lectures and tutorials from experts in various areas of Artificial Intelligence and linguistics that study evolving and negotiated meaning in natural and artificial systems, including knowledge representation and ontologies, multiagent systems, language evolution, dialogue systems.
The registration deadline is 5 October 2014. For more information, see https://www.essence-network.com/essence-events/autumnschool/
24 October 2014, Workshop "Inconsistencies in Scientific Reasoning", Gent, BelgiumLocation: Gent, Belgium
"Inconsistencies in Scientific Reasoning" is a one day workshop organized by the Centre for Logic and Philosophy of Science (CLPS) at Ghent University (http://logica.ugent.be/centrum). The workshop aims at exploring two closely related issues. First, the descriptive question, how frequent and how significant inconsistencies in scientific reasoning are. This gives rise to the second question, what normative conclusions we can draw from such historical analyses. The latter issue concerns the methodological standards of scientific inquiry, as well as the question whether classical logic is sufficient for the explication of scientific reasoning, or whether specific non-classical logics are needed to this end.
For more information, see http://www.philosophy.ugent.be/isr
24-25 October 2014, Inductive Logic and Confirmation in Science II, Salt Lake City UT, U.S.A.Location: Salt Lake City UT, U.S.A.
This workshop is addressed to all researchers (early and not so early career) who have an interest in inductive logic and confirmation theory as they relate to science and the philosophy of science. PhD students are particularly encouraged to participate. The workshop is free and open to anyone. If you plan to attend, please register by simply dropping an email to the organizers with your name and affiliation.
For more information, see http://jonahschupbach.com/ILCS/
23-24 October 2014, Lindström LecturesSpeaker: Joan Moschovakis & Yiannis MoschovakisLocation: University of Gothenburg, Sweden
The Department of Philosophy, Linguistics and Theory of Science (FLOV) at the University of Gothenburg launched an annual lecture series last year to celebrate the singular achievements of Per (Pelle) Lindström, former Professor of Logic at the department. The Lindström Lecture series was inaugurated last year by Wilfrid Hodges.
We are pleased to announce that this year's Lindström Lectures will be delivered by Joan Moschovakis and Yiannis Moschovakis October 23 - 24, 2014. The Public Lectures will be delivered on October 23 (15:15--18:00), and the Research Lectures will be delivered on October 24 (13:15--17:15).
You can access the latest information (as well as the link for last year's lectures) on the homepage for the Lindström Lectures below:
http://www.flov.gu.se/english/research/logic/lindstrom-lectures/. For more information, please contact ali.enayat at gu.se
13-16 October 2014, School on Cryptographic Attacks, Porto, PortugalLocation: Porto, PortugalCosts: stipends available
The goal of the CryptoAction School on Cryptographic Attacks is to present the state of the art on uncovering and exploiting vulnerabilities of cryptographic algorithms and protocols, both at the theoretical and practical levels.
For more information, see http://attackschool.di.uminho.pt/
8 October 2014, Workshop in Honour of Hans Kamp, Nancy, FranceLocation: Nancy, France
Hans Kamp (Johan Anthony Willem Kamp) is a Dutch philosopher, linguist and logician. His work in formal semantics, most notably his Discourse Representation Theory, is widely used both in linguistics and in natural language processing.
A workshop in honor of Hans Kamp will be held on the occasion of the award of a Doctor Honoris Causa degree from the University of Lorraine. The workshop will focus on discourse semantics, especially on issues of its structure and dynamics, based on DRT.
There is no fees, but you need to be registered. Program and registration are available here: http://hk-workshop.loria.fr
29-30 September 2014, Summer School on Post-Quantum Cryptography, Waterloo, Ontario, CANLocation: Waterloo, Ontario, CAN
The Post-quantum Cryptography Summer School is a two-day program focused on cryptography in a quantum era.
The Post-quantum crypto summer school aims to provide an overview and introduction to the main approaches to providing cryptographic tools that may be safe against quantum algorithmic attacks. The target audience is students and other researchers conducting or interested in conducting research related to designing, testing or deploying quantum-safe cryptography.
The summer school will be followed by the PQCrypto 2014 conference (October 1-3, 2014). Students who come to the summer school are encouraged to attend the conference.
For more information, see http://pqcrypto2014.uwaterloo.ca/summer-school/
29 September 29 - 2 October 2014, Second International Wormshop on Proof Theory, Modal Logic and Reflection Principles, Mexico CityLocation: Mexico CityCosts: Students and Postdocs $100/$130, others $160/$200 (early/late registration)
The second edition of the conference series Proof Theory, Modal Logic and Reflection Principles (formerly Proof Theory and Modal Logic) will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.
A recent approach to proof theory uses techniques from 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.
The programme will include both tutorials and presentations of new results. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration.
For more information, see http://personal.us.es/dfduque/PMR/
22 September 2014, Concept Invention, Generation, Adaptation, and Representation 2014, Rio de Janeiro, BrazilLocation: Rio de Janeiro, Brazil
Concepts, their acquisition, representation, generation, and adaptation stand in the focus of research in several different areas spanning a very diverse range of fields and disciplines: From artificial intelligence and computational creativity, through cognitive science, psychology and the learning sciences/pedagogics, to theoretical and formal philosophy. In this workshop, we want to shed light on several different key aspects of a concept life cycle.
For more information, see http://cogsci.uni-osnabrueck.de/~cigar/
18-20 September 2014, International Conference "Modal Epistemology and Metaphysics", Belgrade, SerbiaLocation: Belgrade, Serbia
Modal epistemology explores the possibilities and boundaries of our modal knowledge, primarily the knowledge of metaphysical possibility and of metaphysical necessity. Until recently, the dominant method of dealing with this topic consisted in investigating to what extent conceivability can be a guide for assessing metaphysical modality. However, nowadays what might be called abductivist turn has shifted the focus from conceivability to the sort of the evidential base regarding metaphysical modalities as such.
In view of the last fact, the aim of the conference is, on the one hand, to deepen our understanding of the nature of metaphysical modality in order to find out what is the evidential base that any good theory of modal epistemology should explain, and, on the other hand, to establish how flexible are competing theories of modal epistemology in explaining the nature of modal knowledge.
Entrance is free. For further information see https://sites.google.com/site/philosophyinbelgrade/events/future-events/ or contact Mr. Dusko Prelevic (dprelevic at yahoo.com) or Mr. Milos Arsenijevic (marsenij at f.bg.ac.rs).
15-19 September 2014, 2nd IAOA Summer School on Ontological Analysis, Vitoria, BrazilLocation: Vitoria, Brazil
Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) 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, and these experts will engage in open discussions with each other as well as interact with the participants.
The school is open to students, researchers and practitioners. Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.
Visit the web site of the school for more information: http://iaoa.org/isc2014/.
15-19 September 2014, Continuity, Computability, Constructivity: From Logic to Algorithms (CCC 2014), Ljubljana, SloveniaLocation: Ljubljana, Slovenia
CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.
To view the programme and to register please visit http://ccc2014.fmf.uni-lj.si/
14-20 September 2014, Set Theory Workshop & Thematic Session, , Bedlewo & Poznan, PolandLocation: Bedlewo & Poznan, Poland
We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.
We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.
8-12 September 2014, Seventeenth International Conference on Text, Speech and Dialogue (TSD 2014), Brno, Czech RepublicLocation: Brno, Czech Republic
The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.
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 , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.
6 September 2014, Axiomatic Theories of Truth, Neuchatel, SwitzerlandLocation: Neuchatel, Switzerland
The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) organises a one-day conference devoted to AXIOMATIC THEORIES OF TRUTH on Saturday the 6th of September in Neuchatel (Switzerland).
The following speakers have confirmed their venue
Sebastian Eberhard (Bern, Paul Bernays Award 2013)
Volker Halbach (Oxford)
Leon Horsten (Bristol)
Philip Welch (Bristol)
You will find more information on our website at http://www.sgslps.ch/events.php.
25-29 August 2014, Summer School in Epistemology and Cognition, Groningen, The NetherlandsLocation: Groningen, The Netherlands
From 25 to 29 August 2014, the Faculty of Philosophy at the University of Groningen will host two co-located summer schools with a common theme: Epistemology and Cognition. One of the summer schools will focus on contemporary philosophy and is co-organized with the Department of Philosophy of the University of Bristol. The other summer school will have a historical focus and is co-organized with the Department of Philosophy of the Radboud University Nijmegen.
The summer schools are intended for graduate students (master's and PhD), post-docs and early-career researchers in philosophy. Participants can follow exclusively one of the two tracks, or mix-and-match tutorials from both tracks according to their interests. Student sessions and scholarships: we'll be offering 4 scholarships of EUR 400 (including registration fee) for the best student papers.
For more information, see http://www.rug.nl/education/summer-winter-schools/summer-schools-2014/
19 August 2014, Computational Creativity, Concept Invention, and General Intelligence 2014, Prague, Czech RepublicLocation: Prague, Czech Republic
Researchers in several communities are trying to understand the basic principles underlying creativity-related abilities (such as concept invention, concept formation, creative problem solving, the production of art, and creativity in all its facets e.g. in engineering, science, mathematics, business processes), working on computational models of their functioning, and also their utilization in different contexts and applications (e.g. applications of computational creativity frameworks with respect to mathematical invention and inventions in engineering, to the creation of poems, drawings, and music, to product design and development, to architecture etc.). In particular, a variety of different methodologies are used in such contexts ranging from logic-based frameworks to probabilistic and neuro-inspired approaches. This workshop shall offer a platform for scientists and professional users within relevant areas, on the one hand presenting actual and ongoing work in research, on the other hand also offering a chance for obtaining feedback and input from applications and use-case studies.
For more information, see http://cogsci.uni-osnabrueck.de/~c3gi/
18-22 August 2014, Workshop on Sociolinguistics and Network Games (SLANG), Tübingen, GermanyLocation: Tübingen, Germany
The ESSLLI-2014 Workshop 'Sociolingiostics and Network Games' provides a platform of new research on computational models of language use, language change and language contact. It focuses computational and simulation models of artificial multi-agent societies, particularly models that combine (i) techniques from network theory to build and analyze artificial social environments and (ii) decision/game theory to model (linguistic) behavior of its members.
For more information, see http://www.sfs.uni-tuebingen.de/~roland/SLANG/
28 July - 8 August 2014, Summer School on "Individuals and Indeterminacy", Bamberg (Germany)Location: Bamberg (Germany)
The University of Bamberg Philosophy Department together with the Forum Theoretical Philosophy will be hosting the second Summer School in Theoretical Philosophy. Our topic this year will be "Individuals and Indeterminacy. Perspectives in Contemporary Ontology" and we are looking forward to an excellent program with some of the world~s most distinguished scholars in the field. Kit Fine (NYU), Peter van Inwagen (Notre Dame), Peter Simons (Trinity College Dublin) and Gabriele De Anna (University of Bamberg) will present their current research and discuss their recent work with graduate students from all over the world.
The deadline for applications is April 30, 2014. For more details and information on our summer school, please refer to http://www.summerschool-bamberg.de/.
28 July 28 - 1 August 2014, UbiCrypt Summer School on Discrete Logs & Functional Encryption, Ruhr-University Bochum, GermanyLocation: Ruhr-University Bochum, GermanyCosts: 100 Euro
The UbiCrypt Summer School "crypt@b-it" offers the opportunity for interested Postdocs, PhD and Master students to learn more about current research questions on cryptography and cryptoanalysis. In cooperation with the Bonn-Aachen International Center for Information Technology we offer a diversed program with various talks and exercises.
This year's invited speakers are:
Gary McGuire (UCD Schol of Mathematical Sciences, Dublin) | Discrete Logs
Hoeteck Wee (École normale supérieure Paris) | Functional Encryption
For more information, see http://www.ubicrypt.hgi.rub.de/veranstaltungen/summerschool2014/
27 July - 2 August 2014, Summer school on Mathematical Philosophy for female students, Munich, GermanyLocation: Munich, Germany
The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to 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. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including theories of individual and collective decision-making, agent-based modeling, and epistemic logic. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. 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 application is 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/
27-29 July 2014, Sixth International Summer School in Cognitive Sciences and Semantics: Quantum computing, logic, cognition, Latvia, RigaLocation: Latvia, RigaCosts: 100 EUR (covers meals and coffee breaks)
The summer school will consist of 3 intensive days of lectures, seminars, and group discussions. The course addresses a variety of theoretical and foundational issues in quantum computing. It will focus on the logical and physical scope of quantum computing. The course is primarily intended for graduate students in Cognitive Science, Computer Science, and Mathematics
Topics to be addressed include the physical structure of quantum information, strategies and issues in experimental approaches to the physical representation and control of quantum information, mathematical models of quantum computing and quantum algorithms, diagrammatic patterns in quantum computing, and the relation of quantum computing computational models of cognition.
Applications should be submitted by May 10th (extended deadline). For more information, see http://www.lu.lv/isscss/
24-27 July 2014, Reasoning Conference 2014, Konstanz, GermanyLocation: Konstanz, Germany
The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.
Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjackson at me.com. The deadline is February 15th 2014.
Further information about the conference: http://www.reasoningconference.net/conference
21-23 July 2014, INEM/CHESS Summer School in Philosophy and Economics, San SebastianLocation: San Sebastian
The International Network for Economic Method (INEM) and Centre for Humanities Engaging Science and Society (CHESS, Durham) will be holding an International Summer School in Economics and Philosophy for graduate students and researchers.
The Summer School is part of the UPV/EHU XXXII Summer Courses and XXV European Courses and continues the series initiated by the Urrutia Elejalde Foundation (UEF).
For more information, seehttp://chess-centre.org/index.php/chess-events/
17-18 July 2014, 2014 Summer School on Computational Logic, Vienna, AustriaLocation: Vienna, Austria
Students interested in research in computational logic are invited to attend the 2014 Summer School on Computational Logic. The 2-day summer school is suited for those who wish to learn advanced topics in computational logic and logic programming. The summer school will consist of four half-day tutorials on the following topics: Probabilistic Logic Programming (C.R. Ramakrishnan), Answer Set Programming (Martin Gebser), Horn Clauses and Verification (Andrey Rybalchenko), and Constraint Logic Programming (Roman Bartak).
A number of scholarships for students that cover local expenses for the duration of the summer school are available. To apply, send a short vita along with a letter of recommendation for the faculty advisor to Prof. Gopal Gupta at gupta at utdallas.edu by May 31st. The letter should also certify that the applicant is a full-time student. Significant travel support is also available through the FLoC organization.
For more information, see http://utd.edu/~gupta/summer_school.html
16-19 July 2014, Bolzano in Prague 2104, Prague, Czech RepublicLocation: Prague, Czech Republic
An International Bernard Bolzano meeting in Prague, Villa Lanna in mid-July (16-19) 2014 will be co-organised by the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the International Bernard Bolzano Society.
The community of Bolzano scholars will be present en masse at the meeting. If you have done any work on BB's thought (plan to, beginning to venture into), this is the place to be! Special Guest: Johan van Benthem.
For more information, see http://bolzano2014.wordpress.com/about/
13 July 2014, Isabelle Workshop and Tutorial, Vienna, AustriaLocation: Vienna, Austria
Researchers attending the Vienna Summer of Logic who are interested in interactive theorem proving, are invited to consider attending either of these two parallel events:
- A half-day hands-on tutorial on Isabelle for novices. Amongst other things you get to try the famous Sledgehammer.
- A full-day Isabelle workshop, including a talk by Larry Paulson on his verification of Goedel's two incompleteness theorems.
For details see http://vsl2014.at/isabelle. For the workshop program click on PROGRAM.
12-13 July 2014, FLoC workshop on proof complexity, Vienna, AustriaLocation: Vienna, Austria
Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F and a proof system P, what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions; and they bare tight relations to intricate theoretical questions from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT solving.
The workshop will be part of the Vienna Summer of Logic and will be affiliated with the conferences SAT'14 and CSL/LICS'14.
For more information, see http://vsl2014.at/pages/PC-index.html
9-24 July 2014, Vienna Summer of Logic, Vienna, AustriaLocation: Vienna, Austria
In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.
The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014
*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.
At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."
The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.
To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.
For more information: http://vsl2014.at
9-10 July 2014, BELUX2 Colloquium: "Epistemic normative reasons", Luxembourg, LuxembourgLocation: Luxembourg, Luxembourg
The workshop is the second in a series of workshops, the BELUX Colloquia in Epistemology, that we organize in an alternating way at the KU Leuven and the University of Luxembourg.
We would like to investigate what normative epistemic reasons there might be and how we are to conceive of them, in a teleological or deontic or ... fashion. Talk of normative reasons in practical philosophy is quite well understood, to a certain extent. But normative epistemic reasons are not yet clarified equally well. How the concept(s) of normative epistemic reasons might be defined, and how these reasons might be explained, and explain other things, is the central question of this workshop.
8-12 July 2014, Summer School: Interdisciplinary Analysis of Voting Rules, Caen, FranceLocation: Caen, France
This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.
For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014
3-4 July 2014, Seventh Workshop on Computability Theory (WCT 2014), Prague, Czech RepublicLocation: Prague, Czech Republic
A Workshop on Computability Theory will be held in Prague on July 3 and July 4, 2014. The workshop will take place in the week between the end of the conference Computability in Europe 2014 Language, Life and Limits in Budapest and the start of the Vienna Summer of Logic.
This will be the seventh in the Workshops on Computability Theory (WCT) Series. The WCT series onsists of short satellite workshops that are meant to attract more computability theorists to the meeting that they are associated with, and to provide a relaxed environment for specialists in all areas of computability theory to give full length talks on their recent work.
More information about the workshop can be found here http://www.math.uconn.edu/~damir/wctprague/
1 Jul 2014, Workshop "Categories and Logical Syntax"Location: Room 0.05, PN van Eyckhof 2, Leiden University, Leiden, The Netherlands
10.15--11.15 Stefania Centrone (Oldenburg) `On Husserl's view of a threefold stratification of formal logic'
11.30--12.30 Ansten Klev (Leiden) `Husserl's conception of pure grammar' 13.30--14.30 Clinton Tolley (San Diego) `From forms of acts to forms of contents: the relation between Kant's formal and transcendental logics'
14.45--15.45 Stefan Roski (Essen) 'Logical deducibility in Bolzano'
16.00--17.00 Thomas Brouwer (Aberdeen) `Logical expressivism, or What is logical structure the structure of?
Questions may be addressed to anstenklev at gmail.com
30 June 2014, KNAW meeting "Arithmetic: the teaching, the course and the testing", Trippenhuis, Kloveniersburgwal 29, 1011 JV, Amsterdam, the NetherlandsLocation: Trippenhuis, Kloveniersburgwal 29, 1011 JV, Amsterdam, the Netherlands
Math tests held at secondary schools have generated a lot of discussion about arithmetic, and the testing and teaching thereof. Five years after a KNAW report mathematicians, psychologists and didacticians take stock.
For more information, see https://www.knaw.nl/nl/actueel/agenda/themabijeenkomst-rekenen-en-rekenonderwijs
23-24 June 2014, Third Reasoning Club Conference, Canterbury, U.K.Location: Canterbury, U.K.
The Reasoning Club Conference is organised by the Reasoning Club, a network of of research institutes, centres, departments and groups whose research focusses on topics connected to reasoning, inference and methodology broadly construed. The purpose of the conference is to bring together scholars, and students, working on reasoning in a number of different areas, such as philosophy, formal epistemology, psychology, and mathematics.
Keynote Speakers: Katie Steele (LSE) and Richard Pettigrew (Bristol).
Registration is free. However, if you would like to attend, please send an email to reasoningclub.kent at gmail.com by June 1st, 2014. For more information, please consult the conference website at http://reasoningclubkent.wordpress.com/.
18-25 June 2014, NIP Summer School: Foundations of Logic and Mathematics, Aberdeen UKLocation: Aberdeen UKCosts: £395 including seven nights accommodation on campus
The Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.
Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.
16-18 June 2014, Journées sur les Arithmétiques Faibles 33 (JAF33), University of Gothenburg, SwedenLocation: University of Gothenburg, Sweden
The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in Gothenburg, Sweden during 16-18 of June 2014. The meeting will feature invited talks, a tutorial on feasible analysis, and a number of contributed talks. Possible topics include:
Provability and Definability in Arithmetics
Model Theory and Arithmetics
(Un)decidability of Arithmetics
Modelling computations on Logical Theories
Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to: ali.enayat at gu.seFor more information, see http://flov.gu.se/english/research/logic/jaf33 or contact rasmus.blanck at gu.se.
9-13 June 2014, Workshop on descriptive inner model theory, Berkeley CA, U.S.A.Location: Berkeley CA, U.S.A.
UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).
See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel (coremodel at berkeley.edu).
7-8 June 2014, Mitchellfest: 70th birthday of William Mitchell, Berkeley CA, U.S.A.Location: Berkeley CA, U.S.A.
June 07 and 08, 2014, UC Berkeley will host a conference honoring William Mitchell on the occasion of his 70th birthday.
See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/MitchellConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel ( coremodel at berkeley.edu ).
5-6 June 2014, 6th British Wittgenstein Society (BWS) Annual Conference: Wittgenstein and Epistemology, Edinburgh, U.K.Location: Edinburgh, U.K.
For more information, see https://sites.google.com/site/bws2014edinburgh/
2-6 June 2014, Workshop "Descriptive Inner Model Theory", Palo Alto CA, U.S.A.Location: Palo Alto CA, U.S.A.
The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).
How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.
If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.
2-20 June 2014, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.
Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php
2-6 June 2014, Logic, Dynamics, and their interaction II, Denton TX, U.S.A.Location: Denton TX, U.S.A.
The RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.
Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtg at unt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.
2-3 June 2014, Workshop on Doxastic Agency & Epistemic Responsibility, Bochum, GermanyLocation: Bochum, Germany
The aim of the workshop is to bring together experts who are working in the areas of doxastic agency, belief-revision theory, epistemic deontologism, and epistemic justification, and to discuss recent advances regarding the interplay between doxastic agency and epistemic responsibility. The workshop addresses questions such as: do we have the same kind of control over our beliefs as we have over our actions, what kind of control do we have over our doxastic attitudes and how is epistemic responsibility related to notions such as epistemic justification and practical responsibility?
There is no registration fee, but the number of participants is limited. If you want to participate in the workshop, please register by writing an e-mail to andrea.kruse at rub.de. For further information visit the website of the workshop: http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html
30-31 May 2014, Workshop on Formal Ethics, Erasmus University RotterdamLocation: Erasmus University RotterdamCosts: free, but registration required
The workshop aims to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy. We encourage graduate students and members of underrepresented groups to submit to this conference.
27 May 2014, Workshop in the Philosophy of Mathematics: "Frege's Real Numbers", Milano, ItalyLocation: Milano, Italy
Invited speakers: Stewart Shapiro (Ohio State University) and Marco Panza (IHPST-CNRS - Paris). Discussants: Alessandro Giordani (Unversità Cattolica del Sacro Cuore), Matteo Plebani (Università della Basilicata).
For more information, see http://filmat-network.com/fregereals/
24-28 May 2014, Ramsey Theory Conference, Denver CO, U.S.A.Location: Denver CO, U.S.A.
The aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.
For more information, see https://portfolio.du.edu/ramsey/
23-25 May 2014, Colloquium and Workshop "Infinity, computability, and metamathematics": celebrating the 60th birthdays of Peter Koepke and Philip Welch, Bonn, GermanyLocation: Bonn, Germany
In the year 2014, Peter Koepke and Philip Welch are celebrating their 60th birthdays, and we wish to celebrate this festive occasion with a scientific workshop in their honour. Peter has been a professor at the University of Bonn for many years; Philip was a Mercator professor in Bonn during the academic year 2002/03. The workshop speakers are students, collaborators, colleagues and friends of Peter and Philip whose research was influenced by them.
For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2014/ or contact schlicht at math.uni-bonn.de
19-23 May 2014, 4th Summer School on Formal Techniques (SSFT14), Atherton CA, U.S.A.Location: Atherton CA, U.S.A.
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 fourth 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 developing 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.
Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are urged to apply early. For more information, see http://fm.csl.sri.com/SSFT14
16 May 2014, NVTI Theory Day 2014Location: Vergaderruimte Utrecht, Pieterskerkhof 23, Utrecht, The Netherlands
The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theoryday. This event consists of a scientific part and a business part. In the business part, members of the NVTI discuss the activities of the NVTI and decide what actions and new activities should be undertaken. The scientific part consists of four scientific contributions which are organized as follows: Four speakers are invited, two speakers from abroad and two domestic speakers.
This year, the talks will be by the following speakers: Erika Abraham (RWTH Aachen University, Germany), Marieke Huisman (University of Twente), Elena Marchiori (Radboud University, Nijmegen) and Peter Bro Miltersen (Aarhus University, Denmark).
For more information, see http://www.nvti.nl/Theorydays.html
15-16 May 2014, Algebra and Coalgebra meet Proof Theory (ALCOP 2014), London, U.K.Location: London, U.K.
The aim of this workshop is to bring together experts in algebra, coalgebra, and proof theory to share ideas and methods. Everybody is welcome to attend the workshop. Giving a talk is by invitation only. This is the fifth issue of this workshop. Previous meetings were held in London, Bern, Prague and Utrecht. This meeting is partially sponsored by the British Logic Colloquium.
Invited Speakers include Samson Abramsky, Michael Rathjen, Sara Negri, Corina Cirstea, Marcelo Fiore and Bart Jacobs. Plus 13 contributed talks.
More details can be found on the workshop webpage: http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html There is no registration fee for attending the workshop, but we need to keep track of numbers. Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May.
14 May 2014, The Significance of PhenomenologySpeaker: Franz Berto, Arianna Betti, Christian Skirke, Julian Kiverstein / Prof. Tim CraneTitle: Workshop on Tim Crane's The Objects of Thought / Lecture by Prof. Tim CraneLocation: Belle van Zuylenzaal / Doelenzaal, UBA (University Library), Singel 425, AmsterdamCosts: None
Crane's The Objects of Thought takes as its starting part the truism that some of the objects we can think about do not exist. This truism however raises a number of ontological puzzles. What is it that we are thinking about when we think about entities that do not exist? Crane defends two seemingly incompatible claims. On the one hand, he argues that reality contains only what exists, and since non-existent entities do not exist, there is no room in reality for non-existents. Crane also argues that we can make true claims about entities that do not exist – we can correctly predicate properties of non-existent entities like Pegasus and Sherlock Holmes. The remainder of the book consists of characteristically careful argument demonstrating how one can, and indeed should, hold both these claims.
The workshop will feature lectures by Franz Berto, Arianna Betti, Christian Skirke, Julian Kiverstein, plus presentations from graduate students, and will be followed by a lecture from Prof. Cranehave as speakers be followed by a lecture from Prof Crane titled "Intentional Identity Revisited"For more information, see http://asca.uva.nl/events/events/content/workshops/2014/05/phenomenology.html or contact j.d.kiverstein at uva.nl
12-23 May 2014, 2014 Spring Course on Epistemic Game Theory, Maastricht UniversityLocation: Maastricht University
Purpose of this course: 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.
This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.
For more information, see http://www.epicenter.name/course
12-16 May 2014, 7th Young Set Theory Workshop, Bedlewo, PolandLocation: Bedlewo, Poland
The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.
YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.
For more information, see http://bcc.impan.pl/14Young/
12 May 2014, Workshop "C.S.Peirce: Logic and Metaphysics", Paris, FranceLocation: Paris, France
This workshop is organized for the centennial of Peirce's death.
For more information, see http://philevents.org/event/show/14202
9-10 May 2014, Colloquium in honour of Rosemarie Rheinwald, Muenster, GermanyLocation: Muenster, Germany
Rosemarie Rheinwald died, all too early, five years ago at the age of 60. She was a professor at the philosophy department of the Universtity of Münster and worked mainly in the fields of philosophy of science, philosophy of language, and logics. Her publications were not large in number, but deep in thought. Her very original and excellent work does not yet seem to have the repercussions it deserves.The convenors wish to help changing this a little bit and honour Rosemarie Rheinwald by discussing some of the main topics she worked on, and relating their own philosophical work to her thoughts and results.
To register, please send an email at your earliest convenience, preferably before April 30, to Claudia.guestrau at uni-muenster.de. For more information, see https://www.uni-muenster.de/imperia/md/content/philosophischesseminar/ (PDF). or contact the local organizer at ulrich.krohs at uni-muenster.de.
9 May 2014, Descriptive Set Theory, Lausanne, SwitzerlandLocation: Lausanne, Switzerland
The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) organises a one-day conference on Descriptive Set Theory on May 9 in Lausanne (Switzerland).
Descriptive Set Theory is the study of the sets of reals that can be explicitly defined or constructed, and so can be expected to have certain properties, such as Lebesgue Measurability, not enjoyed by arbitrary sets. It is a central part of contemporary Set Theory and therefore dealing with major logical concepts, such as definability and undecidability. Prof. Andretta (Universita di Torino) will provide the audience with a gentle introduction to Descriptive Set Theory and its interactions with other parts of mathematics. Prof. Duparc (Université de Lausanne) will then focus on infinite games, a major technique in this field.
For more information, see http://www.sgslps.ch/events.php
5-9 May 2014, 17th International Workshop on Trust in Agent Societies (TRUST 2014), Paris, FranceLocation: Paris, France
The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.
For more information, see https://sites.google.com/site/trustworkshop/trust2014
28 April 2014, Colloquium "Issues in Aristotle's modal ontology, logic and moral epistemology", Helsinki, FinlandLocation: Helsinki, Finland
The Department of Philosophy, History, Culture and Arts Studies at the University of Helsinki is holding a Colloquium on " Issues in Aristotle's modal ontology, logic, and moral epistemology". The colloquium is open to all interested in Aristotle's philosophy and these issues in general.
For more information, see http://helsinginyliopisto.etapahtuma.fi/Default.aspx?tabid=310&id=8921 or contact the organizer Mika Perälä (mika.perala at helsinki.fi).
26-28 April 2014, Third international conference on the History of Logic in China, Tianjin, ChinaLocation: Tianjin, China
The Third International Conference on the History of Logic in China will take place on 26-28 April, 2014, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to advance our larger project, the production of the Handbook of Logical Thought in China, to be published by Springer-Verlag both online and in print in a few years. Many of the presentations will be of material aimed at chapters of the Handbook, for discussion and comment among experts both mainland China and outside.
For more information, see http://holicnet.net/?page_id=324
14-17 April 2014, LMS Lecture series on Games, Trees, Models, Second Order Logic, Foundations of Mathematics, and Dependence, London & Norwich (U.K.)Location: London & Norwich (U.K.)
The London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
1. Games, Trees and Models.
2. Second Order Logic and Foundations of Mathematics.
3. The Mathematical Theory of Dependence and Independence.
There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.
For further information see: http://www.uea.ac.uk/~h020/Jouko.html.
11-12 April 2014, Mathematical Depth Workshop, Irvine CA, U.S.A.Location: Irvine CA, U.S.A.
The Department of Logic and Philosophy of Science at the University of California, Irvine, is pleased to announce a workshop on mathematical depth. In this workshop, we will be examining and discussing examples of mathematics typically judged to be deep (or not deep) in hope of clarifying what's at issue in these judgments.
11-13 April 2014, Research workshop on Logical and Modal Space, New York NY, U.S.A.Location: New York NY, U.S.A.
Everyone is welcome to attend the workshop, and there is no registration fee. If you would like to attend, please register by emailing the organizers. Attendees are encouraged to familiarize themselves with selected background readings in advance of the workshop.
For more information, including selected background readings and a preliminary program, please visit the workshop website at http://users.ox.ac.uk/~jesu2281/workshop/.
22-23 March 2014, Conference celebrating the 60th birthday of Philip Welch, Bristol, U.K.Location: Bristol, U.K.
In celebration of Philip Welch's 60th birthday, a conference will take place on 22-23 March 2014 at the University of Bristol.
Confirmed speakers at the conference are: John Steel (Berkeley), Hugh Woodin (Harvard), Menachem Magidor (Jerusalem), David Aspero (UEA), Peter Koellner (Harvard), Volker Halbach (Oxford), Hannes Leitgeb (München) and Peter Koepke (Bonn).
The meeting is supported by the Heilbronn Institute at Bristol, by the School of Mathematics, and the British Logic Colloquium.
For more information, see http://www.bristol.ac.uk/philosophy/events/2014/220314
21-22 March 2014, Workshop "Respecting Context-dependent preferences", Umea, SwedenLocation: Umea, Sweden
Behavioral science strongly indicates that which alternative we prefer depends on circumstances other than the properties of the alternatives themselves. For example, we are influenced by how alternatives are described, even when different descriptions contain the same information.
Issues raised by this context-dependence of preferences will be discussed in a two-day workshop by the following speakers: Richard Arneson (UC San Diego), Luc Bovens (London School of Economics), Sarah Conly (Bowdoin/Chicago), Jason Hanna (Northern Illinois), Sven Ove Hansson (KTH, Stockholm), Kalle Grill (Umeå), Danny Scoccia (New Mexico State), Robert Sugden (East Anglia) and Torbjörn Tännsjö (Stockholm).
Starts 10.00 Friday 21st (coffee 9.30). Ends 18.00 Saturday 22d. (There are flights from Stockholm Friday morning, returns Sunday morning). Registration required. No fee, free coffee. Dinner Friday, possibly subsidised.
For more information, contact kalle.grill at umu.se.
21-22 March 2014, 2nd Logic and Language Conference, London, U.K.Location: London, U.K.
The Logic and Language Conference is organised every other year by the Institute of Philosophy and the Northern Institute of Philosophy, in turn. The aim of the conference is to showcase cutting edge research in the Philosophy of Logic and Language, and to foster interaction between academics working in these areas both in the UK and abroad. In particular, we aim to give an opportunity to junior philosophers to interact with more senior colleagues working in the same field.
For more information, see http://philosophy.sas.ac.uk/LL2014
21-14 February 2014, 15th Szklarska Poreba Workshop, Szklarska Poreba, PolandLocation: Szklarska Poreba, Poland
This workshop aims at bringing together logicians, linguists and philosophers to explore current strands of research that go beyond traditional research paradigms. This year's topics are "Aspect" and "Meaning in the Brain". However, the workshop is open to any submissions that are related to the fields of linguistics, philosophy of language, (quantum) cognition and psychology as well as probabilistic (Bayesian) models of language and language acquisition.
For registration and submission info go to https://sites.google.com/site/szklarskaporebaworkshop/submission
10 February 2014, Hamburg Set Theory Workshop (HSTW 2014), Hamburg, GermanyLocation: Hamburg, Germany
The Hamburg Set Theory Workshop 2014 is part of the ML Colloquium of the Arbeitsbereich Mathematische Logik und interdisziplinäre Anwendungen der Logik. Everyone is cordially invited to attend. There will be an informal lunch in the student restaurant (Mensa) and an informal dinner.
Speakers include Andrew Brooke-Taylor (Bristol), Merlin Carl (Konstanz), Yurii Khomskii (Vienna) and Wolfgang Wohofsky (Vienna).
For more information, see http://www.math.uni-hamburg.de/spag/ml/HSTW2014/
27-30 January 2014, 4th Bar-Ilan Winter School on Cryptography: Symmetric Encryption in Theory and in Practice, Tel Aviv, IsraelLocation: Tel Aviv, IsraelCosts: free (accommodation not included)
The winter school will study symmetric encryption in theory and in practice. The school will include a study of the theoretical foundations of symmetric encryption on the one hand, and practical constructions and cryptanalysis on the other hand. These two topics will provide a broad basis for all participants. The school will then proceed to study advanced constructions like tweakable block ciphers, format preserving encryption, disk encryption and advanced types of authenticated encryption. Finally, the school will conclude with advanced and recent attacks on symmetric encryption in SSL/TLS, IPsec, SSH and more. The school program includes approximately 24 hours of lectures and a social dinner.
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, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.
Participation is free, but registration is required. Please register by December 15, 2013. For more information, see http://crypto.biu.ac.il/winterschool2014/
27-28 January 2014, Winter School on Rationality, Groningen, The NetherlandsLocation: Groningen, The NetherlandsCosts: E 50,-
On January 27th-28th 2014, the Faculty of Philosophy of the University of Groningen will host a short Winter School aimed at advanced undergraduate students and early-stage graduate students. The theme of the winter school is Rationality, and it will consist of 5 tutorials of 2 sessions each where the topic will be discussed from different viewpoints: theoretical rationality, practical rationality, and the history of the concept of rationality.
Registration deadline: December 15th 2013. As the number of spots is limited, you are encouraged to register early. Scholarship application deadline: December 1st 2013.
For more information, see https://sites.google.com/site/groningenwinterschool/ or contact Catarina Dutilh Novaes at c.dutilh.novaes at rug.nl.
25 January - 1 February 2014, Winter School in Abstract Analysis, Section Set Theory and Topology, Hejnice, Czech RepublicLocation: Hejnice, Czech Republic
The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. The 2014 Winter School will take place between January 25th and February 1st 2014 in Hejnice, Czech Republic. Tutorial speakers for this year are: Antonio Aviles, Jaroslav Nesetril, Dilip Raghavan and Matteo Viale.
Deadline for registration: December 31st (December 11th to apply for financial support). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.
20-31 January 2014, Workshop & Tutorials "Representing Streams II", Leiden, the NetherlandsLocation: Leiden, the NetherlandsCosts: Free
Streams are infinite sequences of symbols that are studied by both mathematicians and computer scientists. Mathematicians are motivated by combinatorial problems that arise from number theory or probability. Computer scientists are motivated by specifying and reasoning about infinite data types and ongoing computations. The workshop will bring together researchers from both disciplines with the aim to learn from each other, exchange ideas and establish collaborations.
Representing Streams II will consist of a tutorial week(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.
For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.
20 January 2014, Board en Consortium meeting `Language in Interaction', ILLC, Science Park 107, Amsterdam, The NetherlandsLocation: ILLC, Science Park 107, Amsterdam, The Netherlands
MoL and PhD defenses
19 December 2014, Master of Logic defense, Gijs Jasper WijnholdsTitle: Categorical Foundations for Extended Compositional Distributional Models of MeaningLocation: Room SP B0.203, Science Park 904, AmsterdamSupervisor: Michael Moortgat and Raquel Fernandez
16 December 2014, Master of Logic defense, Lara van WeegenTitle: Informational cascades under variable reliability assessments: a formal and empirical investigationLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Sonja Smets & Gert-Jan Munneke
28 October 2014, Master of Logic defense, Yuning FengTitle: Constructing variants of the category of partial equivalence relationsLocation: Room B0.207, Science Park 904, AmsterdamSupervisor: Benno van den Berg
29 September 2014, Master of Logic defense, Jessica OlsenTitle: Would You Believe That? The Prerogative of Assent and Utility of DisagreementLocation: Room C1.05, Oudemanhuispoort 4-6, AmsterdamSupervisor: Martin Stokhof
24 September 2014, Master of Logic defense, Michele HerbstrittTitle: Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions.Location: Room F1.15, Science Park 107, AmsterdamSupervisor: M.D. Aloni and F. Roelofsen
22 September 2014, Master of Logic defense, Simon DochertyTitle: A model of type theory in cubical sets with connectionsLocation: Room F1.15, Science Park 105/107, AmsterdamSupervisor: Benno van den Berg
8 September 2014, Master of Logic defense, Guus Willem EelinkTitle: Davidson on belief, truth, and the scepticLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Martin Stokhof
29 August 2014, Master of Logic defense, Justin KrugerTitle: Actions in Social ChoiceLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Ulle Endris
28 August 2014, Master of Logic Defense, Laura MojicaTitle: Anxiety: A Grammatical InvestigationLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Martin Stokhof
28 July 2014, Master of Logic defense, Nikhil MaddiralaTitle: Philosophy of Logical Practice: a case study in formal semanticsLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Benedikt Löwe
7 July 2014, Master of Logic defense, Julian SchlöderTitle: Uptake, Clarification and ArgumentationLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Raquel Fernandez Rovira
7 July 2014, Master of Logic defense, Nadine TheilerTitle: A Multitude of Answers: Embedded Questions in Typed Inquisitive SemanticsLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Maria Aloni and Floris Roelofsen
2 July 2014, Master of Logic defense, Sarah McWhirterTitle: An Automata-Theoretic Perspective on Polyadic Quantification in Natural LanguageLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Jakub Szymanik
30 June 2014, Master of Logic defense, Seyed Mohammad YarandiTitle: Propositional Attitudes and Proper NamesLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Paul Dekker
24 June 2014, Master of Logic defense, Sanne BrinkhorstTitle: On Evolution of CompositionalityLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Michael Franke
24 June 2014, Master of Logic defense, Ciyang QingTitle: Quantitative Social-Cognitive Experimental PragmaticsLocation: Room A1.06, Science Park 904, AmsterdamSupervisor: Michael Franke
20 June 2014, Master of Logic defense, Rachel BoddyTitle: Epistemic issues and collective knowledgeLocation: ILLC Room F1.15, Science Park 107, AmsterdamSupervisor: Alexandru Baltag
20 June 2014, Master of Logic defense, Malvin GattingerTitle: Dynamic Epistemic Logic for Guessing Games and Cryptographic ProtocolsLocation: Room A1.10, Science Park *904*, AmsterdamSupervisor: Jan van Eijck
19 June 2014, PhD defense, Ben RodenhäuserTitle: A Matter of Trust: Dynamic Attitudes in Epistemic LogicLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Frank Veltman and Rineke VerbruggeCopromotor: Sonja SmetsFor more information, please contact b.rodenhaeuser at gmail.com
17 June 2014, PhD defense, Hadil KarawaniTitle: The Real, the Fake, and the Fake Fake in Counterfactual Conditionals, CrosslinguisticallyLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Josep Quer and Frank Veltman
For more information, contact f.veltman at uva.nl
9 May 2014, PhD defense, Lodewijk MunsTitle: Classical Music and the Language AnalogyLocation: Institut für Musikwissenschaft und Medienwissenschaft der Humboldt-Universität zu Berlin, Am Kupfergraben 5, Berlin.Promotor: Hermann Danuser and Remko Scha
This thesis investigates the relation between language and Western classical music. It argues that the linguistic notions of syntax, discourse, and quotation are relevant for an understanding of this musical style. It also observes that both music and language display hierarchical structures that may be described as recursive. This perspective allows the theorist to reduce complexity to underlying uniformity – but it may also give rise to false abstractions, and to theoretical constructs of dubious explanatory value. This is observed in the musical theories of Hugo Riemann, Heinrich Schenker, and, most recently, Lerdahl & Jackendoff, as well as in Noam Chomsky's linguistic Minimalism.
For more information, consult Lodewijk Muns (lmuns at xs4all.nl).
27 March 2014, PhD defense, Harald BastiaanseTitle: Very, Many, Small, Penguins: Vaguely Related TopicsLocation: Agnietenkapel, Oudezijds Voorburgwal 231. AmsterdamPromotor: Frank Veltman
21 February 2014, Master of Logic defense, Andreea AchimescuTitle: Games and Logics for Informational CascadesLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Alexandru Baltag and Joshua Sack
17 February 2014, Master of Logic defense, Sebastian SpeitelTitle: Limning the True and Ultimate Structure of Reality" -- Considerations on the (In)adequacy of Quine's Criterion of Ontological CommitmentLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Martin Stokhof
28 January 2014, Master of Logic defense, Alexander BlockTitle: Operations on a Wadge-Type Hierarchy of Ordinal-Valued FunctionsLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Benedikt Löwe
28 January 2014, Master of Logic defense, Julia IlinTitle: An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum HypothesisLocation: Room A1.14, Science Park *904*, AmsterdamSupervisor: Benno van den Berg and Benedikt Löwe
22 January 2014, Master of Logic defense, Maria DimarogkonaTitle: The problem of existence in western philosophy. Aristotle - Thomas AquinasLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Piet Rodenburg
21 January 2014, PhD defense, Bruno LoffTitle: A Medley for Computational Complexity. With Applications of Information Theory, Learning Theory, and Ketan Mulmuley's Parametric Complexity Technique.Location: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Prof.dr. Harry Buhrman
For more information, see http://www.uva.nl/binaries/content/assets/uva/nl/onderzoek/promoveren/
Projects and Awards
UvA-master Logic beoordeeld als excellent
De master Logic aan de Universiteit van Amsterdam (UvA) heeft de status excellent toegekend gekregen van de Nederlands-Vlaamse Accreditatieorganisatie (NVAO). Het visitatiepanel van de NVAO beoordeelt Logic ~als een van de beste, zo niet het beste programma op het gebied van logica ter wereld~.
Voor meer informatie, zie http://www.uva.nl/nieuws-agenda/nieuws/uva-nieuws/content/persberichten/2014/11/.
Ciyang Qing wins Unilever Research Prize 2014
MSc Logic graduate Ciyang Qing will receive the Unilever Research Prize 2014. This award, which comes with an associated sum of 2,500 euros, recognises significant research carried out by students in the natural and social sciences at Dutch universities.
Ciyang, who is now a PhD student at Stanford University, worked on a number of research projects during his time as an MSc Logic student at the ILLC, leading to several publications in a diverse range of fields, including cognitive science, formal semantics, computational linguistics and multiagent systems. His Master's thesis on Quantitative Social-Cognitive Experimental Pragmatics was supervised by Michael Franke.
The award will be presented on 27 November 2014 at Unilever's R&D Centre in Vlaardingen, in the presence of Jet Bussemaker, Minister for Education, Culture and Science.
Unilever Research Prize: http://www.unilever.nl/innovatie/unileverresearchprijs/
MSc Logic: http://www.illc.uva.nl/MScLogic/
For further information, please contact Ulle Endriss <ulle.endriss at uva.nl>.
Royal honour for University Professor Johan van Benthem
Prof. Johan van Benthem was named Knight in the Order of the Netherlands Lion upon his retirement as University Professor of Pure and Applied Logic at the University of Amsterdam (UvA) on Friday, 26 September. Van Benthem received the royal honour in recognition of his myriad research accomplishments and the leading and inspirational role he has played in the academic community.
For more information, see http://www.uva.nl/en/news-events/news/uva-news/item/
Honourable Mention for ILLC Paper at COLING-2014
At the 25th International Conference on Computational Linguistics COLING-2014), held in Dublin this August, a paper on collective annotation by ILLC researchers and Master of Logic students Ciyang Qing, Ulle Endriss, Raquel Fernández and Justin Kruger received an honourable mention from the IBM Best Paper Awards Committee. It was one of only four shortlisted papers, out of a total of around 700 submissions.
For an informal introduction to this line of research, have a look at the blog post available at http://tinyurl.com/ca-coling
Benedikt Löwe elected Visiting Fellow of Corpus Christi College, Cambridge
The Governing Body of the College of Corpus Christi and the Blessed Virgin Mary of the University of Cambridge elected Benedikt Löwe as a Visiting Fellow for the calendar year 2015. During 2015, Benedikt will return to the Isaac Newton Institute for Mathematical Sciences as Principal Organiser of the four-month research programme Mathematical, Foundational and Computational Aspects of the Higher Infinite where he will also be a Simons Foundation Fellow.
BEER@ILLC-UvA Best at WMT 2014
The BEER@ILLC-UvA metric (Miloš Stanojević and Khalil Sima'an) for evaluating Machine Translation system output (per sentence) obtains a top position in the recent international competition WMT2014.
The WMT2014 competition is a yearly international competition both for MT systems and evaluation metrics where a large number of research teams showcase their research findings in terms of system performance on a real-world task. For MT evaluation, the challenge is to produce an automatic evaluation metric that ranks different translations by different systems of every input sentence according to quality. Success is measured by statistical correlation against human judgements of the same system outputs.
The BEER@ILLC-UvA metric introduces a new statistical approach for MT evaluation based on an linear interpolation of adequacy and fluency features. Particularly, the fluency features are mostly based on a novel permutation factorization approach. The BEER@ILLC-UvA metric won the first place (from 16 submissions) in evaluating translations from English into six languages (French, Spanish, Russian, Czech, German, Hindi), and it won the second place in translating from these six languages into English.
For more details contact Milos Stanojevic and Khalil Sima'an.
Funding, Grants and Competitions
PhD Studentships at the University of Bath
The University of Bath offers 3.5-year PhD positions in mathematics and theoretical computer science. Applicants should have or expect to gain at least the equivalent of a 2.1 BSc/MSc in a relevant subject area and must satisfy RCUK residency rules for the full studentship (fees + stipend).
Deadline: 28 February 2015, but applications are processed as they are received.
For more information, see here or the research-group homepage at http://bath.ac.uk/comp-sci/research/mathematical-foundations. To apply, including information on prerequisites, see http://www.bath.ac.uk/science/graduate-school/research-programmes/.
Call for Nominations: IFAAMAS-13 Victor Lesser Distinguished Dissertation Award
Nominations are invited for the 2014 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems, and to be presented at AAMAS-2015.
Eligible doctoral dissertations are those defended between January 1, 2014 and December 31, 2014 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate and a 1500EUR payment.
The dissertation must be nominated by the thesis supervisor and submitted on or before February 28, 2015. For more information, see the IFAAMAS and AAMAS-2015 websites at http://www.ifaamas.org/ and http://www.aamas2015.com/.
PhD funding in philosophy, Bristol, England
The University of Bristol is a member of the Arts and Humanities Research Council-funded South West and Wales Doctoral Training Partnership (SW&W DTP). The DTP consortium, which consists of eight universities, will award more than 50 scholarships for students commencing doctoral research in 2015-16. Candidates are welcome to submit proposals in any field of the arts and humanities with supervision expertise in the University of Bristol. The University of Bristol also expects to be in a position to offer a number of its own postgraduate research scholarships to outstanding applicants. Students who apply for a DTP scholarship based at Bristol will also be automatically considered for a University of Bristol scholarship.
Applications can be made to the DTP after *26 November 2014*. The closing date for applications is *12 January 2015*. For more details of PhD funding opportunities at the University of Bristol see http://www.bristol.ac.uk/arts/gradschool/funding.
Teorema Essay Prize for Young Scholars, Topic: Belief without Evidence
The Spanish Philosophy journal Teorema is pleased to announce an essay competition for young scholars, on the topic of 'Belief without Evidence'. The winner will receive E1500 and the essay will be published and acknowledged as winner in the journal.
Applicants must be under 35 on the closing date of the competition. Entries must be in English or Spanish, and not exceed 8000 words in length, notes and references included. Closing date: 1st December, 2014.
For more information, see http://www.unioviedo.es/Teorema/English/Highlights.html#Prize2014.
ABC Project and Talent grants
The Amsterdam Brain and Cognition center invites proposals for the ABC Project and Talent grants.
Proposals for the ABC Project grant should be research proposal for 1 postdoc or 1 PhD student for 2 years (max. 250k€) with an interdisciplinary focus (involvement of at least 2 different faculties), preferably related to a visiting professor. Deadline: November 15, 2014.
ABC Talent grants are for maximally 1 year (max. 100k€) and aimed at high potential research master students or post docs who aim to apply or have applied for a research grant to the ABC. Deadline: January 5, 2015.
For more information, see http://abc.uva.nl/about-the-center/abc-calls-2014-2015/abc-project-grant/.
2014 Essay Prize in Informal Logic
The Association for Informal Logic and Critical Thinking (AILACT) invites submissions for the 2014 AILACT Essay Prize. This will be the tenth year in which the prize has been offered. Essays are invited on any subject related to theory of argumentation and/or critical thinking theory and pedagogy. Essays are to be submitted by October 31.
The winning entry receives $500 ($200 more than in past years) and automatically gets peer-reviewed by the journal Informal Logic. The runner-up (should there be one) also gets peer reviewed for publication.
4th Deadline IERTNiL (Indo-European Research Training Network in Logic)
The Institute of Mathematical Sciences (Chennai, India), the Fakultaet fuer Mathematik, Informatik und Naturwissenschaften of the Universitaet Hamburg (Hamburg, Germany) and the Institute for Logic, Language and Computation of the Universiteit van Amsterdam (Amsterdam, The Netherlands) are coordinating a research training network in logic with the name IERTNiL.
IERTNiL will fund visits of Indian students and researchers in Europe and visits of European students and researchers in India, as well as workshops coorganized by Indian and European researchers. The funds of IERTNiL are modest (about 3000 EUR = 2.5 lakh INR per deadline) and are open to all researchers in logic from India and Europe independent of their affiliations. We expect to fund three to six applications with amounts between 500 and 1500 EUR.
In the first three rounds of applications, research visits to Austria, Poland, the Netherlands and India and conferences in Indiawere funded. The network's fourth deadline for applications is Wednesday, 15 October 2014. We are accepting applications for Research Visits, Training Visits, Training Courses and Workshops. Please note that the conferences ICLA 2015 (8-10 January 2015 in Mumbai) and Cultures of Mathematics IV (22-25 March 2015 in New Delhi) are funded by IERTNiL, and we encourage European researchers to combine research visits to India with a visit of one of these conferences.
For more details on the application process, please check our website at http://www.math.uni-hamburg.de/IERTNiL/funding.html.
3rd Deadline IERTNiL (Indo-European Research Training Network in Logic)
The Institute of Mathematical Sciences (Chennai, India), the Fakultaet fuer Mathematik, Informatik und Naturwissenschaften of the Universitaet Hamburg (Hamburg, Germany) and the Institute for Logic, Language and Computation of the Universiteit van Amsterdam (Amsterdam, The Netherlands) have started a research training network in logic with the name IERTNiL.
IERTNiL will fund visits of Indian students and researchers in Europe and visits of European students and researchers in India, as well as workshops coorganized by Indian and European researchers. The funds of IERTNiL are modest (about 3000 EUR = 2.5 lakh INR per deadline) and are open to all researchers in logic from India and Europe independent of their affiliations. We expect to fund three to six applications with amounts between 500 and 1500 EUR.
In the first two rounds of applications, research visits to Austria, Poland, the Netherlands and India were funded. The network's third deadline for applications is Friday, 1 August 2014. We are accepting applications for Research Visits, Training Visits, Training Courses and Workshops. For more details on the application process, please check our website at http://www.math.uni-hamburg.de/IERTNiL/funding.html.
ERCIM STM WG 2014 Award for the best PhD thesis on security and trust management
The European Research Consortium in Informatics and Mathematics (ERCIM) has a technical WG on Security and Trust Management (STM) for increasing the European research and development capabilities on security, trust, and privacy. One of the main goals of the WG is to promote the scientific growth of young researchers interested in the field of security and trust management. ERCIM STM WG then decided to establish an award for the best Ph.D. thesis in this area.
Applications for the award in 2014 are open to all Ph.D. holders that defended their thesis during 2013 in any European University. Applications should be sent by July 7, 2014 to the WG Chair. The theses will be judged on the basis of scientific quality, originality, clarity of presentation, as well as potential impact of the results. The ceremony for the award will be held during the 10th International Workshop on Security and Trust Management (STM 2014) on September 10-11 2014, Wroclaw, Poland.
2014 Teorema Essay Prize for young scholars: "Belief without Evidence"
The Spanish Philosophy journal teorema is pleased to announce an essay competition for young scholars, on the topic "Belief Without Evidence". The winner will receive 1500 euro, and the essay will be published and acknowledged as winner in the journal.
Applicants must be under 35 on the closing date of the competition. Entries must be in English or Spanish, and not exceed 8000 words in length, notes and references included. All entries will be deemed submissions to teorema, and all quality submissions will be considered for publication. Entries must not have been published before, or be under consideration by other journals.
All entries, prepared for blind review, will be submitted electronically in .doc format, and addressed to the Editor, indicating ?teorema EssayPrize? in the subject heading. Entries will be judged by a panel of reputed scholars appointed by teorema. Their decision will be final. Address for submissions: teorema at uniovi.es. Closing date: 1st December, 2014
For more information, see http://www.unioviedo.es/Teorema/English/
EURIAS Fellowship Programme
The European Institutes for Advanced Study (EURIAS) Fellowship Programme is an international researcher mobility programme offering 10-month residencies in one of the 16 participating Institutes: Berlin, Bologna, Budapest, Cambridge, Delmenhorst, Edinburgh, Freiburg, Helsinki, Jerusalem, Lyon, Marseille, Paris, Uppsala, Vienna, Wassenaar, Zürich. The Institutes for Advanced Study support the focused, self-directed work of outstanding researchers. The fellows benefit from the finest intellectual and research conditions and from the stimulating environment of a multi-disciplinary and international community of first-rate scholars.
Submission deadline: June 5th, 2014, 12 PM (noon) GMT. For more information, see http://www.2015-2016.eurias-fp.eu/call-applications
AMS Subventions for Publications
Through funding provided by the National Endowment for the Humanities, the Andrew W. Mellon Foundation, The Gladys Kriebel Delmas Foundation, and the generous contributions of many individual donors, the Publications Committee of the American Musicological Society makes available funds to help with expenses involved in the publication of works of musical scholarship, including books, articles, special issues of journals, and works in non-print media.
For more information, see http://www.ams-net.org/pubs/subvention.php
Amsterdam Science & Innovation Award 2014
Do you have an innovative and useful idea? Does your idea have commercial or societal impact? Then submit your idea and win € 5.000,-!
The jury consisting of representatives from industry and the Amsterdam universities, will select a number of finalists from the submitted ideas. The ideas will be judged on Innovation, Feasibility and Fulfilment of a market need.
Submission deadline: Friday 4 April 2014. For more information, see http://tto.uva.nl/en/amsterdam-science--innovation-award-2014/.
E.W. Beth Prize: 2014 call for nominations
Since 2002, FoLLI (the Association for Logic, Language, and Information) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2013. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize.
Deadline for Submissions: May 5th, 2014. For more information, see http://www.folli.info/?page_id=84 .
Fyssen Foundation: postdoctoral study grant
Study grants are ment for post-doctoral researchers, working on research disciplines such as Ethology, Paleontology, Archaeology, Anthropology, Psychology, Epistemology, Logic and the Sciences of nervous system.
These grants are awarded to french or foreign researchers, holders of a foreign Phd and who wish to achieve their project in a Laboratory in France; or either french or foreign researchers holders of a french Phd who wish to achieve their project in a Laboratory abroad (excluded origin country and de co-tutorship)
Deadline for applications: April 3rd, 2014. For more information, see http://www.fondationfyssen.fr/en/post-doctoral-study-grants/
Chinese Government Scholarship-EU Program
The China Scholarship Council invites applications under the Chinese government scholarships programme for EU citizens. This scheme enables EU citizens to study and carry out research at Chinese Universities.
Deadline for applications: April 30th, 2014. For more information, see http://en.csc.edu.cn/Laihua/scholarshipdetailen.aspx?cid=97&id=3154
Call for Nomination for Herbrand Award 2014
The Herbrand Award is given by CADE Inc. to honour a person or group for exceptional contributions to the field of Automated Deduction. At most one Herbrand Award will be given at each CADE or IJCAR meeting.
A nomination is required for consideration for the Herbrand award. The deadline for nominations for the Herbrand Award that will be given at IJCAR 2014 is 15th April 2014. Nominations pending from previous years must be resubmitted in order to be considered.
Nominations should consist of a letter (preferably email) of up to 2000 words from the principal nominator, describing the nominee's contribution, along with letters of up to 2000 words of endorsement from two other seconders. Nominations should be sent to Maria Paola Bonacina, President of CADE Inc (mariapaola.bonacina at univr.it) with copy to Martin Giese, Secretary of CADE Inc. and AAR (firstname.lastname@example.org).
For more information, see http://www.cadeinc.org/HerbrandAward.html
Open Positions at ILLC
PhD candidate in Semantics, Pragmatics and Cognition
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam is looking for a highly motivated, creative and talented PhD candidate to enrich a unique consortium of researchers that aims to unravel the neurocognitive mechanisms of language at multiple levels. The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour.
The PhD position is part of the larger Dutch NWO Gravitation consortium 'Language in Interaction'. This research consortium brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. This project will involve collaborative work to be carried out at the Institute of Logic, Language, and Computation (ILLC) at the University of Amsterdam (Prof. Van Rooij) and the Donders Institute for Brain, Cognition and Behaviour at Radboud University (Prof. H. Schriefers). The position will be embedded in the ILLC. Both involved institutes offer an international research.
Application deadline: 1 February 2015. For more information, see here.
PhD candidate in Theoretical Computer Science
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam, and the Centrum Wiskunde & Informatica (CWI) are looking for a PhD candidate in the area of quantum cryptography.
The aim of the PhD project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their limitations. An example of an active research is position-based quantum cryptography. Another aspect is to investigate the security of classical cryptographic schemes against quantum adversaries (post-quantum cryptography). The successful applicant will work under the supervision of Christian Schaffner.
Application deadline: 31 October 2014. For more information, see here.
Lecturer / Researcher in Logic
The Institute for Logic, Language and Computation (ILLC) has a temporary vacancy for a Lecturer / Researcher position at the Faculty of Science. The position combines a 50% research task in one of the research areas of the Institute for Logic, Language and Computation, with a 50% teaching task concerning courses in logic at the Amsterdam University College.
For more information, see here
Postdoctoral researcher in Statistical Machine Translation
Within ILLC, the SLPL Lab, led by Dr Khalil Sima'an, is seeking to attract three-year postdoctoral researchers in Statistical Machine Translation. In March 2014 the SLPL Lab. consists of 6 PhD candidates, 1 postdoctoral researcher and a programmer. The SLPL Lab still has 5 vacancies among which multiple postdoctoral positions on two projects: STW DatAptor, and NWO-VICI.
Deadline: 15 September 2014. For more information, see here
PhD position in Statistical Computational Linguistics
The Statistical Language Processing and Learning (SLPL) Lab, part of the Language and Computation research programme, is looking for a PhD candidate in statistical machine translation with interest in meaning-preserving statistical models. The University of Amsterdam provides an excellent environment for research in this area with world-class faculty in language and computation.
Deadline: 15 September 2014. For more information, see here
PhD candidate in Semantics, Pragmatics and Cognition
The PhD position is part of the larger Dutch research consortium "Language in Interaction". This research consortium brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. This PhD project will be supervised by Prof. Dr. Johan van Benthem (ILLC) and Prof. Dr. Ivan Toni (Donders Institute, Radboud University Nijmegen).
For more information, see here and http://www.languageininteraction.nl/jobs/id-2nd-phd-call-general.html
Tenure Track Researcher Language in Interaction
The successful candidate will be at the heart of a new research group whose aim is to promote the interaction between formal, logical, semantic, or/and computational modelling of language and cognition within the ILLC. To match these research tasks, the successful candidate will also be given a light teaching load in the MSc Logic, the MSc Brain and cognitive science, and/or the BSc/MSc Artificial Intelligence.
This position is part of the larger Dutch research consortium "Language in Interaction" (lead-organisation Radboud University, Nijmegen), which brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. The position will be embedded within the ILLC within the Faculty of Science (FNWI) of the University of Amsterdam. The researcher will be appointed either in the Language & Computation or in the Logic & Language programme at ILLC, and will form a new interface between these. The position comes with a PhD fellowship.
Application deadline: 15 October 2014. For more information, see here.
Two ILLC PhD candidates in Statistical Computational Linguistics
The ILLC is looking for two PhD candidates in statistical machine translation with interest in meaning-preserving statistical models. Both PhD positions are part of a VICI project within the Statistical Language Processing and Learning (SLPL) Lab, lead by Dr. Khalil Sima~an and part of the Language and Computation research programme. Research topics in the SLPL Lab. include statistical machine translation, paraphrasing, parsing, morphology and machine learning for language processing.
PhD Fellowship at ILLC
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam is looking for a PhD candidate. It is the intention of the ILLC to embed this position in the newly founded Joint Research Center in Logic (JRC), a collaboration project between the University of Amsterdam and the Tsinghua University in Beijing. For this reason, the project must meet at least one of the following criteria:
- the topic of the project falls within the scope of the current programmes of the JRC;
- the project can be co-supervised by an ILLC staff member and a researcher in Beijing.
Application deadline: 15 May 2014. For more information, see here.
Postdoctoral researcher in Statistical Machine Translation
Within ILLC, the SLPL Lab, led by Dr Khalil. Sima'an, is seeking to attract three-year postdoctoral researchers in Statistical Machine Translation. In March 2014 the SLPL Lab. consists of 6 PhD candidates, 1 postdoctoral researcher and a programmer. The SLPL Lab still has 5 vacancies among which multiple postdoctoral positions on two projects: STW DatAptor, and NWO-VICI.
- Conduct research in SMT on, e.g., domain adaptation, semantic factors in SMT, paraphrasing, (hierarchical) reordering models, MT evaluation or statistical learning in SMT;
- present and publish research findings together with team members in proceedings and journals;
- program and test the developed algorithms in prototype systems and make these usable for other team members;
- assist in guiding PhD and MSc students working on topics in Computational Linguistics at large;
- while this is primarily a research position, the successful candidate will be expected to also make a small contribution to teaching.
Application deadline: 1 June 2014. For more information, see here.
Postdoctoral researcher 'Legal Structures'
The 'Digging into Data project 'Legal Structures' is a joint project with Washington University (US) and the University of Amsterdam: Faculty of Humanities (ILLC) and Faculty of Law (ACLE). This postdoctoral project attempts to analyze the world's legal codes by focuses on machine coding of internal references in codes and laws. The intuition behind this approach is that fundamental differences among legal systems manifest themselves in the structure of the texts, and can be detected, parameterized, and visualized using computerized algorithms.
The project is looking for a postdoctoral researcher with an MA, MSc and PhD relevant to the subject, good programming experience, a background in computer science or artificial intelligence, and an interest in empirical legal studies and/or digital humanities. The postdoctoral researcher may be asked to do a limited amount of teaching, but no more than one class a week during one semester per academic year.
Application deadline: 20 March 2014. For more information, see here.
PhD candidate in Algorithmics
The ILLC LoCo group is looking for a PhD candidate in Algorithmics. The position is in the area of Algorithms and Complexity and part of the ILLC~s research programme in Logic and Computation.
Research topics in this area include computational complexity, algorithms, Kolmogorov complexity, quantum computation, and (quantum) information theory. The day-to-day guidance of the candidate will be in the hands of Dr.L.Torenvliet. Prof.dr. H. Buhrman will act as formal thesis advisor. Ongoing projects in the group include investigations into structural properties of complexity classes, parameterized complexity, and Kolmogorov complexity, but the position is not necessarily tied to one project, and the candidate is welcome and encouraged to bring his or her own research interests in algorithmic subjects into the group.
Application deadline: 30 April 2014. For more information, see here.
PhD candidate in Quantum Cryptography
The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam, and the Centrum Wiskunde & Informatica (CWI) are looking for a PhD candidate in the area of quantum cryptography.
The aim of the PhD project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their possibilities and limitations. The successful applicant will work under the supervision of Christian Schaffner.
Application deadline: 30 April 2014. For more information, see here.
Leibniz-DAAD Research Fellowships 2014
The Leibniz – DAAD Research Fellowship programme is jointly carried out by the Leibniz Association (Wissenschaftsgemeinschaft Gottfried Wilhelm Leibniz e.V.) and the German Academic Exchange Service (DAAD). Leibniz-DAAD fellowships offer highly-qualified, international postdoctoral researchers, who have recently completed their doctoral studies, the opportunity to conduct research at the Leibniz Institute of their choice in Germany.
Application Deadline: 7 March 2014. For more information, see https://ssl.daad.de/deutschland/stipendium/datenbank/de/
Het ILLC is gericht op wetenschappelijk onderzoek en onderwijs. Er werken wetenschappers en studenten van over de hele wereld, waardoor er een internationaal klimaat heerst. Met een relatief grote aantal MSc-studenten, promovendi en postdocs, heeft het instituut een levendige, informele sfeer. Vanwege de gestage groei van het instituut zoekt het ILLC een medewerker die samen met collega's zorg draagt voor het reilen en zeilen van het instituut.
Profiel: VWO-niveau, met werkervaring, goede computer-vaardigheden, en goede kennis van de Nederlandse en Engelse taal. In eerste instantie wordt een tijdelijke aanstelling van één jaar aangeboden. Naast de algemene veelzijdige werkzaamheden van het ILLC Bureau is het de bedoeling dat de nieuwe medewerker de volgende meer specifieke taken op zich neemt:
ICT-contactpersoon: verantwoordelijk voor het bestellen / beheer van de computers van het instituut en contactpersoon voor het IC van de UvA;
het (laten) oplossen van vragen en kleine storingen van ICT-gebruikers binnen het ILLC;
het (mede-)onderhouden van de websites van het ILLC.
Sluitingsdatum: 22 January 2014. Voor meer informatie, zie here.
PhD candidate in Semantics, Pragmatics and Cognition
The ILLC has a PhD position available. The position is part of the larger Dutch research consortium 'Language in Interaction', which brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. This PhD project will be supervised by Prof. Dr. Robert van Rooij (ILLC) and Prof. Dr. Herbert Schriefers (Donders Institute, Radboud University Nijmegen), assisted by Dr. Jakub Szymanik (ILLC).
A vague term like `big' can be easily used and processed when there is a clear gap between bigger and smaller objects. The PhD project will test the hypothesis that a gap in distribution is the default criterion used in the processing of vague words in classificatory tasks, but that other criteria might also come into play. Secondly, the project will test whether a similar default exists for the processing of quantity expressions like `most': use the approximate number system, if there is a gap, and precise counting otherwise. The ultimate goal is a unified theory of the processing of vague expressions.
Application deadline: 2 February 2014. For more information, see here.
Open Positions, General
Postdoc position at KTH Royal Institute of Technology
The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in computational complexity and/or SAT solving.
The postdoctoral researcher will be working in the research group of Jakob Nordstrom. Much of the activities of this 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. 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.
The research project is financed by a Breakthrough Research Grant from the Swedish Research Council and a Starting Independent Researcher Grant from the European Research Council. In addition to the research group leader, the group currently consists of one postdoc and four PhD students. Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.
This is a full-time employed position for one year with a possible one-year extension. The successful candidate is expected to start in August-September 2015, although this is to some extent negotiable.
The application deadline is January 25, 2015. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2014-0761-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.
PhD Studentships, Computer Science, University of Nottingham
Applications are invited for up to ten fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2015.
Closing date for applications: 14th January 2015. For more information, see http://www.jobs.ac.uk/job/AJW968/
Assistant professorship in philosophy of mind, Bochum (Germany)
The Department of Philosophy II at Ruhr Universität Bochum is offering a full-time postdoctoral position (comparable to an assistant professorship), beginning on 1st April 2015, with a limited tenure of three years, renewable for a further three.
The position is installed to foster the research of young postdocs who have already proven to be excellent in publications. It offers the opportunity to develop one's own research project and research profile in the area of philosophy of mind, language or cognition. For the candidate who would later like to continue their career path within the German system, there will be the possibility to reach the degree of a "Habilitation". Beside the scientific aspects of this position, there is also the assignment to teach two courses each semester.
The candidate's research should be connected with some of the current research projects. This includes a strong emphasis on interdisciplinary research in the area of philosophy of mind. Part of the job will be also to support the organization of the Center for Mind, Brain and Cognitive Evolution. Preferable but not mandatory for this position is a competency in the area of philosophy of language, e.g. theory of concepts or semantics of singular terms and propositional attitudes. Candidates who have evidently engaged in some in-depth research in both philosophy of mind with very good knowledge in neurosciences and some expertise in experimental philosophy will be of particular interest for this vacancy.
Deadline of application: 15th of December 2014. For more information, see http://www.ruhr-uni-bochum.de/philosophy/staff/newen/download/ or contact Prof. Dr. A. Newen (albert.newen at rub.de).
Postdoc Position in Logic and Game Theory, University of Oxford
A research position is available, tenable immediately, attached to a European Research Council (ERC) Advanced Grant obtained by Prof Michael Wooldridge. The project is entitled "Reasoning about Computational Economies" (RACE), and carries out work at the intersection of game theory, complexity, logic, and verification. Applicants must have, or shortly be expecting to obtain, a PhD in multi-agent systems, game theory, logic/model checking, or a closely related topic. The position is a full-time appointment, available for up to 28 months.
Postdoctoral position on "Ontology after Quine", Hamburg (Germany)
The University of Hamburg offers a postdoctoral research position in association with the Emmy Noether Research Group "Ontologie nach Quine", which is based in the Department of Philosophy and led by Richard Woodward.
The Research Group began in July 2013 and will run until July 2018. Its official title translates as "Ontology after Quine: Fictionalism and Fundamentality" and, as its name suggests, the Group's research Project focuses on issues in metametaphysics and metaontology, set against the historical backdrop of the Quine-Carnap debate about the respectability of ontological inquiry. The remit of the project is thus broad, incorporating not only issues in first- and second-order metaphysics and ontology, but also connected issues in metaphilosophy and the philosophies of logic and language.
The advertized position is full-time and will last for a period of one (1) year. The exact starting date is negotiable, but the successful candidate should take up their position by July 1st 2015 at the latest. The successful applicant is expected to have completed their doctoral studies (i.e. submitted their doctoral thesis) by the time they take up the position.
The application deadline is January 31st, 2015. The official advert, with further information and instructions, can be found here: http://www.uni-hamburg.de/uhh/stellenangebote/wissenschaftliches-personal/. More information about the Group and its activities can be found at our website: http://carvingnature.net/.
Postdoctoral and visiting fellowships in philosophy of science, Pittsburgh PA (U.S.A.)
The application deadline of December 15 is approaching for postdoctoral and visiting fellowships at the Center for Philosophy of Science, University of Pittsburgh, for the academic year 2015-2016, and for a senior fellowship in 2016-2017.
For more details, see http://www.pitt.edu/~pittcntr/Joining/joining.htm.
Post-doctoral fellowships in mathematics and/or computer science
The Labex Archimède (Institute for Mathematics and Computer Science in Marseille) offers several PhD and Post-doc positions in mathematics and computer science. Some of these positions will be opened in the Laboratoire d'Informatique Fondamentale de Marseille (LIF - UMR7279 Aix-Marseille University / CNRS). The research areas of applicants can be any of the research topics studied in our lab.
Applications must be completed (including reference letters) by January 15th, 2015. For more information, see http://www.lif.univ-mrs.fr and http://archimede.lsis.org/labex/spip.php?id_rubrique=10&lang=en
2015 Software Engineer New Graduate role at Google
If you graduated in 2014 or are preparing to graduate in 2015 you can apply to join Google as a full-time Software Engineer. We have open roles at our Mountain View headquarters http://www.google.com/about/careers/locations/mountain-view/ in Silicon Valley, with additional roles available throughout our offices in Europe including London and Zurich.
Who can apply: Bachelor, Master or PhD in Computer Science or a related technical field.
For more information, see How to apply: https://www.google.com/about/careers/
2015 Software Engineering Internships at Google
Internships at Google are full time paid positions, take place year-round and have a minimum duration of three months. If you are interested in an internship at Google in 2015 you should apply online as soon as possible.
Who can apply: BSc/MSc/PhD students in Computer Science or a related technical field. You must be returning to university after the internship is complete, which means you won't be able to do an internship after you graduate.
Where can you intern: We're hiring interns at our headquarters in Silicon Valley (we support visa and relocation!) as well as throughout our offices in Europe.
For more information, see http://www.google.com/about/careers/lifeatgoogle/hiringprocess and https://www.google.com/about/careers/.
Full Professor of Theoretical Philosophy, Utrecht University, The Netherlands
Utrecht University is looking for a full professor of Theoretical Philosophy as from September 1, 2015. The chair of Theoretical Philosophy is one of the core chairs in philosophy at the Department of Philosophy and Religious Studies and is an important point of contact within Utrecht University for questions regarding the foundations of mathematics and philosophy of science. The professor is to play a key role in structuring the profile of research and education in Theoretical Philosophy. Where research is concerned he/she will focus on one of the sub- sections of Theoretical Philosophy, i.e. metaphysics, philosophy of science, epistemology or logic.
The application deadline is 05/01/2015. For more information, see http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/
Postdoc and Student Positions in post-quantum cryptography and quantum algorithms, Waterloo, Ontario, Canada
The NSERC CREATE Training Program in Building a Workforce for the Cryptographic Infrastructure of the 21st Century (CryptoWorks21) is a supplementary program for graduate students and postdoctoral fellows who would like to develop next-generation cryptographic tools.
The Postdoctoral and Graduate Programs are now accepting applications for January 2015. For more information, see https://cryptoworks21.uwaterloo.ca/apply/.
Graduate student applicants should also apply at one of the relevant graduate programs at the University of Waterloo (https://uwaterloo.ca/discover-graduate-studies/ready-apply/application-process/).
Postdoctoral position in set theory, Singapore (Singapore)
There is a one-year postdoctoral position in set theory available at the National University of Singapore. The expected starting date is April 1, 2015.
The job advertisement is given at here. To apply for it please email your complete CV to Dilip Raghavan at raghavan at math.nus.edu.sg. Please also CC your email to Lynette Wong at lynettewong at nus.edu.sg.here or
PhD positions in Logical Methods in Computer Science, Wien/Graz/Linz (Austria)
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering
- computational logic, and applications of logic to
- databases and artificial intelligence as well as to
- computer-aided verification.
LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification.
PhD student positions in computer science, Oxford (England)
Following a generous donation by Google, the Department of Computer Science at the University of Oxford is delighted to invite applications for up to 15 fully-funded DPhil (Oxford'ss PhD) studentships tenable from 1st October 2015.
The studentships are for three years and are open to students of any nationality. The topics for the studentships are open, but should relate to the interests of one of the Department's research areas: Algorithms, Artificial Intelligence, Automated Verification, Computational Biology, Foundations, Logic & Structures, Information Systems, Machine Learning, Multi-Agent Systems, Programming Languages, Security, Semantics and Software Engineering. We also encourage applications in cross disciplinary areas such as Linguistics, Biology, Medicine and Quantum Foundations & Quantum Computation.
Closing date for applications: Â 9th January 2015 For more information, see http://www.cs.ox.ac.uk/files/6952/studentshipad.pdf. Informal enquiries may be addressed to Julie.sheppard at cs.ox.ac.uk
PhD student position on "Anti-Mathematicism in Philosophy", Gent (Belgium)
Within the Department of Philosophy and Moral Sciences, Ghent University, there is a vacancy for a fully funded PhD position in the context of the FWO project, "Anti-Mathematicism in Philosophy" directed by Prof. Dr. Eric Schliesser. The project focuses on (debates over) the limits, if any, on formal philosophy, and is designed to stimulate historical and systematic approaches to the topic.
If you wish to apply for this position, please send an email with a letter explaining why you wish to do research on this theme, a research proposal, a CV and publication list, if any, to Eric Schliesser , no later than December 15, 2014. Â BOF Research Professor, Philosophy and Moral Sciences, Ghent University, Blandijnberg 2, Ghent, B-9000, Belgium. Phone: (31)-(0)6-15005958
Applications must be received before 15 December, 2014. For more information, see https://www.ugent.be/en/work/vacancies/scientific/post-doc-61m2k or contact Prof. Eric Schliesser.
Visiting Assistant Professorship (1y) teaching logic, Schenectady NY (U.S.A.)
The Department of Philosophy at Union College invites applications for a one-year, full-time Visiting Assistant Professor, beginning September 2015. Non-renewable. Areas of expertise and competence are open, but the successful candidate will have to teach courses in logic and in a period of the history of philosophy. A Ph.D. in philosophy is preferred, but advanced ABDs in philosophy will be considered.
Deadline for applications is January 15 2015. For more information, see http://www.union.edu/offices/human-resources/jobs/faculty/
2 postdoc vacancies in TINT, Helsinki (Finland)
The Centre of Excellence in the Philosophy of the Social Sciences (TINT) now the largest centre in its field, is offering one or two new postdoc positions, beginning in January or February 2015. More advanced scholars will also be considered. The position is for 1-3 years
AREA: philosophy of economics (or neighbouring disciplines), broadly understood (inclusive of social and historical studies of economics in relation to its disciplinary neighbours).
Deadline 1 December 2014. For more information, see http://www.helsinki.fi/tint and http://www.helsinki.fi/tint/materials/TINTpostdoc2015.pdf.
PhD student position in philosophy of mathematics, Konstanz (Germany)
At the Department of Philosophy (Theoretical Philosophy / Prof. Dr. Thomas Müller) there is currently a vacancy for a Part-time Ph.D. student Position (Salary Scale 13 TV-L, 50%). The position will be available at project start in February 2015; a later starting date is negotiable, but an early start is preferred. The position will be granted initially for 12 months, with an option for an extension for a second year; funding for a third year will be applied for once the project is under way.
The position is advertised as part of the new research project "Kulturen der mathematischen Forschung: Identitätspraktiken im Hinblick auf nationale Mathematikkulturen und Beweisstile" (Cultures of mathematical research: identification practices with respect to national cultures of mathematics and styles of proof). The principal investigators of this project are Prof. Dr. Thomas Müller (Konstanz) and Prof. Dr. Benedikt Löwe (Hamburg & Amsterdam). The hired applicant will be based in Konstanz and it is the intention that the applicant be enrolled as a Ph.D. student and receive a Ph.D. degree in philosophy at the Universität Konstanz, but the project involves active and regular interaction with the Universiteit van Amsterdam and the Universität Hamburg, including extended research visits of up to one semester.
This research project deals with the question of whether there is mathematical content to national mathematical cultures: clearly, there are differences in the mathematical styles of researchers from different countries. But are these differences more than superficial? In other words, can these differences be explained in purely mathematical terms. The project aims to approach this question with empirical means using techniques from the digital humanities (national literary cultures) and qualitative and quantitative empirical social studies.
The deadline for applications is 17 December 2014. For more information, see http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2014/.
Lecturer in Philosophy, University College Cork (Ireland)
UCC wishes to appoint an experienced academic to the role of Lecturer in Philosophy. Reporting to the Head of the Department, the Lecturer will have to teach modules in the areas of Continental European philosophy, especially phenomenology; aesthetics and philosophy of art. Competence and/or an interest in Asian philosophy would be an advantage, since the appointee will be expected to contribute to the new MA programme in Asian and Intercultural Philosophy. Further duties include research, research-led teaching and contributions to the university, the discipline and the community.
Deadline: 5pm on Thursday, 4th December 2014. For more information, see http://www.ucc.ie/en/hr/vacancies/academic/full-details-505275-en.html.
Tenure-track position in theoretical computer science, Salt Lake City UT (U.S.A.)
The School of Computing at the University of Utah seeks applications for four tenure-track faculty at the rank of Assistant Professor, beginning Fall 2015. Exceptional candidates at higher ranks will be also be considered.
One of the four positions is targeted at theoretical computer science, particularly with an emphasis on models and analysis for large data problems. Also, computational statistics or statistical underpinnings of the analysis of large data.
Close Date: March 1, 2015. For more information (and how to apply) please see the ad at https://utah.peopleadmin.com/postings/36205
Visiting Fellowship in Mathematical Philosophy, Munich (Germany)
The Munich Center for Mathematical Philosophy invites applications for visiting fellowships for one to three months in the academic year 2015/16 (15 October 2015 to 15 February 2016 or 15 April to 15 July 2016) intended for advanced Ph.D. students ("Junior Fellowships") and postdocs or faculty ("Senior Fellowships"). Candidates should work in general philosophy of science, the philosophy of one of the special sciences, formal epistemology, or social epistemology and have a commitment to interdisciplinary and collaborative work.
We also encourage groups of two to four researchers, which may also include scientists, to jointly apply for fellowships (?Research Group Fellowships") to work on an innovative collaborative project from the above-mentioned fields which is of relevance for the research done at the MCMP and which ideally includes a member of the MCMP as a collaborator.
The deadline for applications is 15 February 2015. Decisions will be made by 1 March 2015. For further information, see http://www.mcmp.philosophie.uni-muenchen.de/news/visiting_fs_201516/ or contact Alexander.Reutlinger at lrz.uni-muenchen.de.
Faculty positions in theoretical computer science, Urbana-Champaign IL (U.S.A.)
The Department of Computer Science at the University of Illinois, Urbana-Champaign is hiring multiple tenure-track faculty positions. We are particularly interested in