Institute for Logic, Language and Computation


News and Events:

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

  • 24-28 November 2015, The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-20), Suva, Fiji (deadline: 30 June 2015)

    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 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

    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: 30 June.

    For more information, see

  • 22 September 2015, Workshop on Neural-Cognitive Integration, TU Dresden, Germany (deadline: 1 July 2015)

    The aim of the interdisciplinary workshop is to bring together recent work addressing questions related to open issues in neural-cognitive integration, i.e., research trying to bridge the gap(s) between different levels of description, explanation, representation, and computation in symbolic and sub-symbolic paradigms, and which sheds light onto canonical solutions or principled approaches occurring in the context of neural-cognitive integration.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 1 July 2015.

    For more information, see

  • 21-22 September 2015, 3rd International Workshop on Strategic Reasoning (SR 2015), Oxford, England (deadline: 1 July 2015)

    Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behaviour of adversaries. The SR international workshop aims to bring together researchers working on different aspects of strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Two types of submission are invited: contributions reporting on novel research, and expository contributions reporting on published work. Abstract submission deadline: July 1st, 2015 (strict).

    For more information, see

  • 15 November 2015, 4th Workshop on Games and NLP (GAMNLP-15), Santa Cruz CA, U.S.A. (deadline: 3 July 2015)

    This workshop aims at promoting and exploring the possibilities for research and practical applications involving Natural Language Processing (NLP) and Games. The main objective is to provide a forum for researchers and practitioners to discuss and share ideas regarding how the NLP research community can contribute to games research and vice versa. The workshop welcomes the participation of both academics and industry practitioners interested in the use of NLP in games or vice versa. It is to be held at the 11th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15).

    The Programme Committee cordially invites all researchers to submit their The workshop accepts three types of submissions: full papers, short papers and system demonstrations. Deadline for submissions: 3 July 2015, 11:59pm HST.

    For more information, see or send an email to gamnlp15 at

  • 14-15 November 2015, The Eighth Workshop on Intelligent Narrative Technologies (INT8), Santa Cruz CA, U.S.A. (deadline: 3 July 2015)

    The Intelligent Narrative Technologies (INT) workshop series aims to advance research in artificial intelligence for the computational understanding and expression of narrative. INT8, the eighth workshop in the series, will be co-located with the Eleventh Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2015) at University of California, Santa Cruz.

    Recent years have witnessed significant advances in the technical, creative, and aesthetic interpretation of narratives with digital media, including games, simulations, interactive fiction, and electronic literature. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. Previous meetings of this workshop have brought together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.

    We invite submissions of full papers (6 pages plus 1 page of references) describing completed or ongoing relevant research and short papers (4 pages including references) for preliminary work, position papers, or work of limited scope. We also invite demo proposals (1 page) and panel proposals (1 page). Submission deadline: July 3

    For more information, see

  • 27-29 November 2015, General Proof Theory, Tuebingen, Germany (deadline: 15 July 2015)

    General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.

    We invite contributed talks on topics of general proof theory, including categorial proof theory. Contributions on related topics are welcome, too. We especially encourage young researchers to contribute. There will be 12 slots for contributed talks (30 min). The deadline for submission is 15 July 2015.

    For more information, see

  • 2-4 September 2015, British Logic Colloquium 2015 (BLC 2015), Cambridge, England (deadline: 15 July 2015)

    BRITISH LOGIC COLLOQUIUM 2015 Cambridge, England 2-4 September 2015

    The 2015 meeting of the British Logic Colloquium will be held in Cambridge on 2nd-4th September. It will be preceded by BLC PhD day (1st-2nd September). This is a general Logic meeting covering a variety of topics within mathematical, philosophical and computer science logic. The meeting will include ten invited talks (speakers listed below) and a number of contributed talks.

    Anyone wishing to contibute a talk should send an abstract (of about 250 words) to blc-2015 at by 15 July, 2015.

    For more information, see

  • 9-12 December 2015, 11th Conference on Web and Internet Economics (WINE-2015), Amsterdam (deadline: 24 July 2015)

    Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.

    Authors are invited to submit extended abstracts presenting original research on any of the research fields related to WINE 2015. Industrial applications and position papers presenting novel ideas, issues, challenges and directions are also welcome. Deadline: 24 July 2015.

    For more information, see

  • 4-7 January 2016, Logical Foundations of Computer Science 2016 (LFCS'16), Deerfield Beach FL, U.S.A. (deadline: 6 September 2015)

    The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions deadline: midnight September 6, 2015, any time zone.

    For more information, see

  • 6-9 January 2016, 2015-16 ASL Winter Meeting, Seattle WA, U.S.A. (deadline: 11 September 2015)

    The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts must be received by the deadline of September 11, 2015.

    For more information, see

  • 21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia (deadline: 26 September 2015)

    The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.

    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 2015 forum is the eleventh instalment of a series of biannual Symposia.

    The programme committee invites submissions of maximum three page abstracts (including references) in LNCS style on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. The submission deadline is the 1st of March 2015.

    For more information, see

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.

  • 20-30 June 2015, Fifth World Congress on Universal Logic (UNILOG 2015), Istanbul, Turkey

    This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

    This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

    For more information, see

  • 25-30 June 2015, Workshop "The idea of logic: Historical Perspectives", Istanbul, Turkey

    Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.

    For more information, see

  • 29 June - 3 July 2015, Trends in Logic XV: Logics for Social Behaviour, Delft, The Netherlands

    The conference aims at promoting interdisciplinary research and disseminating results at the interface between: Non-Classical Logics, Social choice and related topics, and Formal Approaches to Market Dynamics.

    For more information, see or contact trendslsb at

  • 29 June - 1 July 2015, 26th International Conference on Rewriting Techniques and Applications (RTA 2015), Warsaw, Poland

    RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).

    For more information, see and, or contact the PC chair: Maribel.Fernandez at

  • 29 June - 3 July 2015, Computability in Europe 2015 (CiE 2015), Bucharest, Romania

    CiE 2015 is the 11-th 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.

    Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

    For more information, see

  • 29 June - 1 July 2015, 12th International Conference on Mathematics of Program Construction (MPC 2015), Koenigswinter (Germany)

    The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.

    For more information, see or email jv at

  • 30 June 2015, 4th International Workshop on Computational Creativity, Concept Invention, and General Intelligence, Istanbul, Turkey

    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

  • 1-3 July 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Warsaw, Poland

    The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.

    For more information, see and

  • 2-3 July 2015, 2015 Annual Conference of the Australasian Association of Logic (AAL), Sydney, Australia

    The 2015 annual conference of the Australasian Association of Logic (AAL) will be held in Sydney, Australia, on Thursday 2nd July and Friday 3rd July 2015. The venue is the Muniment Room, Main Quadrangle, University of Sydney.

    The AAL was founded in 1965 and this conference marks its fiftieth anniversary.

    For more information, see

  • 2 July 2015, ILLC Current Affairs Meeting, ILLC Common room (F1.21), Science Park 107, Amsterdam

    Date and time: Thursday 2 July 2015, 16:00-17:30

    As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards (also in the ILLC Common Room).

    For more information, contact illc at

  • 3-5 July 2015, Formal Ethics 2015, Bayreuth, Germany

    The formal analysis of ethical concepts and theories (via the application of tools from logic, rational choice theory, natural language semantics, AI) is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. The series Formal Ethics conferences aims at providing an international platform for the discussion and promotion of formal approaches to ethics, to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy, and to push the frontiers of the research being conduced in this field.

    Contact and further information:
    Email: organization at formalethics dot net
    Web: www dot formalethics dot net

  • 5 July 2015, Third Workshop on Natural Language and Computer Science (NLCS '15), Kyoto, Japan

    Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.

    MC'15 is affiliated with 42nd International Colloquium on Automata, Languages and Programming (ICALP 2015) and 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)

    For more information, see

  • 6-11 July 2015, 32nd International Conference on Machine Learning (ICML 2015), Lille, France

    ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

    For more information, see

  • 6-8 July 2015, 15th Rhythm Perception and Performance Workshop (RPPW), Royal Tropical Institute (KIT)

    RPPW is a biannual summit that seeks to explore innovative means of understanding rhythm production and perception. Rhythms are paramount in human functioning. Walking, talking, music performance – they all have rhythmic components. As of today the neurobiology of the underlying timing is not well understood, let alone the corresponding cognitive processes. The 15th edition of RPPW is therefore devoted to integrating various disciplines like biophysics, neurophysiology, cognitive psychology, and the science of music.

    For more information, see

  • 7-10 July 2015, VIII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science, Barcelona, Spain

    The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.

    The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.

    For more information, see or contact 8slmfce at

  • 11 July 2015, Workshop "Questioning the Concepts of Culture, Diversity and Comparison in the History and Philosophy of Science", Paris, France

    The International Association for Science and Cultural Diversity (IASCUD) is pleased to announce a one-day workshop being held in Paris, France on Saturday, 11 July 2015. The event will consist of a number of presentations from invited expert speakers and round-table discussions/debates to question the notions of "culture", "diversity", and "comparison" in the history and philosophy of science. This workshop, held in English, will be interactive and discussions will be encouraged. We hope you will join us this summer in Paris.

    Registration is free and required ahead of time. On-site registration will not be available. Participation via Skype is possible with a requisite arrangement. On-line or physical participation will be limited, so please let us know as soon as possible if you with to attend this workshop. For more information, see

  • 12-15 July 2015, Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015), Tokyo, Japan

    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

  • 13-17 July 2015, SummerSchool on Fair Division, Grenoble, France

    Costs: free (travel grants available)

    This summer school, intended for PhD students, postdocs, and advanced Master's students in a variety of disciplines, will provide a thorough introduction to the research area of fair division, which is concerned with the problem of fairly dividing a number of goods between the members of a group of agents. It is organised by COST Action IC1205 on Computational Social Choice, and in addition supported by a grant from the Persyval Labex.

    Participation is free of costs, but you need to apply to be offered a spot (deadline: 10 April 2015). You can apply for a travel grant to cover (most of) your transport and accommodation expenses. Interested participants can present a poster of their own work at the summer school.

    For more information, see or contact Ulle Endriss (ulle.endriss at

  • 13-17 July 2015, 12th International Workshop on Quantum Physics and Logic (QPL 2015), Oxford, England

    This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials

    For more information, see

  • 13-17 July 2015, 10th International Computer Science Symposium in Russia (CSR 2015), Listvyanka/Lake Baikal (Russia)

    CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg

    Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).

    Further information and contacts:
    Email: csr2015 "at"

  • 16-18 July 2015, Experimental Pragmatics 2015, Chicago, U.S.A.

    The invited speakers are: David Beaver (University of Texas)Noah Goodman (Stanford University), Yi Ting Huang (University of Maryland), Hannah Rohde (Edinburgh University), and Michael Tanenhaus (University of Rochester).

    For more information, see

  • 17-18 July 2015, Workshop "Fiction and Depiction", Hamburg, Germany

    As part of the Emmy Noether Research Group Ontology after Quine: Fictionalism and Fundamentality, the University of Hamburg will host a 2-day workshop on Fiction and Depiction. As its name suggests, the workshop is intended to address issues concerning fiction and depiction, with a particular emphasis on issues that arise at the intersection of philosophical work on fiction and pictorial representation.

    The workshop will take place on Friday 17th and Saturday 18th July and the speakers will be: Catharine Abell (Manchester), Paloma Atencia-Linares (UNAM), Rob Hopkins (NYU), Kathleen Stock (Sussex), Kendall Walton (Michigan) and Richard Woodward (Hamburg).

    Attendance is free, but please let us know if you intend to attend by emailing richard.woodward at and julia.zakkou at For more details, please see the announcement at

  • 19 July 2015, Horn Clauses for Verification and Synthesis (HCVS 2015), San Francisco CA, U.S.A.

    Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses.

    This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.

    For more information, see

  • 19-20 July 2015, Conference on Computing Natural Reasoning (CoCoNat 2015), Bloomington IN, U.S.A.

    Logic was originally meant to systematize and analyze arguments in natural language. But in the 20th century the main developments in logic focused on mathematics and its foundations. Recently, a number of researchers have focused on logical systems tuned to natural language semantics to reconnect with the older tradition. The logical and conceptual underpinnings of some of these systems remains unclear, although some recent work has begun to address formal foundations.

    The aim of this conference is to contribute to this direction in semantics and to discuss logics, especially proof systems, well-suited for natural language semantics and to explore comparisons between these systems. We also welcome input from people invoved in computational semantics, psychology of reasoning, and computer implementations of natural reasoning systems.

    For more information, see

  • 20-23 July 2015, 22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015), Bloomington IN, U.S.A.

    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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.

    It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL) (SBL).

    For more information, see

  • 25 July - 1 August 2015, 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina

    IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).

    A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.

    For more information, see

  • 25-26 July 2015, 14th Meeting on Mathematics of Language (MoL 2015), Chicago, U.S.A.

    MoL is a biannual conference, organized by the Association for Mathematics of Language, and devoted to the study of mathematical structures and methods that are of importance to the description of language. The meeting takes place on the last weekend of the Linguistic Summer Institute of the Linguistic Society of America.

    For more information, see, or contact mol2015 at (for inquiries about the scientific program of the conference) or mol2015.chicago at (for inquiries about the local organization and all practical aspects of the conference).

  • 26 July to 1 August 2015, Summer School on Mathematical Philosophy for Female Students, Munich, Germany

    The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.

    Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage 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 formal epistemology, simulation techniques, the semantics-pragmatics interface. 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 March 1, 2015. For more information, see

  • 26 July - 1 August 2015, Hilbert-Bernays Summer School on Logic and Computation, Goettingen, Germany

    The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

    Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

    For more information, see

  • 27-31 July 2015, 4th Hamburg Summer School: Stephen Yablo, Hamburg, Germany

    The Fourth Hamburg Summer School will be taught by Prof. Stephen Yablo from the Massachusetts Institute of Technology. The course will take place between the 27th July and 31st July 2015 at the University of Hamburg, Germany. Prof. Yablo will present material from his new book Aboutness.

    Further information will follow soon on the following website:

  • 27-31 July 2015, Scandinavian Logic Society (SLS) Summer School in Logic 2015, Helsinki, Finland

    The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.

    Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Åsa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.

    For more information, see or contact Juliette Kennedy at juliette.kennedy at

  • 1 August 2015, 2nd International Workshop on Quantification (QUANTIFY 2015), Berlin, Germany

    Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding as it would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Consequently, theoretical results established for the quantifier-free formalism may not directly be 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 2nd International Workshop on Quantification (QUANTIFY 2015) 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

  • 3-14 August 2015, ESSLLI-2015 Workshop "Logics for Resource-Bounded Agents", Barcelona, Spain

    Research in resource-bounded agency contributes both to reasoning about actions in philosophy and artificial intelligence, and to applications of logic in computer science, such as the practical verification of resource-bounded multi-agent systems. The Logics for Resource-Bounded Agents workshop will provide a forum for established researchers and advanced PhD students to present and discuss their work with colleagues working in related areas (particularly those represented at ESSLLI). In addition to logics of strategic ability where actions produce and consume resources, we solicit contributions from researchers working in epistemic logic, game theory, linear logic etc. on alternative approaches to modelling resource-bounded agency.

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

    For more information, see

  • 3-8 August 2015, 15th Congress of Logic, Methodology, and Philosophy of Science (CLMPS 2015), Helsinki, Finland

    The great tradition of international congresses of LMPS, under the auspices of the Division of Logic, Methodology and Philosophy of Science, was started in 1960 at Stanford University. Every four years these meetings bring together logicians and philosophers of science from all over the world to present and discuss their current work.

    The programme covers all systematic and historical aspects of formal logic, general philosophy of science, and philosophical issues of special sciences. The theme of the 15th Congress is "Models and Modelling". A special feature of the LMPS in 2015 is the co-location of the Logic Colloquium, the European Summer Meeting of the Association for Symbolic Logic (ASL), in Helsinki, which allows the participants also to enjoy a rich supply of lectures in mathematical logic.

    For more information, see

  • 3-4 August 2015, Workshop on Truthmaker Semantics and related topics, Hamburg, Germany

    Professor Kit Fine will use his Anneliese Maier Research Price of the German Humboldt Foundation to finance a series of workshops on truthmaker semantics and related topics. The workshops will be organized by the Phlox research group under the auspices of Professor Benjamin Schnieder. The first instalment of the series will take place at the university of Hamburg on August 3rd and 4th 2015. The talks of the workshop are loosely centred around the themes of Professor Stephen Yablo's latest book 'Aboutness?.

    For more information, see

  • 3-8 August 2015, Logic Colloquium 2015, Helsinki, Finland

    The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science (CLMPS 2015), and with the SLS Summer School in Logic.

    For more information, see

  • 3-7 August 2015, ESSLLI 2015 Workshop, Barcelona, Spain

    Title: Bridging Logical and Probabilistic Approaches to Language and Cognition

    Recent years have seen increased interest in applying logical methods and frameworks, the traditional subject matter of ESSLLI, to cognitive modeling, whereby logical models of cognitive phenomena are tested against empirical data. At the same time, there has recently been an explosion of activity in the cognitive sciences around (structured) statistical, and specifically Bayesian, models. With this workshop we propose to bring together two groups of researchers -- logicians focused on cognitive modeling, and cognitive scientists incorporating logical structure into probabilistic models -- with the aim of cross-pollination, and ideally, a consensus on how these two traditions relate, and how we might combine the best of what both have to offer. The primary aim is to gain a better understanding of (i) how cognitive computational models could be enriched by logical insights and (ii) how logical models may be turned into cognitive models.

    For more information, see

  • 3-14 August 2015, 27th European Summer School in Logic, Language and Information (ESSLLI-2015), Barcelona, Spain

    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 or email A.Jung at

  • 4-6 August 2015, The 9th International Conference on Web Reasoning and Rule Systems (RR 2015), Berlin, Germany

    The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems.

    RR 2015 also hosts a doctoral consortium, which will provide PhD students with an opportunity to present and discuss their research directions, to be involved in discussions on the state-of-the-art research, and to establish fruitful collaborations. In particular, the doctoral consortium will include a mentoring lunch and a poster session, organized jointly with the 9th International Web Rule Symposium (RuleML 2015).

    For more information, see or, or contact lpulina at

  • 8-9 August 2015, The 20th Conference on Formal Grammar (FG 2015), Barcelona, Spain

    FG-2015 is the 20th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which takes place in 2015 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

    For more information, see

  • 9-13 August 2015, 2nd international conference on Logic, Relativity and Beyond, Budapest, Hungary

    Costs: 170 EUR [100 EUR for students]

    There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

    For more information, see

  • 10-14 August 2015, "Empirical Advances in Categorial Grammar", Barcelona, Spain

    This workshop provides a forum for discussion of recent empirical advances in categorial grammar (CG). After the revival of interest in CG in linguistics in the 80s, various extensions to the Lambek calculus and an early version of Combinatory Categorial Grammar have been proposed. But the fundamental question of whether CG constitutes an adequate linguistic theory still seems to be wide open. Moreover, there are now numerous variants of CG, both in the TLCG tradition and in CCG. Which of these theories constitutes the most adequate version of an empirical theory of natural language?

    Logical, mathematical, and computational analyses have tended to take precedence over empirical ones in the past 30 years in CG research. These are all important and very illuminating, but at the same time we may now want to pause and reflect on the question of just where we are in terms of empirical adequacy. We think that the time is ripe to critically scrutinize the empirical consequences of the various formal techniques/frameworks proposed in the literature in the past 30 years, as well as ones that are being developed at this very moment.

    For more information, see

  • 17-21 August 2015, 4th International Quantum Key Distribution (QKD) Summer School, Waterloo, Ontario, Canada

    Costs: $250 CAD registration fee

    The 4th International Quantum Key Distribution (QKD) Summer School will be held August 27-31, 2015 at the Institute for Quantum Computing, University of Waterloo.

    The program is aimed primarily at graduate students and young postdoctoral fellows with a basic idea of quantum information and cryptography concepts who want to deepen their understanding of the cryptographic context, the theoretical underpinning and the experimental realizations and difficulties.

    The application deadline is Monday, June 8, 2015. Upon acceptance into the school a $250 CAD registration fee is due.

    For more information and an application form, see

  • 24-28 August 2015, European Set Theory Conference (5ESTC), Cambridge, England

    The 5ESTC is the fifth meeting in a series of biennial meetings coordinated by the European Set Theory Society. As part of 5ESTC we will celebrate the 70th birthday of Adrian Mathias during the Mathias Day (Thursday 27).

    For more information, see

  • 27-28 August 2015, George Boole Mathematical Sciences Conference, Cork, Ireland

    As part of the celebrations of Boole's bicentenary, the George Boole Mathematical Sciences (GBMS) Conference will be held in University College Cork (UCC) during the last two weeks of August 2015. George Boole (1815 ' 1864) was the first professor of mathematics at Cork. Boole's efforts to mathematize logical thinking caused a lasting paradigm shift in the 19th century which enlarged the scope and potency of modern mathematics, and provided a wealth of ideas for applications in diverse scientific areas resulting in ground-breaking innovations during the 20th century and beyond.

    This event will include 100-150 lectures on selected areas, and embed the folllowing events:
    - 2015 Annual Meeting of the Irish Mathematical Society (IMS)
    - Domains XII
    - When Boole Meets Shannon

    Information on the GBMS conference program is available at:

  • 31 August - 4 September 2015, NAT@Logic 2015: Logic AT Natal, Natal, Brazil

    NAT@Logic 2015 is a pool of workshops related to Logic in Computer Science, in Philosophy, and in Mathematics. The full programme will boast 10 keynote speakers, plus at least 60 contributed talks and 15 tutorials. The collocated events that constitute NAT@Logic 2015 are:

    • LSFA X (10th Workshop on Logical and Semantic Frameworks, with Applications)
    • GeTFun 3.0 (3rd Workshop on Generalizations of Truth-Functionality)
    • Filomena 2 (2nd Workshop on Philosophy, Logic and Applied Metaphysics)
    • LFIs^15 (Workshop commemorating the 15 years of the LFIs)
    • TRS Reasoning School (TRS = TRS Reasoning School)

    For more information, see

  • 2-4 September 2015, Salzburg Conference for Young Analytic Philosophy (SOPhIA 2015), Salzburg, Austria

    SOPhiA 2015 provides an opportunity for students and doctoral candidates in philosophy to take a first peek into the philosophical business and to get in touch with prospective or well established philosophers. Contributions in every discipline of philosophy (epistemology, ethics, logic, metaphysics, philosophy of religion, philosophy of science, etc.) are welcome. As common in analytic philosophy, contributors should make use of understandable language as well as rational argumentation. In addition to the conference presentations there will also be three affiliated workshops on selected topics in analytic philosophy.

    Keynote Speakers: Christopher Gauker, Friederike Moltmann, Sonja Smets and Ulla Wessels

    For more information, see

  • 2-4 September 2015, Filomena 2, Natal, Brazil

    The second edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group on Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy.

    Logic, while initially considered as a branch of Philosophy, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Since its modern development, Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.

    For more information, see

  • 7-10 September 2015, Computer Science Logic 2015 (CSL 2015), Berlin, Germany

    Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

    On 11-12 september two co-located events will take place:
    - The 11th International Workshop on Fixed Points in Computer Science (FICS'15)
    - YuriFest, a celebration of Yuri Gurevich's 75th birthday with a symposium in his honour

    For more information, see

  • 9-11 September 2015, Workshop "Entia et Nomina V", Krakow, Poland

    The "Entia et Nomina" series features English language workshops for young researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology or philosophy of language. The aim of the workshop is to foster cooperation among young philosophers with a formal bent from various research groups. The fifth workshop in the series will take place from 9 to 11 September in Krakow, Poland.

    The Entia et Nomina V workshop will be preceded by the 4th workshop of The Budapest-Krakow Research Group on Probability, Causality and Determinism (, which will take place on the 7th and 8th of September at the same venue. We welcome anyone interested in these topics to visit that workshop too!

    For more information, see the conference website at

  • 13-16 September 2015, 1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15), Lodz, Poland

    LQMR'15 aims at bringing together researchers from various fields interested in qualitative modelling and reasoning. In particular, the workshop will focus on the formal approaches to qualitative reasoning, its philosophical aspects and practical applications of QR methods in engineering and computer science.

    For more information, see

  • 13-26 September 2015, Summer School "Reasoning", Dresden, Germany

    The summer school "Reasoning" is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art. All lecturers are leading researchers in their field and have been awarded prizes.

    For the participants of the summer school, the participation at the 38th German AI conference, also held at TU Dresden, is free of charge.

    You can find more information about the summer school at

  • 14-18 September 2015, Continuity, Computability, Constructivity: From Logic to Algorithms (CCC 2015), Kochel am See, Germany

    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.

    For more information, see <>

  • 14-17 September 2015, Eighteenth International Conference on Text, Speech and Dialogue (TSD 2015), Plzen, 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. Invited speakers: Hermann Ney, Dan Roth, Björn W. Schuller, Peter D. Turney and Alexander Waibel.

    For more information, see

  • 14-18 September 2015, Ninth International Conference of the German Society for Analytic Philosophy (GAP.9), Osnabrück, Germany

    GAP.9 will take place in Osnabrück (Germany), September 14-17, 2015, hosted by the GAP and Osnabrück University. It is locally organized by the Philosophy of Mind and Cognition group of the Institute of Cognitive Science at Osnabrück University. The title of GAP.9 is "Philosophy Between Armchair and Lab".

    In addition to more than 250 national and international speakers in nine colloquia and thirteen sections, the four day conference will feature three plenary lectures, by Kirsten Meyer (Humboldt Universität Berlin, Germany), Jennifer Lackey (Northwestern University, USA) and Martine Nida-Rümelin (Université de Fribourg, Switzerland).

    Details about the conference can be found at Please address any remaining queries to info at

  • 15-18 September 2015, Highlights of Logic, Games and Automata (HIGHLIGHTS 2015), Prague, Czech Republic

    HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. A visit to Highlights conference should offer a wide picture of the latest research in the area and a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. The participants present their best work, be it published elsewhere or yet unpublished.

    The conference is three days long (Sept. 16-18) and it is preceeded by the Highlights tutorial day (Sept. 15). The contributed talks are around ten minutes. The participation costs are modest (around 80 Euro) and some cheap accomodation close to conference site is arranged. Prague is easy to reach.

    Detailed information about Highlights 2015 is available at

  • 17 or 18 September 2015, EMNLP Workshop on Linking Models of Lexical, Sentential and Discourse-level Semantics (LSDSem 2015), Lisbon

    Improved computational models of semantics hold great promise for applications in language technology, be it semantics at the lexical level, sentence level or discourse level. Large-scale corpora with corresponding annotations (word senses, propositions, attributions and discourse relations) are making it possible to develop statistical models for many tasks and applications. However, developments in lexical and sentence-level semantics remain largely distinct from those in discourse semantics. This workshop aims at bridging this gap by bringing together researchers to discuss how multiple levels of semantics can be integrated and implemented in various applications.

    Our goal is to gather and showcase theoretical and computational approaches to joint models of semantics, and applications that incorporate multi-level semantics. We hope to bring together researchers from various areas: computational linguistics who strive for more expressive models of language understanding, linguists and cognitive scientists interested in aspects of representing text with multiple levels of semantics, machine learning researchers interested in joint inference over different types of semantic cues, and also researchers who are interested in applications that require or will benefit from multi-level semantics. A dialog between researchers has great potential to advance work in each of these areas and bring about more powerful and enriched models of text semantics.

    For more information, see

  • 21-23 September 2015, Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), Genoa, 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 symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization.

    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 22, 2015.

    For more information, see

  • 21-23 September 2015, SoTFoM III and the Hyperuniverse Programme, Vienna, Austria

    The Hyperuniverse Programme, launched in 2012, and currently pursued within a Templeton-funded research project at the Kurt Gödel Research Center in Vienna, aims to identify and philosophically motivate the adoption of new set-theoretic axioms.

    The programme intersects several topics in the philosophy of set theory and of mathematics, such as the nature of mathematical (set-theoretic) truth, the universe/multiverse dichotomy, the alternative conceptions of the set-theoretic multiverse, the conceptual and epistemological status of new axioms and their alternative justificatory frameworks.

    The aim of SotFoM III+The Hyperuniverse Programme Joint Conference is to bring together scholars who, over the last years, have contributed mathematically and philosophically to the ongoing work and debate on the foundations and the philosophy of set theory, in particular, to the understanding and the elucidation of the aforementioned topics. The three-day conference, taking place September 21-23 at the KGRC in Vienna, will feature invited and contributed speakers.

    For more information, see or contact sotfom at

  • 21-25 September 2015, Annual meeting of the German Maths Association (DMV 2015), Hamburg, Germany

    The 2015 annual meeting of the Deutschen Mathematiker-Vereinigung (DMV) will be hosted by the Department of Mathematics of the University of Hamburg from 21 to 25 September 2015. The organisers collaborated with the Dansk Matematisk Forening during the composition of the scientific programme; Danish-German research collaboration in mathematics is one of the special themes of this meeting.

    Satellite workshops (20 & 21 September 2015): "Current Trends in Stochastic Analysis and Related Topics", "Generalized Baire Space", "History of Mathematics", and "Trends in Proof Theory".

    For more information, see

  • 21 September 2015, Workshop "Testing Philosophical Theories Against the History of Science", Oulu, Finland

    Ever since philosophers first started formulating theories of science those theories have been compared with (reconstructions of) episodes in the history of science. On this issue one finds heated discussion in the 1960s and 70s, when some sought to turn philosophy into a testable enterprise, with history taking the place of scientific experiment. The purpose of this workshop is to bring this debate back to the table, assessing it in light of the fact that so many contemporary debates in the philosophy of science make implicit assumptions about how history of science can bear on philosophy of science.

    This is a one-day workshop, 21st September 2015, organised by The Oulu Centre for Theoretical and Philosophical Studies of History and the AHRC project 'Contemporary Scientific Realism and the Challenge from the History of Science. The event is designed to bring together historians and philosophers of science. Keynote Speakers: James McAllister (Leiden), Helge Kragh (Aarhus), Katherina Kinzel (Vienna) and Bart Karstens (Amsterdam).

    Please find more information on this workshop at

  • 21-22 September 2015, 38th edition of the German Conference on Artificial Intelligence (KI 2015), Dresden, Germany

    KI 2015 is the 38th 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 2015 will comprise paper and poster presentations, a variety of workshops, and a doctoral consortium.

    For more information, see

  • 23-25 September 2015, 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), Kassel, Germany

    TIME 2015 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 22nd edition, has a wide remit and intends to cater both for theoretical aspects and well-founded applications. One of the key aspects of the time symposium is its interdisciplinarity with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.

    The symposium will encompass three tracks on temporal representation and reasoning in AI, Databases, as well as Logic and Verification.

    For more information, see

  • 24-26 September 2015, 7th conference on Non-Classical Logic: Theory and Applications, Torun, Poland

    This is the seventh conference on this topic. The first, second, fourth and sixth editions of Conference were organized by Departament of Logic and Methodology at Lodz University. The third and fifth edition was organized by Department of Logic at NCU in Torun. The thematic range of the conference remains the same: theories of nonclassical logics (modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic) and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as to the deeper analysis of traditional philosophical problems.

    For more information, see the conference webpage at

  • 28 September - 1 October 2015, 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015), Braga, Portugal

    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.

    For more information, see

  • 28 September - 2 October 2015, 13th German Conference on Multiagent System Technologies (MATES 2015), Cottbus, 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 multiagent systems and agent-based computing with prototyped or fielded systems in various application domains.

    In 2015 the MATES conference will be co-located with the 45th Symposium of the German Computer Science Association GI (INFORMATIK 2015). Moreover, the event will also host a Doctoral Consortium to support young researchers of this broad field in their PhD studies.

    For more information, see

  • 30 September - 2 October 2015, International Conference of the German Society for Computational Linguistics and Language Technology (GSCL-2015), Essen, Germany

    The bi-annual meeting of the German Society for Computational Linguistics and Language Technology (GSCL) in 2015 will take place from September 30 to October 2 at the University of Duisburg-Essen. The main conference theme is "Deep vs. shallow?".

    For more information, see

  • 4-6 October 2015, The 26th International Conference on Algorithmic Learning Theory (ALT 2015), Banff AB, Canada

    ALT-2015 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 18th International Conference on Discovery Science (DS 2015).

    For more information, see or contact the PC co-chairs via the email alt2015 at

  • 8-11 October 2015, Third International Conference for the History and Philosophy of Computing (HaPoC 3), Pisa, Italy

    The DHST commission for the history and philosophy of computing ( is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

    Please check out the website of HaPoC 2015 for more information on the conference at

  • 8-10 October 2015, The 11th Syntax and Semantics Conference in Paris (CSSP 2015), Paris, France

    The 11th Syntax and Semantics Conference in Paris (CSSP 2015) will take place on October 8-10th, 2015 at Université Paris 7 - Paris Diderot. CSSP conferences combine a general session and a thematic session. The thematic session will focus on the issue of 'Global or genre/domain-dependent grammar'.

    For more information, see

  • 26-30 October 2015, 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015), Bertinoro, Italy

    Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

    For more information, see

  • 28-31 October 2015, The Fifth International Conference on Logic, Rationality and Interaction (LORI-V), Taipei, Taiwan

    The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

    For detailed conference information and registration, please visit the website of LORI-V at All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at and Wesley Holliday (wesholliday at For questions concerning conference details, please contact conferenceonlogic at gmail.

  • 2-6 November 2015, The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015), Larnaca, Cyprus

    Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

    The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

    For more information, see

  • 2-4 November 2015, 3rd meeting of the Association for the Philosophy of Mathematical Practice (APMP 2015), Paris, France

    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.

    Invited Speakers: Abel Lassalle Casanave (Brasil), Leo Corry (Israel, to be confirmed), Silvia De Toffoli (USA), Jeremy Gray (UK), Danielle Macbeth (USA), Paolo Mancosu (USA).

    Note that the Seventh French Philosophy of Mathematics Workshop (FPMW7) will be held in Paris immediately following the APMP, on November 5-7.

    For more information, see

  • 15-26 August 2016, 28th European Summer School in Logic, Language and Information (ESSLLI-2016) Call for Course and Workshop Proposals: ESSLLI 2016, Bolzano, Italy

    The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be 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

        Back to top of page