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.
| << February 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
|
|||
CfP special issue of Synthese on "Mathematical Cognition & Enculturation"
A CfP is out for the upcoming Synthese Special Issue "Mathematical Cognition and Enculturation", edited by Catarina Dutilh Novaes and Markus Pantsar.
With this special issue, we hope to advance our understanding of mathematical cognition by exploring the perspective of enculturation. Conversely, we also hope to investigate the merits, reach and limits of the enculturation perspective by means of detailed analyses of a specific but important case study: mathematical cognition. Submissions are invited from a wide variety of approaches in philosophy of mathematics, including views critical of the concept of enculturation with respect to mathematics.
30 April - 2 May 2018, Workshop on Medieval Logic & its Contemporary Relevance, St. Andrews, Scotland
Studying medieval logic can make us aware of the consequences of certain ideas in at least two ways. First, the problems that medieval logicians were tackling are in many cases still with us today and still unresolved, more so than in some more recent periods. Secondly, though medieval academia was small in comparison to its modern counterpart, logic played a key role in the medieval curriculum and was the object of close attention by some remarkably perceptive thinkers. So the study of medieval logic has particular contemporary relevance and can yield many insights into contemporary puzzles in philosophy of logic. The object of the workshop is to encourage investigation into these connections and to showcase notable examples.
We hope to include at least half a dozen Contributed Talks, each allotted one hour (including discussion). Talks should preferably both contain historical material from the middle ages and relate it to contemporary concerns in philosophical logic. To submit a talk for the workshop, please send an abstract of around 500 words by 1 February 2018. We intend to let successful contributors know the result by 15 February.
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.
28 - 29 May 2018, Third Conference on Computational Linguistics in Bulgaria (CLIB 2018), Sofia, Bulgaria
CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.
Our invited speakers will be: Dr. Zornitsa Kozareva (Amazon), Dr. Sujith Ravi (Google), and Prof. Ruslan Mitkov (University of Wolverhampton).
CLIB invites contributions on original research. There will be two categories of research papers: oral and poster presentations. All accepted papers will be included in the conference 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.
16 - 17 June 2018, 2nd Chinese Conference on Logic & Argumentation (CLAR 2018), Hangzhou, China
The interplay between logic and argumentation has a long history, from ancient Aristotle's logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China.
We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published 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.
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 February 2018, 3rd workshop of the European Non-Categorical Thinking Project (EuNoC #3)
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.
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.
21 - 23 June 2018, IACAP 2018: Computing & Philosophy, Warsaw, Poland
The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence. IACAP's 2018 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore these topics. Keynote speakers include Ned Block (NYU) and Ed Zalta (Stanford).
We invite submissions of papers and proposals for symposia. Paper submissions should be prepared for blind review, be between 3000 and 6000 words, and provide an abstract of 150-250 words. Proposals for symposia (deadline: January 15, 2018) should indicate: The title of the proposed symposium; A description of the topic; A list the participants; The number of hours required.
18 - 22 June 2018, LOGICA 2018, Hejnice (Czech Republic)
LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.
Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.
Contributions that cover issues interesting both for ‘philosophically’ and for ‘mathematically’ oriented logicians are welcome. If you are interested in presenting a paper at the symposium, please submit a two-page blind abstract via EasyChair.
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 - 17 February 2018, Linguistic Evidence 2018, Tübingen, Germany
With the ninth Linguistic Evidence we bring a new focus on empirical, theory-driven approaches to syntax, semantics and their interface to this conference series. We also aim at providing a forum that allows us to address and reflect on the challenges and opportunities of experimental approaches to linguistic theory.
Invited Speakers: Barbara Hemforth (Paris Diderot), Edward Gibson (MIT), Valentine Haquard (University of Maryland) and David Beaver (University of Texas, Austin).
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 - 17 February 2018, Linguistic Evidence 2018, Tübingen, Germany
With the ninth Linguistic Evidence we bring a new focus on empirical, theory-driven approaches to syntax, semantics and their interface to this conference series. We also aim at providing a forum that allows us to address and reflect on the challenges and opportunities of experimental approaches to linguistic theory.
Invited Speakers: Barbara Hemforth (Paris Diderot), Edward Gibson (MIT), Valentine Haquard (University of Maryland) and David Beaver (University of Texas, Austin).
16 - 17 February 2018, Workshop on Ramsey Theory of Equations & Related Topics, Pisa, Italy
In 2016 two long standing open problems in Ramsey Theory of equations and polynomial configurations have been solved: the Boolean Pythagorean triples problem and the partition regularity of the configuration {x,x+y,xy}. For this reason, problems regarding the partition regularity of nonlinear Diophantine equations and polynomial configurations are now in the spotlight of the mathematical community. An interesting feature of this topic is that several different non-elementary techniques, including ultrafilters, ergodic theory, nonstandard analysis, semigroup theory and topological dynamics, can be used to solve problems in this area. The aim of this Workshop is to present aspects of several of these different techniques, as well as to discuss many interesting related problems.
16 - 18 February 2018, Workshop "Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy", Bonn, Germany
While self-reference is deeply intertwined with logic and foundational aspects of mathematics, the notion itself is still surprisingly barely understood. For instance, it can be observed that in discussions regarding the nature of Visser's and Yablo's paradoxes, often differing and vague concepts are applied. However, there has been recently several proposals of precise characterizations of self-reference. This workshop is intended to facilitate a discussion of such proposals, their interrelations and applicability to the paradoxes as well as their adequacy to capture the intuitive notion of self-reference.
This interdisciplinary workshop, designed as a hybrid between winter school and research conference, is aimed at students (incl. PhDs) and researchers from the fields of mathematics, philosophy and computer science.
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 - 17 February 2018, Linguistic Evidence 2018, Tübingen, Germany
With the ninth Linguistic Evidence we bring a new focus on empirical, theory-driven approaches to syntax, semantics and their interface to this conference series. We also aim at providing a forum that allows us to address and reflect on the challenges and opportunities of experimental approaches to linguistic theory.
Invited Speakers: Barbara Hemforth (Paris Diderot), Edward Gibson (MIT), Valentine Haquard (University of Maryland) and David Beaver (University of Texas, Austin).
16 - 17 February 2018, Workshop on Ramsey Theory of Equations & Related Topics, Pisa, Italy
In 2016 two long standing open problems in Ramsey Theory of equations and polynomial configurations have been solved: the Boolean Pythagorean triples problem and the partition regularity of the configuration {x,x+y,xy}. For this reason, problems regarding the partition regularity of nonlinear Diophantine equations and polynomial configurations are now in the spotlight of the mathematical community. An interesting feature of this topic is that several different non-elementary techniques, including ultrafilters, ergodic theory, nonstandard analysis, semigroup theory and topological dynamics, can be used to solve problems in this area. The aim of this Workshop is to present aspects of several of these different techniques, as well as to discuss many interesting related problems.
16 - 18 February 2018, Workshop "Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy", Bonn, Germany
While self-reference is deeply intertwined with logic and foundational aspects of mathematics, the notion itself is still surprisingly barely understood. For instance, it can be observed that in discussions regarding the nature of Visser's and Yablo's paradoxes, often differing and vague concepts are applied. However, there has been recently several proposals of precise characterizations of self-reference. This workshop is intended to facilitate a discussion of such proposals, their interrelations and applicability to the paradoxes as well as their adequacy to capture the intuitive notion of self-reference.
This interdisciplinary workshop, designed as a hybrid between winter school and research conference, is aimed at students (incl. PhDs) and researchers from the fields of mathematics, philosophy and computer science.
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.
16 - 18 February 2018, Workshop "Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy", Bonn, Germany
While self-reference is deeply intertwined with logic and foundational aspects of mathematics, the notion itself is still surprisingly barely understood. For instance, it can be observed that in discussions regarding the nature of Visser's and Yablo's paradoxes, often differing and vague concepts are applied. However, there has been recently several proposals of precise characterizations of self-reference. This workshop is intended to facilitate a discussion of such proposals, their interrelations and applicability to the paradoxes as well as their adequacy to capture the intuitive notion of self-reference.
This interdisciplinary workshop, designed as a hybrid between winter school and research conference, is aimed at students (incl. PhDs) and researchers from the fields of mathematics, philosophy and computer science.
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.
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.
6 - 17 August 2018, ESSLLI 2018 Student Session, Sofia, Bulgaria
The Student Session of the 30th European Summer School in Logic, Language and Information (ESSLII 2018) is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and selected papers will appear in the Student Session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. Note that there are two separate kinds of submissions, one for oral presentations and one for posters.
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.
26 - 28 February 2018, 2nd SYSMICS Workshop "Substructural logics: semantics, proof theory and applications", Vienna, Austria
Substructural logics are non-classical logics lacking some of the structural rules of classical logic, and are motivated by philosophical, linguistic and computational considerations. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The program of this SYSMICS workshop will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications.
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.
26 - 28 February 2018, 2nd SYSMICS Workshop "Substructural logics: semantics, proof theory and applications", Vienna, Austria
Substructural logics are non-classical logics lacking some of the structural rules of classical logic, and are motivated by philosophical, linguistic and computational considerations. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The program of this SYSMICS workshop will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications.
27 February 2018, Cognitive Computation Symposium (CoCoSym 2018): Thinking Beyond Deep Learning, London, England
Using "Cognitive Computation" as joint umbrella term and final aim, this symposium brings together established leaders in the fields of neural computation, logic and artificial intelligence, knowledge representation, natural language understanding, machine learning, cognitive science and computational neuroscience. They are invited to share their views on the 3 "Big Questions":
- Will development in Deep Learning completely solve the problem(s)of Artificial Intelligence?
- If not, how could and/or should AI and ML continue towards such a general solution?
- What is going to be "the next big thing" that lets us build beyond the recent success of Deep Learning?
14 - 17 May 2018, Fifth International Conference on the Nature and Ontology of Spacetime, Albena, Bulgaria
The spacetime conferences bring together physicists and philosophers and provide a forum where aspects and implications of the nature and ontology of spacetime are discussed.
To mark the 110th anniversary of Hermann Minkowski's groundbreaking lecture "Space and Time" the main theme of the Fifth International Conference on the Nature and Ontology of Spacetime will be the nature of spacetime - whether spacetime should be regarded merely as an abstract mathematical notion modelling an evolving present or spacetime represents a block universe or a growing block universe.
In spite of the focus of the fifth spacetime conference being on the main theme, the Scientific Organizing Committee invites papers from physicists and philosophers on any topic related to the nature and ontology of spacetime.
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.
26 - 28 February 2018, 2nd SYSMICS Workshop "Substructural logics: semantics, proof theory and applications", Vienna, Austria
Substructural logics are non-classical logics lacking some of the structural rules of classical logic, and are motivated by philosophical, linguistic and computational considerations. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The program of this SYSMICS workshop will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications.