These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << February 2020 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
||||||
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
1 - 4 February 2020, Workshop "Mathematical Language & Practical Type Theory", 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.
1 - 4 February 2020, Workshop "Mathematical Language & Practical Type Theory", 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.
1 - 4 February 2020, Workshop "Mathematical Language & Practical Type Theory", 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.
3 - 4 February 2020, 5th Workshop on Generalised Baire Spaces, 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).
1 - 4 February 2020, Workshop "Mathematical Language & Practical Type Theory", 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.
3 - 4 February 2020, 5th Workshop on Generalised Baire Spaces, 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).
29 June - 6 July 2020, Fifth International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Online
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:
1. Calculi
2. Methods in Computation and Deduction
3. Semantics
4. Algorithmic Analysis and Transformations of Formal Systems
5. Tools and Applications
6. Semantics and Verification in new challenging areas
18 May 2020, Symposium on Integrating Generic and Contextual Knowledge (GeCKo symposium)
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.
15 - 16 April 2021, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2021), Virtual
The aims of FMAI 2021 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.
The programme features 3 invited talks (by Giuseppe de Giacomo, Jane Hillston and Dvijotham Krishnamurthy) and 6 thematic sessions (on Learning, LTL, Logic, Verification, Data, and Games and MAS).
Formerly FMAI 2020, due to the current COVID-19 pandemic the workshop has been postponed to Spring 2021.
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'.
7 - 8 February 2020, Workshop in Set Theory & Philosophy of Mathematics, 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.
7 - 8 February 2020, Workshop "Propositions, properties, sets, and other abstract objects"
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.
7 - 8 February 2020, Workshop in Set Theory & Philosophy of Mathematics, 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.
7 - 8 February 2020, Workshop "Propositions, properties, sets, and other abstract objects"
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.
8 - 10 May 2020, 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020), Online
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
Because of the covid-19 LAMAS2020 will be entirely virtual.
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).
9 - 13 August 2021, ESSLLI-2021 Workshop "Approaches to Implicature", Online via Zoom
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.
15 - 19 June 2020, LOGICA 2020, Hejnice, Czech Republic, cancelled
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.
We announce, with a considerable amount of regret, that Logica 2020 is cancelled due to the global COVID-19 pandemic.
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.
22 - 27 May 2020, 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23), Cancelled
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.
The organizers, together with the LPAR steering committee, have decided to cancel LPAR-23 in Alicante, in May 2020. We will not organize LPAR-23 in May 2020 as an online conference either. Rather, we will "merge" LPAR-23 with LPAR-24, offering the authors of accepted LPAR-23 papers the possibility, if they wish, to present their work at LPAR-24 in Tobago, January 2021. Details on LPAR-24 will be announced in summer/fall 2020.
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.
31 August - 7 October 2020, The Joint Ontology Workshops Episode 6 (JOWO 2020), Virtual
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.
At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.
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.
14 - 15 October 2020, Conference on Probability and Meaning (PaM 2020), Virtual
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.
After careful consideration of the pandemic situation, the conference is moving online. The registration for PaM2020 is now open and free.
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.
17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, Germany
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.
8 - 11 July 2020, 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), Online
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). The conference will be preceded by a series of workshops, which will take place on 6-7 July 2020.
ICALP 2020 was to be hosted at Peking University, in co-location with LICS 2020. Due to the pandemic, the symposium is now held online.
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.
17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, Germany
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.
17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, Germany
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.
17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, Germany
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.
17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, Germany
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.
21 - 22 February 2020, Celebrating & Commemorating: Engeler's 90th birthday and Specker's centenary, 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.
3 - 10 July 2020, 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020), Virtual
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.
Due to the current circumstances regarding the COVID-19 pandemic outbreak, the conference program chairs have decided to hold SAT 2020 as a fully virtual conference which will be held from 3 to 10 July 2020.
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).
21 - 22 February 2020, Celebrating & Commemorating: Engeler's 90th birthday and Specker's centenary, 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.
22 February 2020, Robin Gandy Centenary Colloquium
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)
22 - 24 February 2020, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2020), Valletta, Malta
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.
22 - 24 February 2020, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2020), Valletta, Malta
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.
22 - 24 February 2020, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2020), Valletta, Malta
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.
12 May 2020, 16th Joint ACL - ISO Workshop on Interoperable Semantic Annotation (ISA-16), Cancelled
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.
As the LREC 2020 conference has been cancelled, due to the Covid-19 outbreak, so has the ISA-16 workshop. The workshop proceedings are however published according to the original schedule.
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).
25 April 2020, Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020), Dublin, Ireland
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.
26 April 2020, 7th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2020), Dublin, Ireland
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.
28 February - 2 March 2020, 21st Szklarska Poręba Workshop on the Roots of Pragmasemantics, Szklarska Poręba, Poland
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)
28 February - 2 March 2020, 21st Szklarska Poręba Workshop on the Roots of Pragmasemantics, Szklarska Poręba, Poland
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)