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 2018 | ||||||
|---|---|---|---|---|---|---|
| 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
|
1 - 5 November 2018, 6th World Congress on the Square of Opposition, Chania/Crete (Greece)
This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.
To submit a contribution send a one page abstract before March 1st 2018. All talks related to the square of oppostion are welcome. Diagrammatic and Artistic works related to the square of oppposition are also welcome.
16 - 18 July 2018, Thirteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 13), Milan, Italy
This is the 13th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.
Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory.
Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.
25 - 27 June 2018, 7th International Workshop on Computational Social Choice (COMSOC-2018), Troy, NY (USA)
Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.
Submissions of papers describing original or recently published work on all aspects of computational social choice are invited. We welcome both theoretical and empirical work on the conference topics, including, in particular, research on algorithms (exact, approximate, parameterized, online and distributed), learning, logic, uncertainty and simulations in the context of social choice.
25 - 29 June 2018, 9th International Workshop on Physics and Computation (P&C 2018) , Fontainebleau, France
P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.
Invited Speakers: Judit X. Madarász, Oron Shagrir
Authors are invited to submit either a full paper (12 pages maximum) or an extended abstract (maximum 4-5 pages) to the workshop's EasyChair site. We welcome extended abstracts and/or paper submissions for presentation on topics relating to physics and computation. Papers must not have been submitted simultaneously to other conferences or workshops with published proceedings.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
3 - 6 July 2018, 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), Utrecht, The Netherlands
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law.
In addition to these general themes, DEON 2018 will encourage a special focus on the topic: 'Deontic reasoning for responsible AI'.
The Program Committee invites papers concerned with any of the conference topics. Authors are invited to submit an original, previously unpublished, short research paper. This DEON's special theme "Deontic reasoning for responsible AI" solicits contributions that address issues related to the dual concerns of (1) systems for checking and proving responsibility characteristics of artificial intelligent agents and their designs, and (2) responsible decision making and machine ethics.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
5 - 9 March 2018, Section Logic at the joint annual meeting of GDM and DMV, Paderborn, Germany
The local organizers and the scientific committee cordially invite you to participate in the 3rd annual meeting of the Deutsche Mathematiker-Vereinigung (DMV) und the Gesellschaft für Didaktik der Mathematik (GDM)/
Besides classical talks on mathematical research and on research in mathematics education, the GDMV 2018 conference will include talks that bring these two fields together by focusing on teaching and learning at university level and in the mathematics education of future teachers. A special day of lectures for teachers (Lehrertag), as well as events for young researchers (Studierendenkonferenz DMV, Nachwuchstag GDM) and talks concerning mathematics in industry and enterprises, complete the program.
5 - 9 March 2018, 2nd Workshop on Mathematical Logic & its Applications, Kanazawa, Japan
The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
5 - 9 March 2018, Section Logic at the joint annual meeting of GDM and DMV, Paderborn, Germany
The local organizers and the scientific committee cordially invite you to participate in the 3rd annual meeting of the Deutsche Mathematiker-Vereinigung (DMV) und the Gesellschaft für Didaktik der Mathematik (GDM)/
Besides classical talks on mathematical research and on research in mathematics education, the GDMV 2018 conference will include talks that bring these two fields together by focusing on teaching and learning at university level and in the mathematics education of future teachers. A special day of lectures for teachers (Lehrertag), as well as events for young researchers (Studierendenkonferenz DMV, Nachwuchstag GDM) and talks concerning mathematics in industry and enterprises, complete the program.
5 - 9 March 2018, 2nd Workshop on Mathematical Logic & its Applications, Kanazawa, Japan
The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad.
6 March 2018, Semantic Debates - ROCKY seminar on reciprocity, collectivity and typicality
In this seminar, we address some substantial semantic debates, such as the debate between Tanya Reinhart & Tal Siloni and Edit Doron & Malka Rappaport Hovav on the meaning of clitics like SI and SE in Romance languages. Does a sentence like “Gianni e Maria si sposano” (=G. and M. get married) get interpreted the way it is due to a special syntactic operator (R&S) or due to a pronominal interpretation of “si” like the expression “each other” in English (D&RH)?
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
5 - 9 March 2018, Section Logic at the joint annual meeting of GDM and DMV, Paderborn, Germany
The local organizers and the scientific committee cordially invite you to participate in the 3rd annual meeting of the Deutsche Mathematiker-Vereinigung (DMV) und the Gesellschaft für Didaktik der Mathematik (GDM)/
Besides classical talks on mathematical research and on research in mathematics education, the GDMV 2018 conference will include talks that bring these two fields together by focusing on teaching and learning at university level and in the mathematics education of future teachers. A special day of lectures for teachers (Lehrertag), as well as events for young researchers (Studierendenkonferenz DMV, Nachwuchstag GDM) and talks concerning mathematics in industry and enterprises, complete the program.
5 - 9 March 2018, 2nd Workshop on Mathematical Logic & its Applications, Kanazawa, Japan
The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad.
7 - 9 March 2018, Workshop "Specificity, definiteness & article systems across languages", Stuttgart, Germany
One of the main questions that inspires this workshop is how languages with and without an article system go about referent coding and helping the hearer to recognize whether a given NP should be interpreted as definite, specific or non-specific. Other questions concern the grammatical consequences of having or lacking an article system, and the specific semantic-pragmatic parameters along which article systems may vary. The workshop will be held at the 40th Annual Meeting of the DGfS.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
5 - 9 March 2018, Section Logic at the joint annual meeting of GDM and DMV, Paderborn, Germany
The local organizers and the scientific committee cordially invite you to participate in the 3rd annual meeting of the Deutsche Mathematiker-Vereinigung (DMV) und the Gesellschaft für Didaktik der Mathematik (GDM)/
Besides classical talks on mathematical research and on research in mathematics education, the GDMV 2018 conference will include talks that bring these two fields together by focusing on teaching and learning at university level and in the mathematics education of future teachers. A special day of lectures for teachers (Lehrertag), as well as events for young researchers (Studierendenkonferenz DMV, Nachwuchstag GDM) and talks concerning mathematics in industry and enterprises, complete the program.
5 - 9 March 2018, 2nd Workshop on Mathematical Logic & its Applications, Kanazawa, Japan
The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad.
7 - 9 March 2018, Workshop "Specificity, definiteness & article systems across languages", Stuttgart, Germany
One of the main questions that inspires this workshop is how languages with and without an article system go about referent coding and helping the hearer to recognize whether a given NP should be interpreted as definite, specific or non-specific. Other questions concern the grammatical consequences of having or lacking an article system, and the specific semantic-pragmatic parameters along which article systems may vary. The workshop will be held at the 40th Annual Meeting of the DGfS.
8 - 9 March 2018, Paul Lorenzen: Mathematician & Logician, Konstanz, Germany
Paul Lorenzen (1915--1994) was an outstanding philosopher from the latter half of the 20th century. His name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. Focussing at first on abstract algebra, Lorenzen later turned his attention to foundational issues in logic and mathematics. His studies in this field are still highly regarded today and finally led to his concept of operative logic and mathematics, which in turn were the base for his philosophy later on.
This meeting focusses on integrating Lorenzen's original approach into the history of logic and mathematics. We furthermore explore the options of how Lorenzen's systematical ideas can be implemented in today's debates on proof-theoretic semantics, databank management and stochastics.
11 - 12 August 2018, 23rd Conference on Formal Grammar (FG 2018), Sofia, Bulgaria
FG-2018 is the 23rd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2018, will take place in Sofia, Bulgaria.
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). 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.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
5 - 9 March 2018, Section Logic at the joint annual meeting of GDM and DMV, Paderborn, Germany
The local organizers and the scientific committee cordially invite you to participate in the 3rd annual meeting of the Deutsche Mathematiker-Vereinigung (DMV) und the Gesellschaft für Didaktik der Mathematik (GDM)/
Besides classical talks on mathematical research and on research in mathematics education, the GDMV 2018 conference will include talks that bring these two fields together by focusing on teaching and learning at university level and in the mathematics education of future teachers. A special day of lectures for teachers (Lehrertag), as well as events for young researchers (Studierendenkonferenz DMV, Nachwuchstag GDM) and talks concerning mathematics in industry and enterprises, complete the program.
5 - 9 March 2018, 2nd Workshop on Mathematical Logic & its Applications, Kanazawa, Japan
The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad.
7 - 9 March 2018, Workshop "Specificity, definiteness & article systems across languages", Stuttgart, Germany
One of the main questions that inspires this workshop is how languages with and without an article system go about referent coding and helping the hearer to recognize whether a given NP should be interpreted as definite, specific or non-specific. Other questions concern the grammatical consequences of having or lacking an article system, and the specific semantic-pragmatic parameters along which article systems may vary. The workshop will be held at the 40th Annual Meeting of the DGfS.
8 - 9 March 2018, Paul Lorenzen: Mathematician & Logician, Konstanz, Germany
Paul Lorenzen (1915--1994) was an outstanding philosopher from the latter half of the 20th century. His name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. Focussing at first on abstract algebra, Lorenzen later turned his attention to foundational issues in logic and mathematics. His studies in this field are still highly regarded today and finally led to his concept of operative logic and mathematics, which in turn were the base for his philosophy later on.
This meeting focusses on integrating Lorenzen's original approach into the history of logic and mathematics. We furthermore explore the options of how Lorenzen's systematical ideas can be implemented in today's debates on proof-theoretic semantics, databank management and stochastics.
18 - 22 June 2018, 20th European Agent Systems Summer School (EASSS-2018), Maastrict, The Netherlands
As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.
EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.
We invite proposals from members of the research community who are willing to offer tutorials at EASSS-2018. We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multi-Agent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We aim for a mix of tutorials on fundamental and well-established topics, as well as overviews of new and emerging areas of research.
We encourage both well-established senior researchers and younger colleagues to submit proposals. EASSS tutorials are typically 3.5 hours long, divided into two sessions of 1.45 hours each. Each tutorial is usually given by one or two people.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
27 - 31 August 2018, 12th International Conference on Advances in Modal Logic (AiML 2018), Bern, Switzerland
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2018 is the 12th conference in the series, and will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018).
Authors are invited to submit, for presentation at the conference and publication in the proceedings:
- full papers, intended for publication in the proceedings and presentation at the conference, reporting on original research and not submitted elsewhere
- short presentations intended for presentation at the conference but not for the published proceedings. which may describe preliminary results, work in progress etc.
We invite submissions on all aspects of modal logic. Papers on related subjects will also be considered.
24 - 27 July 2018, 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogota, Colombia
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.
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. It is expected that each accepted paper be presented at the meeting by one of its authors.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
5 - 7 September 2018, SuB 23: Sinn & Bedeutung, Barcelona, Spain
The Sinn und Bedeutung (SuB) conference has in recent years emerged as one of the biggest venues for formal semantics and pragmatics representing the full breadth of the field, and we aim to maintain this tradition.
Invited speakers: Berit Gehrke, Wolfram Hinzen, Beth Levin and Judith Tonhauser.
We invite abstract submissions on topics pertaining to natural language semantics, pragmatics, lexical semantics, the syntax-semantics interface, psycholinguistic and neurolinguistic studies related to meaning, and the philosophy of language. Abstracts should contain original research that, at the time of submission, has neither been published nor accepted for publication.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
14 March 2018, Logic(s) for Imagination, Bochum, Germany
On the 14th March 2018, there will be a workshop "Logics for Imagination" affiliated with the conference "Philosophy of imagination". It aims to explore and compare different ways to model the logic of imagination, addressing among other things, modelling acts of imagination as a non-normal modal operator, ceteris paribus imagination, the role of agency, the interpretation of normal modalities as imagination and/or conceivability modalities, and first-order extensions of existing logics for imagination.
The speakers are: Christopher Badura, Lisa Benossi, Francesco Berto, Joan Casas Roma, Joan Gimeno Simó, Dominik Kauss, Pierre Saint-Germier and Heinrich Wansing.
11 - 14 September 2018, Twenty-first International Conference on Text, Speech, & Dialogue (TSD 2018), Brno, Czech Republic
The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.
The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.
The organizing committee invites papers to be presented during the conference. Topics of the conference will include (but are not limited to): 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.
26 - 27 June 2018, Ninth Workshop on the Philosophy of Information: Information Visualisation, Brussels, Belgium
The workshops in the Philosophy of Information bring together various philosophical perspectives on the nature and dynamics of information, and focus in particular on novel philosophical questions that arise in the information society. The central theme for the 9th workshop in the series is information visualisation.
Our aim is to focus on informational artefacts that encode or convey information in order to try and explain why visualisations can play a certain epistemic role and why certain visualisation are more effective than others. A special attention will be given to the study of how scientists rely on visualisations and how visual artefacts are designed in the sciences. On this basis, we wish to explore convergences between the philosophy of information and the philosophy of science as well as between the formal sciences (logic, computing) and the philosophy of information.
We welcome contributions on the conference topics, and encourage scholars of various disciplinary backgrounds to explore the lines of inquiry we proposed.
3 September 2018, Mini-Symposium "Mathematical Logic" at the 18th EWM meeting, Graz, Austria
The 18th European Women in Mathematics General Meeting focuses on female mathematicians and their achievements. As part of this event, the Mini-Symposium on Mathematical Logic concentrates on recent results that demonstrate the fruitfulness of working at the interface between different parts of logic -- that is, model theory, set theory, recursion (or computability) theory and proof theory -- or between logic and other areas of mathematics. Our speakers therefore come from different fields of mathematical logic and are interested in cross-connections between their fields and areas of application such as topology, group theory, real geometry and combinatorics. For the general audience we are planning an introductory lecture on recent developments in model theory and its applications to real geometry.
Invited speakers: Laura Fontanella (Université Aix Marseille), Charlotte Kestner (Imperial College, London) Salma Kuhlmann (University of Konstanz), Heike Mildenberger (Albert-Ludwigs University of Freiburg), Diana Carolina Montoya (Kurt Gödel Research Center, Vienna).
We invite female researchers to apply for very short contributed talks (10-12 minutes) at the Mini-Symposium. Also, application is now open for travel support for graduate students to participate in the Mini-Symposium. We also encourage female researchers to contribute posters to a thematic grouping on Mathematical Logic as part of the EWM's poster session.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
15 - 16 March 2018, "Philosophy of Imagination", Bochum, Germany
Recently, the notion of imagination has received much attention, especially in the epistemology of modality. However, what exactly it means to imagine something, and under what circumstances imaginability is a justification for believing in a modal claim, is still up for debate. The conference aims to elucidate the notion of imagination.
The interdisciplinarity of the topic is reflected in the expertises of the invited speakers: Magdalena Balcerak Jackson (University of Miami), Francesco Berto (ILLC, University of Amsterdam), Ruth Byrne (Trinity College Dublin), Heinrich Wansing (Ruhr-University Bochum) and Timothy Williamson (Oxford University).
12 - 13 April 2018, 25th Automated Reasoning Workshop (ARW 2018), Cambridge, England
The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike.
The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and open discussion sessions organised around specific topics such as "Automated Reasoning and Artificial Intelligence". Invited speakers: Ekaterina Komendantskaya (Heriot-Watt University) and Lawrence Paulson (University of Cambridge).
We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions. Each workshop participant will be asked to give a short talk (around 10 minutes depending on time constraints) to introduce their research. Each participant will also be allocated space in a poster session (poster size up to A0), where they can further present and discuss their work.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
15 - 16 March 2018, "Philosophy of Imagination", Bochum, Germany
Recently, the notion of imagination has received much attention, especially in the epistemology of modality. However, what exactly it means to imagine something, and under what circumstances imaginability is a justification for believing in a modal claim, is still up for debate. The conference aims to elucidate the notion of imagination.
The interdisciplinarity of the topic is reflected in the expertises of the invited speakers: Magdalena Balcerak Jackson (University of Miami), Francesco Berto (ILLC, University of Amsterdam), Ruth Byrne (Trinity College Dublin), Heinrich Wansing (Ruhr-University Bochum) and Timothy Williamson (Oxford University).
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
7 July 2018, Seventh International Workshop on Classical Logic and Computation (CL&C 2018), Oxford, England
CL&C is focused on the interplay between, on one side, the exploration of the computational content of classical mathematical proofs, and on the other side, the languages and the semantical models proposed in computer science for this task: continuations, game models, denotational models, learning models and so forth. The scientific aim of this workshop is to bring together researchers from both proof theory and computer science and to exchange ideas. This year, CL&C will be held as a satellite workshop of FSCD 2018 (former TLCA + RTA).
Invited Speaker: Alex Simpson.
The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, which we publish on EPTCS, and presentations of (short) papers about work in progress or overview of papers published elsewhere. We have room for informal talks, too. Therefore participants are encouraged to present: work in progress, overviews of more extensive work, and programmatic position papers. All submitted papers will be reviewed to normal standards. Proceedings will appear on EPTCS.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
22 - 23 March 2018, Fourth Symposium on the History and Philosophy of Programming (HaPoP 4), Oxford, England
In a society where computers have become ubiquitous, it is necessary to develop a deeper understanding of the nature of computer programs, not just from the technical viewpoint, but from a broader historical and philosophical perspective.
A historical awareness of the evolution of programming not only helps to clarify the complex structure of computing, but it also provides an insight in what programming was, is and could be in the future. Philosophy, on the other hand, helps to tackle fundamental questions about the nature of programs, programming languages and programming as a discipline.
An interdisciplinary approach is necessary for understanding programming with its multifaceted nature. As such, we welcome participation by researchers and practitioners coming from a diversity of backgrounds, including historians, philosophers, computer scientists and professional software developers.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
22 - 23 March 2018, Fourth Symposium on the History and Philosophy of Programming (HaPoP 4), Oxford, England
In a society where computers have become ubiquitous, it is necessary to develop a deeper understanding of the nature of computer programs, not just from the technical viewpoint, but from a broader historical and philosophical perspective.
A historical awareness of the evolution of programming not only helps to clarify the complex structure of computing, but it also provides an insight in what programming was, is and could be in the future. Philosophy, on the other hand, helps to tackle fundamental questions about the nature of programs, programming languages and programming as a discipline.
An interdisciplinary approach is necessary for understanding programming with its multifaceted nature. As such, we welcome participation by researchers and practitioners coming from a diversity of backgrounds, including historians, philosophers, computer scientists and professional software developers.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
24 - 28 September 2018, 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany
KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.
We invite proposals for workshops and tutorials to be held at the beginning (September 24-25) of the conference week (September 24-28). Topics include all subareas of artificial intelligence as well as their foundations and applications. The KI 2018 conference organizers will provide rooms for the workshops and the tutorials as well as determine the dates and times of the tutorials and workshops.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France
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.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France
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.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France
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.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France
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.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France
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.
5 - 11 August 2018, 41st International Wittgenstein Symposium 2018: Philosophy of Logic and Mathematics, Kirchberg am Wechsel, Austria
Sections:
1. Wittgenstein
2. Traditional and Modern Logic
3. The Structural Complexity of Judgements – Propositions – Sentences
4. Logic: Absolute Normativity or Alternatives
5. The Infinite
6. Foundations of Mathematics
Workshop 1: Wittgenstein on the Philosophy of Mathematics, 1937–1939: The Projected Early Version of PI (with Joachim Schulte)
Workshop 2: Logical Paradoxes (with Hannes Leitgeb)
We would like to encourage you to participate in the 41st International Wittgenstein Symposium. Papers can be written in German or English. They should not be submitted elsewhere.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France
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.
8 July 2018, Second Women in Logic Workshop (WiL 2018), Oxford, England
Women are chronically underrepresented in the LICS community; consequently they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating. The second Women in Logic Workshop (WiL 2018), held as a LICS associated workshop, will provide an opportunity for women in the field to increase awareness of one another and one another's work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprised of mostly women, replicating the experience that most men have at most LICS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women.
Topics of interest of this workshop include but are not limited to the usual Logic in Computer Science (LICS) topics. Contributions should be written in English and can be submitted in the form of full papers (with a maximum of 10 pages), short papers (with a maximum of 5 pages), or talk abstracts (1 page).
6 - 10 August 2018, Workshop Bridging formal and conceptual semantics (BRIDGE 2018), Sofia, Bulgaria
The main aim of this ESSLLI 2018 workshop is to get together linguists, philosophers and cognitive scientists from the two leading research traditions of natural language meaning, often referred to them as "formal semantics" and "conceptual semantics". The workshop provides a platform to investigate and discuss the ways of possible bridges between the two semantic perspectives, and to initiate a deeper conversation and collaboration between them. The workshop intends to gather approaches that show the way how the two perspectives can strengthen each other.
The workshop holds 6 high-quality contributed talks, each of 45 minutes including discussions, and invited talks by Gemma Boleda (Universitat Pompeu Fabra) and James Pustejovsky (Brandeis University).
The workshop invites high-quality submissions on topics closely related to the main issue of the workshop, for 45 minutes talks (incl. discussion). The submission of the abstracts will be handled via EasyChair. Authors can submit anonymous abstracts of max. 2 pages.
Call for Proposals for volumes in book series "Outstanding contributions in logic"
Outstanding Contributions to Logic is a book series that forms part of the Studia Logica Library. It is published by Springer in co-operation with Studia Logica. Each volume is devoted to the contributions to logic made by an eminent logician. The series is intended to cover contributions to logic broadly conceived, including philosophical and mathematical logic, logic in computer science, and the application of logic in linguistics, economics, psychology, and other specialized areas of study.
The series editors would like to receive proposals for new volumes in the series. Please tell us whose work in logic (broadly conceived) would be a suitable topic for a volume in this series. The series has its primary focus on logicians who are still active and willing to contribute in some way to the volume (for instance with an autobiographical chapter and/or responses to comments on their work). If you can propose a suitable editor, that would be most helpful. Self-nominations for editorship are most welcome.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint School
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.