Institute for Logic, Language and Computation

Events

News and Events:
Conferences

These pages provide information about recent developments at or relevant to the ILLC (last update: 23 May 2013). 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.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

Headlines Calls for Papers

Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.


Calls for Papers

  • 11-14 October 2013, Joint Rough Set Symposium (JRS 2013), Halifax, Canada (deadline: 25 May 2013)

    The 2013 Joint Rough Set Symposium (JRS2013) is a joint conference of the 14th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC13) and the Eighth International Conference on Rough Sets and Knowledge Technology (RSKT2013). The aim of JRS2013 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of rough set and its applications.

    The conference will include workshops on Rough Set Theory (RST 2013) and Rough Set Applications (RSA 2013), as well as special sessions on "Covering-Based Rough Set and Its Applications", "Three-way Decisions and Probabilistic Rough Sets", "Soft Clustering", "Fuzzy and Rough Hybridization and Applications", "Mining Complex Data with Granular Computing", "Data Mining for Intelligent CCTV", "Granular Computing Theory Research and Application" and "Vagueness, Imprecision and Uncertainty in Description Logics"

    Authors are invited to submit original research contributions not concurrently submitted elsewhere. Submission deadline is 25 May 2013.

    For more information, see http://cs.smu.ca/jrs2013/

  • 23 - 27 September 2013, Algebraic Proof Theory W0rkshop, Gudauri, Georgia (deadline: 30 May 2013)

    An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

    Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

    Anyone interested in giving a talk at the workshop can send a 1 page abstract to Agata Ciabattoni (agata at logic.at) and Rosalie Iemhoff (R.Iemhoff at uu.nl) no later than May 30th, 2013.

    For more information, see the Tbilisi Symposium website at http://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

  • 20-23 September 2013, History and Philosophy of Infinity (FotFS VIII), Cambridge, England (deadline: 31 May 2013)

    The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle's Physics (in his treatment of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

    Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics. The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 May 2013.

    For more information, see http://www.math.uni-bonn.de/people/fotfs/VIII/

  • 9-12 October 2013, 4th International Workshop on Logic, Rationality and Interaction (LORI-4), Hangzhou, China (deadline: 1 June 2013)

    The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

    Submissions of contributed papers bearing on any of the broad themes of the LORI workshop series are invited. Paper submission deadline: June 1, 2013.

    For more information, see http://loriweb.org/blog/ai1ec_event/lori-4-logic-rationality-and-interaction/

  • 15-20 August 2013, Metaethics Workshop: Moral Psychology and Ethics of Emotions, Freie Universität Berlin (deadline: 1 June 2013)

    Following four successful years of the Buenos Aires Metaethics Workshop under the auspices of the Center for Advanced Studies in Philosophy and Phenomenology, The Languages of Emotion Programme at Freie Universität Berlin announces the first Berlin edition of the yearly Metaethics Workshop. This year the theme of the workshop shall be Moral Psychology and Ethics of Emotions.

    The organisers invite submissions for one hour presentations. The invitation is open to scholars approaching the topic from all fields and traditions, though philosophical considerations will take priority. Rather than read, participants are requested to give presentations of the arguments and position in a colloquial manner so as to facilitate discussion. Deadline for submissions: June 1st, 2013.

    For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5026 or contact Dr. Johannes Windrich (johannes.windrich at fu-berlin.de) and Dr. Martin Gak (m.gak at kosmopolitica.org).

  • 16-17 September 2013, Computational Logic in Multi-Agent Systems (CLIMA XIV), Corunna, Spain (deadline: 6 June 2013)

    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 thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Argumentation Technologies and on Norms and Normative Multi-Agent Systems.

    We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Submission deadline: June 6th.

    For more information, see http://centria.di.fct.unl.pt/events/climaXIV/ or send enquiries to climaxiv2013 at easychair.org.

  • (New) 12-14 September 2013, Salzburg Conference for Young Analytic Philosophy (SOPhiA 2013), Salzburg, Austria (deadline: 9 June 2013)

    The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with prospective or well established philosophers, take a first peek into the philosophical business, and to attend interesting presentations. Beside the conference presentations there will be a workshop on Mathematical Philosophy.

    Keynote Speakers: Catarina Dulith Novaes, Ole T. Hjortland, Martin Kusch and Herlinde Pauer-Studer.

    Students and doctoral candidates (pre-doc) of 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: June 9, 2013

    For more information, see http://www.sophia-conference.org/

  • 25-27 October 2013, Third International Workshop on Philosophy and Ethics of Social Reality, Hokkaido University, Sapporo, Japan (deadline: 10 June 2013)

    In the past two and a half decades, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

    Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 10 June 2013

    For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr13/

  • 11-22 Auguest 2014, 26th European Summer School in Logic, Language and Information (ESSLLI-2013), Tuebingen, Germany (deadline: 15 June 2013)

    The European Summer School in Logic, Language and Information (ESSLLI) is 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.

    Proposals for courses and workshops at ESSLLI'2014 are invited in all areas of Logic, Linguistics and Computing and Information Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposal submission deadline: 15 June 2013.

    For more information, see http://www.esslli2014.de/

  • 6-17 January 2014, Fifth Indian School on Logic and its Applications(ISLA 2014), Tezpur, India (deadline: 20 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: June 20, 2013

    For more information, see http://www.tezu.ernet.in/isla2014/ or contact isla2014 at gmail.com.

  • 16-20 September 2013, 13th Asian Logic Conference (ALC2013), Guangzhou, China (deadline: 30 June 2013)

    The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

    The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.

    In addition there will be many contributed talks. All the abstracts of talks should be submitted through Atlas ALC2013 by the Deadline of June 30, 2013.

    For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

  • 3-6 Dec 2013, Principles and Practice of Multi-Agent Systems (PRIMA 2013), Dunedin, New Zealand (deadline: 1 July 2013)

    PRIMA is the leading scientific conference for research on intelligent agent systems and multi-agent systems.

    Agent computing and technology is an exciting, emerging paradigm expected to play a key role in many society-changing practices from disaster response to manufacturing to agriculture. The conference offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. PRIMA particularly encourages reports on development of prototype and deployed agent and multiagent systems and experiments that demonstrate the capability of agents to handle real-world challenges.

    The PRIMA 2013 Program Committee invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. Two types of contributions are solicited: full papers and short (early innovation) papers. Submissions Due: 1 July 2013.

    For more information, see http://prima2013.otago.ac.nz/

  • 28-29 October 2013, International Workshop on Diagram Logic and Cognition 2013, Kolkata, India (deadline: 2 July 2013)

    Our world is increasingly visual, and diagrams are an essential aspect of many of the fields that try to make sense of it. These include demography, cartography, medical imaging, aviation, and so on. In particular, diagrammatic logic is gaining ground in logic and mathematics as an alternative to or when used in parallel with symbolic logics, and recent years have seen the appearance of increasingly expressive diagrammatic systems.

    The purpose of the workshop is manyfold. Firstly, we want to gain deeper insights into the activities involved in reasoning with diagrammatic systems: how can a modern, highly-expressive diagrammatic logic help with inferential tasks in practice, such as those undertaken in the field of knowledge engineering? Our second purpose, closely related to the first, is cognition: the verbaliser-visualiser cognitive style classification. Finally, our meeting will also focus on the topics of diagram aesthetics and visual complexity.

    We invite authors to submit an extended abstract (3-4 pages) via easychair. Submission period ends: 2nd July 2013.

    For more information, see http://www.cem.brighton.ac.uk/dlac2013/ or contact one of the organisers, Jim Burton (j.burton at brighton.ac.uk) or Lopmudra Choudhury (choudhuryl at yahoo.com).

  • 14-19 December 2013, The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), Stellenbosch, South Africa (deadline: 22 July 2013)

    The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

    New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices, as well as experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. Abstract submission deadline: 22nd July.

    LPAR-19 workshops will be held on 14th December either as one-day or half-day events. If you would like to propose a workshop for LPAR-19, please contact the workshop chair via email by 15th July 2013.

    For more information, see http://www.lpar-19.info/.

  • 27-28 October 2013, Logic and Engineering of Natural Language Semantics LENLS 10), Kanagawa, Japan (deadline: 31 July 2013)

    LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013).

    We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields. Abstract submission deadline: July 31, 2013.

    For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

  • 16-18 December 2013, The 17th Workshop on the Semantics and Pragmatics of Dialogue (Semdial 2013), Amsterdam, The Netherlands (deadline: 10 September 2013)

    DialDam will be the 17th 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 2013 the workshop will be hosted by the Institute for Logic, Language and Computation, University of Amsterdam, and will be collocated with the Amsterdam Colloquium.

    We invite papers on all topics related to the semantics and pragmatics of dialogue. Submissions due: 10 September 2013. There will be a later call for 2-page abstracts describing system demonstrations and/or ongoing projects relevant to the topics of the workshop, with submission deadline in early November.

    For more information, see the website at http://www.illc.uva.nl/semdial/dialdam/

  • 6-8 March 2014, 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), Angers, France (deadline: 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.

    Papers describing original work are invited in any of the aforementioned areas. Regular Paper Submission deadline: September 24, 2013.

    Please check further details at the conference website (http://www.icaart.org/)

  • 26 May - 1 June 2014, Language Resources and Evaluation Conference (LREC 2014), Reykjavik, Iceland (deadline: 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.

    A CFP is forthcoming. Estimated submission deadline is October 2013.

    More information will be available soon on: http://www.lrec-conf.org.

Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

  • DIMACS Workshop on Current Trends in Cryptology, New York, U.S.A.

    Date: April 29 - May 1, 2013

    Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

    The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

    For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

  • 23-25 May 2013, Philosophy of Science in a Forest 2013, Amersfoort, The Netherlands

    Every three years, the Dutch Society for the Philosophy of Science (DSPS; in Dutch: Nederlandse Vereniging voor Wetenschapsfilosofie, NVWF), organises this international conference with the original aim to collect everybody in one place who is active in this area of philosophy in the Netherlands and Flanders (PhD-students, professors, lecturers, readers, students). This conference is intended for an academic audience interested in philosophy of science in the broadest possible sense.

    The first edition of Philosophy of Science in a Forest, Spring 2011, was the first with English as the conference language. Contributions in the Dutch language are however not forbidden. Contributions from all over the world are now welcome in English.

    For more information, see the website of the NVWF at http://www.nvwf.nl/agenda.php.

  • 23-25 May 2013, Workshop "Truth and Paradox", Munich, Germany

    Registration is free. Deadline for registration: May 3, 2013.

    For more information, see the Philevents page at http://philevents.org/event/show/9701.

  • 24-26 May 2013, Workshop: Constructing the World, Cologne, Germany

    The Emmy Noether research group "Understanding and the A Priori" is hosting an author-meets-critics workshop with David Chalmers to critically discuss themes from his new book, "Constructing the World" (Oxford University Press 2012). The book concerns "scrutability," the thesis that all the truths about the world can, in principle, be known on the basis of knowledge of just a limited class of basic truths. Chalmers argues for the scrutability thesis and investigates which sorts of basic truths can serve as the relevant "scrutability base". The book explores the implications of scrutability for a range of central philosophical issues: meaning and mental content, the existence of the analytic and the a priori, the refutation of skepticism, and the methodology of metaphysics, among others.

    Participation in the workshop is open, but there is a limited number of available places, and email registration is required by April 30, 2013. For more information, see http://fromthearmchair.net/events/constructing-the-world

  • 27-31 May 2013, Nordic Spring School in Logic 2013, Nordfjordeid, Norway

    The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.

    The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.

    Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school

  • 27-28 May 2013, Concept Acquisition and the Role of Language, Durham, U.K.

    Historically, issues concerning concept acquisition have focused around the nativism/empiricism debate. The central concern was to give an account of how new concepts are formed, and what influence the external world has on such processes (if any). More recently however, a trend in the literature has focused on the way that the nature of concepts might change throughout development. This workshop looks to assess the recent literature on these questions with particular focus on the role of language acquisition in the developmental process.

    For more information, see http://www.dur.ac.uk/philosophy/research_seminars_lectures_forthcoming/ or http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5019, or contact j.t.m.miller at durham.ac.uk or j.h.taylor at durham.ac.uk.

  • 28-29 May 2013, Euro-Xprag Master Class on Pragmatics and Language Processing, London, U.K.

    Euro-Xprag, a Research Network Program sponsored by the European Science Foundation, is pleased to announce a Master Class on the topic of Pragmatics and Language Processing. The event will be hosted at University College London by the Department of Linguistics. Invited Presenters: Dan Grodner (Swarthmore College) and Jesse Snedeker (Harvard University).

    Participation is open but registration is requested. Limited student subsidies are avaiable (deadline: 1 May, 2013). Webpage of the Master Class: http://www.euro-xprag.org/events/london-master-class/.

  • 29-31 May 2013, SILFS 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science, Urbino, Italy

    The 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science will be held in Urbino on 29-30-31 May 2013.

    The conference will be organized by the Italian Society for Logic and Philosophy of Science (SILFS) and will host six different sessions, namely:
    1) History and Philosophy of Physics
    2) Logic and Philosophy of Logic
    3) Philosophy of Biology
    4) Philosophy of Language and Mind
    5) History and Philosophy of Mathematics
    6) Philosophy of Social Sciences

    Further information can be found at http://www.silfs.net/?lang=en or http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=4821.

  • 30 May - 1 June 2013, Conference on Logic, Questions and Inquiry (LoQI), Paris, France

    The aim of the Conference on Logic, Questions and Inquiry (LoQI) is to address issues in the philosophical and logical investigations of questions and inquiry from the various perspectives of formal epistemology, formal semantics and pragmatics, philosophy of science and philosophy of mathematics. The conference intends to bring together researchers from these different fields in order to trigger interactions between the various existing approaches to questions and inquiry, and to promote cooperation and exchange on research projects related to these issues. The event will then be the occasion to assess the different past scientific contributions on these topics, and to discuss possibilities for new research directions.

    For more information, see http://loqi.sciencesconf.org/ or contact loqi at sciencesconf.org

  • 30 May 2013, Workshop on Argumentation in Mathematics, Groningen, The Netherlands

    Date and time: 30 May 2013, 13:00-17:00

    On May 30th 2013, the Roots of Deduction project and the Faculty of Philosophy of the University of Groningen will host a small workshop on argumentation in mathematics.

    Speakers and titles are:
    * Andrew Aberdein (Philosophy, Florida Institute of Technology): "Types of dialogue in mathematics"
    * Erik Krabbe (Philosophy, Groningen): "Aristotle on squaring the circle"
    * Bart Verheij (Artificial Intelligence, Groningen): "Mathematical discovery as investigative argumentation"
    * Catarina Dutilh Novaes (Philosophy, Groningen): "A dialogical conception of indirect proofs"

    Details will be regularly updated here: https://sites.google.com/site/therootsofdeduction/events-and-announcements/ The workshop is open to all, but please send us an email (rootsofdeduction at gmail.com) to register.

  • 3-5 June 2013, Fifth and Final Formal Epistemology Festival (FEF5), Toronto ON, Canada

    Speakers include Lara Buchak (Berkeley), Anna-Sara Malmgren (Stanford), Jennifer Nagel (Toronto) and Carolina Sartorio (Arizona).

    For more information, see http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 or contact corina.stroessner at uni-konstanz.de.

  • (New) 3 June 2013, Coalgebra in the Netherlands (COIN)

    Location: CWI, Amsterdam, The Netherlands

    COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

    The next COIN meeting is scheduled for Monday, 3 June 2013, at the Radboud University Nijmegen, in room HG02.702 in the Huygens building, from 13:30 until 16:00. The schedule is as follows:
    13:30 — 14:15 Frank Roumen
    14:15 — 15:00 Helle Hvid Hansen
    15:15 — 16:00 Matteo Mio

    For more information, see http://homepages.cwi.nl/~winter/coin.html

  • 4-27 June 2013, PhilMath Intersem 4, Paris, France

    PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

    For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/

  • 6 June 2013, Uncertainty & Surprise in the Exact Sciences, Gent, Belgium

    Date and time: 6 June 2013, 13:30-18:00

    There will be three speakers:
    Jan-Willem Romeijn (Groningen): "Model uncertainty and implicit complexity",
    Liesbeth de Mol (Ghent): "Unpredictability in computer-assisted mathematics", and
    Peter Streufert (University of Western Ontario, London): "Off-equilibrium beliefs in a game, and off-paradigm beliefs in a science".

    For more information and abstracts, see http://philevents.org/event/show/9716.

  • 10-14 June 2013, 14th International Conference on Artificial Intelligence & Law (ICAIL 2013), Rome, Italy

    The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal /Artificial Intelligence and Law/ regularly publishes expanded versions of selected ICAIL papers.

    For more information, see http://icail2013.ittig.cnr.it

  • 10-14 June 2013, 6th Young Set Theory Workshop (YSTW 2013), Santuario di Oropa, Italy

    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.

    These aims are reflected by the format of this year workshop, with tutorials by James Cummings, Sy Friedman, Su Gao and John Steel, and talks by Tristan Bice, Scott Cramer, Luca Motto Ros, Victor Torres Perez, and Trevor Wilson, as well as open discussion sessions. Special registration fees are available to Ph.D. and master students, however the conference is open to all interested scholars.

    The official website of the conference is at http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html

  • 10 June 2013, 8th workshop on Methods for Modalities (M4M-8), Lake Placid NY, U.S.A.

    The workshop 'Methods for Modalities' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term 'modal logics' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

    To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.

    For more information, see http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/

  • 10-14 June 2013, The 6th Semantics and Philosophy in Europe Colloquium (SPE6), St. Petersburg, Russia

    The purpose of the Semantics and Philosophy in Europe colloquia is to enhance the dialogue between linguists and philosophers by providing a forum for presenting research in the interface between linguistic semantics and the various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology).

    For more information, see http://spe6conference.wordpress.com/

  • 13-14 June 2013, Second Workshop on Computational Linguistics for Literature (CLFL 2013), Atlanta GA, U.S.A

    The amount of literary material available on-line keeps growing rapidly: there are machine-readable texts from libraries, collections and e-book stores, as well as "live" literature such as e-zines, blogs or self-published e-books. We need tools to help navigate, visualize and better appreciate the high volume of available literature.

    CLFL-2013 will focus on the subject of applying state-of-the art NLP methods to literary data, and consider questions such as: What characteristics of literature make it special? Is it, indeed, a unique type of language data? How should we adapt our tools to find meaning in literary text? What lessons from automatic processing of literature could apply to other types of data?

    All information sits at: https://sites.google.com/site/clfl2013/

  • 15 June 2013, Arithmetic, Structures and the Rise of Modern Logic, Colloquium in honour of Dan Isaacson, Oxford, U.K.

    The Faculty of Philosophy at the University of Oxford is pleased to announce a colloquium to mark the retirement of Dan Isaacson, celebrating his four decades working at Oxford.

    The one-day colloquium, 'Arithmetic, Structures and the Rise of Modern Logic', will be held on Saturday 15 June 2013 and will consist of papers by leading scholars in logic and the philosophy of mathematics. Lunch will be provided and registration is free. Attendees may also wish to attend the post-colloquium dinner, which will be very reasonably priced and held at a nearby college.

    For further details and registration, please see here: http://users.ox.ac.uk/~sfop0114/isaacson/isaacson.htm.

  • 17-22 June 2013, 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Dynamic Systems (SFM-13:DS), Bertinoro, Italy

    Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

    This year SFM is an offspring of the workshops QAPL and MLQA and is devoted to dynamical systems. It covers topics such as chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking.

    Prospective participants should send by 21 March 2013 the application form, available on the school website. For more information, see http://www.sti.uniurb.it/events/sfm13ds/

  • 17-19 June 2013, Seventh Workshop in Decisions, Games & Logic (DGL 2013), Stockholm, Sweden

    Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

    Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL2013, these will be: Sven Ove Hansson, Annika Wallin, and Jörgen Weibull.

    For more information, see http://www.meansandends.com/workshop13/

  • 17th June 2013, Workshop on inquisitive logic and dependence logic, Room F1.15 (ILLC Seminar room), Science Park 107, Amsterdam

    Date and time: Monday 17th June 2013, 9:00-17:00

    This is a joint workshop of the research group of Inquisitive logic and the research group of Dependence logic. Anyone can attend.

    Speakers: Ivano Ciardelli, Pietro Galliani, Jeroen Groenendijk, Miika Hannula, Juha Kontinen, Floris Roelofsen, Jouko Väänänen, Matthijs Westera, Fan Yang

    For more information, see http://mathstat.helsinki.fi/logic/ILDL_workshop.htm or contact Jouko Väänänen at jouko.vaananen at helsinki.fi.

  • 17 - 21 June 2013, Logica 2013, Hejnice, Czech Republic

    Logica 2013 will be the 27th in the series of annual international symposia devoted to logic. The official language of the symposium is English. Invited speakers are Johan van Benthem, Michael Dunn, Volker Halbach and Michiel van Lambalgen.

    For more information, see http://www.flu.cas.cz/logica or contact logica at flu.cas.cz.

  • 23-28 June 2013, 7th International Conference on Rewriting, Deduction, and Programming (RDP 2013), Eindhoven, The Netherlands

    RDP 2013 consists of:
    RTA (Rewriting Techniques and Applications), June 24-26, and
    TLCA (Typed Lambda Calculi and Applications), June 26-28, and
    Workshops on June 24-25 and June 27-28.

    For more information, see http://www.win.tue.nl/rdp2013/

  • 24-26 june 2013, 24th International Conference on Rewriting Techniques and Applications (RTA 2013), Eindhoven, The Netherlands

    The RTA conferences series serves as a forum for presenting original work on all aspects of rewriting.

    RTA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2013) and several related events.

    For more information, see http://rta2013.few.vu.nl/

  • 24-28 June 2013, Constructive Mathematics: Foundations and Practice (CMFP 2013), Nis, Serbia

    The main aims of the meeting are:
    - To provide mini-series of lectures, presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area.
    - To enable selected speakers to present seminars on their recent research in aspects of constructive mathematics.

    The meeting will be sponsored by the University of Nis and Faculty of Mechanical Engineering of University of Nis, and will be part of the celebration of the 1700th anniversary of the Edict of Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire.

    For more information, see the website of the conference at http://www.masfak.ni.ac.rs/cmfp2013 or email cmfp2013 at masfak.ni.ac.rs.

  • 25 June 2013, Logicality, Lexical Meaning and Semantic Invariance, Barcelona, Spain

    The workshop aims at connecting two debates from two different disciplines: the debate over logical constants in philosophy of logic and the debate on the functional vs. lexical distinction in linguistics. It further aims at examining the notion of semantic invariance, both as used by logicians (namely, as a criterion for logicality) and by linguists and philosophers of language in discussions of semantics. One of the main goals of the workshop is to examine whether the distinction between logical vs. non-logical expressions maps onto the
    distinction between functional vs. lexical (or 'substantive') categories.

    For more information, see http://parles.upf.edu/llocs/istojanovic/workshop/

  • 25-28 June 2013, 28th ACM/IEEE Symposium on Logic In Computer Science (LICS 2013), New Orleans LA, U.S.A.

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

    For more information, see http://lii.rwth-aachen.de/lics/lics13/

  • (New) 26 June 2013, ILLC Midsummernight Colloquium 2013, ILLC Common Room (F1.21), Science Park 107, Amsterdam

    Date and time: Wednesday 26 June 2013, 16:00-17:30

    The ILLC Midsummernight Colloquium 2013 will have three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Martin Stokhof (LoLa), Jakub Szymanik (LoCo) and Ashley Burgoyne (LaCo) have accepted to give presentations.

    For more information, see http://www.illc.uva.nl/ILLCColloquium/Midsummernight2013/.

  • 28-29 June 2013, The Roles of Knowledge, Cambridge, U.K.

    The word 'know' seems to find a comfortable and colloquial equivalent in every human language, which suggests that the concept expressed by this word plays important roles in human life and thought. In recent years, a number of philosophers have investigated the various roles or purposes of knowledge attributions in epistemic evaluation. This workshop seeks to advance the debate by bringing together scholars working in epistemology and related areas. We are interested in exploring any topics that are concerned with the roles of knowledge (or the word 'knowledge') in human life.

    For more information, see http://www.phil.cam.ac.uk/news_events/roles_of_knowledge/roles_of_knowledge.html

  • 30 June - 5 July 2013, Design and Security of Cryptographic Functions, Algorithms and Devices, Albena (Bulgaria)

    Costs: 350 EUR

    The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in cryptography and crpytanalysis.

    Topics include:
    Boolean functions
    Block ciphers
    Hash functions
    Differential and linear cryptanalysis
    Implementation attacks
    Fault injection attacks
    Countermeasures
    Leakage-resilient cryptography
    White-box cryptography
    Security of embedded systems

    For more information, see https://www.cosic.esat.kuleuven.be/summer_school_albena/

  • 1-5 July 2013, Computability in Europe (CiE 2013), Milan, Italy

    CiE 2013 is the ninth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

    CiE 2013 will focus on research of Computational Complexity and the interplay between Proof Theory and Computation, as well as the special theme of the 'Nature of Computation', that is, the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science.

    For more information, see http://cie2013.disco.unimib.it

  • 1-5 July 2013, ACAI Summer School on Computational Models of Argument, London, U.K.

    In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence.

    Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond.

    ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers.

    More information, including a preliminary programme, is available on the website, at http://www.inf.kcl.ac.uk/events/acai13/

  • 1-5 July 2013, 15th European Agents Systems Summer School (EASSS-2013), London, U.K.

    Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

    The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence).

    As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/).

    For more information, see http://www.inf.kcl.ac.uk/events/easss13/ or contact easss13 at kcl.ac.uk.

  • 7-10 July 2013, Twelfth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), Utrecht, The Netherlands

    The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty. Contributions come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Preceding the main conference, on July 7th, a tutorial programme will be offered.

    For more information, see http://www.projects.science.uu.nl/ecsqaru/ or contact the organisers at ecsqaru2013 at science.uu.nl.

  • 7-27 July 2013, UCLA summer school for undergraduates in Logic, Los Angeles CA, U.S.A.

    The UCLA Logic Center is organizing a summer school for undergraduates. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

    Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

  • 15-18 July 2013, 4th European Set Theory Conference (4ESTC), Mon St Benet, Spain

    The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013.

    The program includes:
    - Andrzej Mostowski Centenary. Invited lecture by Adam Krawczyk (Warsaw).
    - Tutorial by Moti Gitik (Tel Aviv).
    - Lecture by the winner of the Hausdorff Medal.
    - 6 plenary lectures.
    - 8 invited lectures.
    - Contributed talks.
    - Poster sessions.
    - Round table on the future of set theory.

    For more information, see http://estcongress.org/

  • 15-17 July 2013, The Annual Meeting of the International Association for Computing and Philosophy (IACAP 2013), College Park MD, U.S.A.

    This generation has borne witness to a veritable explosion in the use of computing technologies in almost every aspect of life. Philosophers, scientists, and technologists/engineers have an important role to play in addressing the foundational questions that arise on the inexorable march toward intelligent machines. This year's theme is "Minds, Machines and Morals."

    For more information, see http://www.iacap.org/conferences/iacap2013/

  • 15-19 Jul 2013, Ninth Panhellenic Logic Symposium (PLS9), Athens, Greece

    The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Ninth Panhellenic Logic Symposium will be hosted by the School of Electrical and Computer Engineering at the National Technical University of Athens.

    For more information, see http://pls9.cs.ntua.gr/

  • 15-17 July 2013, Third Workshop on Formal Methods in Philosophy (Entia et Nomina III), Gdansk, Poland

    Gdansk University (Poland) and the Centre for Logic and Philosophy of Science at Ghent University (Belgium) are organising the third in a series of logico-philosophical workshops on the application of formal methods in philosophy (especially outside the narrow field of philosophy of logic and language). The workshop will take place in Gdansk, Poland (July 15-17, 2013).

    Details are available at: http://entiaetnomina.blogspot.be/2013/02/cfp-entia-et-nomina-iii.html.

  • 19 Jul 2013, Proof Theory in Lisbon, Lisbon, Portugal

    Just before the Logic Colloquium 2013 (Évora, Portugal) there will be a one-day workshop in Proof Theory in Lisbon. The main event of the workhop is a three-part lecture by Jean-Louis Krivine on his classical realizability of set theory, with new proofs of known relative consistency results.

    Please have a look at http://www.ciul.ul.pt/~ferferr/ProofTheoryinLisbon.htm for information and participation.

  • 22-27 July 2013, Logic Colloquium 2013, Evora, Portugal

    Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

    For more information, see http://ptmat.fc.ul.pt/LC2013/ or contact lc2013 at ptmat.fc.ul.pt.

  • 22-26 July 2013, 2nd Hamburg Summer School in Philosophy: Kit Fine on Truthmaker Semantics, Hamburg, Germany

    This course examines and develops a version of situation semantics called truthmaker semantics. The first part of the course provides a basic exposition of the semantics; while the second part of the course considers a number of different applications of the semantics. Special emphasis will be placed on the notion of partial content, which derives from Kant's notion of an analytic truth and provides an alternative to the notion of logical consequence in dealing with many problems.

    During the course, Professor Kit Fine (Silver Professor of Philosophy & Mathematics at NYU) will present and lead discussion on both published and unpublished work on the topic; opportunities for presentations from participants will also be provided.

    More information regarding the Summer School is available on the course website (http://hamburgersommerkurs.wordpress.com/), but if you have any further questions, please feel free to contact the organizers at sommerkurs at gmx.de.

  • 23-26 July 2013, 26th International Workshop on Description Logics (DL 2013) , Ulm (Germany)

    The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

    In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

    Information about submission, registration, travel information, etc., is available on the DL 2013 homepage at http://dl.kr.org/dl2013.

  • 23-28 July 2013, Summer school on Physics and Philosophy of Time, Munich, Germany

    The focus of this summer school will be to appreciate how physics and philosophy interact to contribute to our understanding of the nature of time. Our goal is to bring together scholars from both areas to consider central aspects of time as they arise in various physical theories, as well as how traditional philosophical questions regarding time may both motivate physical theorizing and find themselves constrained by it. Although the summer school will also consider more straightforwardly philosophical issues, the primary focus will be on the foundations of spacetime as the philosophy of physics is concerned with.

    For further information, see http://www.unil.ch/philo/page95121.html or contact mariohubert1 at googlemail.com

  • 24 July - 1 August 2013, 6th International Conference on Topology, Algebra and Categories in Logic (TACL 2013), Nashville TN, U.S.A.

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

    TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a variety of methods outside their immediate area that can be used to study logic.

    For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at tacl2013 at gmail.com or the local Organizing Committee at tacl2013oc at vanderbilt.edu.

  • 29-31 July 2013, 1st International Conference on Statistical Language and Speech Processing (SLSP 2013), Tarragona, Spain

    SLSP is the first event in a series to host and promote research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences including papers in any of these fields, SLSP is a more focused meeting where synergies between areas and people will hopefully happen. SLSP will reserve significant space for young scholars at the beginning of their careers.

    For more information, see http://grammars.grlmc.com/slsp2013/

  • 31 July - 3 August 2013, The Sixth Conference on Artificial General Intelligence (AGI-13), Beijing, China

    The AGI conference series is the premier international forum for cutting-edge research focusing on the original goal of the AI field: the creation of thinking machines with general intelligence at the human level and ultimately beyond. The AGI conference series is held in cooperation with AAAI, and AGI-13 will co-locate with IJCAI-13. This is the first AGI conference to be held in Asia, and will be hosted by Peking University.

    Like its predecessors, AGI-13 will gather researchers in AGI and associated disciplines for wide-ranging presentation and discussion of approaches, architectures, algorithms and ideas relevant to the advancement of artificial general intelligence.

    For more information, see http://agi-conf.org/2012

  • 3-5 August 2013, Workshop "Information and Trust Dynamics in AI" (ITDAS'13), Beijing, China

    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 aims at discussing formal theories and logics of information dynamics, in order to better understand how information circulates in an artificial society, how it affects trust, and how it contributes to the construction of reputation and collective attitudes, and to the emergence of conventions. The workshop is an associated event of IJCAI-13.

    For more information, see the workshop website at http://www.irit.fr/~Laurent.Perrussel/itdas-13/.

  • 3-5 August 2013, Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013), Beijing, China

    The biennial Workshop on Nonmonotonic Reasoning, Action and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

    This year's special theme is the qualification problem, the fundamental problem of assuming away by default unexpected circumstances preventing the successful execution of an action.

    For more information, see http://innovation.it.uts.edu.au/nrac2013/

  • 3-5 August 2013, Theory and Applications of Formal Argumentation (TAFA-13), Beijing, China

    The Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) will be co-located with IJCAI 2013 in Beijing, and builds on the success of TAFA 2011 (co-located with IJCAI 2011). The workshop is inspired by the recent rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of Artificial Intelligence. TAFA 2013 aims to further foster uptake of argumentation as a viable AI paradigm with wide ranging application by providing a forum for further development of existing ideas and for the initiation of new and innovative collaborations.

    For more information, see http://homepages.abdn.ac.uk/n.oren/pages/TAFA-13/

  • 4-6 August 2013, 2013 Workshop on Computational Models of Narrative (CMN 2013), Hamburg, Germany

    Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why and to what extent narrative is universal and explain (or explain away) the function it serves. The aim of this workshop series is to address key questions that advance our understanding of narrative and our ability to model it computationally.

    This workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. The workshop will be held as a satellite event of the 2013 Annual Meeting of the Cognitive Science Society (to be held in Berlin 31st July - 3rd August), and so will have a special focus on the cognitive science of narrative.

    For more information, see http://narrative.csail.mit.edu/ws13. Questions should be directed to narrative-ws13 at csail.mit.edu.

  • 5-16 August 2013, 25th European Summer School in Logic, Language and Information (ESSLLI-2013), Duesseldorf, Germany

    The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

    For more information, see http://www.esslli2013.de/

  • 5-16 August 2013, ESSLLI Student Session 2013, Düsseldorf, Germany

    The ESSLLI Student Session will be held during the next European Summer School in Logic, Language and Information in Düsseldorf, Germany (5th-16th August).

    For more information, seehttp://stus2013.loriweb.org/ or the main ESSLLI-2013 page at http://esslli2013.de/.

  • 5-9 August 2013, Boolean algebra, Lattice theory, universal Algebra, Set theory, Topology (BLAST 2013), Orange CA, U.S.A.

    BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

    BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

    More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

  • 5-9 August 2013, Workshop on Bayesian Natural Language Semantics and Pragmatics, Duesseldorf, Germany

    The workshop wants to collect emerging work in Bayesian interpretation, as well as work using Bayesian methods in natural language (NL) interpretation, and bring together the various approaches so as to contribute to a more integrated research programme in this new area.

    The workshop is part of ESSLLI-2013 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2-3 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic.

    For more information, see http://www.bnlsp.ws/.

  • 12-16 August 2013, ESSLLI Workshop on Logical Models of Group Decision Making, Düsseldorf, Germany

    In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally).

    The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013).

    For more information, see http://www.illc.uva.nl/~ulle/esslli-workshop-2013/.

  • 18-31 Aug 2013, ICCL Summer School 2013: Semantic Web, Dresden, Germany

    As in the past summer schools at the Technische Universität Dresden, people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners. The topic of this year's summer school is "Semantic Web - Ontology Languages and Their Use"

    The summer school is devoted to the Semantic Web, a very dynamic and current area of research and application which aims at making information on the World Wide Web fit for intelligent systems applications. One of the key ideas of the Semantic Web approach is to make use of methods from knowledge representation and of AI research in general in order to obtain seamless integration of information from diverse resources, interoperability of tools, enhance search functionalities, and the like. The ICCL Summer School 2013 will introduce to Semantic Web Ontology Languages and some of their application areas, and highlight related research problems.

    Registration preferably by April 11, 2013. Please consult our web pages for further details: http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24.

  • 20-23 August 2013, 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013), Darmstadt, Germany

    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 twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.

    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), Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

    For more information, see http://wollic.org/wollic2013/.

  • 22-24 August 2013, SIGDIAL Conference, Metz, France

    The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialog to both academic and industry researchers. Continuing with a series of thirteen successful previous meetings, this conference spans the research interest areas of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA.

  • 23-24 August 2013, Groundedness in Semantics and Beyond, Oslo, Norway

    The notion of groundedness has been central to research on the semantic paradoxes ever since Kripke's seminal work on truth, and the notion continues to inspire work in this area. Recently, the notion has been applied more widely, for instance to criteria of identity, abstraction principles, and the semantics of modal predicates. There is also a renewed interest in the notion of grounding in metaphysics, and of course the focus on 'grounded objects' in all of these areas is closely related to the emphasis on well-founded sets in set theory. This workshop aims to bring together researchers who deal with groundedness in logic, semantics, metaphysics, and the philosophy of mathematics in order to get a clearer understanding of this concept and of its applications.

    For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/conferences/ or contact Jõnne Speck at jonnesp at ifikk.uio.no.

  • 29-31 August 2013, 4th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2013), Borca di Cadore, Italy

    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.

    Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).

    Please visit the conference website http://gandalf.di.univr.it/ for more information.

  • 1-5 September 2013, 16th International Conference on Text, Speech and Dialogue (TSD 2013), Plzen, Czech Republic

    TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

    The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

    For more information, see http://www.tsdconference.org/

  • 3-6 September 2013, Algebra and Coalgebra in Computer Science (CALCO 2013), Warsaw, Poland

    CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

    It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland.

    For more information, see http://coalg.org/calco13/ or contact calco2013 at mimuw.edu.pl.

  • 4-5 Sep 2013, British Logic Colloquium 2013, Leeds, U.K.

    The British Logic Colloquium (BLC) 2013 will be held at the University of Leeds from the 5th to the 7th of September 2013, together with a symposium (4th-5th September 2013) in memory of Sir Michael A E Dummett FBA DLitt (1925-2011).

    It is expected that there will also be a BLC Postgraduate logic meeting on the afternoon of September 3rd and morning of September 4th 2013.

    For more information, see http://www1.maths.leeds.ac.uk/~blc2013/ or contact blc2013 at leeds.ac.uk.

  • 9-13 September 2013, Workshop on Modelling Meets Infant Studies in Language Acquisition

    Location: Lorentz Center, Niels Bohrweg 2, Leiden, The Netherlands

    The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.

    For more information, see http://www.lorentzcenter.nl/lc/web/2013/579/info.php3?wsid=579

  • 9-12 September 2013, "Reflection principles and set theory of large cardinals", Kyoto, Japan

    The RIMS meeting "Reflection principles and set theory of large cardinals" will take place from Sept. 9 till Sept. 12 at the Research Institute for Mathematical Sciences, Kyoto University, Japan.

    Please note that this meeting is right after TopGeo 2013 and right before the 13th ALC in Guangzhou, China,

    As there is no webpage yet, people interested in attending should contact the organizer, Sakae Fuchino, at fuchino at diamond.kobe-u.ac.jp.

  • 16-18 September 2013, Conference on Logic and Philosophy of Science (CLPS13), Gent, Belgium

    On occasion of its 20th anniversary, the The Centre for Logic and Philosophy of Science of Ghent University organises an international Conference on Logic and Philosophy of Science (CLPS13) on the themes that are central to its research:
    - Logical analysis of scientific reasoning processes
    - Methodological and epistemological analysis of scientific reasoning processes

    For more information, see http://www.clps13.ugent.be/

  • 16-20 Sep 2013, 11th German Cnference on Multiagent System Technologies (MATES 2013) and 4th Joint Agent Workshops in Synergy (JAWS 2013), Koblenz, Germany

    The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

    In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

    For more information, see http://www.mates2013.de/

  • 17-18 September 2013, Combining probability and logic to solve philosophical problems (Progic 2013), Munich, Germany

    The Sixth Workshop on Combining Probability and Logic (progic 2013) focuses on "Combining probability and logic to solve philosophical problems".

    For more information, see http://www.pfeifer-research.de/progic/.

  • 17-19 September 2013, Mathematical Cultures (MC2), London, U.K.

    The second conference in the AHRC-funded series on Mathematical Cultures will take place at De Morgan House (London) 17-19 September 2013. This meeting will articulate and classify mathematical values. What do mathematicians mean when they use terms such as ‘deep’, ‘elegant’, ‘explanatory’, etc.? What is the rational structure of the deliberations mathematicians use to reach value judgments (in PhD examinations, book reviews, journal referee reports, etc.)? How much variety is there in mathematical values between mathematical cultures? What are the virtues of a good mathematician?

    Speakers will include: Prof Alan Bishop, Prof Paul Ernest, Prof Jose Ferreiros and Prof Emily Grosholz

    For further details, please see the conference website at https://sites.google.com/site/mathematicalcultures/conference-2 or e-mail b.p.larvor at herts.ac.uk

  • 19-20 September 2013, Modal Metaphysics: Issues on the (Im)Possible, Bratislava, Slovakia

    Keynote speakers: John Divers (Leeds) and Francesco Berto (Aberdeen).

    For further details, please visit the conference website at http://metaphysicalsociety.webnode.sk/.

  • 23-27 September 2013, Tenth International Tbilisi Symposium on Language, Logic and Computation

    The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

    The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

    For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2013/

  • 27-29 September 2013, Rules 2013, Krakow, Poland

    Costs: 850/400 PLN

    The idea of the Conference is to bring together philosophers, legal philosophers, psychologists and cognitive scientists, including researchers on artificial intelligence, who are interested in the problem of rules, rule-following and normativity.

    Our aim is to create an interdisciplinary forum that will bring together academics representing different disciplines, willing to present their perspective on the issues related to rules and normativity.

    Invited speakers: Paul Boghossian, Brian Bix, Philip Zelazo and Stefano Bertea.

    For more information, see http://www.rules2013.pl/.

  • 3-4 Oct 2013, 2nd APMP meeting: Association for the Philosophy of Mathematical Practice, Urbana IL, U.S.A.

    The Second International Meeting of the Association for the Philosophy of Mathematical Practice (APMP) will be held October 3-4, 2013 at the University of Illinois at Urbana-Champaign, USA.

    The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice---including issues in history of mathematics, the applications of mathematics, cognitive science, etc. This meeting will be the first part of a four day meeting on problems and prospects in the philosophy of mathematics. The second part will be the Fourteenth Midwest PhilMath Workshop (MWPMW 14): we hope APMP participants will also stay for this second part.

    For more information, see http://institucional.us.es/apmp/index_APMP2013.htm

  • 10-12 October 2013, Conference "Investigating Semantics: Empirical and Philosophical Approaches", Bochum, Germany

    Natural language semantics is today a wide-ranging and methodologically diverse discipline. One can distinguish broadly between those who use experimental methods from those who don't. Mostly, semanticists in psychology or neuro-science work experimentally, while philosophers, logicians and linguists work non-experimentally. However, the variety of approaches and methods among both groups is huge. Even within the camp of theoretical semantics there are numerous communities: formal semantics, possible world semantics, discourse representation theory, etc. The same heterogeneity is present in the camp of empirical researchers: psycho- and neuro-linguistics, corpus linguistics, etc.

    The aim of the workshop is to bring together these different branches which are often working on very related topics. The workshop will not only present the variety of empirical and theoretical approaches to semantics, but also invites explicit discussions of the neurobiological and psychological basis of semantics as well as its methods, and epistemology.

    For more information, see http://www.rub.de/phil-lang/investigating/ or contact insemp at rub.de.

  • 28-31 October 2013, 2nd International Conference on the History and Philosophy of Computing (HaPoC 2013), Paris, France

    The birth of the computing and its sciences has often been the topic of philosophical and historical reflection. The HaPoC-conferences have decided to bring together the historical and the philosophical viewpoints. They want to create an environment for a true interdisciplinary convergence around computer science, reenforcing research on the science(s) of computing and its history and stimulating a theoretical dialogue between these domains.

    Please check out the website of HaPoC 2013 for more information on the conference: http://hapoc2013.sciencesconf.org

  • 15-16 November 2013, First annual conference of the Dutch Research School of Philosophy, Erasmus University Rotterdam

    The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

    For more information, see http://www.ozsw.nl/ozsw-conference-2013/

  • 201 June 4, European Symposium on Medieval Logic and Semantics (ESMLS XX), June 2014, Cambridge, U.K.

    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 http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=4819.

        Back to top of page