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.
| << April 2019 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||
16 - 20 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Batumi, Georgia
The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, Georgia.
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.
The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome.
Areas of interest include, but are not limited to:
- Natural language syntax, semantics, and pragmatics
- Linguistic typology and semantic universals
- Language evolution and learnability
- Historical linguistics, history of logic
- Natural logic, inference and entailment in natural language
- Logic, games, and formal pragmatics
- Logics for artificial intelligence and computer science
- Constructive, modal and algebraic logic
- Categorical logic
- Algorithmic game theory
- Computational social choice
- Formal models of multiagent systems
- Information retrieval, query answer systems
- Distributional and probabilistic models of information, meaning and computation
- Models of computation.
16 - 20 September 2019, Workshop on Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM), Batumi, Georgia
The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction. This workshop will take place at the 13th International Tbilisi Symposium on Language, Logic and Computation.
It is commonly assumed in both semantics and syntax that there is a distinction between inner aspect (lexical or predicational aspect) and outer aspect (grammatical aspect) (e.g. Smith 1991/97; Cinque 1999; Travis 2010 for spoken languages; Bross 2018 for sign languages). Inner aspect pertains to the distinction between telic and atelic predicates at the level of the VP (the verb and its argument(s)), and the compositional derivation of telicity, going back to works by Verkuyl (1972) and Krifka (1989). Outer aspect, on the other hand, is concerned with, e.g., imperfective (IPF) and perfective (PF) verb forms that are associated with (im)perfective meanings in finite sentences (see, e.g., Klein 1994). At the same time both levels of aspect interact, with grammatical aspect commonly taken to operate on the level of inner aspect (see, e.g., de Swart 1998 for an early treatment of this interaction). The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction.
19 - 21 June 2019, Masterclass in the Philosophy of Mathematical Practice with Marcus Giaquinto, Brussels, Belgium
The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its Third Masterclass in the Philosophy of Mathematical Practice on June, 19-21 with Prof. Dr. Marcus Giaquinto. The Masterclass will be composed of three lectures, the tentative titles of which are as follows:
Lecture 1 (Wednesday, 19/6): A priori and a posteriori in mathematics.
Lecture 2 (Thursday, 20/6): Is the distinction between proofs and non-proofs in mathematics objective?
Lecture 3 (Friday, 21/6): Can mathematical arguments have aesthetic value?
We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Marcus Giaquinto will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the Philosophy of Mathematical Practice.
We invite early career researchers who would be interested to present their work to send us an abstract of at most 1 page by April, 1st. Please submit your abstract, including your affiliation information, by sending it to the following email address: masterclass.pmp.bxl at gmail.com. The talks will be of a duration of around 20 minutes (not including discussion). Notification of acceptance will be sent out by the middle of April. Notice that submitting an abstract is not mandatory for attending the Masterclass.
CfP special issue of LMCS on Continuity, Computability, Constructivity
After a year of successful work in the EU-MSCA-RISE project "Computing with Infinite Data" (CID) and an excellent Workshop "Continuity, Computability, Constructivity: From Logic to Algorithms 2018" (CCC 2018) in Faro (Portugal) in September this year, we are planning to publish a collection of papers dedicated to the meeting and to the project as a Special Issue in the open-access journal "Logical Methods in Computer Science" (LMSC).
The issue should reflect progress made in Computable Analysis and related areas, and is not restricted to work in the CID project or presented at the Workshop. Submissions are welcome from all scientists on topics in the entire spectrum from logic to algorithms.
13 - 17 May 2019, 24th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, Poland
The meeting takes place in Szklarska Poręba, in the lovely Sudetes Mountains on the Polish-Czech border. Our event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.
Our invited speakers are:
- Krzysztof R. Apt, CWI, Amsterdam
- Roberto Giuntini, University of Cagliari
- Andreas Herzig, Université Paul Sabatier, Toulouse
- Emil Jeřábek, Czech Academy of Sciences, Prague
We encourage everyone who is interested in logic to participate in our event.
Contributions related to logic,logical philosophy, pragmatics, foundations of mathematics, foundations of computer science and related areas are welcome.The abstracts of about 30 minutes talks, not extending one page, should be submitted before April 2, 2019 and the notification of acceptance will be sent until April 12, 2019. The detailed information regarding submission of abstracts will be available in the forthcoming announcements and on the conference's website.
3 - 6 June 2019, 8th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, England
CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). It aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.
The eighth edition will be held in London, UK, colocated with MFPS XXXV. It will have three invited speakers, and a joint special session with MFPS. It will also feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants.
CALCO invites three categories of submissions:
* Full technical papers that report
- results of theoretical work on the mathematics of algebras and coalgebras,
- the way these results can support methods and techniques for software development, as well as
- experience with the transfer of the resulting technologies into industrial practice.
* Early ideas abstracts that lead to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute.
* Tool papers that report on the development and use of tools for algebraic and coalgebraic methods in computer science.
17 - 19 July 2019, 17th Conference onTheoretical Aspects of Rationality & Knowledge (TARK 2019), Toulouse, France
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.
Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).
Submissions are now invited to TARK 2019. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. TARK reviewing is not double-blind, so author names can be included in the submission.
3 - 5 April 2019, Workshop "Reasoning, Argumentation and Logic in Natural Language: Experiments and Models", Bochum, Germany
The workshop examines reasoning, argumentation and logic from the perspective of experimental pragmatics. Whereas these issues have a long tradition in the philosophy of language and theoretical linguistics, research in experimental pragmatics has come to focus on them only recently. This is surprising since pragmatic phenomena exert strong influence on which arguments count as sound and valid in everyday reasoning. Relevant phenomena include (a) the disambiguation of polysemous words, (b) context effects on the interpretation of content words and (c) pragmatic properties of logical connectives (e.g., order effects associated with and) as well as of quantifiers (e.g., the scalar implicature from some to not all). The workshop focuses on (i) experimental approaches and (ii) empirically driven models regarding these as well as other pragmatic phenomena in the domain of argumentation and reasoning.
3 April 2019, ILLC Current Affairs Meeting
3 - 5 April 2019, Workshop "Reasoning, Argumentation and Logic in Natural Language: Experiments and Models", Bochum, Germany
The workshop examines reasoning, argumentation and logic from the perspective of experimental pragmatics. Whereas these issues have a long tradition in the philosophy of language and theoretical linguistics, research in experimental pragmatics has come to focus on them only recently. This is surprising since pragmatic phenomena exert strong influence on which arguments count as sound and valid in everyday reasoning. Relevant phenomena include (a) the disambiguation of polysemous words, (b) context effects on the interpretation of content words and (c) pragmatic properties of logical connectives (e.g., order effects associated with and) as well as of quantifiers (e.g., the scalar implicature from some to not all). The workshop focuses on (i) experimental approaches and (ii) empirically driven models regarding these as well as other pragmatic phenomena in the domain of argumentation and reasoning.
5 - 16 August 2019, ESSLLI 2019 Student Session, Riga, Latvia
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.
The ESSLLI Student Session 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. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.
3 - 5 April 2019, Workshop "Reasoning, Argumentation and Logic in Natural Language: Experiments and Models", Bochum, Germany
The workshop examines reasoning, argumentation and logic from the perspective of experimental pragmatics. Whereas these issues have a long tradition in the philosophy of language and theoretical linguistics, research in experimental pragmatics has come to focus on them only recently. This is surprising since pragmatic phenomena exert strong influence on which arguments count as sound and valid in everyday reasoning. Relevant phenomena include (a) the disambiguation of polysemous words, (b) context effects on the interpretation of content words and (c) pragmatic properties of logical connectives (e.g., order effects associated with and) as well as of quantifiers (e.g., the scalar implicature from some to not all). The workshop focuses on (i) experimental approaches and (ii) empirically driven models regarding these as well as other pragmatic phenomena in the domain of argumentation and reasoning.
23 June 2019, LICS workshop Learning & Automata (LearnAut 2019), Vancouver BC, Canada
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science, spanning the same communities that the Logic in Computer Science (LICS) conference brings together. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.
Invited speakers: Lise Getoor (UC Santa Cruz). Prakash Panangaden (McGill University) and Nils Jansen (Radboud University, to be confirmed).
We invite submissions of recent work, including preliminary research, related to the theme of the workshop. Similarly to how main machine learning conferences and workshops are organized, all accepted abstracts will be part of a poster session held during the workshop. Additionally, the Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech Republic
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.
Main conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).
A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech Republic
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.
Main conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).
A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech Republic
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.
Main conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).
A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, 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 - 11 April 2019, Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA 2019), Las Vegas NV, U.S.A.
The CogSIMA conference series provides an annual venue for presenting multi-disciplinary research on complex heterogeneous dynamical systems - of interacting humans, machines, computer agents and/or networks - whose individual and/or collective behavior depends on their Situation Awareness.
Examples of systems include a variety of command and control systems, disaster monitoring and recovery systems, human-robot teams, physical and cyber security situation awareness systems, intelligent transportation systems, health care medical situation control systems, and many other systems.
The CogSIMA conferences are aimed at researchers and practitioners from academia, industry and government, with a wide variety of backgrounds and experience including computer science, artificial intelligence, human factors, cognitive science, modeling & simulation, robotics, and systems engineering.
8 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, England
These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.
The main parts of the programme are:
- A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
- Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
- Contributed talks from other participants - if you wish to offer one, please submit an abstract.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech Republic
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.
Main conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).
A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, 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 - 11 April 2019, Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA 2019), Las Vegas NV, U.S.A.
The CogSIMA conference series provides an annual venue for presenting multi-disciplinary research on complex heterogeneous dynamical systems - of interacting humans, machines, computer agents and/or networks - whose individual and/or collective behavior depends on their Situation Awareness.
Examples of systems include a variety of command and control systems, disaster monitoring and recovery systems, human-robot teams, physical and cyber security situation awareness systems, intelligent transportation systems, health care medical situation control systems, and many other systems.
The CogSIMA conferences are aimed at researchers and practitioners from academia, industry and government, with a wide variety of backgrounds and experience including computer science, artificial intelligence, human factors, cognitive science, modeling & simulation, robotics, and systems engineering.
8 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, England
These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.
The main parts of the programme are:
- A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
- Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
- Contributed talks from other participants - if you wish to offer one, please submit an abstract.
9 April 2019, Crossing the boundaries: Language in Interaction, Nijmegen, the Netherlands
Broca and Wernicke’s breakthroughs in the 19th century paved the way to the current knowledge of language in the human brain. Yet, current research on this topic has gone above and beyond the scope of neuropsychology, with contributions from neuroscience, computer modelling, linguistics and genetics. The knowledge from these disciplines helped paint a more comprehensive picture of how the language system is organized in the brain. However, there is a theoretical gap between all these findings: solid evidence exists for how discrete elements of the language system are organized and work, but comprehensive models that encompass these separate results are still lacking. This reductionist bias is further exacerbated when overlooking the communicative aspect of language: are we able to fully explain how two human beings are able to communicate in an effective way?
In this symposium experts from different disciplines will explore how their fields of expertise can come together to provide an integrated understanding of human language.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech Republic
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.
Main conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).
A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, 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 - 11 April 2019, Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA 2019), Las Vegas NV, U.S.A.
The CogSIMA conference series provides an annual venue for presenting multi-disciplinary research on complex heterogeneous dynamical systems - of interacting humans, machines, computer agents and/or networks - whose individual and/or collective behavior depends on their Situation Awareness.
Examples of systems include a variety of command and control systems, disaster monitoring and recovery systems, human-robot teams, physical and cyber security situation awareness systems, intelligent transportation systems, health care medical situation control systems, and many other systems.
The CogSIMA conferences are aimed at researchers and practitioners from academia, industry and government, with a wide variety of backgrounds and experience including computer science, artificial intelligence, human factors, cognitive science, modeling & simulation, robotics, and systems engineering.
8 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, England
These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.
The main parts of the programme are:
- A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
- Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
- Contributed talks from other participants - if you wish to offer one, please submit an abstract.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech Republic
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.
Main conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).
A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, 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 - 11 April 2019, Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA 2019), Las Vegas NV, U.S.A.
The CogSIMA conference series provides an annual venue for presenting multi-disciplinary research on complex heterogeneous dynamical systems - of interacting humans, machines, computer agents and/or networks - whose individual and/or collective behavior depends on their Situation Awareness.
Examples of systems include a variety of command and control systems, disaster monitoring and recovery systems, human-robot teams, physical and cyber security situation awareness systems, intelligent transportation systems, health care medical situation control systems, and many other systems.
The CogSIMA conferences are aimed at researchers and practitioners from academia, industry and government, with a wide variety of backgrounds and experience including computer science, artificial intelligence, human factors, cognitive science, modeling & simulation, robotics, and systems engineering.
8 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, England
These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.
The main parts of the programme are:
- A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
- Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
- Contributed talks from other participants - if you wish to offer one, please submit an abstract.
9 - 13 September 2019, 12th International Conference on Words (WORDS 2019), Loughborough, England
WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others.
Invited Speakers: Florin Manea (Kiel), Svetlana Puzynina (St. Petersburg), Antonio Restivo (Palermo), Gwenaël Richomme (Montpellier), Aleksi Saarela (Turku), and Kristina Vuskovic (Leeds).
Submitted papers should not exceed 12 pages and be prepared according to the following guidelines and LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint (updated before submission). Only original submission which have not been submitted for publication elsewhere will be considered.
29 - 30 June 2019, 5th Int. Workshop on Structures and Deduction 2019 (SD 2019), Dortmund, Germany
SD?19 is the fifth in a series of workshops aiming to gather various communities of structural proof theorists. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.
We welcome submission of work that has already been published or currently submitted to a journal or conference. The following submission categories are welcome:
- Extended abstracts (up to 8 pages). Finished work, system descriptions, surveys.
- Short abstracts (up to 4 pages). Work-in-progress, perspectives on existing work.
10 - 12 August 2019, 5th Workshop on Bridging the Gap between Human and Automated Reasoning, Macau, China
This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.
Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.
Topics of interest include, but are not limited to the following:
- limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning - benchmark problems relevant in both fields - approaches to tackle benchmark problems like the Winograd Schema Challenge or the COPA challenge - predicting an individual reasoners response (see https://www.cognitive-computation.uni-freiburg.de/modelingchallenge)
This year's Bridging workshop will accept papers and submissions to the PRECORE challenge:
Papers, including the description of work in progress, are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2019
The PRECORE challenge is based on CCOBRA (https: //www.cognitive-computation.uni-freiburg.de/modelingchallenge), a Python framework for the behavioral analysis of reasoning models. The framework does not pose restrictions with respect to formalisms as long as individual predictions to syllogistic problems can be generated. Final model submissions are due on May 15th, 11:59 UTC-12 as a zip-archive. Please describe your model on a conceptual level on two pages in the workshop template. Details on the submission of the zip-archive can be found at: https://www.cognitive-computation.uni-freiburg.de/modelingchallenge
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, 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 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, England
These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.
The main parts of the programme are:
- A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
- Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
- Contributed talks from other participants - if you wish to offer one, please submit an abstract.
13 - 14 April 2019, The 20th Annual Graduate Student Conference in Logic (GSCL XX), Chicago IL, U.S.A.
Next semester the University of Illinois at Chicago is hosting the annual graduate student conference in logic. It will be a weekend long conference with one plenary talk from a professor in Model Theory or Set Theory and then talks from grad students.
It is most likely that free housing and a few meals will be provided for all participants, while funding for travel expenses will be limited to national flights.
13 - 16 April 2019, 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), Kitakyushu, Japan
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”. TAMC 2011 was held in Tokyo, Japan.
24 May 2019, IWCS’19 Workshop on Vector Semantics for Dialogue and Discourse (VSDD)
Vector models of meaning have revolutionised computational linguistics via their ability to reflect semantic similarities and regularities while providing flexibility to model dynamics and change. However, despite much recent interest inextending these models from the level of words to larger phrases and sentences, there has been little attempt to extend these to the realm of discourse and dialogue. This requires a shift in perspective, moving beyond the static word/sentence view of language to a dynamic perspective seeing language as a set of mechanisms for real-time interactions, encompassing a whole range of actions both sub- and supra-sentential.
This workshop hopes to bring together researchers using vector space methods for semantics in the realm of dialogue and discourse to discuss these challenges and fill this gap. We are planning this event as an open discussion session, with three keynote speakers (see below) and otherwise individual participants having a short slot to discuss a presented poster, with plenty of time allowed for free interactive exchange.
Abstract Format: Abstracts should: be anonymous; be no longer than 2 A4 pages including references; be in .pdf format; use single line spacing, 11pt font with 1-inch margins.
Topics of interest: Distributional Semantics, Vector Space Semantics, Composition Functions, Word Embeddings in Dialogue Systems, Distributional Pragmatics, Vector Composition beyond the Sentence, Sub-sentential Vector Composition, Incremental, Semantic Parsing in Vector Space, Underspecification, Hybrid Symbolic-Distributional Models, Representation Learning for Dialogue & Discourse, Vector Space Models of Dialogue & Discourse Context, Language Grounding.
13 - 14 April 2019, The 20th Annual Graduate Student Conference in Logic (GSCL XX), Chicago IL, U.S.A.
Next semester the University of Illinois at Chicago is hosting the annual graduate student conference in logic. It will be a weekend long conference with one plenary talk from a professor in Model Theory or Set Theory and then talks from grad students.
It is most likely that free housing and a few meals will be provided for all participants, while funding for travel expenses will be limited to national flights.
13 - 16 April 2019, 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), Kitakyushu, Japan
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”. TAMC 2011 was held in Tokyo, Japan.
14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, England
The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.
Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.
27 - 30 August 2019, The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, The Netherlands
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)
CONCUR 2019 solicits high quality papers reporting research results and/or experience related to semantics, logics, verification and analysis of concurrent systems. All papers must be original, unpublished, and not submitted for publication elsewhere.
13 - 16 April 2019, 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), Kitakyushu, Japan
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”. TAMC 2011 was held in Tokyo, Japan.
14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, England
The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.
Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.
15 - 17 April 2019, "Mathematical Ability", Utrecht, The Netherlands
Recently, the focus of inquiries intop mathematical cognition is shifting towards the process of mathematical activity: what is it to have mathematical ability, and how do we acquire the knowledge how to do mathematics? These questions are informed by the various E-approaches to cognition (Extended, Embodied, Embedded, Enactive, Enculturated cognition): our bodies, our technology, our environment - both offline and online - our practices, our culture, our education, and our interactional history might all have some role to play in our mathematical ability and the development thereof. How mathematical cognition is shaped by these factors is a broad question that warrants an interdisciplinary approach.
13 - 16 April 2019, 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), Kitakyushu, Japan
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”. TAMC 2011 was held in Tokyo, Japan.
14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, England
The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.
Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.
15 - 17 April 2019, "Mathematical Ability", Utrecht, The Netherlands
Recently, the focus of inquiries intop mathematical cognition is shifting towards the process of mathematical activity: what is it to have mathematical ability, and how do we acquire the knowledge how to do mathematics? These questions are informed by the various E-approaches to cognition (Extended, Embodied, Embedded, Enactive, Enculturated cognition): our bodies, our technology, our environment - both offline and online - our practices, our culture, our education, and our interactional history might all have some role to play in our mathematical ability and the development thereof. How mathematical cognition is shaped by these factors is a broad question that warrants an interdisciplinary approach.
14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, England
The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.
Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.
15 - 17 April 2019, "Mathematical Ability", Utrecht, The Netherlands
Recently, the focus of inquiries intop mathematical cognition is shifting towards the process of mathematical activity: what is it to have mathematical ability, and how do we acquire the knowledge how to do mathematics? These questions are informed by the various E-approaches to cognition (Extended, Embodied, Embedded, Enactive, Enculturated cognition): our bodies, our technology, our environment - both offline and online - our practices, our culture, our education, and our interactional history might all have some role to play in our mathematical ability and the development thereof. How mathematical cognition is shaped by these factors is a broad question that warrants an interdisciplinary approach.
14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, England
The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.
Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.
24 - 26 August 2019, 14th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019), Natal, Brazil
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).
Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds (preliminary results and work in progress), original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty.
Topics of interest include, but are not limited to: Specification languages and meta-languages, Formal semantics of languages and logical systems, Logical frameworks, Semantic frameworks, Type theory, Proof theory, Automated deduction, Implementation of logical or semantic frameworks, Applications of logical or semantic frameworks, Computational and logical properties of semantic frameworks, Logical aspects of computational complexity, Lambda and combinatory calculi, Process calculi.
11 - 12 August 2019, 7th International Workshop on Strategic Reasoning (SR 2019), Macao, China
Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.
The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.
We invite submissions reporting on: (A) original contributions, (B) published work, and (C) challenging open problems. In all three categories, submissions will be evaluated by the usual high standards of research publications. In particular, they should contain enough detail to allow the program committee to identify the main contribution of the work, to explain its significance, its novelty, its relevance to the strategic-reasoning audience, and its practical or theoretical implications, and include comparisons with and references to relevant literature.
Strong preference will be given to contributions on topics of interest to a broad, interdisciplinary audience and all papers should be written so that they are accessible to such an audience.
19 - 22 August 2019, 11th Principia International Symposium: The Quest for Knowledge, Florianopolis, Brazil
Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.
We welcome contributions that address any aspect of knowledge and other epistemic concepts, as well as critical assessments of historical and contemporary stances on the matter. Contributed papers to the symposium may be written in English, French, Portuguese, or Spanish.
23 June 2019, 3rd Women in Logic Workshop (WiL 2019), Vancouver BC, Canada
We are holding the third Women in Logic Workshop (WiL 2019) as a LICS associated workshop on 23 June 2019. The workshop follows the pattern of meetings such as Women in Machine Learning (WiML) or Women in Engineering (WIE) that have been taking place for quite a few years.
Women are chronically underrepresented in the LiCS community. The 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 comprising 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. Previous versions of Women in Logic (Reykjavik, Iceland 2017 and Oxford, UK 2018) were very successful in showcasing women's work and as catalysts for recognition of the need for change in the community.
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). Our extended program committee tries to cover most areas of Logic in Computer Science. These include but are not limited to the usual Logic in Computer Science (LICS) topics.
23 - 25 May 2019, 65th StuTS, Cologne
StuTS is short for German Studentische Tagung Sprachwissenschaften which translates roughly to student conference for linguistics and it offers an interesting programme from linguistics and related disciplines, with expert keynotes, student presentations and workshops, tours and demos, and of course a social programme with the best that Cologne has in store for students. We are looking forward to welcoming you all in Cologne from 23 to 25 Mai, 2019.
We are inviting students of linguistics and related disciplines from BA to PhD level to present their work at the 65th StuTS, which takes place from Mai 23 to 25, 2019 in Cologne. Feel free to present work from class projects, your bachelor’s or master’s thesis, or a project you are working on. We are also inviting language or technology related workshops from students who want to share their insights. The topics should somehow fit into the general topic of linguistics and language research and we would appreciate a wide variety of topics.
Presentations will last for 20 minutes and there will be 10 minutes for questions. Longer slots are available for longer talks or workshops upon request. For information on language requirements, please see the website.
18 - 19 July 2019, 16th Meeting on the Mathematics of Language (MoL 2019), Toronto ON, Canada
MOL is devoted to the study of mathematical structures and methods that are of importance to the description of language.
Specific topics within the scope of the conference include:
- formal and computational analysis of linguistic theories and frameworks
- learnability of formal grammars
- proof-theoretic, model-theoretic and type-theoretic methods in linguistics
- mathematical foundations of statistical approaches to language analysis
- formal models of language use and language change
MOL invites the submission of papers on original, substantial, completed, and unpublished research. All submissions must follow the style set out in the conference style files, which are available at the conference website. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venue.
24 - 26 April 2019, PhDs in Logic XI , Bern
PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.
We welcome students to participate in PhDs in Logic XI regardless of whether they want to submit a contribution. We also encourage students and postdocs in logic from disciplines other than computer science, mathematics, and philosophy to apply.
24 - 26 April 2019, 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART), Leipzig, Germany
The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.
8 July 2019, 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019), Prague, Czech Republic
One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-health, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. Finally, the impact of physical components is relevant to both the safety and security of the overall system.
The objective of the workshop is to gather scientists and engineers interested in formal verification techniques for the modeling, analysis, and verification of safety and security critical physical systems.
We encourage submissions on interdisciplinary approaches that bring together formal methods and techniques from other knowledge areas such as quantum computing, control theory, biology, optimization theory, and artificial intelligence. There are two categories of submissions: Regular papers describing developed work with theoretical or experimental results (upto 15 pages) Short papers on experience reports, tools or work in progress with preliminary results or just new ideas for discussion (upto 6 pages)
24 - 26 April 2019, PhDs in Logic XI , Bern
PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.
We welcome students to participate in PhDs in Logic XI regardless of whether they want to submit a contribution. We also encourage students and postdocs in logic from disciplines other than computer science, mathematics, and philosophy to apply.
24 - 26 April 2019, 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART), Leipzig, Germany
The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.
1 - 2 August 2019, 1st ACL Workshop on Gender Bias for Natural Language Processing, Florence, Italy
Gender and other demographic biases in machine-learned models are of increasing interest to the scientific community and industry. Models of natural language are highly affected by such perceived biases, present in widely used products, can lead to poor user experiences. This workshop will be the first dedicated to the issue of gender bias in NLP techniques and it includes a shared task on coreference resolution. In order to make progress as a field, this workshop will specially focus on discussing and proposing standard tasks which quantify bias.
Keynote Speaker: Pascale Fung, Hong Kong University of Science and Technology
We invite submissions of technical work exploring the detection, measurement, and mediation of gender bias in NLP models and applications. Other important topics are the creation of datasets exploring demographics such as metrics to identify and assess relevant biases or focusing on fairness in NLP systems. Finally, the workshop is also open to non-technical work welcoming sociological perspectives.
We also invite work on gender-fair modeling via our shared task, coreference resolution on GAP (Webster et al. 2018). GAP is a coreference dataset designed to highlight current challenges for the resolution of ambiguous pronouns in context. Participation will be via Kaggle, with submissions open over a three month period in the lead up to the workshop.
24 - 26 April 2019, PhDs in Logic XI , Bern
PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.
We welcome students to participate in PhDs in Logic XI regardless of whether they want to submit a contribution. We also encourage students and postdocs in logic from disciplines other than computer science, mathematics, and philosophy to apply.
24 - 26 April 2019, 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART), Leipzig, Germany
The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.
20 - 24 September 2019, 35th International Conference on Logic Programming (ICLP 2019), Las Cruces NM, U.S.A.
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages, Declarative programming, Implementation, Related Paradigms and Synergies, and Applications.
Besides the main track, ICLP 2019 will host additional tracks and special sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Special Session: Women in Logic Programming
- Research Challenges in Logic Programming Track
Three kinds of regular papers will be accepted: Technical papers for technically sound, innovative ideas that can advance the state of logic programming, Application papers that impact interesting application domains, and System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Deadline: 27 April 2019.
Additionally, those interested in organizing a workshop at ICLP 2019 are invited to submit a workshop proposal. Deadline: 15 April 2019.
3 - 4 June 2019, 3rd International Workshop on User-Oriented Logic Paradigms (IULP 2019), Cancelled
The 3rd International Workshop of User-Oriented Logic Paradigms (IULP) focuses on discussing different aspects involved in making logic paradigms more user-friendly/oriented, where the "user" could be either an expert of the paradigm, or a non-expert who simply uses tools developed for the paradigm in some application. IULP aims to bring together researchers working on different logic paradigms, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation, principles of teaching etc., as user- friendliness is an important topic in all of these areas.
IULP aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in theories, formalisms, and applications to deliver the mature and well-defined methods of logic paradigms to a wider audience.
We solicit the submission of papers broadly centred on issues and research related to user-friendliness in logic paradigms and related fields. We welcome papers of either theoretical or practical nature, including work in progress. We encourage the submission of original research on all topics as well as relevant results that have been submitted or accepted elsewhere provided that the initial publication is mentioned in a footnote on the first page.
29 - 30 April 2019, Mathematical Collaboration III, Bristol, England
We are pleased to announce the third edition of the Mathematical Collaboration workshops. After the previous two successful workshops on group knowledge and mathematical collaboration (Oxford 2017) and social virtues in mathematics (St Andrews 2018), this year we return with a focus on communities and communication in mathematics.
Mathematical progress is a collective endeavour. Researchers build on one another’s work, collaborate, and rely on one another to learn techniques, and to identify interesting problems. Well-designed communities can support inquiry, foster collaboration, and include diverse researchers. Badly-designed communities can stymie inquiry, block collaboration, and can exclude people from marginalised groups. To understand what well-functioning communities look like, and how institutional structures in mathematics might be designed to best support intellectual progress, we need to engage in interdisciplinary inquiry, bringing together mathematical practice, social epistemology, sociology, education, and computer science. We also need to include working mathematicians, and researchers who are working on practical projects to improve the profession.
29 - 30 October 2019, 5th International Conference on the History and Philosophy of Computing (HaPoC 2019), Bergamo, Italy
Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. People connected to the Internet can enjoy an unprecedented amount of information and computing power at their disposal, but more and more negative side effects of a widespread use of computers are brought to our attention: automation bias, echo chambers, shortened attention spans, job displacement, election hacking are just a few examples. The need to conduct a systematic and well-informed discussion in a context ranging from theoretical and mathematical problems to labour and resource exploitation issues is evident.
HaPoC's appeal to historical and philosophical reflection aims at addressing this shortcoming. We aim to bring together researchers exploring the various aspects of computation: historians, philosophers, computer scientists, sociologists, anthropologists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, all part of a society impacted by computation, and all necessary to the creation of a better discourse.
For HaPoC 2019, we welcome contributions from scholars who intend to participate in the debate on the impact of computers on culture, science, and society from the perspective of their area of expertise, and who are open to engage in interdisciplinary discussions across multiple fields. Accepted papers will be presented in 30 minute slots including discussion.
23 - 25 September 2019, 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA), Graz, Austria
This workshop is part of The Joint Ontology WOrkshops (JOWO) Episode V. The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models.
The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users.
We welcome two types of submissions: research articles (for presenting original unpublished work, neither submitted to, nor accepted for, any other venue) and extended abstracts (for presenting work in progress, brief descriptions of doctoral theses, or general overviews of research projects). Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines.
11 - 16 August 2019, Logic Colloquium 2019 (LC 2019), Prague, Czech Republic
The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) , an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.
The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.
To submit an abstract for a contributed talk please send it by e-mail as a PDF file accompanied by a LaTeX file using the ASL abstract template.Submitted abstracts should be limited to 300 words including the title and references. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts.
29 - 30 April 2019, Mathematical Collaboration III, Bristol, England
We are pleased to announce the third edition of the Mathematical Collaboration workshops. After the previous two successful workshops on group knowledge and mathematical collaboration (Oxford 2017) and social virtues in mathematics (St Andrews 2018), this year we return with a focus on communities and communication in mathematics.
Mathematical progress is a collective endeavour. Researchers build on one another’s work, collaborate, and rely on one another to learn techniques, and to identify interesting problems. Well-designed communities can support inquiry, foster collaboration, and include diverse researchers. Badly-designed communities can stymie inquiry, block collaboration, and can exclude people from marginalised groups. To understand what well-functioning communities look like, and how institutional structures in mathematics might be designed to best support intellectual progress, we need to engage in interdisciplinary inquiry, bringing together mathematical practice, social epistemology, sociology, education, and computer science. We also need to include working mathematicians, and researchers who are working on practical projects to improve the profession.