News Archives 2020
Please note that these newsitems have been archived, and may contain outdated information or links.
Headlines Past Events
Headlines Calls for Paper
Headlines Past Conferences
Headlines MoL and PhD defenses
No Projects and Awards
Headlines Funding, Grants and Competitions
Headlines Open Positions at ILLC
Headlines Open Positions, General
No Past appointments
No Former Regular Events
27 March 2020, MLC Seminar, Patricia Mirabile (online)Speaker: Patricia MirabileTitle: Abductive conditionals as a test case for inferentialismLocation: Online, via Zoom
Patricia Mirabile, a new PostDoc at the ILLC, will present this Friday via Zoom at the Meaning, Language and Cognition (MLC) seminar. To join the meeting, please click the following link: https://zoom.us/j/703591008For more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35143/ or contact Dean McHugh at d.m.mchugh at uva.nl.
(New) 27 March 2020, Causal Inference Lab reading group (online)Location: Online, via Zoom
The Causal Inference Lab reading group will meet this Friday to discuss two papers on the problem of causal selection (determining how people select, from a myriad of events, only some as causes). We will discuss two papers: Julia Driver (2008), Attributions of causation and moral responsibility [copy of book chapter], and Christopher Hitchcock & Joshua Knobe (2009), Cause and norm [doi:10.5840/jphil20091061128] [preprint].
Everyone with an interest in causal inference is very welcome to join!
26 March 2020, Logic and Interactive Rationality (LIRa), cancelledSpeaker: Roberto GiuntiniFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/02/lira-session-carlo-proietti-2/.
20 March 2020, MLC Seminar, Milica DenićSpeaker: Milica DenićTitle: Complexity/informativeness trade-off in the domain of indefinite pronounsLocation: Online
This talk will be delivered in an online-only format, via the platform Zoom. To join the meeting, please click the following link: https://zoom.us/j/773519367.
20 March 2020, Computational Social Choice Seminar, cancelled
19 March 2020, Logic and Interactive Rationality (LIRa), Mina Young Pedersen (online)Speaker: Mina Young PedersenTitle: Logical analyses of polarization and echo chamberLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/03/lira-session-mina-young-pedersen/.
18 March 2020, Algebra|Coalgebra Seminar, cancelled
18 March 2020, DiP Colloquium, cancelledFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35150/.
17 March 2020, Computational Linguistics Seminar, cancelled
16 March 2020, AUC Logic Lectures Series, cancelledFor more information, contact Dora Achourioti at t.achourioti at uva.nl.
13 March 2020, Cool Logic, Flavia NährlichSpeaker: Flavia NährlichTitle: Comparative Illusions - How one sentence can challenge fundamental principles in linguistics.Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
Certain comparative sentences like "More people have been to Russia than I have." are known as so-called comparative illusions. Native speakers of English judge these statements as acceptable, i.e. report that they are proper English sentences with a coherent interpretation. However, it turns out that people struggle to articulate that interpretation. In fact, it is not clear at all if there is a coherent meaning that we can assign or where the illusion of grammatical correctness originates from. This challenges some of our most basic assumptions about language architecture, like that we perceive sentences veridically, interpret them fully and that sentence form and meaning are tightly coupled. During the talk, I will present a possible solution for all these problems, the category mismatch hypothesis, I developed based on existing experimental data and some German examples.
13 March 2020, MLC Seminar, cancelledFor more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/.
13 March 2020, Causal Inference Lab reading groupLocation: Room F2.02 (Post-Doc meeting room), ILLC, Science Park 107, Amsterdam
The Causal Inference Lab reading group will meet this Friday afternoon to discuss the problem of causal selection (when moral and other factors influence what events are selected as causes). We will discuss Thomas Icard, Jonathan Kominsky & Joshua Knobe's 2017 paper 'Normality and actual causal strength' [doi:10.1016/j.cognition.2017.01.010] [preprint]
Everyone with an interest in causal reasoning is very welcome to join the discussion.
12 March 2020, Logic and Interactive Rationality (LIRa), Michael MäsSpeaker: Michael Mäs (Department of Sociology and the ICS, University of Groningen)Title: Do Filter Bubbles Foster Opinion Polarization?Location: Online
LIRa has switched to an online-only format, using the platform zoom.us. Contact ansolaki at gmail.com in case you have questions about the new format. The link for the e-seminar session is: https://zoom.us/j/424666901?pwd=RDEydDA5dEszV3p4Tmc2ZHo4YlNudz09For more information, see https://projects.illc.uva.nl/lgc/seminar/2020/02/lira-session-michael-mas-2/.
11 March 2020, Algebra|Coalgebra Seminar, Marianna GirlandoSpeaker: Marianna Girlando (Inria Saclay - LIX)Title: Nested sequents for the logic of conditional beliefLocation: Room F3.20, ILLC, Science Park 107, Amsterdam
11 March 2020, DiP Colloquium / Logic of Conceivability Seminar, cancelledFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35140/.
10 March 2020, joint EXPRESS-DiP Colloquium, cancelledFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35151/ or contact Leila Bussiere at bussiere at sequitur.eu.
6 March 2020, Anne Troelstra Memorial Event 2020Location: The Euler room, Amsterdam Science Park Congress Centre, Sciencepark 105, 1098 XG, Amsterdam, The Netherlands
On Friday the 6th of March the Institute for Logic, Language and Computation is organising a memorial event in honour of Anne Troelstra.For more information, see http://events.illc.uva.nl/Workshops/troelstra2020/ or contact Benno van den Berg at bennovdberg at gmail.com.
5 March 2020, Logic and Interactive Rationality (LIRa), Dean McHughSpeaker: Dean McHughTitle: Causality = time + modality + effective difference-makingLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/02/lira-session-dean-mchugh/.
4 March 2020, Algebra|Coalgebra Seminar, Gabriele PulciniSpeaker: Gabriele PulciniTitle: From Complementary Logic to Proof-Theoretic SemanticsLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
3 March 2020, Computational Linguistics Seminar, Felix HillSpeaker: Felix Hill (DeepMind)Title: An approach to language understanding in machines based on prediction, perception and actionLocation: Room TBA, ILLC, Science Park 107, Amsterdam
28 February 2020, Cool Logic, Angelica HillSpeaker: Angelica HillTitle: Not-so-picky predicates: An analysis of Spanish's que+wh-phrase construction and the puzzle of question-embedding predicatesLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
The semantic literature on question-embedding predicates has generally focused on the restrictions of certain predicates and the complements they can take as argument. However, the discussion becomes even more convoluted when we take the analysis cross-linguistic. My presentation explores the `que+ indirect question' construction that exists in Spanish, but not in English. The construction allows for a Spanish speaker to use a larger set of verbs to unambiguously report a question than the English speaker, and proves that a more detailed analysis of question-embedding predicates is needed. I will introduce this construction, explore some possible explanations for why certain verbs allow the construction while other prohibit it, and show why this puzzle is not merely a semantic one, but a syntactic one. It's going to be very verby!
28 February 2020, Causal Inference Lab reading groupLocation: Room F2.02 (Post-Doc meeting room), ILLC, Science Park 107, Amsterdam
On Friday the Causal Inference Lab reading group will meet to discuss the following paper Laura Franklin-Hall (2015), Explaining causal selection with explanatory causal economy. Click here for a preprint (doi: 10.1007/978-94-017-9822-8_18).
Everyone with an interest in causal inference is very welcome to attend!
27 February 2020, Logic and Interactive Rationality (LIRa), Alexandru BaltagSpeaker: Alexandru BaltagTitle: Tell Us All You KnowLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/01/lira-session-alexandru-baltag-4/.
25 February 2020, EXPRESS seminar, Manfred KrifkaSpeaker: Manfred KrifkaTitle: Ways of adjusting assertoric strengthLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
It is commonly assumed that assertions can be weakened or strengthened. In this talk I will identify two linguistic strategies that lead to the impression of changing assertoric strength and that are arguably embodied in the structure of assertive clauses. I will argue for a specific syntactic implementation, postulating a “Commitment Phrase” that takes a “Judgement Phrase” as a complement, which can house different linguistic modifiers or head features. I will show that a semantic interpretation format in which judgement and commitment operators are just treated as non-at-issue meanings on a separate level of semantic interpretation is not sufficient and argue for a theory in which those operators are conceived as means to put the core proposition into the common ground.For more information, see https://inferentialexpressivism.com/seminar/25-february2020-manfred-krifka/ or contact Leila Bussiere at bussiere at sequitur.eu.
21 February 2020, MLC (Meaning, Language and Cognition) seminar, Jos TellingsSpeaker: Jos TellingsTitle: When 'if' or 'when' are specifying modalsLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
The ILLC has a new lecture series, the Meaning, Language and Cognition (MLC) seminar, presenting research relevant to the Logic and Language group. The first speaker of the MLC seminar will be Jos Tellings (Utrecht), discussing when 'if' or 'when' are specifying modals.
Abstract. In this talk I analyze a construction in which specificational 'namely' takes a modal expression as antecedent, and an if- or when-clause as argument (example: "Working as a filmmaker can be taxing, namely if you're required to get sleek product shots"). Such cases do not satisfy previously claimed generalizations about the behavior of 'namely' in Anderbois & Jacobson (2018) and Onea (2016). Moreover, they show that modal expressions can raise an implicit question that gets answered by an if/when-clause. Not all types of modals allow this – I argue it is restricted to Portner's (2009) category of "quantificational modals". This work gives insights into the inquisitive character of modal operators: following Portner's (2009) proposal for quantificational modals, we find a difference in inquisitiveness between quantifying over situations and quantifying over worlds.For more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35141/When-if-or-when-are-specifying-modals or contact Dean McHugh at d.m.mchugh at uva.nl.
20 February 2020, Logic and Interactive Rationality (LIRa), Maria AloniSpeaker: Maria AloniTitle: Pragmatic enrichments in bilateral state-based modal logicLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/01/lira-session-maria-aloni/.
20 February 2020, Computational Social Choice Seminar, Aditya AradhyeSpeaker: Aditya Aradhye (Maastricht)Title: Group Strategy-Proof Rules in Multidimensional DomainsLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
19 February 2020, Algebra|Coalgebra Seminar, Iris van der GiessenSpeaker: Iris van der GiessenTitle: One step to admissibility in intuitionistic Gödel-Löb logicLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
I would like to present ongoing work on intuitionistic modal logics iGL and iSL which have a close connection to the (unknown!) provability logic of Heyting Arithmetic. Classically, Gödel-Löb logic GL admits a provability interpretation for Peano Arithmetic. iGL is its intuitionistic counterpart and iSL is iGL extended by explicit completeness principles. I will characterize both systems via an axiomatization and in terms of Kripke models. The main goal is to understand their admissible rules in order to get insight in the structure of those logics. To do so, I want to focus on one step in this direction: Ghilardi’s wonderful result connecting projective formulas to the extension property in Kripke models.
19 February 2020, Computational Linguistics Seminar, Jonas GroschwitzSpeaker: Jonas Groschwitz (Saarland University)Title: Making neural compositional semantic parsing workLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
In this talk, I will discuss our parser for semantic graphs such as Abstract Meaning Representation (AMR). Our approach combines neural models with mechanisms from compositional semantic construction. Key to this approach is the Apply-Modify (AM) algebra, which we developed to both reflect linguistic principles and yield a simple parsing model. In particular, the AM algebra allows us to find consistent latent compositional structures for our training data, which is crucial when training a compositional parser. The parser then employs neural supertagging and dependency models to predict interpretable, meaningful operations that construct the semantic graph. The result is a semantic parser with strong performance across diverse graphbanks, that also provides insights to the compositional patterns of the graphs.
14 February 2020, Cool Logic, Joseph McDonaldSpeaker: Joseph McDonaldTitle: Choice-Free Duality for the Stone Space of an OrtholatticeLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
In this talk, I will exposit the fundamental ideas underlying my current independent research project with Nick Bezhanishvili, in which I am attempting to give a choice-free topological representation of ortholattices. The standard topological representation of ortholattices, distributive lattices, and Boolean algebras, relies upon a nonconstructive choice principle, equivalent to the Boolean prime ideal theorem - which guarantees the existence of sufficiently many ultrafilters. My topological representation of ortholattices combines Bimbo's 2007 orthospace approach to choice-dependent Stone duality for ortholattices with Bezhanishvili and Holliday's 2020 spectral space approach to choice-free Stone duality for Boolean algebras. My aim for this talk is to give a gentle and welcoming overview of my research project and its surrounding subject matter.
13 February 2020, Logic and Interactive Rationality (LIRa), Declan ThompsonSpeaker: Declan ThompsonLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/01/lira-session-declan-thompson/.
12 February 2020, Logic of Conceivability seminar, Christopher BaduraSpeaker: Christopher BaduraTitle: Conditional Belief and Imaginative EpisodesLocation: Faculty Room, Department of Philosophy, UvA, Oude Turfmarkt 141, AmsterdamFor more information, see http://projects.illc.uva.nl/conceivability/News/article/128/Heinrich-Wansing-and-Christopher-Badura.
12 February 2020, Logic of Conceivability seminar, Heinrich WansingSpeaker: Heinrich WansingTitle: Substructural negations as normal modal operatorsLocation: Faculty Room, Department of Philosophy, UvA, Oude Turfmarkt 141, AmsterdamFor more information, see http://projects.illc.uva.nl/conceivability/News/article/128/Heinrich-Wansing-and-Christopher-Badura.
7 - 8 February 2020, Workshop "Propositions, properties, sets, and other abstract objects"Location: University Library, Belle van Zuylen Room, Singel 425, 1012 WP AmsterdamTarget audience: Philosophy, Logic
This workshop brings together scholars working on the philosophy of language, philosophy of mathematics, philosophy of logic, and metaphysics, to present recent work on propositions, propositional functions, properties, sets, numbers, composite objects, and truth.
6 February 2020, Logic and Interactive Rationality (LIRa), Johan van BenthemSpeaker: Johan van BenthemTitle: A Minimal Classical Logic of Functional DependenceLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/12/lira-session-johan-van-benthem-3/.
5 February 2020, LUNCH Seminar, Arianna BettiSpeaker: Arianna BettiTitle: In AI We Trust?Location: ILLC Common Room (F1.21), Science Park 107, Amsterdam
How can we ensure trust in machines? In particular, how can computational text analysis, an important sector of AI, ensure trust in its algorithms? The sector is booming, and its real-life applications ubiquitous. But how comfortable are you with having an AI assess whether your mum's calls to 112 are really urgent? Having your brother defended by a legal AI? Have software decide whether you'll get the next grant? I bet your answers vary from 'not very much' to 'not at all': what do you think should happen to remedy this situation? Is this something that we, the ILLC community, substantially can contribute to? If so, how, ideally?
4 February 2020, DIP Colloquium, Daniel RothschildSpeaker: Daniel RothschildTitle: Lockean Belief, Dutch Books, and Scoring SystemsLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35139/Lockean-Belief,-Dutch-Books,-and-Scoring-Systems or contact Julian Schlöder at j.j.schloder at uva.nl.
4 February 2020, joint EXPRESS-DiP Colloquium, Daniel RotschildSpeaker: Daniel Rotschild (UCL)Title: Lockean Belief, Dutch Books, and Scoring SystemsLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
On the Lockean thesis one ought to believe a proposition if and only if one assigns it a credence at or above a threshold (Foley 1992). The Lockean thesis, thus, provides a way of linking sets of all-or-nothing beliefs with credences. Recent work on the lexical semantics of attitude verbs such a 'think’ and ‘believe’ suggest that Lockeanism is more plausible than the view that believing a proposition requires having full confidence in it (Hawthorne, Rothschild and Spectre, 2016). In this talk, I will give two independent characterizations of sets of full beliefs satisfying the Lockean thesis. One is in terms of betting dispositions associated with full beliefs and one is in terms of an accuracy scoring system for full beliefs. These characterizations are parallel to, but not merely derivative from, the more familiar Dutch book (de Finetti 1974) and accuracy arguments (Joyce 1998) for probabilism.For more information, see https://inferentialexpressivism.com/seminar/4-february-2020-daniel-rotschild/ or contact Leïla Bussière at bussiere at sequitur.eu.
24 January 2020, Causal Inference Lab reading groupTitle: Causal Inference Lab reading groupLocation: Room F2.02 (PhD meeting room), ILLC, Science Park 107, AmsterdamTarget audience: Anyone with an interest in causal inference
The Causal Inference Lab reading group will meet on Friday to discuss Patricia Cheng (1997), From Covariation to Causation: A causal power theory pdfs.semanticscholar.org/ac40/c59cc950959978c42fb0618b1458a93975a3.pdf.
All those with an interest in causal inference are very welcome to attend.
23 January 2020, Logic and Interactive Rationality (LIRa), Dazhu LiSpeaker: Dazhu LiTitle: On the Right Path: A Modal Logic for Supervised LearningLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/12/lira-session-dazhu-li/.
23 January 2020, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Analysis of Matching Mechanisms via SAT SolvingLocation: Room F1.15, Science Park 107, Amsterdam
22 January 2020, ILLC New Year's Colloquium 2020Location: Room F1.21, ILLC, Science Park 107, Amsterdam
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
22 January 2020, Algebra|Coalgebra Seminar, Henning BasoldSpeaker: Henning Basold (Universiteit Leiden)Title: Guarded Recursion for Coinductive and Higher-Order Stochastic SystemsLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
21 January 2020, Music Cognition Reading Group: Music of the TsimanéTitle: Music of the TsimanéLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
The Tsimané are an indigenous people from Bolivia that have had relatively little contact with industrialised societies. Tsimané culture differs markedly from Western cultures and this has attracted interest from medicine to music. Adding to earlier reports of different consonance and rhythm perception, a study led by Nori Jacoby now suggests that Tsimané do not perceive octaves as equivalent. Should we reconsider the building blocks of music perception?
Jacoby, N., Undurraga, E. A., McPherson, M. J., Valdés, J., Ossandón, T., & McDermott, J. H. (2019). Universal and Non-universal Features of Musical Pitch Perception Revealed by Singing. Current Biology, 29(19), 3229-3243.e12. https://doi.org/10/ggbvj3For more information, see https://musicreadinggroup.wordpress.com/2019/11/25/music-of-the-tsimane/ or contact Bas Cornelissen at mail at bascornelissen.nl.
17 January 2020, DiP Colloquium, Richard EvansSpeaker: Richard Evans (Google DeepMind)Title: Kant's Cognitive ArchitectureLocation: ILLC Seminar Room F1.15For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35137/Kants-Cognitive-Architecture or contact Giorgio Sbardolini at g.sbardolini at uva.nl.
16 January 2020, Computational Social Choice Seminar, Bernhard von StengelSpeaker: Bernhard von Stengel (London School of Economics and Political Science)Title: Game Theory and PoliticsLocation: Room F1.15, Science Park 107, Amsterdam
14 January 2020, World Logic Day
After the adoption of January 14 as the World Logic Day by the Executive Council of UNESCO on October 17, 2019, January 14 was officially proclaimed as the World Logic Day at the 40th session of the General Conference of UNESCO in Paris, November 12-27, 2019.
We encourage everybody to organize a celebration of the World Logic Day on January 14 2020 under the auspices of UNESCO. Info about all the celebrations will be gathered in a single webpage with links to all the celebrations in the world as it was done for the 1st edition.For more information, see https://en.unesco.org/commemorations/worldlogicday.
Calls for Paper
30 October - 1 November 2020, 2nd Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Beijing, ChinaLocation: Beijing, ChinaDeadline: Saturday 30 November 2019
Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.
The first day of the workshop is devoted to two tutorials:
1. Jakub Szymanik (University of Amsterdam): Monotonicity in Logic
2. Gennaro Chierchia (Harvard University): Monotonicity in Language
The remaining two days consist of invited and contributed talks.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts are not to exceed two pages of A4 or letter-sized paper, including data and references, preferably with 1? (2.54cm) margins on all sides, set in a font no smaller than 11 points. The abstract should have a clear title and should not identify the author(s). The abstract must be submitted electronically in PDF format, via EasyChair.For more information, see http://tsinghualogic.net/JRC/?page_id=1576.
(Updated) 24 - 25 September 2020, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2020), London, EnglandLocation: London, EnglandDeadline: Friday 7 February 2020
The aims of FMAI 2020 are to:
- Present success stories about the application of formal methods in AI.
- Discuss strategies for bringing the Formal Methods and the AI communities closer together.
- Consolidate collaborations between these two communities and foster new ones.
Invited Speakers: Giuseppe de Giacomo (Sapienza Universita' di Roma, Italy) and Jane Hillston (University of Edinburgh, UK).
If you would like to attend the workshop, please submit a proposal for a talk (title and abstract for a 20 minutes talk) by January 31. The talk proposals can be about published or unpublished work. You should specify the category in the abstract. If the talk is based on a joint work, please mention your co-authors in the abstract. If you plan to attend but not give a talk, please submit an empty abstract with title 'no talk'.For more information, see https://www.doc.ic.ac.uk/~fbelard/Workshop/.
18 - 21 September 2020, 25th International Conference on Conceptual Structures (ICCS 2020), Bolzano, ItalyLocation: Bolzano, ItalyDeadline: Friday 10 January 2020
The International Conferences on Conceptual Structures (ICCS) focus on the formal analysis and representation of conceptual knowledge, at the crossroads of artificial intelligence, human cognition, computational linguistics, and related areas of computer science and cognitive science. The ICCS conferences evolved from a series of seven annual workshops on conceptual graphs, starting with an informal gathering hosted by John F. Sowa in 1986. Recently, graph-based knowledge representation and reasoning (KRR) paradigms are getting more and more attention. With the rise of quasi-autonomous AI, graph-based representations provide a vehicle for making machine cognition explicit to its human users. This year ICCS 2020 is a part of 'Bolzano Summer of Knowledge' which will take place in Bolzano, Italy during the month of September, 2020.
Submissions are invited on significant, original, and previously unpublished research on the formal analysis and representation of conceptual knowledge in artificial intelligence (AI). We invite scientific papers of up to fourteen pages, short contributions up to eight pages and extended poster abstracts of up to three pages. All papers will receive mindful and rigorous reviews that will provide authors with useful critical feedback.
The aim of the ICCS 2020 conference is to build upon its long-standing expertise in graph-based KRR and focus on providing modelling, formal and application results of graph-based systems. The conference welcomes contributions that address graph-based representation and reasoning paradigms (e.g. Bayesian Networks (BNs), Semantic Networks (SNs), RDF(S), Conceptual Graphs (CGs), Formal Concept Analysis (FCA), CP-Nets, GAI-Nets, Graph Databases, Diagrams, Knowledge Graphs, Semantic Web, etc.) from a modelling, theoretical and application viewpoint.
14 - 20 September 2020, The Joint Ontology Workshops Episode 6 (JOWO 2020), Bolzano, ItalyLocation: Bolzano, ItalyDeadline: Saturday 15 February 2020
The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.
Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers. Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.
The Joint Workshop Committees of BOSK 2020 invite proposals for workshops and tutorials for EKAW, ICBO and FOIS as part of the Bolzano Summer of Knowledge, held during the week of September 14-20, 2020. We welcome proposals from researchers and practitioners interested in the theory, practice, development and/or application of ontologies and related areas are invited to submit workshop proposals for review.
We encourage several forms and length of workshops (the list is non-exhaustive): - workshops that focus on an established research area, including continuations of workshops that were held in the past; - workshops that focus on emerging topics and applications, or on open research questions and challenges; - workshops that aim to create cross-disciplinary research fostering exchange of ideas between groups otherwise mostly disconnected.
13 - 18 September 2020, 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, FranceLocation: Aussois, FranceDeadline: Tuesday 3 December 2019
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.
The Program Committee solicits contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair. We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).For more information, see http://aitp-conference.org/2020.
12 - 18 September 2020, 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, GreeceLocation: Rhodes, GreeceDeadline: Friday 24 January 2020
Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The biennial International Conference on the Principles of Knowledge Representation and Reasoning (KR) is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
For its 2020 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held prior to the KR main technical program, which will run from 12th to 18th of September 2020. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference.
6 - 9 September 2020, Logic @ DGPhil, Erlangen, GermanyLocation: Erlangen, GermanyDeadline: Sunday 1 December 2019
There will be a section on Logic and Philosophy of Mathematics at the XXVth Congress of the German Society for Philosophy (DGPhil), "The True, the Good, and the Beautiful".
Any papers related to philosophical logic (especially non-classical logic) and philosophy of mathematics are welcome. Abstracts of no more than 1,000 words should be prepared for blind review and are to be submitted via the website. The time slots for section talks will be 35 minutes, including discussion.For more information, see https://dgphil2020.fau.de/en/.
3 - 5 September 2020, Trends in Logic XX "Logic and Reasoning: Formal and Informal", Kyiv, UkraineLocation: Kyiv, UkraineTarget audience: Researchers in logicCosts: Conference fee: 160/190 EURDeadline: Friday 31 January 2020
Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. . The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.
Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).
Abstracts of at most three pages length (including references) should be submitted electronically as pdf documents using the EasyChair submission page. At least one author of each accepted paper must register for, and attend the conference to present her or his work.
31 August - 2 September 2020, ECAI2020 workshop NETREASON, Santiago de Compostela, SpainLocation: Santiago de Compostela, SpainDeadline: Friday 28 February 2020
This workshop focuses on the issues of information spread in a social network of natural and artificial agents as studied by the emerging interdisciplinary field of multi-agent systems, reasoning and social network analysis.
The call is for scientific papers, which report novel research in the areas (but not limited to): Logic based models of social networks phenomena, Epistemic models on graphs, Strategic behaviour in opinion diffusion, Computational issues in opinion diffusion, Computational Trust, Collective information distortions and how to prevent them, Model checking and verification of social network phenomena.For more information, see https://netreason.w.uib.no/.
30 August 2020, ECAI Workshop on Computational Argumentation & Cognition (COGNITAR 2020)Location: Santiago de Compostela, SpainDeadline: Monday 23 March 2020
This workshop will aim to bring together researchers whose interests bridge between AI and other disciplines such as Cognitive Science, Language and Philosophy, to study how computational argumentation can form an underlying theoretical and practical basis for modeling cognition and building human-centric AI systems.
The main general questions that will concern the workshop are:
- Can argumentation provide the basis for computational models of human reasoning that are cognitively adequate?
- How can we form a synthesis between computational argumentation and theories of cognition that will give us models of computational cognition for the development of AI systems?
We invite extended abstracts or long papers for contributed talks. We welcome position papers as well as ongoing and preliminary work on topics that bridge Cognition and Argumentation.
Papers should be written using the ECAI2020 style. Position papers are expected to be short (2-4 pages). Long submissions
should not exceed 7 pages plus one for references.
29 August - 2 September 2020, 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, SpainDeadline: Friday 15 November 2019
The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme 'Paving the way towards Human-Centric AI', the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages.
The Program Committee of the 24th European Conference on Artificial Intelligence (ECAI 2020) invites the submission of papers for the technical programme of the Conference. High-quality original submissions are welcome from research results and applications of all areas of AI.
Calls will also be issued for workshop and tutorial proposals, as well as for contributions to PAIS 2020 (the Prestigious Applications of Intelligent Systems conference) and STAIRS 2020 (the Starting AI Researcher Symposium).For more information, see http://www.ecai2020.eu/.
29 August 2020, 8th International Workshop on Strategic Reasoning (SR 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, SpainDeadline: Friday 13 March 2020
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 at bringing together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2020 will be held with ECAI 2020 in Santiago de Compostela, Spain.
We invite three types of submissions: original contributions, published work, and challenging open problems. Each submission should be clearly identified as belonging to one of these three categories. In all three categories, submissions will be evaluated by the usual high standards of research publications.
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.
29 - 30 August 2020, 8th Workshop "What can FCA do for AI?" (FCA4AI 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, SpainDeadline: Monday 23 March 2020
Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing. While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA.
The 8th FCA4AI workshop, co-located with ECAI 2020, is (as usual) dedicated to discuss such issues, and in particular:
- How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
- By contrast, how the current developments in AI can be integrated within FCA to help AI researchers to solve complex problems in their domain.
The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be technical papers not exceeding 12 pages, or system descriptions or position papers on work in progress not exceeding 6 pages. Submissions are via EasyChair.For more information, see http://www.fca4ai.hse.ru/2020.
26 - 28 August 2020, Spatial Cognition 2020 (SC 2020), Riga, LatviaLocation: Riga, LatviaDeadline: Saturday 1 February 2020
Spatial Cognition is concerned with the acquisition, development, representation, organization, and use of knowledge about spatial objects in real, virtual or hybrid environments and processed by human or artificial agents. Spatial Cognition includes research from different fields insofar as they are concerned with cognitive agents and space. Research issues in the field range from the investigation of human spatial cognition to mobile robot navigation. SC 2020 will bring together researchers working on spatial cognition from all of these perspectives.
The conference is single-track, and the final program will be the result of a selective review process. The program will include oral and poster presentations of refereed papers, and keynote talks by Sara I. Fabrikant, Steve Franconeri and Laure Rondi-Reig.
Submissions for Oral Presentations (short papers) presenting original and unpublished work are solicited in all areas of spatial cognition. Short papers should not exceed 1,200 words (including figures, tables, and references). Some short paper submissions may be accepted for poster presentation.
Submissions for Poster Presentations (abstracts) are solicited in all areas of spatial cognition. Poster abstracts should not exceed 500 words (including figures, tables, and references).
26 - 28 August 2020, 15th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2020), Salvador, BrazilLocation: Salvador, BrazilDeadline: Monday 16 March 2020
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.
Contributions should be written in English and submitted in the form of full papers with a maximum of 13 pages excluding references. Beyond full regular papers, we encourage submissions such as system descriptions, 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. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages excluding references. For both paper categories, additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere.For more information, see http://lsfa2020.ufba.br.
24 - 28 August 2020, 11th International Conference on the Theory and Application of Diagrams (Diagrams 2020), Tallinn, EstoniaLocation: Tallinn, EstoniaDeadline: Friday 24 January 2020
Diagrams 2020 is the eleventh conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.
Diagrams solicits research contributions falling within the scope of the conference. Diagrams 2020 will include presentations of refereed Papers, Abstracts, and Posters, alongside tutorials, workshop sessions, and a graduate symposium. In addition to the main track, Diagrams 2020 will have the special tracks of philosophy of diagrams and psychology of diagrams.For more information, see http://www.diagrams-conference.org/2020/.
17 - 21 August 2020, Advances in Modal Logic 2020 (AiML 2020), Helsinki, FinlandLocation: Helsinki, FinlandTarget audience: modal logiciansDeadline: Wednesday 18 March 2020
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2020 is the 13th conference in the series.
Bahareh Afshari (University of Amsterdam and Gothenburg University)
Nick Behanishvilii (University of Amsterdam)
Melvin Fitting (City University of New York)
Nina Gierasimczuk (Danish Techical University, Copenhagen)
We invite submissions on all aspects of modal logic. Papers on related subjects will also be considered. There will be two types of submissions for AiML 2020: full papers (for publication in the proceedings and presentation at the conference) and short presentations (intended for presentation at the conference but not for the published proceedings).For more information, see https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 or contact aiml2020 at easychair.org.
10 - 14 August 2020, Computational and Experimental Explanations in Semantics and PragmaticsLocation: UtrechtDeadline: Saturday 15 February 2020
The field of natural language semantics has undergone what some refer to as an ‘experimental turn’ and is arguably currently undergoing a ‘computational turn’. By expanding the toolbox available to the semanticist, these two turns have the effect of expanding the phenomena that can be explained and the varieties of semantic explanation that can be offered.
For example, experimental methods can help distinguish between alternative explanations of semantic effects, e.g. whether to classify controversial phenomena as implicatures or presuppositions. Similarly, computational models of semantics can generate fine-grained and non-categorical predictions that can fruitfully be tested experimentally. And both kinds of methods can be used to ask questions about the emergence of semantic structures in language, including which factors influence their distribution and typology.
Given this wider toolbox and purview, we aim to gather a workshop to showcase exciting new work that develops new semantic explanations using experimental and computational methods, as well as to invite broader reflection on the methodology of semantics now and in its future.
Topics of potential interest include but are not limited to:
* Experimental semantics and pragmatics
* Graded/non-categorical semantic theories and explanations
* Information-theoretic measures and explanations in semantics and pragmatics
* Semantic universals
* Learnability and evolution of semantics and pragmatics
* Bayesian approaches to semantics and pragmatics
* Probing neural models for learned semantic representations
* Semantics in emergent communication protocols
* The methodology of semantics
We invite anonymized submission of abstracts of 2 pages (12 pt font; 1in or 2.5cm margins) — with an extra page for references of figures — on new research on topics related to those listed above by February 15.For more information, see https://www.jakubszymanik.com/CoSaQ/events/explanations-semantics/ or contact Jakub Szymanik at jakub.szymanik at gmail.com.
10 - 14 August 2020, ESSLLI-2020 Workshop "Approaches to Implicature", Utrecht, NetherlandsLocation: Utrecht, NetherlandsDeadline: Saturday 15 February 2020
Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.
We welcome 2-page abstracts for presentations on topics related to the workshop theme, with an optional 3rd page for references and large figures. Depending on submissions received, there may also be a poster session. Abstracts must be submitted in PDF format (12-point font, 1.5-cm or 1-in margins) to the Easychair site.
Example topics of interest include but are not limited to: Applications of RSA or other game-theoretic or probabilistic pragmatics models to phenomena in semantics/pragmatics, Applications of exhaustification-based approaches to phenomena in semantics/pragmatics, Approaches to pragmatic inference that explicitly compare and/or combine theoretical perspectives, Theoretical, corpus-based, and experimental pragmatics, and Implicature, presupposition, not-at-issue content, expressive meaning, social meaning.For more information, see https://sites.google.com/view/approachestoimplicature/ or contact Dan Lassiter at danlassiter at stanford.edu.
10 - 14 August 2020, Workshop on Logics of Dependence and Independence ((LoDE 2020)Location: Utrecht, The NetherlandsDeadline: Sunday 22 March 2020
This is a workshop on “Logics of Dependence and Independence” consisting of a 5-day programme of invited and contributed talks. Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence.
The workshop is organized as part of the 32nd European Summer School in Logic, Language and Information (ESSLLI 2020).
We invite submissions of 5-page extended abstracts of contributed talks. Abstracts must be submitted electronically through EasyChair. Selected papers of the workshop proceedings will be published (after a new round of reviewing) as a special issue of a scientific journal (to be confirmed).
3 - 14 August 2020, 32nd European Summer School in Logic, Language and Information (ESSLLI 2020), Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Saturday 1 June 2019
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.
The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.
Proposals for courses and workshops are invited in all areas of Logic, Linguistics and Computation. Cross-disciplinary and innovative topics are encouraged. Each course/workshop will consist of five 90-minute sessions, offered daily in a single week. Proposals for 2-week courses should be structured and submitted as two independent one-week courses. The ESSLLI program committee reserves the right to accept just one of the two proposals.
The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal.
30 July - 2 August 2020, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020), Munich, GermanyLocation: Munich, GermanyDeadline: Sunday 15 March 2020
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2020 will encourage a special focus on the topic "Norms in Social Perspective". We are happy to announce that the keynote speakers for DEON 2020 will be: Marcia Baron (Indiana University, Bloomington), Emiliano Lorini (IRIT-CNRS, Toulouse University, France), Shyam Nair (Arizona State University, Tempe), and Sonja Smets (ILLC, University of Amsterdam).
DEON 2020 will be co-located with the Summer School on Mathematical Philosophy for Female Students, to be held in Munich from 26th until 31st July 2020.
Authors are invited to submit an original, previously unpublished, short research paper pertaining to any of DEON topics. The paper should be in English, anonymized, and should be no longer than 15 pages when formatted according to the 12pt LaTeX specification that will be sent to all authors of accepted papers. The first page should contain an abstract of no more than ten lines. Authors should submit their papers electronically using EasyChair. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. The proceedings will be published with College Publications. Revised versions of selected papers from the workshop will subsequently be published in a special issue of the Journal of Logic and Computation (Oxford University Press).For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/deon-2020/.
26 - 31 July 2020, 13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, ItalyLocation: Bertinoro, ItalyDeadline: Sunday 1 March 2020
Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration.
CICM 2020 Invited Speakers: Kevin Buzzard (Imperial College, London, UK), Catherine Dubois (ENSIIE, CNRS, Evry, France) and Christian Szegedy (Google Research, Mountain View, CA, USA).
CICM 2020 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to theorem proving and computer algebra, mathematical knowledge management, and digital mathematical libraries.
CICM appreciates the varying nature of the relevant research in this area and invites submissions of different forms: formal submissions (inclusing regular papers, project and survey papers, and system entries), informal submissions (including work-in-progress, project announcements, and position statements), and the doctoral programme.For more information, see http://www.cicm-conference.org/2020.
19 - 24 July 2020, IEEE World Congress on Computational Intelligence (WCCI 2020), Glasgow, ScotlandLocation: Glasgow, ScotlandDeadline: Wednesday 15 January 2020
The IEEE World Congress on Computational Intelligence (IEEE WCCI) is the world’s largest technical event in the field of computational intelligence. WCCI 2020 features the flagship conference of the Computational Intelligence Society: The 2020 International Joint Conference on Neural Networks (IJCNN 2020), the 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), and the 2020 IEEE Congress on Evolutionary Computation (IEEE CEC 2020) under one roof. It encourages cross-fertilisation of ideas among the three big areas and provides a forum for intellectuals from all over the world to discuss and present their research findings on computational intelligence.
Papers for IEEE WCCI 2020 should be submitted electronically using the Congress websit and will be refereed by experts in the fields and ranked based on the criteria of originality, significance, quality and clarity. Papers submitted to the special sessions will undergo the same review procedure as that for regular papers.For more information, see https://wcci2020.org/.
17 - 19 July 2020, 24th Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2020 / WatchDial), Waltham MA, U.S.A.Location: Waltham MA, U.S.A.Deadline: Monday 9 March 2020
WatchDial will be the 24th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2020 the workshop will be hosted by the programs in Linguistics and in Computational Linguistics, in collaboration with the departments of Computer Science and Philosophy at Brandeis University, and will be collocated with the North American Summer School in Logic, Language, and Information.
We invite papers on all topics related to the semantics and pragmatics of dialogue, including, but not limited to: the dynamics of agents' information states in dialogue common ground/mutual belief goals, intentions and commitments in communication turn-taking and interaction control semantic/pragmatic interpretation in dialogue dialogue and discourse structure categorisation of dialogue phenomena in corpora child-adult interaction language learning through dialogue gesture, gaze, and intonational meaning in communication multimodal dialogue interpretation and reasoning in spoken dialogue systems dialogue management designing and evaluating dialogue systems
Note that SEMDIAL 2020 cannot accept work for publication or presentation that will be (or has been) published elsewhere.For more information, see https://www.brandeis.edu/nasslli2020/semdial.html.
12 - 17 July 2020, 9th North American Summer School in Logic, Language and Information (NASSLLI 2020), Waltham MA, U.S.A.Location: Waltham MA, U.S.A.Deadline: Thursday 31 October 2019
NASSLLI 2020 will consist of a series of courses and workshops, most running daily from Monday July 13 - Friday July 17. In addition, there will be intensive mini-courses the day prior to the start of courses (Sunday July 12). The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, AI, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. The 2020 NASSLLI will also have a theme - Formal and Computational Pragmatics and Models of Dialogue.
We invite proposals for courses and workshops that address topics of relevance to NASSLLI's central goal. We particularly encourage submissions which address the theme (Formal and Computational Pragmatics and Models of Dialogue), and those representing cross-disciplinary approaches, especially courses showing the applicability of computational methods to theoretical work, and the use of theoretical work in practical applications. Courses involving a hands-on component (e.g., actual experience with NLP tools, coding, or machine learning algorithms) will be very welcome.
Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) during the week of the summer school. Sunday mini-courses will run for 3 to 5 hours. Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Workshop schedules are identical to course schedules, but usually consist of a series of presentations by different researchers; they may also include panel discussions.
8 - 12 July 2020, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Saarbrücken, GermanyLocation: Saarbrücken, GermanyDeadline: Monday 6 January 2020
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be hosted in Saarbrücken, Germany, in co-location with ICALP 2020.
We invite submissions on the conference topics.
Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Every full paper must be submitted in the ACM SIGPLAN Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops.For more information, see https://lics.siglog.org/lics20/.
8 - 11 July 2020, 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), Saarbrücken, GermanyLocation: Saarbrücken, GermanyDeadline: Tuesday 18 February 2020
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020.
Authors are invited to submit an extended abstract of no more than 12 pages, excluding references and the front page(s) (authors, affiliation, keywords, abstract, ...), presenting original research on the theory of computer science. All submissions must be formatted in the LIPIcs style and submitted via Easychair to the appropriate track of the conference. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed.For more information, see http://econcs.pku.edu.cn/icalp2020/.
8 - 10 July 2020, Fourteenth Conference on Logic & the Foundations of Game & Decision Theory (LOFT 14), Groningen, The NetherlandsLocation: Groningen, The NetherlandsDeadline: Monday 9 March 2020
This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.
Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory.
The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.For more information, see http://loft2020.ai.rug.nl/.
7 - 10 July 2020, Eighth Biennial Conference of the Society for Philosophy of Science in Practice (SPSP 2020), East Lansing MI, U.S.A.Location: East Lansing MI, U.S.A.Deadline: Friday 10 January 2020
The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.
Keynote speakers: Karen Barad, University of California at Santa Cruz; Till Grüne-Yanoff, Royal Institute of Technology (KTH) Stockholm.
We welcome contributions from not only philosophers of science, but also philosophers working in epistemology and ethics, as well as the philosophy of engineering, technology, medicine, agriculture, and other practical fields. Additionally, we welcome contributions from historians and sociologists of science, pure and applied scientists, and any others with an interest in philosophical questions regarding scientific practice. SPSP welcomes both proposals for individual papers, and also strongly encourage proposals for whole, thematic sessions with coordinated papers, particularly those which include multiple disciplinary perspectives and/or input from scientific practitioners.For more information, see https://www.philosophy-science-practice.org/events/spsp2020-east-lansing or contact Alan C. Love at aclove at umn.edu.
6 - 10 July 2020, ISR 2020: International School on Rewriting, Madrid, SpainLocation: Madrid, SpainDeadline: Friday 20 September 2019
Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.
We intend to offer on the one hand a basic track on rewriting and on lambda calculus, and on the other hand an advanced track on more specialized topics, related to state-of-the-art research and novel applications. The typical day will contain 4 slots of 90 minutes.
If you are interested in giving a lecture in the advanced track, send us a mail before the deadline above with the following informations: a title, an abstract, an outline of the lecture, some bibliographical references, an expected duration (in number of slots), and whether the lecture includes exercises or experiments.
We encourage applications from both theory and applications and will pay particular attention to submissions on topics not covered in the the last schools.For more information, see http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html or contact Narciso Marti-Oliet at narciso at ucm.es.
6 July 2020, ICALP/LICS Workshop "Decidable Fragments of First-order Modal Logic", Saarbruecken, GermanyLocation: Saarbruecken, GermanyDeadline: Friday 20 March 2020
First-order modal logic is a natural specification language for describing properties of many infinite-state systems, but it is notoriously undecidable, in the sense that even simple fragments (like the two-variable fragment) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yield decidability. The workshop is intended as a review of this rapidly evolving direction of research. We seek to identify new potential techniques for constructing decision procedures.
We invite short abstracts of up to 5 pages in 12-point article style, outlining research in this area. We welcome accounts of already published research or work in progress.
5 - 9 July 2020, 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020), Alghero, ItalyLocation: Alghero, ItalyDeadline: Saturday 22 February 2020
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.
SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: Theoretical advances, Practical search algorithms, Knowledge compilation, Implementation-level details of SAT solving tools, Problem encodings and reformulations, Applications, and Case studies based on rigorous experimentation.
Submissions to SAT 2020 are solicited in three categories, describing original contributions: Long papers (9 to 15 pages, excluding references), Short papers (up to 8 pages, excluding references) and Tool papers (up to 6 pages, excluding references).
29 June - 3 July 2020, 16 Conference on Computability in Europe (CiE 2020), to be rescheduledLocation: Salerno, ItalyDeadline: Friday 17 January 2020
CiE 2020 is the 16th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Due to the current medical situation related to the coronavirus COVID-19 outbreak, the Organizing Committee of CiE2020, has decided to reschedule the conference.
The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to the conference for presentation at the conference and inclusion in the proceedings of CiE 2020 at EasyChair.
Papers must be submitted in PDF format, using the LNCS style and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.For more information, see https://www.acie.eu/cie-conference-series/cie2020.
29 June - 5 July 2020, Fifth International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Paris, FranceLocation: Paris, FranceDeadline: Thursday 6 February 2020
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.
Submissions can be made in two categories. Regular research papers are limited to 15 pages (excluding references, with the possibility to add an annex for technical details, e.g. proofs) and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (excluding references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools.
The suggested, but not exclusive, list of topics for submission is:
2. Methods in Computation and Deduction
4. Algorithmic Analysis and Transformations of Formal Systems
5. Tools and Applications
6. Semantics and Verification in new challenging areas
29 June - 5 July 2020, The 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, FranceLocation: Paris, FranceDeadline: Thursday 16 January 2020
IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). JCAR 2020 will be co-located with the conference FSCDThe IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks.
Woody Bledsoe Travel Awards will be available to support selected students attending the conference.
IJCAR 2020 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems or proof assistants are solicited.For more information, see https://ijcar2020.org.
29 June - 3 July 2020, 11th International Conference on Computational Creativity (ICCC'20), Coimbra, PortugalLocation: Coimbra, PortugalDeadline: Sunday 1 March 2020
Computational Creativity (or CC) is a discipline with its roots in Artificial Intelligence, Cognitive Science, Engineering, Design, Psychology and Philosophy that explores the potential for computers to be autonomous creators in their own right. ICCC is an annual conference that welcomes papers on different aspects of CC, on systems that exhibit varying degrees of creative autonomy, on frameworks that offer greater clarity or computational felicity for thinking about machine (and human) creativity, on methodologies for building or evaluating CC systems, on approaches to teaching CC in schools and universities or to promoting societal uptake of CC as a field and as a technology, and so on.
Original research contributions are solicited in all areas related to Computational Creativity research and practice. Papers on computational paradigms of all kinds - from symbolic to statistical to deep learning models, as well as hybrid approaches - are welcome, provided they address pertinent aspects of CC. We welcome the submission of five different types of papers: Technical papers, System or Resource description papers, Study papers, Cultural application papers and Position papers.
Additionally, we are looking for tutorial proposals to be held along with the main conference. We welcome proposals covering between one and four 120-minute sessions, and addressing any aspect of computational creativity research. Each proposal will be evaluated by independent reviewers.For more information, see http://computationalcreativity.net/iccc20/.
22 - 23 June 2020, Workshop "Intuition & rigour in geometrical thinking from antiquity to the 19th century", Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Friday 20 March 2020
From the end of the 19th century, mathematical and philosophical literature has often portrayed a contrast between visual intuition and logical rigor. However, the terms "rigour" and "intuition" have rich associations and connotations in different historical contexts, and well before the turn of the 20th century. The goal of our workshop is to study the historical evolution of these notions within the mathematical practice, and the epistemological debates that they have raised.
Confirmed keynote speakers are: Helena Durnova (Masaryk University, Brno) Michael Friedman (Humboldt University, Berlin) Eduardo Giovannini (University of Wien) Marco Panza (CNRS, Universit́e Paris 1/Chapman University) Vincenzo de Risi (CNRS, Universit́e Paris 7).
In the workshop there are a few (cca 5) slots for contributed papers (30 min. presentation). We invite abstracts in accordance to the theme of the conference, Submissions of abstracts should not exceed 250 words, and must be written in English.
17 - 21 June 2020, 4th international conference on Logic, Relativity, & Beyond (LRB 2020), Simontornya, HungaryLocation: Simontornya, HungaryDeadline: Sunday 8 December 2019
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.
The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.
We invite you to submit your abstract via EasyChair. Topics include (but are not restricted to):
- Special and general relativity
- Axiomatizing physical theories
- Foundations of spacetime
- Computability and physics
- Relativistic computation
- Relativity theory and philosophy of science
- Knowledge acquisition in science
- Temporal and spatial logic
- Branching spacetime
- Equivalence, reduction and emergence of theories
- Cylindric and relation algebras
- Definability theory
- Concept algebras and algebraic logic
17 - 19 June 2020, Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, L'Aquila, ItalyLocation: L'Aquila, ItalyDeadline: Friday 31 January 2020
We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory. There will be a Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, the 17th International Conference on Distributed Computing and Artificial Intelligence. This special session will cover both theories and applications.
We welcome submissions on formal and computational approaches to Natural Language and Argumentation, across approaches, methods, theories, implementations, and applications. All papers must be formatted according to the AISC, Springer, template, with a maximum length of 8 pages, including figures and references. All proposed papers must be submitted in electronic form (PDF format) using the DCAI 2020 conference management system.For more information, see https://www.dcai-conference.net/special-sessions/nla20 or contact Roussanka Loukanova at rloukanova at gmail.com.
15 - 19 June 2020, LOGICA 2020, Hejnice, Czech RepublicLocation: Hejnice, Czech RepublicDeadline: Saturday 15 February 2020
The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2020', the 33nd in the series of annual international symposia devoted to logic. Rhe first session begins on the morning of Tuesday, 16 June. The symposium closes at noon on Friday, 19 June.
Invited speakers: Katalin Bimbo, Rosalie Iemhoff, Alena Vencovska and Diderik Batens.
Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for philosophically and for mathematically oriented logicians. If you are interested in presenting a paper at the symposium, please submit a two-page blinded abstract by 15 February 2020.For more information, see http://logika.flu.cas.cz/en/logica/logica-2019-cfp-2 or contact Vit Puncochar & Igor Sedlar at logica at flu.cas.cz.
14 - 19 June 2020, ICAPS 2020 Workshop on Epistemic Planning (EpiP 2020), to be rescheduledLocation: Nancy, FranceDeadline: Monday 2 March 2020
Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.
Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.
Due to the Corona crisis this conference will be rescheduled for fall 2020.
Submissions should be formatted in AAAI style and be no longer than 8 pages (excluding references). Submissions will be double blind. There will be no formal proceedings. Submissions sent to other conferences are allowed. It is the responsibility of the authors to ensure that those venues allow for papers submitted to be already published in "informal" ways.For more information, see https://icaps20.icaps-conference.org/workshops/epip.
9 June 2020, 3rd International Workshop on User-Oriented Logic Paradigms (IULP 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, SpainDeadline: Sunday 8 March 2020
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, collocated with the 24th European Conference on Artificial Intelligence (ECAI2020), 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.
8 - 12 June 2020, Logical Perspectives 2020, Moscow, RussiaLocation: Moscow, RussiaDeadline: Saturday 15 February 2020
The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to:
- logical methods in mathematics;
- logical methods in philosophy;
- logical methods in computer science.
The Logical Perspectives summer school and workshop series aims at giving advanced introductions into various branches of logic, and providing researchers - including early career scientists - an opportunity to present their work. In particular, the Logical Perspectives 2020 Summer School and Workshop (LP 2020 SW) will be concerned with computational proof theory, broadly understood. It will take place in Moscow on June 15-19, 2020, following LP 2020. The programme of LP 2020 SW will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.
For LP 2020 SW, we invite to submit proposals in all areas of proof theory and its applications. The topics include, but are not limited to: structural proof theory, type theory, automated reasoning, proof assistants, proof mining, reverse mathematics, non-well-founded proofs, program extraction, formal verification, proof complexity, proof-theoretical semantics, philosophy of proof theory, logical systems in computer science. Reports on work in progress and preliminary results are also welcome. Submissions will be subject to light reviewing.
4 - 5 June 2020, Formal Philosophy 2020, Moscow, RussiaLocation: Moscow, RussiaCosts: freeDeadline: Tuesday 10 March 2020
"Formal Philosophy 2020" is the 3rd annual international conference, organized by the International Laboratory for Logic, Linguistics and Formal Philosophy in National Research University Higher School of Economics, Moscow, Russia. Formal Philosophy-2020 will be dedicated to various topics in the field of formal epistemology, formal ontology, formal ethics, philosophy of logic, an epistemology of logic and other branches of formal and mathematical philosophy.
Authors are asked to submit an abstract up to 1000 words. We accept abstracts in PDF format only (12pt, single spacing, 2cm margin). Abstracts should be prepared for blind review (all identifying information should be removed from the abstract).For more information, see https://sites.google.com/view/2020-formal-philosophy/ or contact formalphilosophy2020 at gmail.com.
(Updated) 3 - 5 June 2020, Conference on Probability and Meaning (PaM), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: Monday 17 February 2020
Probability and Meaning (PaM) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP). PaM will bring together researchers interested in computationally relevant probabilistic approaches to natural language meaning. PaM will include symbolic, machine learning and experimental approaches to this task, as well as hybrid models.
In addition to the main conference, on 5th June 2020 CLASP and the AI Competence for Sweden are organising a one day workshop on AI and Natural Language with emphasis on industrial collaboration. The aim of the workshop is to present cutting edge research in Natural Language Processing and Computational Linguistics and its relation to AI and to bring together researchers and industrial partners mainly from Sweden and the Nordic countries in these areas.
We welcome all probabilistic approaches, developed within a computational framework, to the semantics of natural language for written, spoken, or multimodal communication. Papers are invited on topics in these and closely related areas.
PaM will feature three types of submissions: long papers, student papers, and short papers. All types of papers should be submitted not later than 12th February, 2020. Long papers describe original research, and they must not exceed 8 pages excluding references. Student papers describe original research, and the first author must be a student, or at least 2/3 of the work on a paper should be done by students. Student papers must not exceed 6 pages excluding references. Reviewers will give special support to student authors through mentoring. Short papers present work in progress, or they describe systems and/or projects. They must not exceed 4 pages excluding references.For more information, see https://sites.google.com/view/pam2020/home.
1 - 5 June 2020, 17th International Conference on Quantum Physics and Logic (QPL 2020), Paris-Saclay, FranceLocation: Paris-Saclay, FranceDeadline: Friday 6 March 2020
The conference brings together researchers working on the mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, category-theoretic structures, formal languages, semantic methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
QPL 2020 will be co-located with the 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020).
Prospective speakers are invited to submit original contributions Submission of substantial albeit partial results of work in progress is encouraged. Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. There will be an award for the best student paper at the discretion of the programme committee.For more information, see https://www.monoidal.net/paris2020/qpl/.
31 May - 6 June 2020, 2nd Conference on Ultrafilters & Ultraproducts across mathematics and related topics (ULTRAMATH 2020), Pisa, ItalyLocation: Pisa, ItalyDeadline: Monday 16 March 2020
The international Conference "ULTRAMATH 2020" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.
The covered topics of UltraMath 2020 include (but are not limited to):
- Additive and Combinatorial Number Theory.
- Combinatorics and Ramsey Theory.
- Algebra and Geometry.
- General Topology.
- Measure Theory.
- Ergodic Theory and Dynamics.
- Functional Analysis and Metric Spaces.
- Nonstandard Analysis and Model Theory.
- Generalized Spaces and Differential Equations.
- Set Theory.
Participants are invited to submit abstracts. Abstracts should be written in LaTeX (also plain text files are ok) and fit in ONE PAGE when processed.There are limited funds to support young researchers and contributors from economically disadvantages areas.
28 - 29 May 2020, 16th International Workshop on the ACL2 Theorem Prover and Its Application (ACL2 2020), Austin TX, U.S.A.Location: Austin TX, U.S.A.Deadline: Sunday 15 December 2019
The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.
We invite ACL2 users, experts and beginners alike, users of other theorem provers, and persons interested in the applications of theorem proving technology to submit papers to the Workshop. We strongly encourage submissions from new members of the ACL2 community, including graduate students and researchers who are primarily involved with other theorem provers or formal methods. The ACL2 Workshop accepts both long papers (up to sixteen pages) and extended abstracts (up to two pages).For more information, see http://acl2-2020.info/.
28 - 29 May 2020, Bergen Early-Career Masterclass on Logical Epistemology, Bergen, NorwayLocation: Bergen, NorwayDeadline: Sunday 22 March 2020
The philosophy department at the University of Bergen is pleased to invite applications for participation in an early-career masterclass on logical epistemology, with tutorials from both Gila Sher and Michael Devitt. Participants will also have the opportunity to present their own work in the philosophy of logic with a 30-minute presentation, and receive feedback from experts in the field.
The masterclass immediately follows the Bergen Workshop on Logical Evidence, from the 26th-27th May. Participants of the masterclass are welcome to attend the workshop for no fee.
Applicants should be doctoral candidates, or those within three years of obtaining their PhD. Applications should take the form of an anonymised 1,000-word abstract, plus a separate PDF containing personal details, including paper title, career stage, affiliation and email address, to be sent to benjamin.martin at uib.no<mailto:benjamin.martin at uib.no> by the 22nd March. All submissions will be blind refereed.
22 - 27 May 2020, 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23), Alicante, SpainLocation: Alicante, SpainDeadline: Saturday 15 February 2020
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices.
The following paper categories are welcome:
- Regular papers describing solid new research results.
- Experimental and tool papers describing implementations of systems, report experiments with implemented systems, or compare implemented systems.
All papers must be original and not simultaneously submitted to another journal or conference. Deadline: 15 February 2020.
Additionally workshop and tutorial proposals for LPAR-23 are solicited. These events will take place on May 22 2020, before the main conference. The deadline for submitting workshop/tutorial proposals: March 1, 2020.For more information, see https://easychair.org/smart-program/LPAR23/.
18 May 2020, Symposium on Integrating Generic and Contextual Knowledge (GeCKo symposium)Location: BarcelonaCosts: FreeDeadline: Friday 7 February 2020
Integrating generic and contextual knowledge remains a challenging task in Computational Linguistics and interfacing fields. While current data-driven models excel in capturing broad regularities, they can fail to apply this information to specific situations. The GeCKo symposium seeks to 1) understand the issues involved in the integration of generic and situation-specific information in Computational Linguistics, across applications and research areas; 2) identify ways forward; and 3) cross-fertilize Computational Linguistics with Machine Learning, Linguistics, and Cognitive Science researchers working at this junction.
The GeCKo symposium will feature talks by invited speakers, contributed talks, as well as a poster session preceded by lightning talks.
For the GeCKo symposium we seek contributions dealing with this issue, at the crossroads of Computational Linguistics, Machine Learning, Linguistics, and Cognitive Science; including areas such as Language and Vision, and Machine Translation. We seek contributions of published work as well as unpublished research, of the following, non-exclusive types: Analysis, Modelling, Cross-fertilizing, or Position papers.
12 May 2020, 16th Joint ACL - ISO Workshop on Interoperable Semantic Annotation (ISA-16), Marseille, FranceLocation: Marseille, FranceDeadline: Tuesday 25 February 2020
ISA-16 is the sixteenth edition of a series of joint workshops of the ACL Special Interest Group in Semantics (SIGSEM) and the International Organisation for Standardisation ISO. ISA-workshops bring together experts in the annotation of semantic information as expressed in text, speech, gestures, graphics, video, images, and in communicative behaviour where multiple modalities are combined. Examples of semantic annotation include the markup of events, time, space, dialogue acts, discourse relations, semantic roles, coreference, quantification phenomena, and other aspects of meaning for which the ISO organisation pursues the establishment and application of standardised annotation methods and representation schemes, in order to support the creation of interoperable semantic and pragmatic resources.
Besides a main track, ISA-16 will feature two specialised tracks, focused on (a) the annotation of quantification (and quantified modification) in natural language and (b) the design and representation of data structures for generating visualisations of linguistically represented objects, properties, and events. Both specialised tracks will consist of a pre-conference on-line portion and an on-site portion during the ISA-16 workshop.
Three types of submission are invited:
- Research papers, describing original research in the area of semantic annotation; these can be either long (6-8 pages) or short (3-5 pages);
- Project notes, describing recent, ongoing or planned projects involving semantic annotation;
- Commented annotations/representations for the special tracks.
Submission of papers is in PDF form through the ISA-16 submission site. All submitted papers should be formatted using the LREC 2020 stylesheet. Authors will have the possibility, when submitting a paper, to upload Language Resources in a special LREC repository and have them assigned an International Standard Language Resource Number (ISLRN).
11 - 15 May 2020, Twelfth NASA Formal Methods Symposium (NFM 2020), Moffett Field CA, U.S.A.Location: Moffett Field CA, U.S.A.Deadline: Tuesday 24 December 2019
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.
New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.For more information, see https://ti.arc.nasa.gov/events/nfm-2020/.
9 - 13 May 2020, 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020), Auckland, New ZealandLocation: Auckland, New ZealandDeadline: Monday 10 February 2020
LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.
LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
- Logical systems for modeling, specification, analysis and synthesis of MAS
- Deductive systems and decision procedures for logics for MAS
- Algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS
Authors are invited to submit extended abstracts of 2 pages plus 1 page for references in the AAMAS format, reporting their work in one of two categories: either original and unpublished, or published (or accepted for publication) in the last 12 months. Submissions are subject to a single-blind review process (submissions should not be anonymous).
All the accepted papers will appear in the informal workshop proceedings produced together with the AAMAS proceedings. Also, provided we receive enough quality submissions, we will invite the authors of selected papers to submit extended versions to a special issue of the journal Annals of Mathematics and Artificial Intelligence (AMAI).For more information, see http://lamas20.ipipan.waw.pl/.
27 - 29 April 2020, PhDs in Logic XII, to be rescheduledLocation: Berlin, GermanyTarget audience: PhD students, master students, first-year postdocsCosts: No registration feesDeadline: Monday 20 January 2020
“PhDs in Logic” is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.
The 12th edition of “PhDs in Logic” will take place at the Freie Universität Berlin, Germany, from April 27 to 29, 2020.
We welcome students to participate in PhDs in Logic XII regardless of whether they want to submit a contribution. Students interested in participating, even without giving a talk, are kindly asked to register.
Due to efforts to restrain the spreading of the Corona Virus, all public events at all Berlin Universities have been cancelled until the 20th of July 2020. When the situation has sufficiently cleared an alternative date will be selected.
PhD students, master students and first-year postdocs in logic from disciplines, that include but are not limited to philosophy, mathematics and computer science are invited to submit an extended abstract on their research.
Submitted abstracts should be no longer than 2 pages, including the relevant references. Each abstract will be anonymously reviewed by the scientific committee. Accepted abstracts will be presented by their authors in a short presentation during the conference.
The deadline for abstract submission is 10th January 2020, and the notification of acceptance will be sent by 28th February 2020. Please submit your blinded abstract in the Easychair format via EasyChair.
26 April 2020, 7th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2020), Dublin, IrelandLocation: Dublin, IrelandDeadline: Wednesday 26 February 2020
This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.
We solicit regular papers describing theory and implementation of Horn-clause-based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop.
Topics of interest include but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: Analysis and verification of programs and systems of various kinds, Program synthesis, Program testing, Program transformation, Constraint solving, Type systems, Case studies and tools, and Challenging problems.For more information, see https://www.sci.unich.it/hcvs20/.
25 - 26 April 2020, 15th International Workshop on Coalgebraic Methods in CS (CMCS 2020), Dublin, IrelandLocation: Dublin, IrelandDeadline: Monday 6 January 2020
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system.For more information, see https://www.coalg.org/cmcs20/.
25 April 2020, 5th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2020), Dublin, IrelandLocation: Dublin, IrelandDeadline: Saturday 25 January 2020
Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. They are often due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years.
The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.
Submissions should be prepared in EPTCS style with a length of up to 15 pages. All contributions must be submitted via the EasyChair submission web site for CREST 2020. All contributed papers will be reviewed by at least 3 PC members. Revised versions of selected papers will be published as formal post-workshop proceedings in the Electronic Proceedings in Theoretical Computer Science. At least one of the authors of an accepted paper needs to register for the workshop and present the paper in order for it to be included in the post-workshop proceedings.For more information, see https://sites.google.com/view/crest2020.
25 April 2020, Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020), Dublin, IrelandLocation: Dublin, IrelandDeadline: Wednesday 26 February 2020
Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, with the purpose of performing automatic inference in these theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities.
Since the aim of the workshop is to foster exchange and discussions on trends, extensions, applications and semantics of logic programming, we invite presentations of possibly already published as well as ongoing work. Submissions should be abstracts of at most two pages in EPTCS style and will be only be published in the informal pre-proceedings and on the website of the workshop. Post-proceedings volume may be solicited by the PC, based on the quality of contributions.For more information, see https://www.coalg.org/tease-lp/.
16 - 17 April 2020, Workshop "Alternative Approaches to Scientific Realism", cancelledLocation: Munich, GermanyDeadline: Sunday 15 December 2019
This conference has been cancelled due to the Corona crisis.
There has been a recent move in philosophy of science towards views that in some sense reject the strict dichotomy between realism and anti-realism, or otherwise situate themselves between these two extremes. These include varieties of structuralism, perspectivalism, and pluralism/relativism, and have been applied across various scientific domains, including physics, mathematics, biology, cognitive science, and computer science. This conference will bring together representatives of each of these viewpoints, in order to compare the respective progress made by each approach, and to develop a shared foundation for the future development of alternatives to traditional scientific realism and anti-realism.
Confirmed Keynote Speakers: James Ladyman (Bristol), Michela Massimi, (Edinburgh) and Martin Kusch (Vienna).
Up to three additional speaking slots are reserved for early career researchers, to be filled on a competitive basis. We welcome submission of 500 word abstracts on any topic related to the themes of the conference. Abstracts should be suitably blinded, and submitted to Easychair.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/alt_approach_scie_realism/ or contact Joe Dewhurst at J.Dewhurst at lmu.de.
15 - 17 April 2020, EvoStar 2020: Bio-inspired computation, OnlineLocation: OnlineDeadline: Friday 15 November 2019
EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange.
The four conferences include:
- EuroGP 23rd European Conference on Genetic Programming
- EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation
- EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation
- EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and Design
Paper submission deadline: November 1, 2019.All accepted papers will be printed in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. Additionally, this year there is a call for "Special Sessions" in EvoAPPs, deadline: September 10th, 2019.For more information, see http://www.evostar.org/2020/.
7 - 9 April 2020, 5th Asian Workshop on Philosophical Logic (AWPL 2020), to be rescheduledLocation: Hangzhou, ChinaDeadline: Saturday 28 December 2019
Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences.
The AWPL 2020 workshop is an event in the Zhejiang Logic for AI Summit. All AWPL participants are invited to attend other events as well.
Due to the current situation of the novel coronavirus pneumonia, it is believed that ZJULogAI cannot take place as scheduled. The conference and all its sub-events, including AWPL 2020, will be rescheduled (most likely to Q3 or Q4 2020).
All submissions should present original works not previously published. Submissions should be typeset in English, using the LNCS template. be prepared as a PDF file with at most 12 pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the 'Logic in Asia' series.For more information, see https://www.xixilogic.org/events/awpl2020/.
6 - 9 April 2020, 3rd International Conference on Logic and Argumentation (CLAR 2020), to be rescheduledLocation: Hangzhou, ChinaDeadline: Sunday 15 December 2019
Note: Due to the current situation of the novel coronavirus pneumonia, it is believed that ZJULogAI cannot take place as scheduled. The conference and all its sub-events, including CLAR 2020, will be rescheduled (most likely to Q3 or Q4 2020).
CLAR 2020 will be held in Hangzhou, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on 'methods and tools for explainable AI', a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well.
CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China.
CLAR 2020 invites interdisciplinary contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. We invite two types of submissions: full papers (between 8 and 20 pages) describing original and unpublished work and extended abstracts (max 5 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation.
Proceedings with accepted submissions will be available during the conference, and extended versions will be published after the conference in special issues of the Journal of Logic and Computation and the Journal of Applied Logics.
6 - 9 April 2020, 6th Global Conference on Artificial Intelligence (GCAI 2020), to be rescheduledLocation: Hangzhou, ChinaDeadline: Saturday 23 November 2019
Due to the current situation of the novel coronavirus pneumonia, it is believed that ZJULogAI cannot take place as scheduled. The conference and all its sub-events, including GCAI 2020, will be rescheduled (most likely to Q3 or Q4 2020).
The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable.
Submissions in all areas of artificial intelligence are welcome. GCAI 2020 accepts submissions of two types, full paper submissions (which must be original and cannot be submitted simultaneously elsewhere) and extended abstract submissions (which report on ongoing or preliminary work, or on work that is central to symbolic reasoning and/or machine/deep learning applied to both software and robotic systems, but that has already been submitted or recently published elsewhere as a full paper). Both types of submissions must be prepared in LaTeX or Microsoft Word using the EasyChair templates, and uploaded in PDF format.For more information, see http://www.gcai-2020.info/.
6 - 8 April 2020, 36th British Colloquium for Theoretical Computer Science (BCTCS & AlgoUK 2020), Swansea, WalesLocation: Swansea, WalesDeadline: Sunday 1 March 2020
The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers.
The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, game theory, types, languages and logics.
BCTCS 2020 is being held together with the Fourth AlgoUK workshop which includes a session on Verification of Railway Control Systems. There will also be a special evening public forum on Formal Methods in Software Engineering.
Participants wishing to give a 30 minute contributed talk on any topic within the scope of the colloquium are invited to submit a title and abstract via the BCTCS'2020 webpage. Presentations from research students and early career researchers are particularly encouraged. The titles and abstracts of all invited and contributed talks will appear in the Bulletin of the EATCS.For more information, see http://www.cs.swan.ac.uk/bctcs2020.
30 March - 2 April 2020, 23rd International Conference on Database Theory (ICDT 2020), OnlineLocation: OnlineDeadline: Wednesday 27 March 2019
ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.
As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.
Due to the current situation regarding the Coronavirus, the physical meeting for EDBT/ICDT 2020 in Copenhagen has to be canceled. However, EDBT/ICDT 2020 as a conference is NOT canceled, but will be held as an online event.
Every topic related to the principles of data management is relevant to ICDT. Particularly welcome are contributions that connect data management to theoretical computer science, and those that connect database theory and database practice. Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. The results must be unpublished and not submitted for publication elsewhere.For more information, see https://diku-dk.github.io/edbticdt2020/.
30 March - 1 April 2020, Workshop "The wisdom and madness of crowds: argumentation, information exchange and social interaction"Location: OnlineDeadline: Sunday 26 January 2020
Argumentation and exchange of information help groups to coordinate, deliberate and decide. On the other hand, debates often generate detrimental large-scale phenomena such as polarization, informational cascades and echo-chambers, where the behavior of entire groups shifts in seemingly irrational ways.
Understanding the deep mechanisms of informational and social influence that underlie these phenomena in the age of social media is a challenge that engages methods from different disciplines, including philosophy, artificial intelligence, computer and social sciences and psychology.
This workshop brings together scholars with different theoretical approaches. Its broader aim is to foster an interdisciplinary understanding of the mechanisms that determine the behavior of individuals in a social context from multiple perspectives. The workshop will last two and a half days. The first half-day of it will be dedicated to an introductory seminar on abstract argumentation, held by Professor Pietro Baroni (Brescia).
Due to the spreading of COVID-19, this workshop will be held online as a video-conference-only.
Submissions are invited on the general field of argumentation theory, logic and formal epistemology, including, but not
* Abstract and structured argumentation
* Dynamic epistemic logics for correlated information change
* Logical aspects of argumentation
* Informal logic
* Bayesian epistemology
* Computational approaches to argumentation, social choice and deliberation in multi-agent networks
All papers must be original and not simultaneously submitted to another journal or conference.For more information, see https://sites.google.com/view/workshop-arginfoexchange/home or contact Carlo Proietti at c.proietti at uva.nl.
20 - 21 March 2020, Workshop "Proofs, Computation, & Meaning", cancelledLocation: Tuebingen, GermanyDeadline: Wednesday 15 January 2020
Due to the Coronavirus outbreak, the workhop is cancelled!
Around thirty years after the fall of Hilbert's program, the proofs-as-programs paradigm established the view that proofs should consist in computational or epistemic objects conveying evidence to mathematical propositions. The relationship between formal derivations and proofs should then be analogous to the one between words and their meanings. This view naturally gives rise to questions such as 'which conditions should a formal arrangement of symbols satisfy to represent a proof?' or 'when do two formal derivations represent the same proof?'. These questions underlie past and current research in proof theory both in the theoretical computer science community (e.g. categorical logic, domain theory, linear logic) and in the philosophy community (e.g. proof-theoretic semantics).
In spite of these common motivations and historical roots, it seems that today proof theorists in philosophy and in computer science are losing sight of each other. This workshop aims at contributing to a renaissance of the interaction between researchers with different backgrounds by establishing a constructive environment for exchanging views, problems and results.
In addition to regular invited talks, the workshop includes two tutorials, aimed at introducing recent ideas on the correspondence between proofs, programs and categories as well as to the historical and philosophical aspects of the notions of infinity and predicativity.
We invite submissions for contributed talks on topics related to the themes of the meeting. These include, but are not restricted to:
- Identity of proofs
- Graphical/diagrammatic representations of proofs
- Typed vs untyped proof theory
- Paradoxes and circular reasoning
- Constructivism and (im)predicativity
- Duality proofs/refutations
- Computational interpretations of classical and non-classical logics
- Non-deterministic/probabilistic aspects of computation
- Inductive/co-inductive constructions in proof theory and type theory
- (Higher-)categorical proof theory
- Substructural aspects of logic
- Philosophical and historical reflections on any of the above
6 March 2020, 10th Workshop on Intersection Types and Related Systems (ITRS 2020), Torino, ItalyLocation: Torino, ItalyDeadline: Monday 20 January 2020
Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus.
Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions.
The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. ITRS workshops have been held every two years.
Authors are invited to submit an abstract (2 pages bibliography excluded) in PDF format, through EasyChair. Publishing of a full paper is planned in post-proceedings to appear in EPTCS (pending approval), therefore we recommend using the EPTCS macro package to prepare submissions. Informal proceedings will be made available at the workshop.For more information, see https://types2020.di.unito.it/itrs.html.
2 - 6 March 2020, 14th International Conference on Language and Automata Theory and Applications (LATA 2020), Milan, ItalyLocation: Milan, ItalyDeadline: Friday 18 October 2019
LATA is a conference series on theoretical computer science and its applications. LATA 2020 will consist of invited talks and peer-reviewed contributions, and reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference.
2 - 5 March 2020, 26th International Conference on Types for Proofs and Programs (TYPES 2020), Torino, ItalyLocation: Torino, ItalyDeadline: Monday 20 January 2020
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Part of the program is organised under the auspices of EUTypes.
Invited speakers: Ulrik Buchholtz, Pierre Marie-Pédrot, Leonardo de Moura and Sara Negri.
We solicit contributed talks. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop.
28 February - 2 March 2020, 21st Szklarska Poręba Workshop on the Roots of Pragmasemantics, Szklarska Poręba, PolandLocation: Szklarska Poręba, PolandTarget audience: logicians, semanticists, philosophers, computational linguistsDeadline: Sunday 15 December 2019
The 21st Workshop on the Roots of Pragmasemantics will be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on February 28 - March 2, 2020. On top of our general theme, this year's special theme is Reference.
This year's invited speakers are:
Maria Aloni (University of Amsterdam)
Ethan Nowak (King's College London)
Peter Sutton (Heinrich Heine University Düsseldorf)
Sarah Zobel (University of Oslo)
We especially invite papers on this year's special theme "Reference". We also welcome contributions relevant to any of the more classical subjects of this workshop series. Experimental as well as theoretical approaches are welcome. We in particular encourage the presentation of innovative ideas, even if still in need of later refinement and submissions by students who have no previous experience presenting at international workshops. We invite submission of blind abstracts in PDF format, to be sent by *December 15, 2019.*For more information, see https://sites.google.com/view/21st-szklarska-porba-workshop/ or contact Katherine Fraser at szklarskaworkshop at gmail.com.
22 - 24 February 2020, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2020), Valletta, MaltaLocation: Valletta, MaltaTarget audience: researchersDeadline: Thursday 19 December 2019
Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.
This ICAART 2020 Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.
We invite contributions relevant to the session topics.
All accepted papers will be published in a special section of the conference proceedings book, and be made available at the SCITEPRESS Digital Library. We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI 2020.
CfP special issue of Philosophia Scientiae on Giuseppe Peano and his School: logic, epistemology and didacticsDeadline: Sunday 1 March 2020
Peano's axioms for arithmetic, published in 1889, are ubiquitously cited in the writings on modern axiomatics. And his Formulary is often quoted as the precursor of Russell's Principia Mathematica, but a comprehensive historical and philosophical evaluation of the contributions of the Peano School to mathematics, logic, and the foundation of mathematics is still to be achieved.
Several reasons explain the loss of philosophical interest for the member of the school: the non-academic nature of the group, the multiform topics of interest (going from mathematical analysis to geometry, from linguistics to universal languages, from philosophical pragmatism to logicism), the scarce attention given to the transformation of mathematics and to the development of set theory after 1910, and the non monolithic philosophical perspective developed in the school. Yet the views held by Peano and other members of the school not only had a strong impact on the writings by Frege, Russell, Carnap and Gödel, but can also be fruitfully explored in order to understand the development of certain philosophical isms, such as logicism and structuralism.
The thematic issue will publish two kinds of contributions: historical analyses of the logical, mathematical, foundational and didactical writings by Peano and the members of the school; philosophical investigations on the relation between Peano's axiomatics and the approaches by Dedekind, Frege, Hilbert, Russell, Carnap, and Gödel. Manuscripts should be submitted in French, English, or German, and prepared for anonymous peer review.For more information, see https://journals.openedition.org/philosophiascientiae/1998?lang=en or contact Paola Cantù at paola.cantu at univ-amu.fr, or Erika Luciano at erika.luciano at unito.it.
17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, GermanyLocation: Dortmund, GermanyDeadline: Saturday 21 September 2019
The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research.
FoIKS 2020 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information
theory, complexity theory, algorithmics and computation, statistics and optimization.
The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion.
3 - 4 February 2020, 5th Workshop on Generalised Baire Spaces, Bristol, EnglandLocation: Bristol, England
We are happy to announce the Fifth Workshop on Generalised Baire Spaces! This will take place on the 3rd and 4th of February 2020 at the University of Bristol. The focus of this year's workshop is on connections with model theory and infinite combinatorics.
The main speakers are David Aspero (Norwich), Vincenzo Dimonte (Udine), Lorenzo Galeotti (Amsterdam), Philipp Lücke (Bonn), Miguel Moreno (Vienna), Luca Motto Ros (Torino), Isabel Müller (London), Sarka Stejskalova (Prague), and Dorottya Sziraki (Budapest).
There will be a few contributed talks of 20 minutes. If you intend to give one, please send an email soon to secure a slot.For more information, see https://philippschlicht.github.io/meetings/generalizedbairespaces2020/ or contact Philipp Schlicht at philipp.schlicht at bristol.ac.uk.
20 - 21 January 2020, Conference on Digital Curation Technologies (Qurator 2020), Berlin, GermanyLocation: Berlin, GermanyDeadline: Monday 14 October 2019
Digital curation is a complex time and knowledge intensive process, in which knowledge workers create new content artifacts and knowledge insights from heterogeneous sources (content, data, knowledge). The work required for this includes, e.g., selecting, summarizing, scheduling, translating, localising, structuring, condensing, enriching, visualizing and explaining the various contents, from sources such as online newspapers, news portals, social media, linked data, business information systems, IoT data streams etc. AI, in particular from the field of language and semantic knowledge technologies, are used to support these tasks and thereby accelerate and qualitatively improve them.
The conference provides a forum on the use of digital curation technologies in application domains for, e.g., media, journalism, logistics, cultural heritage, health care and life sciences, energy, industry. Of particular relevance are papers that demonstrate the applied use of digital curation technologies and tools in domain-specific use cases and that bridge traditional boundaries between disciplines such as Artificial Intelligence and Semantic Web, data analytics and machine learning, information/content and knowledge management systems, information retrieval, knowledge discovery, and computational linguistics.
The following types of submissions are invited:
- Regular papers (10-15 pages), including Research papers (original research on a topic of interest) and In-use papers (new applications and tool descriptions addressing a topic of interest).
- Short papers: (5-9 pages), including Use Case and Position papers (use case descriptions and application notes, discovery notes, using digital curation applications and tools), Poster and Software demo papers (presenting software and tools in action), and Industry application papers (reporting on industrial applications addressing a topic of interest)
- Student papers: (5-15 pages) e.g. describing results from bachelor/master theses or student projects; the best student paper will receive an award.
Topics of interest include, but are not limited to:
- Management of Digitally Curated and Semantically Expressive Information and Knowledge
- AI-based / Semantic Large Scale and Complex Information and Content Analysis
- Applications, Evaluations, and Experiences of applying digital curation technologies, standards, and tools.For more information, see https://qurator.ai/konferenz-qurator-2020/.
18 - 21 January 2020, Fifth International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2020), Zuerich, SwitzerlandLocation: Zuerich, SwitzerlandDeadline: Saturday 1 June 2019
Keynote speakers: Gisele Secco (Univ. Federal de Santa Maria, Brasil), Jemma Lorenat (Pitzer College, USA), Øystein Linnebo (Univ. of Oslo, Norway), Jeremy Avigad (Carnegie Mellon University, USA), Vincenzo De Risi (Laboratoire SPHère, CNRS-Univ. Paris 7, France).
We invite submissions on any areas connected to the philosophy of mathematical practice. A title and abstract (250-500 words) should be submitted before 1 June 2019 via the conference website. Notification will be sent out by August 1. Post-doctoral fellows and doctoral students are strongly encouraged to send proposals.For more information, see http://www.hpm.ethz.ch/apmp2020.html.
13 - 14 January 2020, Tribute to Kurt Gödel 2020 (conference), Brno, Czech RepublicLocation: Brno, Czech RepublicTarget audience: logicians, mathematicians, philosophersCosts: 100 EURDeadline: Friday 1 November 2019
Kurt Gödel's unparalleled results in logic grant him a prominent place among logicians. Apart from extraordinary results in the theory of formal systems, he influenced research in set theory, non-classical logics, physical model of the universe, and in philosophy. The event is organised to commemorate the anniversaries (14 January) of the death of Kurt Gödel (Brno 1906 - Princeton 1978) as well as the birth of Alfred Tarski (Warsaw 1901 - Berkeley 1983); January 14 may thus be viewed as World Logic Day.
For the conference, we welcome contributions to these topics especially from logicians, mathematicians, and historians and philosophers of logic. Contributions related to Tarski's work are also welcome.
We cordially invite researchers working in a field relevant to the main topics of the conference to submit a short abstract of approximately 200 words and an extended abstract of at most a 1000 words (references included) through EasyChair at
Accepted papers will be presented in 30 minute slots including discussion. Abstracts must be written in English; uploaded extended abstract must be in pdf format.
13 - 16 January 2020, CSL 2020: Computer Science Logic, Barcelona, SpainLocation: Barcelona, SpainDeadline: Thursday 4 July 2019
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
6 - 8 January 2020, 16th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2020), Fort Lauderdale FL, U.S.A.Location: Fort Lauderdale FL, U.S.A.Deadline: Friday 4 October 2019
The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the sixteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.
We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Work that will have been published as of January 2020 should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review elsewhere at the time of submission and can be submitted elsewhere after ISAIM.
4 - 7 January 2020, Symposium on Logical Foundations of Computer Science (LFCS 2020), Deerfield Beach FL, U.S.A.Location: Deerfield Beach FL, U.S.A.Deadline: Tuesday 10 September 2019
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.
Proceedings will be published in the Springer LNCS series. Submissions should be made electronically via easychair. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings.
LFCS issues the best student paper award named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.For more information, see https://lfcs.ws.gc.cuny.edu/.
23 - 26 March 2020, Master Class in Proof Theory (MCPT), cancelledLocation: Munich, Germany
Cancelled due to the Corona crisis.
This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) on 'Proof Theory: From Arithmetic to Set Theory' and Peter Schuster (Verona) on 'The finite content of transfinite methods'. These will be enriched through advanced evening lectures by other senior researchers, incl. Norbert Gratzl (MCMP, LMU Munich) and Helmut Schwichtenberg (LMU Munich). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich's picturesque Nymphenburg Palace and Gardens.
Graduate students in mathematics can apply for participation scholarships of E150 funded by the German Mathematical Association (DMV).
23 March 2020, 11th South & East of England Model Theory Workshop (SEEMOD Workshop 11), cancelledLocation: Norwich, England
This meeting has been cancelled due the coronavirus outbreak.
The 11th SEEMOD (South and East of England Model Theory) workshop will take place at the University of East Anglia on 23rd March. The speakers are: Alexis Chevalier (Oxford) , Mark Kamsma (UEA), Charlotte Kestner (Imperial College London), Vincenzo Mantova (Leeds), and Nicholas Ramsey (UCLA).
11 - 13 March 2020, Conference "Disagreements: from Theory to Practice", Tartu, EstoniaLocation: Tartu, Estonia
The theoretical aspects of disagreements in fields such as ontology, logic, epistemology, and ethics have already received extensive treatment in the philosophical literature. There is a plethora of views debated at an increased level of sophistication at a very high level of abstraction (e.g. conciliationist vs steadfast views in the epistemology of disagreement). What is much less discussed are the practical consequences of these theoretical models of disagreement. The conference 'Disagreements: from Theory to Practice' aims to bridge the gap between theory and practice and inquire into the implications of theoretical positions for real life disagreements. Our confirmed speakers include Margit Sutrop, Daniel Cohnitz and Folke Tersman.For more information, see here or at https://www.flfi.ut.ee/en/disagreements-theory-practice or contact disagreements2020 at ut.ee.
22 February 2020, Robin Gandy Centenary ColloquiumLocation: Wolfson College, Oxford (UK)
There will be a one-day Colloquium at Wolfson College Oxford. This event celebrates the centenary of Robin Gandy, a leading figure in Mathematical Logic, student and close friend of Alan Turing, Oxford University Reader in Mathematical Logic and a Fellow of Wolfson College. It will be a full day meeting with an outstanding set of speakers, including four of Gandy's former students, and ranging across topics in mathematical logic, philosophy of mathematics, and computer science, as well as personal reflections and historical perspectives.
Speakers: Marianna Antonutti Marfori (Munich), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paris), Philip Welch (Bristol)For more information, see https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0 or contact Karen Barnes at karen.barnes at cs.ox.ac.uk.
21 - 22 February 2020, Celebrating & Commemorating: Engeler's 90th birthday and Specker's centenary, Zürich, SwitzerlandLocation: Zürich, Switzerland
On February 21 and 22, 2020, we will organize at the ETH Zurich, Switzerland, the meeting "Celebrating and commemorating". In February 2020 will be Ernst Specker's centenary and Erwin Engeler's 90th birthday. The Annual Meeting 2020 of the Swiss Society for Logic and Philosophy of Science will celebrate these two great and big birthdays. Succeeding Paul Bernays, these two prominent scientists from Zurich had a sustainable impact on mathematical logic and its relation to philosophy and informatics in the second half of the 20th century.
The goal of the conference is to recall the work of those two great Swiss logicians and to point to its continuing significance and effectiveness. As this work is at the interface between mathematics, logic, philosophy, informatics and physics, the conference will be of special interest for researchers and students in those different scientific disciplines.For more information, see https://math.ethz.ch/news-and-events/events/conferences-and-workshops/2020/celebrating-engeler-specker.html or contact Prof. Dr. Giovanni Sommaruga at giovanni.sommaruga at phil.gess.ethz.ch.
7 - 8 February 2020, Workshop in Set Theory & Philosophy of Mathematics, Paris, FranceLocation: Paris, France
This workshops intends to gather people working in the intersection between set theory and philosophy of mathematics and to present and discuss their work.
Invited speakers: Carolin Antos-Kuby, Andy Arana, Neil Barton, Mirna Dzamonja, Brice Halimi, Leon Horsten, Juliette Kennedy, Jean-Michel Salanskis, Jouko Väänänen, Matteo Viale.
1 - 4 February 2020, Workshop "Mathematical Language & Practical Type Theory", Bonn, GermanyLocation: Bonn, Germany
Formal Mathematics aims at the complete formalization and formal checking of mathematical statements and proofs. In recent years practically efficient computer assisted systems have been developed and used to formally verify outstanding mathematical results. However, formalizations in the currently dominating systems are written in languages that resemble computer code and are neither accessible nor attractive to the wider mathematical community. The workshop will be looking into ways to overcome this barrier by using (controlled) natural language input for proof systems.
The workshop will bring together invited experts from linguistics, formal mathematics, type theory and the LEAN prover system. After some invited talks on Saturday we envisage intense interactions of various groups with ample time for discussion and exploratory experiments. Participants will be asked to give brief contributed presentations of their research relevant to the conference topic.
The Workshop is able to offer five scholarships for PhD students and new PhDs with previous experience in formal mathematics. The workshop will cover local costs and give travel support. Apply before November 30, 2019.For more information, see https://www.hcm.uni-bonn.de/events/eventpages/2020/mathematical-language-practical-type-theory-2020/.
30 - 31 January 2020, Social Choice, Game Theory, and Applications: Conference in Honour of Hans Peters, Maastricht, The NetherlandsLocation: Maastricht, The NetherlandsCosts: free
A conference to celebrate Hans Peters' contributions to social choice and game theory, on the occasion of his retirement.For more information, see https://sites.google.com/view/hanspetersconference.
24 January 2020, 5th meeting of the conference Danube–Rhine Model Theory and Applications (DRMTA 5), Konstanz, GermanyLocation: Konstanz, Germany
Taking place once to twice per year at changing places, the DRMTA gives a joint institution for the researchers in model theory and its applications from the upper German language area. Talks are delivered by international guests and young scientists. The participation is open to anyone and free of charge.
Speakers: Arthur Forey (ETH Zürich), Lothar Sebastian Krapp (Universität Konstanz), Simon Müller (Universität Konstanz), Daniel Palacín(Albert-Ludwigs-Universität Freiburg) and Harry Schmidt (Universität Basel).For more information, see http://www.math.uni-konstanz.de/~krapp/DRMTA5/.
18 - 19 January 2020, Thirteenth Annual Cambridge Graduate Conference on the Philoosphy of Mathematics and Logic, Cambridge, EnglandLocation: Cambridge, England
There will be two keynote speakers and six talks from graduate students on a variety of topics in the Philosophy of Mathematics and Logic, broadly construed. The graduate papers will have respondents, and the talks will be followed by open discussion. Our keynote speakers for this year are Lavinia Picollo (UCL) and Agustín Rayo (MIT).For more information, see http://www.phil.cam.ac.uk/events/camb-grad-conf-2020 or contact cam.phil.grad.conf at googlemail.com.
8 - 10 January 2020, British Postgraduate Model Theory Conference 2020, Leeds, EnglandLocation: Leeds, England
This meeting aims to bring together young researchers interested in model theory. It will feature a mini-course, invited talks by established academics, and contributed talks by postgraduate researchers. Accommodation will be provided for a limited number of participants. Supported by LMS, University of Leeds, and the British Logic Colloquium.
8 - 9 January 2020, Workshop "Universals' Locales: The International and Global History and Sociology of Modern Theoretical and Mathematical Sciences", Edinburgh, ScotlandLocation: Edinburgh, Scotland
We are seeking early career scholars (by your own definition) interested in the history or sociology of the modern theoretical and mathematical sciences for an interdisciplinary 2-day workshop exploring the methods and implications of studying the local and global scales of seemingly universal knowledge. Conversations will be guided by a fantastic group of senior scholars: Martina Merz (Alpen-Adria-Universität), Tatiana Roque (Universidade Federal do Rio de Janeiro), David Aubin (Sorbonne Universit́é), and Ursula Martin (Oxford and Edinburgh).
6 - 10 January 2020, Formal Methods in Mathematics / Lean Together 2020, Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
*Formal Methods in Mathematics / Lean Together 2020* will run from Monday, January 6 to Friday, January 10, 2020 at Carnegie Mellon University, in Pittsburgh, Pennsylvania. The meeting is a successor to Lean Together 2019.
The first three days will focus on formal methods in pure and applied mathematics, including interactive theorem proving, automated reasoning, verification of symbolic and numeric computation, and general mathematical infrastructure. The last two days will be devoted to specifically to the Lean Theorem Prover and its core library, mathlib. Users and library developers will have opportunities to present work in progress and discuss plans for the future.
Attendance is free and open to the public, but we ask you to let us know by December 6 if you plan to come.For more information, see http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020 or contact Jeremy Avigad at avigad at cmu.edu, or Robert Y. Lewis at rob.y.lewis at gmail.com.
5 - 6 January 2020, Workshop "The Structure & Development of Understanding Actions & Reasons", Salzburg, AustriaLocation: Salzburg, Austria
This workshop is organized by the interdisciplinary research group investigating the Structure and Development of Understanding Actions and Reasons, funded by the German Research Foundation (DFG), the Swiss National Fund (SNF) and the Austrian Science Fund (FWF).
Invited Speakers: Caroline T. Arruda, Daniel Povinelli, Eva Rafetseder and Michael Tomasello.For more information, see https://www.rub.de/philosophy/actionsandreasons/D-A-CH_Project/Workshops.html or contact Michael Huemer at michael.huemer at sbg.ac.at.
MoL and PhD defenses
(Updated) 26 March 2020, Master of Logic defense, Valentin VogelmannTitle: Statistical Methodology for Quantitative Linguistics: A Case Study of Zipf's Law and LearnabilitySupervisor: Jelle Zuidema and Bas Cornelissen
The exam will take place online, without an audience.
28 February 2020, PhD defense, Mostafa DehghaniTitle: Learning with Imperfect Supervision for Language UnderstandingLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Maarten de Rijke and Jaap Kamps
6 February 2020, PhD defense, Joran van ApeldoornTitle: A Quantum View on Convex OptimizationLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Ronald de Wolf and Monique Laurent
30 January 2020, PhD defense, Tom BanninkTitle: Quantum and stochastic processesLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Harry Buhrman and Frank den Hollander
29 January 2020, Master of Logic defense, Shimpei EndoTitle: Modal SpatialismLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Arthur Schipper
29 January 2020, PhD defense, Jouke WitteveenTitle: Parameterized Analysis of ComplexityLocation: Aula der Universiteit, Singel 411, AmsterdamPromotor: Ronald de Wolf and Leen TorenvlietCopromotor: Sonja Smets
Funding, Grants and Competitions
VCLA International Student Award 2020 in Logic and Computer ScienceDeadline: Wednesday 25 March 2020
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
· Outstanding Master Thesis Award
· Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)
The main areas of interest are Computational Logic, Algorithms and Computational Complexity, Databases and Artificial Intelligence, Verification and Formal Methods for Security and Privacy,
The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.
1st International Competition on Model Counting (MC 2020)Deadline: Thursday 5 March 2020
The 1st International Competition on Model Counting (MC 2020) is a competition to deepen the relationship between latest theoretical and practical development on the various model counting problems and their practical applications. It targets the problem of counting the number of models of a Boolean formula. Model counting is very vibrant field that provided both recent advances in theory as well as in practical solving including various applications. MC 2020 aims to identify new challenging benchmarks and to promote new solvers for the problem as well as to compare them with state-of-the-art solvers.
The Model Counting Competition MC 2020 invites submission of collections of (weighted) model counting instances in the standard DIMACS-based submission formats as given at the competition tracks.
Call for STSM proposals in COST Action Multi3Generation.Deadline: Friday 31 January 2020
The Multi3Generation (Multi-task, Multilingual, Multi-modal Language Generation) COST Action CA18231 aims at fostering an interdisciplinary network of research groups working on different aspects of natural language generation. We are now officially accepting applications for Short-Term Scientific Missions (STSMs). STSMs are an instrument to encourage short-term research visits between members of the Action, with a particular interest in aiding in the mobility of Early Career Investigators such as PhD students. STSM grants contribute to expenses for accommodation, traveling and subsistence according to a regulated COST scheme.
We are collecting applications now and will aim at providing a decision on whether the proposal has been accepted/rejected within two weeks time. All STSM proposals submitted in the context of the current call for proposals must be implemented and completed by April 30, 2020, which means the entire STSM is finalised and the final report has been submitted and accepted by the Multi3Generation COST Action Management Committee.For more information, see https://multi3generation.eu/funding-opportunities/short-term-scientific-missions/ or contact Iacer Calixto at iacer.calixto at uva.nl.
Digital Infrastructure in Social Sciences and HumanitiesDeadline: Friday 6 March 2020
There is a strong desire in the SSH field to assign part of the resources intended for the SSH Sector Plan of the Ministry of Education, Culture and Science (OCW) to a domain wide digital SSH plan. For this purpose, the SSH Council – which represents the SSH field – initiated the Platform for Digital Infrastructure for SSH (PDI-SSH). The platform is responsible for allocating resources to digital infrastructure facilities within the SSH domain, for coordinating digital infrastructures in the SSH domain and for strategy within that domain. PDI-SSH launches this Call for proposals as part of the SSH Sector Plan.
Open Positions at ILLC
PhD position in Cognitive Psychology and causal modellingDeadline: Tuesday 10 March 2020
The PhD position is part of Katrin Schulz & Leendert van Maanen’s research project The biased reality of online media – Using stereotypes to make media manipulation visible, funded by the Dutch Research Council (NWO). The project also involves a second PhD student and a programmer. This PhD project will be jointly supervised by Dr Leendert van Maanen and Dr Katrin Schulz.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/02/20-087-phd-position-in-cognitive-psychology-and-causal-modelling.html or contact Katrin Schulz or Leendert van Maanen at K.Schulz at uva.nl or lvmaanen at gmail.com.
PhD position in Computational LinguisticsDeadline: Tuesday 10 March 2020
The PhD position is part of Katrin Schulz & Leendert van Maanen’s research project The biased reality of online media – Using stereotypes to make media manipulation visible, funded by the Dutch Research Council (NWO). The project also involves a second PhD student and a programmer. This PhD project will be jointly supervised by Dr Katrin Schulz and Dr Jelle Zuidema.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/02/20-086-phd-position-in-computational-linguistics.html or contact Katrin Schulz or Jelle Zuidema at K.Schulz at uva.nl or W.H.Zuidema at uva.nl.
PhD candidate for automatic detection of implicit generic beliefs in corporaDeadline: Friday 28 February 2020
The PhD position is part of Robert van Rooij’s research project From Learning to Meaning: A new approach to generic sentences and implicit biases, which is funded by NWO, and also involves a post-doc position. This PhD position will be jointly supervised by Robert van Rooij and Ekaterina Shutova.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/02/20-072-phd-candidate-for-automatic-detection-of-implicit-generic-beliefs-in-corpora.html or contact Robert van Rooij at r.a.m.vanrooij at uva.nl.
PhD candidate Logic, Language and ComputationDeadline: Monday 17 February 2020
Are you interested in interdisciplinary research and would you like to work in an interdisciplinary research institute? The ILLC is looking for an excellent PhD candidate who is interested in conducting research in an area within the ILLC that fits naturally in the Faculty of Science.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/01/20-032-phd-candidate-logic-language-and-computation.html or contact •Dr Luca Incurvati at L.Incurvati at uva.nl.
Open Positions, General
Postdoctoral position in Formal Methods (distributed synthesis), Gothenburg (Sweden)Deadline: Thursday 19 March 2020
A Postdoc position is available to work on the ERC Consolidator funded project 'dSynMA: Distributed Synthesis from Single to Multiple Agents'.
The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of automata and temporal and modal logic.For more information, see https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5656.
PhD student position in theoretical computer science, Innsbruck (Austria)Deadline: Friday 20 March 2020
Within the Theoretical Computer Science Group of the Department of Computer Science at the University of Innsbruck, Austria there is an opening for a 4 year PhD student position.
We are looking for a strong candidate interested in one (ideally a combination) of the following areas (i) automation; (ii) logic and type theory; (iii) programming languages; (iv) static program analysis.For more information, see https://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=11112 or contact georg.moser at uibk.ac.at.
Visiting Fellowships in AI, Umea (Sweden)Deadline: Saturday 29 February 2020
The AI research groups at the Department of Computing Science, Umeå University, Sweden, have established a Visiting Fellowship program to foster the development of links with international scholars (at least 5 years post doctorate).
Applicants are expected to be active on AI or other relevant research areas and be currently employed at an institution outside Sweden. The focus of the Fellowship is on the impact of Artificial Intelligence, in the broadest sense, a key strength and unifying feature of the AI cluster, or on a substantive area of interest within AI cluster. Proposals for collaborative research with members of the AI cluster are especially welcome. Applicants are therefore strongly encouraged to engage on interaction with members of the cluster prior to submitting their application for visiting fellowship program. We expect to support 3 to 5 fellowships per year.For more information, see https://www.umu.se/en/research/features-and-news/artificial-intelligence/ai-collaboration/ai-fellowship-program/ or contact AI at Umea.
Research Associate / PhD Student / Postdoc position in Knowledge Representation and ReasoningDeadline: Friday 31 January 2020
The Technical University of Dresden is looking for an PhD Student, a Postdoc or a Research Associate, at the faculty of Computer Science starting on 01.02.2020.
Tasks: scientific research preferably in either the area of satisfiability (SAT) testing or in the area of modelling human reasoning tasks by appropriate logics; organisation of lectures, especially of excercises and seminars; supervision of students; organisation of examinations under the responsibility of the Chair of Knowledge Representation and Reasoning; participation in administrative processes including organisation of scientific events; support in applications for third-party funding.
Requirements: university degree in computer science (or related disciplines); the ability to communicate and to develop projects in a structured way; good command of the German and the English language. Applications from women are particularly welcome. The same applies to people with disabilities.For more information, see https://iccl.inf.tu-dresden.de/web/Stellenausschreibung15/en or contact email@example.com at sh at iccl.tu-dresden.de.
PhD student position on question-based analysis of geographic information with semantic queries, Utrecht (The Netherlands)Deadline: Sunday 16 February 2020
The QuAnGIS project, a 5-year research project at the University of Utrecht that started in January 2019 funded by the European Research Commission (ERC), develops a theory about interrogative spatial concepts needed to turn geo-analytical questions into machine-readable workflows using Semantic Web, Workflow synthesis and Question-Answering (QA) technology. The focus is on 'core concepts of spatial information', field, object, network, event (Kuhn 2012), and related analytical concepts such as accessibility, exposure, density, distance and aggregation. Based on these concepts, questions can be matched with the capacity of major analytical GIS tools and data sources on the web. The project team is part of a new Geographic Information Methods (GIM) interest group within the Social Urban Transitions (SUT) research programme in the Department of Human Geography and Spatial Planning, Faculty of Geosciences, Utrecht University.
We seek a highly motivated PhD student who has a strong interest in thinking about data semantics as well as geographic analysis and GIS technology. The new PhD position in this project should focus on the information theory and technology needed to enable GIS analysts to translate (1) geographic questions into analytic workflows and (2) to retrieve corresponding resources for analysis. This involves an investigation into GIS tools and their functionality in terms of semantic concepts, as well as standard web data sources, and how both can be linked. Furthermore, it involves developing a transformation language that can be used to search over GIS workflows using question concepts. Both will be a basis for building an integrated extensible web repository about analytical tools and data sources that can be queried using questions.For more information, see https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-10-fte-for-4-years-in-question-based-analysis-of-geographic-information-with-semantic or contact Simon Scheider (Assistant Professor) at s.scheider at uu.nl.
PhD Position in Deep Learning and Natural Language GenerationDeadline: Friday 14 February 2020
There is a PhD Position in Deep Learning and Natural Language Generation as part of the EU funded NL4XAI Innovative Training Network on Interactive Natural Language Technology for Explainable Artificial Intelligence.The researcher will work under the supervision of Claire Gardent at CNRS/LORIA/Lorraine University,Nancy (France) and be co-supervised by Albert Gatt(University of Malta); he or she will be expected toenrol for a PhD at Lorraine University (Nancy, France). Both Claire Gardent and Albert Gatt are leadingexperts on NLG. The researcher will be part of the Lorraine computer science research unit (LORIA) atNancy, and work alongside other students and researchers who work on models for NLG. S/he will also benefit from the wider training and research network provided by the European NL4XAI Innovative Training Network.
Estimated Starting Date: April 1, 2020. Apply at https://nl4xai.eu/.For more information, see https://members.loria.fr/CGardent/explainable-nlg.pdf.
PhD scholarships in substructural logic, Melbourne (Australia)Deadline: Friday 14 February 2020
As part of the Australian Research Council Future Fellowship, 'Substructural logics for limited resources' (FT190100147), up to two PhD scholarships are available at Monash University. Primary supervision will be provided by the Future Fellow, Dr David Ripley. The PhD program runs for 3 years, and includes no coursework: it's basically hit the ground and write a dissertation. Teaching is sometimes available, for additional pay, but the scholarships themselves do not involve any teaching responsibilities.
The topic of the fellowship is substructural logic, with applications to resource sensitivity and resource management. While the PhDs to be awarded are PhDs in philosophy, there is no requirement that students have a background in philosophy. Interdisciplinary work is very welcome in the department. It is important, however, that students have a strong background in logic or some closely related area; comfort with formal methods is a must.For more information, see here or at http://careers.pageuppeople.com/513/cw/en/job/602195/phd-scholarship-in-philosophy or contact David Ripley at david.ripley at monash.edu.
Postdoctoral position in formal semantics, Utrecht (The Netherlands)Deadline: Monday 27 January 2020
The Utrecht Institute of Linguistics invites applications for a postdoc position in formal semantics, part of the project 'The Formal Semantics of Collective Categorization' (ROCKY), an ERC Advanced Grant to Prof Yoad Winter (Utrecht). The project develops models of collective reference that are theoretically grounded in linguistic, cognitive and computational theories of meaning.
ROCKY is currently offering a postdoc position with 1-4-2020 as the intended starting date. The successful candidate will work with the PI and other project members, in collaboration with Prof James Hampton (Psychology, City, University of London). We are looking for a Postdoc researcher with expertise in experimental, computational or theoretical approaches to formal semantics of natural language.For more information, see https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=1084091 or contact Maaike Schoorlemmer (Research Coordinator) at m.schoorlemmer at uu.nl.