These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << March 2017 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
|||
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
|
26
|
27
|
28
|
29
|
30
|
31
|
|
12 - 15 July 2017, International Joint Conference on Rules and Reasoning (RuleML+RR 2017), London, England
RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.
RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.
In addition, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).
We invite PhD students at an early or intermediate stage of their PhD studies as well as exceptional Master's students who are interested in pursuing a PhD to submit papers to the Doctoral Consortium describing their research on any of the topics of interest of RuleML+RR 2017.
17 - 28 July 2017, 7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Toulouse, France
Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.
The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.
In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.
Topics of interest to this forum include, but are not limited to: Modal Logics * Logical frameworks * Proof theory * Type theory * Automated deduction * Formal semantics of languages and systems * Applications.
Contributions should be written in English and submitted in the form of full papers (with a maximum of 12 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. Paper submission deadline: March 1st, 2017.
27 - 30 June 2017, 22nd International Conference on Implementation and Application of Automata (CIAA 2017), Paris, France
The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.
The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).
Submissions must be written in LaTeX and must not exceed 12 pages, bibliography included. If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed.
3 - 5 July 2017, 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017), Milan, Italy
DCFS 2017 will be held in Milano, Italy, on July 3-5, 2017. The conference is organized by Department of Computer Science, University of Milano, and by the IFIP Working Group 1.02 "Descriptional Complexity".
Invited Speakers: Jürgen Dassow, Dora Giammarresi, Stavros Konstantinidis and Orna Kupferman.
Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2017. Original papers are sought in all aspects of descriptional complexity. Paper submission deadline: March 1, 2017.
CfP special issue of IfCoLog Journal on Argument Strength
We invite authors to submit papers to a Special Issue on Argument Strength to be published in IfCoLog (Journal of Logics and Their Applications, College Publications). In December 2016 the workshop "Argument Strength 2016" took place at Ruhr-University Bochum. In the special issue we intend to publish original high quality contributions on the basis of talks given at the workshop and we also welcome contributions from other authors.
Arguments vary in strength. The strength of an argument is affected, for instance, by the plausibility of its premises, the nature of the link between its premises and its conclusion, and the prior acceptability of the conclusion. The aim of this special issue is to collect original and high quality contributions from the fields of artificial intelligence, philosophy, logic, and argumentation theory, which are related to the strength of arguments.
31 May - 2 June 2017, Reasoning and Argumentation in Science, Munich, Germany
Progress in science is not only a matter of new models and theories, but also of new ways of reasoning and arguing for specific conclusions. In this conference, we focus on these epistemological features of science and consider the following questions: Which new reasoning and argumentation schemes do contemporary scientists use? How are these schemes justified, and how can they be assessed? Is it possible to come up with a unified normative theory of reasoning and argumentation in science? The conference focuses on reasoning and argumentation in the sciences in general, but there will also be a special focus on reasoning in specific natural and social sciences.
Keynote Speakers: Catarina Dutilh Noaves, Christian List and Wayne Myrvold.
We invite submissions for presentations on any topic relating to reasoning and argumentation in science, broadly construed. Submissions should include both a short abstract (max. 100 words) and an extended abstract (500-1000 words), and should be made through our automatic submission system by 1 March, 2017. To submit, please prepare your abstract for blind review and follow the instructions on the webpage.
4 - 7 July 2017, Poznan Reasoning Week (PRW 2017), Poznan, Poland
Consisting of two workshops, Poznań Reasoning Week 2017 (PRW2017) brings together experts from various disciplines whose research offers both systematic and historical contributions to the study of individual- as well as group-reasoning processes. This particularly includes, but is not restricted to, modelling these processes formally.
In 2017 we would like to address (1) Question processing (QuestPro 2017) and (2) Fallacies: Strategy, Error, Shortcut (SES 2017).
We invite proposals for contributed talks (45 minutes including discussion) and posters (A1 size in portrait orientation). Please submit an extended abstract of max. 1000 words including references.
18 - 19 May 2017, Workshop on Ampliative Reasoning in the Sciences, Gent, Belgium
Charles Peirce introduced the term 'ampliative' for reasoning in which the conclusion of an argument goes beyond that what is already contained in its premises. The workshop is devoted to the philosophical analysis of different forms of ampliative reasoning as they occur in scientific practice, such as abduction, inductive generalisation, reasoning by analogy and causal reasoning. We aim at a mix of contributions from formal, methodological and historical perspectives.
Keynote speakers: Chiara Ambrosio, Ulrike Hahn and Bert Leuridan.
We welcome submissions on any topic that fits into the scope as described above.
6 - 8 December 2017, 2nd Amsterdam SMART Cognitive Science Conference: 'SMART Animals', Amsterdam, the Netherlands
We are happy to announce the second Amsterdam SMART Cognitive Science Conference on the theme of ‘SMART Animals’. The conference will take place in Amsterdam, from December 6th-8th. The conference will consist of three plenary evening lectures and debates, and three successive workshops devoted to the topics of animal cognition in the broad sense (i.e., including humans).
The conference is free of charge. Due to space limitations, however, you will need to formally register to be allowed in the workshop or lecture rooms. We therefore encourage you to register as soon as possible. The deadline for registration is November 15th. You can find the link to the registration form here.
Every researcher affiliated to the research schools of the Faculty of Humanities at the University of Amsterdam can submit a workshop proposal. We invite proposals in all areas of the humanities and cognitive science but cross-disciplinary and innovative topics are particularly encouraged.
4 - 7 September 2017, 10th International Conference on Natural Language Generation (INLG2017), Santiago de Compostela, Spain
The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).
Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.
The INLG organisers and SIGGEN invite further proposals for one-day or half-day workshops at INLG 2017. Workshops can focus on any topic that is viewed as relevant to the Natural Language Generation community. We especially invite proposals for workshops in relatively new areas which have recently begun to attract interest in the research community, or topics where greater interaction between the NLG community and another established research community can be beneficial to both fields. Proposals for workshops which form part of an existing series are also welcome.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
27 February - 1 March 2017, Workshop "Formal methods in the philosophy of science", Sydney, Australia
Formal methods add rigour to the analysis of conceptual and methodological issues in science. In this course, leading proponents of formal approaches to scientific inference give accessible introductions to some formal methods. They also present relevant examples for the application of formal tools, including those that arise in the biomedical and biological research fields of the Charles Perkins Centre. This intensive course provides an opportunity for advanced students and early career researchers to learn how to enhance their research through the use of new formal tools.
1 - 3 March 2017, Munich-Sydney-Tilburg Conference in the Philosophy of Science, Causation & Complexity (MuST10), Sydney, Australia
Causation and Complexity is the tenth MuST conference, an international collaborative conference series with a distinctive focus on philosophical issues in the sciences that can be addressed using exact reasoning and which have some potential policy relevance. MuST conferences bring together philosophers and scientists to explore these topics.
MuST10 is organized by the Munich Centre for Mathematical Philosophy (MCMP), the Sydney Centre for the Foundations of Science (SCFS) and the Tilburg Centre for Logic, Ethics and Philosophy of Science (TiLPS), in collaboration with the Centre for Complex Systems (CCS) at the University of Sydney. Keynote speakers are Professor Stuart Kauffman, Professor Anne-Marie Grisogono, and Professor Kevin Korb.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
1 - 3 March 2017, Munich-Sydney-Tilburg Conference in the Philosophy of Science, Causation & Complexity (MuST10), Sydney, Australia
Causation and Complexity is the tenth MuST conference, an international collaborative conference series with a distinctive focus on philosophical issues in the sciences that can be addressed using exact reasoning and which have some potential policy relevance. MuST conferences bring together philosophers and scientists to explore these topics.
MuST10 is organized by the Munich Centre for Mathematical Philosophy (MCMP), the Sydney Centre for the Foundations of Science (SCFS) and the Tilburg Centre for Logic, Ethics and Philosophy of Science (TiLPS), in collaboration with the Centre for Complex Systems (CCS) at the University of Sydney. Keynote speakers are Professor Stuart Kauffman, Professor Anne-Marie Grisogono, and Professor Kevin Korb.
2 - 3 March 2017, Consequence and Paradox between Truth and Proof, Tuebingen, Germany
The notion of logical consequence has been traditionally analysed as necessary truth-preservation, and such an analysis is at the core of contemporary model-theoretic approaches to semantics. An alternative approach to semantics is inferentialism, according to which the notions of inference and proof should play a more fundamental role than those of reference, truth and satisfaction in the construction of a semantic theory.
Inferentialism has mostly been developed in opposition to the more traditional semantic approach. However, the tight relationships between the basic concepts involved in the two approaches suggest a more complex interplay than mere opposition. Many of the central notions (e.g. admissibility) and results (e.g. interpolation) in logic usually have both a model-theoretic and a proof-theoretic dimension. Moreover, the notions of truth and proof, when conceived as the central notions of a theory of meaning, share many of their core features.
This complex interplay between truth and proof can be found in current debates on paradoxes as well. Solutions to paradoxes are motivated sometimes by traditional semantic considerations, sometimes by considerations about the structural features of our inferential practices. Plausibly, a thorough understanding of paradoxes requires resources coming from both model-theoretic and inferential conceptions of language and meaning.
The aim of the workshop is to bring together researchers working on different aspects of logical consequence and paradoxes to exchange ideas and methods and discuss recent results.
13 - 14 July 2017, 15th Meeting on the Mathematics of Language (MOL 2017), London, England
MOL, the biennial conference of the Association for Mathematics of Language, is devoted to the study of mathematical structures and methods that are of importance to the description of language. MOL will feature invited talks by the following distinguished researchers: Stephen Clark (University of Cambridge, UK), Shay Cohen (University of Edinburgh, UK) * Frank Drewes (Umeå University, Sweden). The meeting will precede the 24th Workshop on Logic, Language, Information and Computation.
MOL invites the submission of papers on original, substantial, completed, and unpublished research. Each submission will be reviewed by at least three members of the program committee. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venue. Submissions must be uploaded no later than (end of day, Anywhere on Earth) Friday, March 3, 2017.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
1 - 3 March 2017, Munich-Sydney-Tilburg Conference in the Philosophy of Science, Causation & Complexity (MuST10), Sydney, Australia
Causation and Complexity is the tenth MuST conference, an international collaborative conference series with a distinctive focus on philosophical issues in the sciences that can be addressed using exact reasoning and which have some potential policy relevance. MuST conferences bring together philosophers and scientists to explore these topics.
MuST10 is organized by the Munich Centre for Mathematical Philosophy (MCMP), the Sydney Centre for the Foundations of Science (SCFS) and the Tilburg Centre for Logic, Ethics and Philosophy of Science (TiLPS), in collaboration with the Centre for Complex Systems (CCS) at the University of Sydney. Keynote speakers are Professor Stuart Kauffman, Professor Anne-Marie Grisogono, and Professor Kevin Korb.
2 - 3 March 2017, Consequence and Paradox between Truth and Proof, Tuebingen, Germany
The notion of logical consequence has been traditionally analysed as necessary truth-preservation, and such an analysis is at the core of contemporary model-theoretic approaches to semantics. An alternative approach to semantics is inferentialism, according to which the notions of inference and proof should play a more fundamental role than those of reference, truth and satisfaction in the construction of a semantic theory.
Inferentialism has mostly been developed in opposition to the more traditional semantic approach. However, the tight relationships between the basic concepts involved in the two approaches suggest a more complex interplay than mere opposition. Many of the central notions (e.g. admissibility) and results (e.g. interpolation) in logic usually have both a model-theoretic and a proof-theoretic dimension. Moreover, the notions of truth and proof, when conceived as the central notions of a theory of meaning, share many of their core features.
This complex interplay between truth and proof can be found in current debates on paradoxes as well. Solutions to paradoxes are motivated sometimes by traditional semantic considerations, sometimes by considerations about the structural features of our inferential practices. Plausibly, a thorough understanding of paradoxes requires resources coming from both model-theoretic and inferential conceptions of language and meaning.
The aim of the workshop is to bring together researchers working on different aspects of logical consequence and paradoxes to exchange ideas and methods and discuss recent results.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
6 - 10 March 2017, Language and Automata Theory and Applications (LATA 2017), Umea, Sweden
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.
6 - 10 March 2017, Spring School on "Social Cognition, Emotion and Joint Action" 2017, Bochum, Germany
The spring course aims to provide state-of-the-art scientific and research-oriented training for post-doctoral researchers and highly promising doctoral students from European and overseas universities and research institutes on central questions concerning 'Social Cognition, Emotion and Joint Action'.
We invite applications from PhD students, and post-doctoral researchers. Application deadline: 15 November 2016. Applicants may also propose poster presentations.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
6 - 10 March 2017, Language and Automata Theory and Applications (LATA 2017), Umea, Sweden
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.
6 - 10 March 2017, Spring School on "Social Cognition, Emotion and Joint Action" 2017, Bochum, Germany
The spring course aims to provide state-of-the-art scientific and research-oriented training for post-doctoral researchers and highly promising doctoral students from European and overseas universities and research institutes on central questions concerning 'Social Cognition, Emotion and Joint Action'.
We invite applications from PhD students, and post-doctoral researchers. Application deadline: 15 November 2016. Applicants may also propose poster presentations.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
6 - 10 March 2017, Language and Automata Theory and Applications (LATA 2017), Umea, Sweden
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.
6 - 10 March 2017, Spring School on "Social Cognition, Emotion and Joint Action" 2017, Bochum, Germany
The spring course aims to provide state-of-the-art scientific and research-oriented training for post-doctoral researchers and highly promising doctoral students from European and overseas universities and research institutes on central questions concerning 'Social Cognition, Emotion and Joint Action'.
We invite applications from PhD students, and post-doctoral researchers. Application deadline: 15 November 2016. Applicants may also propose poster presentations.
8-11 March 2017, 34th International Symposium on Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. Typical topics of the conference include algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, and current challenges.
Further details are available on the conference website https://stacs2017.thi.uni-hannover.de.
8 - 11 March 2017, Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The conference includes talks by invited speakers Artur Jez (Wroclaw, Poland), Antoine Joux (Paris) and Till Tantau (Lübeck, Germany), and a tutorial by Juha Kontinen (Helsinki, Finland).
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
6 - 10 March 2017, Language and Automata Theory and Applications (LATA 2017), Umea, Sweden
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.
6 - 10 March 2017, Spring School on "Social Cognition, Emotion and Joint Action" 2017, Bochum, Germany
The spring course aims to provide state-of-the-art scientific and research-oriented training for post-doctoral researchers and highly promising doctoral students from European and overseas universities and research institutes on central questions concerning 'Social Cognition, Emotion and Joint Action'.
We invite applications from PhD students, and post-doctoral researchers. Application deadline: 15 November 2016. Applicants may also propose poster presentations.
8-11 March 2017, 34th International Symposium on Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. Typical topics of the conference include algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, and current challenges.
Further details are available on the conference website https://stacs2017.thi.uni-hannover.de.
8 - 11 March 2017, Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The conference includes talks by invited speakers Artur Jez (Wroclaw, Poland), Antoine Joux (Paris) and Till Tantau (Lübeck, Germany), and a tutorial by Juha Kontinen (Helsinki, Finland).
20 - 30 June 2017, The Eighth International Conference on Topology, Algebra and Categories in Logic (TACL 2017), Olomouc / Prague (Czech Republic)
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 programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).
Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributed talks can be on with any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. Extended deadline: 10/03/2017.
7 - 11 August 2017, 19th European Agent Systems Summer School (EASSS-2017), Gdansk, Poland
The summer school will offer a rich programme of 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 early-stage researchers and will be taught by leading researchers in the field. Topics to be covered in this year's edition include decision making, game theory, mechanism design, judgment aggregation, epistemic logic, argumentation theory, reinforcement learning, model checking, verification, and machine ethics.
EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems. The school attracts both beginner and experienced researchers, encouraging cooperation between representatives of many branches of Multi-Agent Systems research community. A limited number of student grants are available in the form of fee waivers: deadline for application is 5 June 2017.
We invite proposals from members of the research community who are willing to offer tutorials at EASSS-2017. We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems. We aim for a mix of tutorials on fundamental and well-established topics, as well as overviews of new and emerging areas of research.
Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic consideration of the fundamental topics presented.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
6 - 10 March 2017, Language and Automata Theory and Applications (LATA 2017), Umea, Sweden
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2017 will consist of nvited talks, invited tutorials andpeer-reviewed contributions.
6 - 10 March 2017, Spring School on "Social Cognition, Emotion and Joint Action" 2017, Bochum, Germany
The spring course aims to provide state-of-the-art scientific and research-oriented training for post-doctoral researchers and highly promising doctoral students from European and overseas universities and research institutes on central questions concerning 'Social Cognition, Emotion and Joint Action'.
We invite applications from PhD students, and post-doctoral researchers. Application deadline: 15 November 2016. Applicants may also propose poster presentations.
8-11 March 2017, 34th International Symposium on Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. Typical topics of the conference include algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, and current challenges.
Further details are available on the conference website https://stacs2017.thi.uni-hannover.de.
8 - 11 March 2017, Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The conference includes talks by invited speakers Artur Jez (Wroclaw, Poland), Antoine Joux (Paris) and Till Tantau (Lübeck, Germany), and a tutorial by Juha Kontinen (Helsinki, Finland).
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
8-11 March 2017, 34th International Symposium on Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. Typical topics of the conference include algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, and current challenges.
Further details are available on the conference website https://stacs2017.thi.uni-hannover.de.
8 - 11 March 2017, Theoretical Aspects of Computer Science (STACS 2017), Hannover, Germany
The conference includes talks by invited speakers Artur Jez (Wroclaw, Poland), Antoine Joux (Paris) and Till Tantau (Lübeck, Germany), and a tutorial by Juha Kontinen (Helsinki, Finland).
14 June 2017, Workshop "Progress in Science and Society", Hannover, Germany
In a one day workshop at Leibniz Universität Hannover, we will discuss the merits and challenges of the notion of progress. A special emphasis will be put on progress in science and ethics as well as the work of Philip Kitcher regarding these fields. However, progress in further areas (economy, law, politics) as well as contributions unrelated to Kitcher are also welcome. Philip Kitcher will be present at the workshop and give a keynote lecture.
We invite submissions for 30 minutes talks (plus 20 minutes discussion); there are four to five free slots. Please submit a short abstract including no more than 200 words and an extended abstract with no more than 750 words.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
18 - 21 July 2017, 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017), London, England
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 workshop will conclude with a screening of the movie "Navajo Math Circles" (2016).
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. A title and single-paragraph abstract should be submitted by Mar 14, 2017.
22 - 23 July 2017, 22nd Conference on Formal Grammar (FG 2017), Toulouse, France
FG-2017 is the 22nd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which in 2017 will take place in Toulouse, France.
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.
We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). Previous conferences in this series have welcomed papers from a wide variety of frameworks. Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
5 - 6 May 2017, Logic in Bochum III, Bochum, Germany
The annual workshop Logic in Bochum gathers logicians from different domains for a two-day workshop at Ruhr University Bochum. This year it will take place on the 5th and 6th of May. The workshop traditionally consists of two parts: the first part (day 1), devoted to a specific area of logic and the second part (day 2) devoted to a variety of topics. Invited speakers include: Joao Marcos, Gabriella Pigozzi, Niko Strobach and Allard Tamminga.
We invite submissions of abstracts for the first part of the workshop, which this year focuses on deontic logics. Abstracts of about 500 words are to be submitted via EasyChair by the 15th of March 2017.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
17 February - 16 March 2017, ILLC MasterClass Logic
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.
16 - 17 March 2017, Workshop "Modal Knowledge", Bielefeld, Germany
Workshop organized by Christian Nimtz (Bielefeld) and Barbara Vetter (Erlangen). Speakers: Al Casullo (Nebraska), Barbara Vetter (Erlangen), Christian Nimtz (Bielefeld), Margot Strohminger (Salzburg), Michael Wallner (Graz), Rebecca Hanrahan (Whitman College), Sonia Roca-Royes (Stirling), Timothy Williamson (Oxford), Wolfgang Schwarz (Edinburgh)
17 - 21 July 2017, ESSLLI-2017 workshop on Quantifiers and Determiners (QUAD), Toulouse, France
This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.
There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).
All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.
The program committee is looking for contributions introducing new viewpoints on quantification and determiners, the novelty being either in the mathematical logic framework or in the linguistic description or in the cognitive modelling. Submitting purely original work is not mandatory, but authors should clearly mention that the work is not original, and why they want to present it at this workshop (e.g. new viewpoint on already published results).
5 - 7 June 2017, Workshop on topics at the intersection between the philosophy of language and linguistics, Zuerich, Switzerland
The Institute of Philosophy at the University of Zurich is organizing a workshop on topics at the intersection between the philosophy of language and linguistics. Invited speakers will be Angelika Kratzer (Amherst), John MacFarlane (Berkeley) and Maribel Romero (Konstanz).
Presentations should be suitable for a 90 minute slot divided equally between presentation and discussion, started off by a 10 minute commentary. Suitable topics may be anything at the intersection of the philosophy of language and linguistics. Please make your abstracts suitable for blind review. The deadline for submission of abstracts is March 17, 2017.
16 - 17 March 2017, Workshop "Modal Knowledge", Bielefeld, Germany
Workshop organized by Christian Nimtz (Bielefeld) and Barbara Vetter (Erlangen). Speakers: Al Casullo (Nebraska), Barbara Vetter (Erlangen), Christian Nimtz (Bielefeld), Margot Strohminger (Salzburg), Michael Wallner (Graz), Rebecca Hanrahan (Whitman College), Sonia Roca-Royes (Stirling), Timothy Williamson (Oxford), Wolfgang Schwarz (Edinburgh)
26 - 28 June 2017, 25th International Conference on Case-Based Reasoning (ICCBR), Trondheim, Norway
ICCBR is the premier, annual meeting of the CBR community and the leading international conference on this topic. The theme for ICCBR 2017 is Analogy for Reuse. To encourage this, the ICCBR 2017 program will include keynote addresses, a main technical track, a workshop program, a doctoral consortium, and the Computer Cooking Contest with several connections to this theme.
The ICCBR 2017 Organizers, Advisory Committee, and Program Committee invites submissions of original theoretical research, applied research and deployed application papers on all aspects of Case-Based Reasoning (CBR). The CBR community welcomes contributions from experts and students in related fields and who represent all types of affiliations (e.g., academic, industry, government). The theme for the ICCBR 2017 conference is Analogy for Reuse; submissions on this theme are particularly welcome!
20 - 23 March 2017, 2017 ASL North American Annual Meeting, Boise ID, U.S.A.
*2017 ASL North American Annual Meeting* *Boise, Idaho* *March 20--23 2017*
The twenty-eighth annual Gödel Lecture will be delivered by C. Parsons. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Rinot, M. Seisenberger, and C. Terry. A tutorial will be offered by V. Harizanov. Special sessions (with organizers in parentheses) include: Computable structures (D. Hirschfeldt and R. Miller), Computer-aided proofs (S. Buss and V. Ganesh), Continuous model theory (B. Hart and W. Henson), Proofs in mathematical practice (K. Easwaran and C. Dutilh Novaes), and Set theory and its applications to analysis and topology (M. Hrusak and M. Scheepers). The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair). Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in the January 2017 Newsletter mailing (as a pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.
https://asl2017.boisestate.edu
20 - 23 March 2017, 2017 ASL North American Annual Meeting, Boise ID, U.S.A.
*2017 ASL North American Annual Meeting* *Boise, Idaho* *March 20--23 2017*
The twenty-eighth annual Gödel Lecture will be delivered by C. Parsons. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Rinot, M. Seisenberger, and C. Terry. A tutorial will be offered by V. Harizanov. Special sessions (with organizers in parentheses) include: Computable structures (D. Hirschfeldt and R. Miller), Computer-aided proofs (S. Buss and V. Ganesh), Continuous model theory (B. Hart and W. Henson), Proofs in mathematical practice (K. Easwaran and C. Dutilh Novaes), and Set theory and its applications to analysis and topology (M. Hrusak and M. Scheepers). The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair). Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in the January 2017 Newsletter mailing (as a pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.
https://asl2017.boisestate.edu
21 March 2017, Talks on Predictive processing and computational models of cognition
To warm up for Andy Clark's afternoon lecture, five young researchers from various disciplines will talk about topics related to predictive processing and computational models of cognition.
The morning is divided into two parts: the first half consists of two talks in a row followed by 20 minutes for questions and discussion. After a coffee-break, we continue with another three talks followed by 30 minutes for questions and discussion. Everyone is of course warmly invited to participate in the discussion.
The full programme can be found here. To participate, please send an email to Bastiaan van der Weij.
20 - 23 March 2017, 2017 ASL North American Annual Meeting, Boise ID, U.S.A.
*2017 ASL North American Annual Meeting* *Boise, Idaho* *March 20--23 2017*
The twenty-eighth annual Gödel Lecture will be delivered by C. Parsons. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Rinot, M. Seisenberger, and C. Terry. A tutorial will be offered by V. Harizanov. Special sessions (with organizers in parentheses) include: Computable structures (D. Hirschfeldt and R. Miller), Computer-aided proofs (S. Buss and V. Ganesh), Continuous model theory (B. Hart and W. Henson), Proofs in mathematical practice (K. Easwaran and C. Dutilh Novaes), and Set theory and its applications to analysis and topology (M. Hrusak and M. Scheepers). The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair). Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in the January 2017 Newsletter mailing (as a pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.
https://asl2017.boisestate.edu
20 - 23 March 2017, 2017 ASL North American Annual Meeting, Boise ID, U.S.A.
*2017 ASL North American Annual Meeting* *Boise, Idaho* *March 20--23 2017*
The twenty-eighth annual Gödel Lecture will be delivered by C. Parsons. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Rinot, M. Seisenberger, and C. Terry. A tutorial will be offered by V. Harizanov. Special sessions (with organizers in parentheses) include: Computable structures (D. Hirschfeldt and R. Miller), Computer-aided proofs (S. Buss and V. Ganesh), Continuous model theory (B. Hart and W. Henson), Proofs in mathematical practice (K. Easwaran and C. Dutilh Novaes), and Set theory and its applications to analysis and topology (M. Hrusak and M. Scheepers). The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair). Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in the January 2017 Newsletter mailing (as a pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.
https://asl2017.boisestate.edu
23 March 2017, Workshop on intonation and pragmatics, on the occasion of the defense of Matthijs Westera
I'm very happy that my three external committee members will give talks at the ILLC! They are:
- Craige Roberts (NYU/Rutgers)
- Michael Wagner (McGill)
- Jörg Peters (Oldenburg)
Topics will include focus/prominence in natural language, the tone inventories of languages like Dutch, German and English, experimental work on intonation, and of course pragmatics.
Precise program TBA.
24 March 2017, Workshop "Imagination and Modality", Padova, Italy
The aim of this one-day workshop is to discuss and exchange new ideas on imagination and modality and related topics.
Speakers: Andrea Altobrando (Okkaido University, Sapporo), Roberta Ballarin (The University of British Columbia, Vancouver), Franz Berto (University of Amsterdam and ILLC, Amsterdam), Lisa Benossi (ILLC, Amsterdam), R. Dietz (Tokyo Denki University, Tokyo), and V. Morato (Padua University, Padova).
26 - 30 March 2017, 2nd Conference on Artificial Intelligence and Theorem Proving AITP 2017 (AITP 2017), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
19 - 20 May 2017, The sixth Automated Formal Methods workshop (AFM 2017), Menlo Park CA, U.S.A.
AFM is a workshop centered around the use and integration of highly automated formal verification tools for specification, interactive theorem proving, satisfiability (SAT) and satisfiability modulo theories (SMT), model checking, program verification, static analysis, runtime verification, code generation, and testing, as well as interfaces, documentation, and education.
It consists of both invited talks and contributed papers on May 19, and tutorials covering recent progress in tools such as PVS, SAL/SALLY/HybridSAL, Yices, SeaHorn, Radler, and Bixie. AFM functions both as a user's meeting for SRI's tools such as PVS, SAL, and Yices, and as a workshop for those interested in state of the art automation for formal methods generally.
We welcome position papers, research papers, and reports on work in progress on the topics listed above and all other aspects of state of the art automation, particularly those that report on experiments, tool integration and evaluation, and case studies.
26 - 30 March 2017, 2nd Conference on Artificial Intelligence and Theorem Proving AITP 2017 (AITP 2017), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
27 - 28 March 2017, Asymmetry in Causal Inference and Conditional Reasoning
This workshop explores the relation between causal inference and conditional/counterfactual inference. We will focus in particular on the asymmetric nature of both types of inference. We bring together expertise from philosophy, psychology and artificial intelligence to address the following questions:
- How to account for the relative ease of causal inference (reasoning from cause to effect) compared to diagnostic inference (reasoning from effect to cause)?
- Do we have to distinguish different reasoning strategies to interpret conditional sentences and how does this relate to the distinction between causal inference and diagnostic inference?
- Are Causal Models appropriate to account for 1. and for the analysis of conditionals?
27 - 31 March 2017, Phylogenetic Methods in Historical Linguistics, Tuebingen, Germany
Given the success of the conference "Capturing Phylogenetic Algorithms for Linguistics " in Leiden in October 2015 a follow up event will be held in Tuebingen on March 27-31, 2017. It will be hosted by the Institute of Linguistics of Tuebingen University. The first two days of the conference will be directed especially towards PhD students.
26 - 30 March 2017, 2nd Conference on Artificial Intelligence and Theorem Proving AITP 2017 (AITP 2017), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
27 - 28 March 2017, Asymmetry in Causal Inference and Conditional Reasoning
This workshop explores the relation between causal inference and conditional/counterfactual inference. We will focus in particular on the asymmetric nature of both types of inference. We bring together expertise from philosophy, psychology and artificial intelligence to address the following questions:
- How to account for the relative ease of causal inference (reasoning from cause to effect) compared to diagnostic inference (reasoning from effect to cause)?
- Do we have to distinguish different reasoning strategies to interpret conditional sentences and how does this relate to the distinction between causal inference and diagnostic inference?
- Are Causal Models appropriate to account for 1. and for the analysis of conditionals?
27 - 31 March 2017, Phylogenetic Methods in Historical Linguistics, Tuebingen, Germany
Given the success of the conference "Capturing Phylogenetic Algorithms for Linguistics " in Leiden in October 2015 a follow up event will be held in Tuebingen on March 27-31, 2017. It will be hosted by the Institute of Linguistics of Tuebingen University. The first two days of the conference will be directed especially towards PhD students.
26 - 30 March 2017, 2nd Conference on Artificial Intelligence and Theorem Proving AITP 2017 (AITP 2017), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
27 - 31 March 2017, Phylogenetic Methods in Historical Linguistics, Tuebingen, Germany
Given the success of the conference "Capturing Phylogenetic Algorithms for Linguistics " in Leiden in October 2015 a follow up event will be held in Tuebingen on March 27-31, 2017. It will be hosted by the Institute of Linguistics of Tuebingen University. The first two days of the conference will be directed especially towards PhD students.
29 - 31 March 2017, The 8th Workshop on Combining Logic and Probability (PROGIC 2017), Munich, Germany
Progic 2017 is the 8th Workshop in the series of workshops focusing on the combination of logic and probability. Progic 2017 will focus on 'severe uncertainity'.
26 - 30 March 2017, 2nd Conference on Artificial Intelligence and Theorem Proving AITP 2017 (AITP 2017), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
27 - 31 March 2017, Phylogenetic Methods in Historical Linguistics, Tuebingen, Germany
Given the success of the conference "Capturing Phylogenetic Algorithms for Linguistics " in Leiden in October 2015 a follow up event will be held in Tuebingen on March 27-31, 2017. It will be hosted by the Institute of Linguistics of Tuebingen University. The first two days of the conference will be directed especially towards PhD students.
29 - 31 March 2017, The 8th Workshop on Combining Logic and Probability (PROGIC 2017), Munich, Germany
Progic 2017 is the 8th Workshop in the series of workshops focusing on the combination of logic and probability. Progic 2017 will focus on 'severe uncertainity'.
30 - 31 March 2017, 4th (In)Coherence of discourse workshop , Nancy, France
The objective of the workshop is to discuss the latest advances in the modelling of discourses, in particular the kind held with pathological patients (e.g. schizophrenics). The adopted modelling paradigm is that of formal semantics, which falls within the scope of both linguistics and logic while also making ties to the philosophy of language.
Like the previous (In)Coherence of discourse workshops, the fourth edition is organised by the SLAM (Schizophrenia and Language: Analysis and Modelling) project. The SLAM project aims to systematize the study of pathological conversations as part of an interdisciplinary approach combining Psychology, Linguistics, Computer Science and Philosophy. It focuses particularly on conversations involving people with psychiatric disorders (schizophrenia, bipolar disorder).
CfP special issue of Topoi on "Inferences and Proofs"
Since its birth, logic has been concerned with the study of correct reasonings or, more specifically, of proofs. A proof should have the epistemic power to provide us with justification for the judgement or assertion which it ends with. This power is, from a different point of view, the power to compel one to accept the conclusion of the proof. Which forms of reasoning can be said to have such power? And above all, how can they exert an epistemic power of compulsion?
According to Descartes, a correct reasoning is nothing but a chain of valid inferences. The epistemic power of proofs should therefore depend on the epistemic power of valid inferences. The problem then becomes: what is a (valid) inference? And why do valid inferences have an epistemic force? These questions, far from being psychological in nature, rather involve epistemology, logic and mathematics.
TOPOI invites submissions to the special issue "Inferences and proofs", edited by Gabriella Crocco and Antonio Piccolomini d'Aragona. Main areas of interest: Dag Prawitz's proof-theoretic semantics and recent theory of grounds, Per Martin-Löf intuitionistic type theory, Category theory, Contextual approaches to epistemic issues, and Kurt Gödel's notion of absolute proof.
27 - 31 August 2017, 20th anniversary International Conference on Text, Speech and Dialogue (TSD 2017), Prague, 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.
Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Topics of the 20th anniversary conference will include (but are not limited to): Speech Recognition, Corpora and Language Resources, Speech and Spoken Language Generation, Tagging, Classification and Parsing of Text and Speech, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Automatic Dialogue Systems, and Multimodal Techniques and Modelling.
4 - 6 May 2017, Formal Methods and Science in Philosophy 2, Dubrovnik, Croatia
The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.
The conference will include a special session "Logic, concepts and communication", a panel discussion "Proposal of a BD/MD/PhD in philosophy on: Philosophy & Computer Science. A perspective for applied formal philosophy", and a PhD session with 20 minutes talks followed by 10 minutes discussion.
Please, submit a 600 characters abstract for a 30 minutes talk (+ 10 minutes discussion). Please, indicate if the abstract is meant for a PhD session.
27 - 31 March 2017, Phylogenetic Methods in Historical Linguistics, Tuebingen, Germany
Given the success of the conference "Capturing Phylogenetic Algorithms for Linguistics " in Leiden in October 2015 a follow up event will be held in Tuebingen on March 27-31, 2017. It will be hosted by the Institute of Linguistics of Tuebingen University. The first two days of the conference will be directed especially towards PhD students.
29 - 31 March 2017, The 8th Workshop on Combining Logic and Probability (PROGIC 2017), Munich, Germany
Progic 2017 is the 8th Workshop in the series of workshops focusing on the combination of logic and probability. Progic 2017 will focus on 'severe uncertainity'.
30 - 31 March 2017, 4th (In)Coherence of discourse workshop , Nancy, France
The objective of the workshop is to discuss the latest advances in the modelling of discourses, in particular the kind held with pathological patients (e.g. schizophrenics). The adopted modelling paradigm is that of formal semantics, which falls within the scope of both linguistics and logic while also making ties to the philosophy of language.
Like the previous (In)Coherence of discourse workshops, the fourth edition is organised by the SLAM (Schizophrenia and Language: Analysis and Modelling) project. The SLAM project aims to systematize the study of pathological conversations as part of an interdisciplinary approach combining Psychology, Linguistics, Computer Science and Philosophy. It focuses particularly on conversations involving people with psychiatric disorders (schizophrenia, bipolar disorder).