Join the Logica Universalis Webinar!
The next session will be held on Wednesday, October 13 at 4pm CEST with the talk
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic<https://link.springer.com/article/10.1007/s11787-021-00286-1>
Amirouche Moktefi<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.etis.ee_CV_Amirouc…> (Ragnar Nurkse Tallinn University of Technology, Estonia)
Chair: Leo Corry<https://urldefense.proofpoint.com/v2/url?u=https-3A__en.wikipedia.org_wiki_…>, Editorial Board LU
Associate Organization: Lewis Carroll Society<https://urldefense.proofpoint.com/v2/url?u=https-3A__lewiscarrollsociety.or…>
presented by its chairman Steve Folan
The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.)
The sessions take place on Wednesdays at 4pm CEST (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance.
Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…>
Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min).
Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>.
---
To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with ‘Unsubscribe’ to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>).
--
Antje Herbst
Associate Editor Mathematics
Journals
Springer Nature
Tiergartenstraße 17, 69121 Heidelberg, Germany
T +49 62214878984
antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>
www.springernature.com<http://www.springernature.com/>
--
Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people – helping researchers, students, teachers & professionals to discover, learn and achieve.
--
Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany
Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B
Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas
CALL FOR PAPERS
Natural Language Processing in Artificial Intelligence - NLPinAI 2022
Online Streaming 4-6 February, 2022
http://www.icaart.org/NLPinAI.aspx?y=2022
Special Session within
the 14th International Conference on Agents and Artificial Intelligence -
ICAART 2022
http://www.icaart.org
-------------------------------------------------------------
SCOPE
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.
The 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 computational systems of intelligent natural language processing
and related models of thought, mental states, reasoning, and other
cognitive processes.
TOPICS
We invite contributions relevant to the following topics, without being
limited to them:
- Type theories for applications to language and information processing
- Computational grammar
- Computational syntax
- Computational semantics of natural languages
- Computational syntax-semantics interface
- Interfaces between morphology, lexicon, syntax, semantics, speech, text,
pragmatics
- Parsing
- Multilingual processing
- Large-scale grammars of natural languages
- Interfaces between morphology, lexicon, syntax, semantics, speech, text,
pragmatics
- Models of computation and algorithms for natural language processing
- Computational models of partiality, underspecification, and
context-dependency
- Models of situations, contexts, and agents, for applications to language
processing
- Information about space and time in language models and processing
- Models of computation and algorithms for linguistics
- Data science in language processing
- Machine learning of language
- Interdisciplinary methods
- Integration of formal, computational, model theoretic, graphical,
diagrammatic, statistical, and other related methods
- Logic for information extraction or expression in written and spoken
language
- Language processing based on biological fundamentals of information and
languages
- Computational neuroscience of language
IMPORTANT DATES
Paper Submission: November 26, 2021
Authors Notification: December 14, 2021
Camera Ready and Registration: December 22, 2021
PAPER SUBMISSION
Prospective authors are invited to submit papers in any of the topics
listed above.
Instructions for preparing the manuscript (in LaTeX and Word styles) are
available on the ICAART pages.
See, AUTHOR'S KIT at the end of the website:
http://www.icaart.org/NLPinAI.aspx?y=2022
Paper Templates:
http://www.icaart.org/Templates.aspx
Guidelines:
Please read the Guidelines of NLPinAI 2022 at ICAART, and respect the
double-blind review method.:
http://www.icaart.org/Guidelines.aspx
Papers must be submitted electronically via the web-based submission system
using the button SUBMIT PAPER on the pages of NLPinAI 2022 at ICAART 2022.
PUBLICATIONS
After thorough reviewing by the special session program committee, all
accepted papers will be published in a special section of the conference
proceedings book - under an ISBN reference and on digital support - and
submitted for indexation by Thomson Reuters Conference Proceedings Citation
Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus,
Semantic Scholar and Google Scholar.
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every
paper is given a DOI (Digital Object Identifier).
All papers presented at the conference venue will be 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 2022, ICAART
2022.
A book of selected works based on NLPinAI 2020 at ICAART 2020 is published:
Natural Language Processing in Artificial Intelligence — NLPinAI 2020
Book series: Studies in Computational Intelligence (SCI)
ISBN 978-3-030-63786-6 (Hardcover)
ISBN 978-3-030-63787-3 (eBook)
https://doi.org/10.1007/978-3-030-63787-3
CHAIR: Roussanka Loukanova
CONTACT: ICAART Secretariat <icaart.secretariat(a)insticc.org>
-------------------------------------------------------------
The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme
LogiCS@TUWien - Logics for Computer Science
http://www.vcla.at/msca
co-funded by the European Commission, offers 20 full-time PhD positions.
The program is hosted by TU Wien, one of the most successful technical
universities in Europe and the largest one in Austria. The Faculty of
Informatics of TU Wien ranks among the top 20% research and teaching
institutions in the field worldwide. In the heart of Europe, Vienna has
a prominent history in mathematics, computer science, and logic
research, and offers one of the highest living standards in the world.
The doctoral positions are open to international high-potential
early-stage researchers, working on Logical Methods in Computer Science
and their applications, including:
* Artificial Intelligence
* Databases
* Verification
* Algorithms
* Security
* Cyber-Physical Systems
The LogiCS@TUWien will run for 60 months and provides a 4-year long
doctoral training for international PhD candidates within an
English-language curriculum. The PhD candidates will be supervised by:
* Ezio Bartocci
* Pavol Cerny
* Agata Ciabattoni
* Thomas Eiter
* Robert Ganian * Georg Gottlob
* Laura Kovács
* Matteo Maffei
* Magdalena Ortiz
* Stefan Szeider
* Georg Weissenbacher
* Stefan Woltran
* Florian Zuleger
Two calls will accomplish the recruitment of the 20 positions; the first
call opens on October 8, 2021, with an application deadline of December
30, 2021. See http://www.vcla.at/mscafor details.
--
Magdalena Ortiz
Assoc. Prof. Knowledge Representation and Reasoning
Institute of Logic and Computation (E192/3)
Faculty of Informatics, TU Wien
===============================
CiE 2022: FIRST CALL FOR PAPERS
===============================
Computability in Europe 2022: Revolutions and revelations in
computability
Swansea, Wales, United Kingdom
July 11-15, 2022
https://cs.swansea.ac.uk/cie2022/
Submission link: https://easychair.org/conferences/?conf=cie2022
IMPORTANT DATES:
================
Deadline for article registration (abstract submission): January 14,
2022 (AOE)
Deadline for article submission: January 28, 2022 (AOE)
Notification of acceptance: April 11, 2022
Final versions due: April 25, 2022
Deadline for informal presentations submission: May 1, 2022
(The notifications of acceptance for informal presentations will be sent
a few days after submission.)
Early registration before: May 15, 2022.
CiE 2022 is the 18th 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.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno
(2020, virtually), and Ghent (2021, virtually).
TUTORIAL SPEAKERS:
==================
- Noam Greenberg (Victoria University of Wellington)
- Karoliina Lehtinen (LIS, Aix-Marseille University)
INVITED SPEAKERS:
=================
- Erika Ábrahám (RWTH Aachen University)
- Thierry Coquand (University of Gothenburg)
- Liesbeth de Mol (Université de Lille)
- Damir Dzhafarov (University of Connecticut)
- Harvey Friedman (The Ohio State University)
- Svetlana Selivanova (Korea Advanced Institute of Science and
Technology - KAIST)
SPECIAL SESSIONS:
=================
- At the intersection of computability and other areas of mathematics,
organised by Denis Hirschfeldt (University of Chicago) and Karen Lange
(Wellesley College)
- Computability theory of blockchain technology, organised by Arnold
Beckmann (Swansea University) and Anton Setzer (Swansea University)
- Computing Language: Love Letters, Large Models and NLP, organised by
Liesbeth de Mol (Université de Lille) and Giuseppe Primiero (University
of Milan) for the Council of the HaPoC Commission
- Computing with bio-molecules, organised by Jérôme Durand-Lose
(Université d'Orleans) and Claudio Zandron (University of Milan Bicocca)
- Constructive and reverse mathematics, organised by Samuele Maschio
(Universita di Padova) and Takako Nemoto (Japan Advanced Institute of
Science and Technology - JAIST)
- Reachability problems, organised by Paul Bell (Loughborough
University) and Igor Potapov (University of Liverpool)
The speakers of the special sessions will be announced soon.
CONTRIBUTED PAPERS:
===================
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
Marcella Anselmo (University of Salerno)
Verónica Becher (University of Buenos Aires)
Ulrich Berger (Swansea University, co-chair)
Katie Brodhead (Florida State University)
Laura Crosilla (University of Oslo)
Joel Day (Loughborough University)
Gianluca Della Vedova (University of Milan)
Leah Epstein (University of Haifa)
Maribel Fernandez (King's College London)
Ekaterina Fokina (TU Wien)
Johanna Franklin (Hofstra University, co-chair)
Lorenzo Galeotti (Amsterdam University College)
Sandra Kiefer (RWTH Aachen University)
Susana Ladra (University of Coruna)
Maria Emilia Maietti (University of Padova)
Florin Manea (University of Goettingen)
Klaus Meer (Brandenburg University of Technology Cottbus)
Dale Miller (LIX Polytechnique)
Russell Miller (Queens College CUNY)
Arno Pauly (Swansea University)
Nadia Pisanti (University of Pisa)
Solon Pissis (CWI Amsterdam)
Giuseppe Primiero (University of Milan)
Ramyaa Ramyaa (New Mexico Tech)
Monika Seisenberger (Swansea University)
Anton Setzer (Swansea University)
Alexandra Shlapentokh (East Carolina University)
Reed Solomon (University of Connecticut)
Mariya Soskova (University of Wisconsin-Madison)
Peter Van Emde Boas (University of Amsterdam)
Andreas Weiermann (Ghent University)
Andreas Wichert (University of Lisbon)
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.
THE PROGRAM COMMITTEE cordially invites all researchers, European and
non-European, to submit their papers in all areas related to the above
for
presentation at the conference and inclusion in the proceedings of CiE
2022 at
https://easychair.org/conferences/?conf=cie2022
Papers must be submitted in PDF format, using the LNCS style (available
at
https://www.springer.com/gp/computer-science/lncs/
conference-proceedings-guidelines) 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.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag.
INFORMAL PRESENTATIONS:
=======================
Continuing the tradition of past CiE conferences, we invite researchers
to
present informal presentations of their recent work. A proposal for an
informal
presentation must be submitted via EasyChair
(https://easychair.org/conferences
/?conf=cie2022), using the LNCS style file (available at https://
www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
and be 1 page long; a brief description of the results suffices and an
abstract
is not required. Informal presentations will not be published in the
LNCS
conference proceedings. Results presented as informal presentations at
CiE 2022
may appear or may have appeared in other conferences with formal
proceedings
and/or in journals. The deadline for the submission of abstracts for
informal
presentations is May 1, 2022.
WOMEN IN COMPUTABILITY:
=======================
We are very happy to announce that within the framework of the Women in
Computability program, we are able to offer some grants for junior women
researchers who want to participate in CiE 2022. Applications for this
grant
should be sent to Liesbeth de Mol, liesbeth.demol(a)univ-lille3.fr, before
May
15, 2022 and include a short cv (at most 2 pages) and contact
information for
an academic reference. Preference will be given to junior women
researchers who
are presenting a paper (including informal presentations) at CiE 2022.
Association CiE:
https://www.acie.eu/
CiE Conference Series:
https://www.acie.eu/cie-conference-series/
HOSTED BY:
==========
School of Mathematics and Computer Science
at the Computational Foundry,
Bay Campus, Swansea University,
Crymlyn Burrows, Skewen,
Swansea SA1 8EN, United Kingdom
This conference is in cooperation with the Association for Women in
Mathematics
and supports the Welcoming Environment Statement. We are grateful for
support
from the Institute for Coding in Wales.
ORGANIZING COMMITTEE:
======================
Troy Astarte (Swansea University)
Arnold Beckmann (Swansea University)
Ulrich Berger (Swansea University)
Tonicha Crook (Swansea University)
Faron Moller (Swansea University)
Bertie Mueller (Swansea University)
Eike Neumann (Swansea University)
Arno Pauly (Swansea University, chair)
Olga Petrovska (Swansea University)
Pierre Pradic (Swansea University)
Markus Roggenbach (Swansea University)
Monika Seisenberger (Swansea University)
Anton Setzer (Swansea University)
John Tucker (Swansea University)
For questions, please contact the organisers at cie2022swansea(a)gmail.com
CALL FOR PAPERS
Symposium
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
10 - 17 December 2021, online
https://staff.math.su.se/rloukanova/LACompLing2021-web/
LACompLing2021 is part of the week
Mathematical Linguistics (MALIN) 2021,
Université de Montpellier (UM),
Montpellier, France,
13 - 17 December 2021, Online
DESCRIPTION of LACompLing
Computational linguistics studies natural language in its various
manifestations from a computational point of view, both on the theoretical
level (modeling grammar modules dealing with natural language form and
meaning, and the relation between these two) and on the practical level
(developing applications for language and speech technology). Right from
the start in the 1950s, there have been strong links with computer science,
logic, and many areas of mathematics - one can think of Chomsky's
contributions to the theory of formal languages and automata, or Lambek's
logical modeling of natural language syntax. The symposium assesses the
place of logic, mathematics, and computer science in present day
computational linguistics. It intends to be a forum for presenting new
results as well as work in progress.
SCOPE of LACompLing
The symposium focuses mainly on logical approaches to computational
processing of natural language, and on the applicability of methods and
techniques from the study of artificial languages (programming/logic) in
computational linguistics. We invite participation and submissions from
other relevant approaches too, especially if they can inspire new work and
approaches.
The topics of LACompLing2021 include, but are not limited to:
- Computational theories of human language
- Computational syntax
- Computational semantics
- Computational syntax-semantics interface
- Interfaces between morphology, lexicon, syntax, semantics, speech, text,
pragmatics
- Computational grammar
- Logic and reasoning systems for linguistics
- Type theories for linguistics
- Models of computation and algorithms for linguistics
- Computational approaches of computational linguistics for domain specific
areas
- Language processing
- Parsing algorithms
- Generation of language from semantic representations
- Large-scale grammars of natural languages
- Multilingual processing
- Computational theories and systems of reasoning in natural language
- Data science in language processing
- Machine learning of language
- Interdisciplinary methods
- Integration of formal, computational, model theoretic, graphical,
diagrammatic, statistical, and other related methods
- Logic for information extraction or expression in written and / or spoken
language
- Language theories based on biological fundamentals of information and
languages
- Computational neuroscience of language
LACompLing2021 is especially interested in topics on the interconnections
between Logic, Language, and Argumentation, e.g.:
- Formal languages of reasoning and argumentation
- Algorithms related to natural language of argumentation - theories,
implementations, applications
- Formal models of argumentations
- Logic of preferences
- Beliefs, attitudes, persuasions - theories and applications
IMPORTANT DATES
Submission: 30 October 2021
Notifications: 6 November 2021
Final submissions: TBA ??
LACompLing2021: 13 - 17 December 2021
SUBMISSION INSTRUCTIONS
We welcome submissions of abstracts of presentations of original work. The
intended papers should not be submitted concurrently to another conference
or conference event and should not have been published or submitted for
publication consideration elsewhere.
NOTE: We will not accept submissions that are on work submitted to another
event at MALIN 2021, concurrently during the submission to LACompLing2021.
- Submission of abstracts of presentations:
limited to 1 page, including the title, other heading material, about half
of a page text, and references
- Authors can submit more than one abstract. Invited speakers can submit
invited and contributed abstracts.
- The camera-ready submissions may require all the necessary typesetting
sources, which are not in the standard LaTeX distribution
Typesetting Instructions
For LaTeX, authors are required to use Springer LNCS package. Styles and
templates can be downloaded from Springer, for LaTeX (recommended!) and
Microsoft Word:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…
For bibliography citations, please use BibTeX with:
\bibliographystyle{spmpsci}
SUBMISSIONS
The submission Web page for LACompLing2021 is:
https://easychair.org/conferences/?conf=lacompling2021
PUBLICATIONS
We will organize a post-conference, special volume after the symposium
LACompLing2021, for publication of extended papers based on accepted
abstracts with presentations at LACompLing2021. The submissions to the
special volume have to be original, unpublished, and not concurrently
submitted elsewhere. They will go through thorough peer reviews.
ORGANIZATION of LACompLing2021
CHAIRS of LACompLing2021
Roussanka Loukanova, IMI, BAS, Sofia, Bulgaria and Stockholm University,
Stockholm, Sweden
Reinhard Muskens, ILLC, Universiteit van Amsterdam, Amsterdam, The
Netherlands
PROGRAM CHAIRS of LACompLing2021
Roussanka Loukanova, IMI, BAS, Sofia, Bulgaria and Stockholm University,
Stockholm, Sweden
Richard Moot, LIRMM-CNRS, Montpellier, France
Christian Retoré, Université de Montpellier and LIRMM-CNRS, Montpellier,
France
ORGANISATION of LACompLing2021 at Stockholm University
Peter LeFanu Lumsdaine, Stockholm University, Stockholm, Sweden (local
organiser, publication chair)
Axel Ljungsröm, Stockholm University, Stockholm, Sweden (local organiser,
publication associate)
Roussanka Loukanova, IMI, BAS, Sofia, Bulgaria and Stockholm University,
Stockholm, Sweden (chair)
Contact
LACompLing 2021 <lacompling2021(a)easychair.org>
--------------------------------
CALL FOR PAPERS
Seventh International Conference on
Formal Structures for Computation and Deduction (FSCD 2022)
August 2 - 5, 2022, Haifa, Israel
https://fscd2022.github.io/
In-cooperation with ACM SIGLOG and SIGPLAN
IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
Abstract: February 8, 2022
Submission: February 11, 2022
Rebuttal: March 29-April 1, 2022
Notification: April 15, 2022
Final version: April 30, 2022
FSCD (http://fscd-conference.org/) 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.
The suggested, but not exclusive, list of topics for submission is:
1. Calculi:
- Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.);
- Lambda calculus;
- Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.);
- Proof theory (natural deduction, sequent calculus, proof nets, etc.);
- Type theory and logical frameworks;
- Homotopy type theory;
- Quantum calculi.
2. Methods in Computation and Deduction:
- Type systems (polymorphism, dependent, recursive, intersection, session, etc.);
- Induction, coinduction;
- Matching, unification, completion, orderings;
- Strategies (normalization, completeness, etc.);
- Tree automata;
- Model building and model checking;
- Proof search and theorem proving;
- Constraint solving and decision procedures.
3. Semantics:
- Operational semantics and abstract machines;
- Game Semantics and applications;
- Domain theory and categorical models;
- Quantitative models (timing, probabilities, etc.);
- Quantum computation and emerging models in computation.
4. Algorithmic Analysis and Transformations of Formal Systems:
- Type Inference and type checking;
- Abstract Interpretation;
- Complexity analysis and implicit computational complexity;
- Checking termination, confluence, derivational complexity and related properties;
- Symbolic computation.
5. Tools and Applications:
- Programming and proof environments;
- Verification tools;
- Proof assistants and interactive theorem provers;
- Applications in industry;
- Applications of formal systems in other sciences.
6. Semantics and Verification in new challenging areas:
- Certification;
- Security;
- Blockchain protocols;
- Data Bases;
- Deep learning and machine learning algorithms;
- Planning.
PUBLICATION
-----------
The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access.
SPECIAL ISSUE
-------------
Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science.
SUBMISSION GUIDELINES
---------------------
The submission site is:
https://easychair.org/conferences/?conf=fscd2022
Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author).
Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. They must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided.
One author of an accepted paper is expected to present it at the (physical) conference, unless Covid restrictions prevent travel.
BEST PAPER AWARD BY JUNIOR RESEARCHERS
--------------------------------------
The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s).
PROGRAM COMMITTEE CHAIR
-----------------------
Amy Felty, University of Ottawa
fscd2022 at easychair.org
PROGRAM COMMITTEE
-----------------
Amal Ahmed, Northeastern University
Thorsten Altenkirch, Nottingham University
Takahito Aoto, Niigata University
Kazuyuki Asada, Tohoku University
Franz Baader, TU Dresden
James Cheney, University of Edinburgh
Agata Ciabattoni, Vienna University of Technology
Horatiu Cirstea, Loria
Nachum Dershowitz, Tel Aviv University
Gilles Dowek, Inria & ENS Paris-Saclay
Carsten Fuhs, Birkbeck, University of London
Hugo Herbelin, Inria & Université de Paris
Patricia Johann, Appalachian State University
Daniel Licata, Wesleyan University
Salvador Lucas, Universitat Politècnica de València
Christopher Lynch, Clarkson University
Ralph Matthes, IRIT, CNRS, TU Toulouse
Paul-André Melliès, CNRS, Université de Paris
Alexandre Miquel, Universidad de la República
Georg Moser, Universität Innsbruck
Daniele Nantes, Universidade de Brasília
Vivek Nigam, Huawei ERC & UFPB
Carlos Olarte, UFRN
Valeria de Paiva, Topos Institute
Giselle Reis, CMU Qatar
Masahiko Sakai, Nagoya University
Renate Schmidt, University of Manchester
Martina Seidl, Johannes Kepler University
Sam Staton, University of Oxford
Christine Tasson, Sorbonne Université
Benoît Valiron, LRI & Université de Paris
Stephanie Weirich, University of Pennsylvania
CONFERENCE CHAIR
----------------
Nachum Dershowitz, Tel Aviv University
WORKSHOP CHAIRS
--------------
Shaull Almagor, Technion
Guillermo A. Pérez, University of Antwerp
STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
Jamie Vicary, Oxford University
PUBLICITY CHAIR
---------------
Carsten Fuhs, Birkbeck, University of London
FSCD STEERING COMMITTEE
-----------------------
Zena Ariola, University of Oregon
Alejandro Díaz-Caro, Quilmes University & ICC/CONICET
Carsten Fuhs, Birkbeck, University of London
Herman Geuvers (Chair), Radboud University
Silvia Ghilezan, University of Novi Sad
Stefano Guerrini, Université de Paris 13
Delia Kesner, Université de Paris Diderot Naoki Kobayashi, The University of Tokyo
Luigi Liquori, Inria
Damiano Mazza, Université de Paris 13
Jakob Rehof, TU Dortmund
Jamie Vicary, Oxford University
von Havelund, Klaus (US 348B) via fm-announcements
NFM 2022 - FIRST CALL FOR PAPERS
The 14th NASA Formal Methods Symposium
https://shemesh.larc.nasa.gov/nfm2022/
May 24-27, 2022
Pasadena, California, USA
The symposium is planned to be held in person at California Institute of Technology, but potentially transitioning to fully virtual if the COVID situation persists. Virtual presentations will be possible even if the conference is held in-person.
The symposium has NO registration fee for presenting and attending.
IMPORTANT DATES
- Abstract Submission: December 3, 2021
- Paper Submission: December 10, 2021
- Paper Notifications: February 4, 2022
- Camera-ready Papers: March 4, 2022
- Symposium: May 24-27, 2022
THEME OF SYMPOSIUM
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace during all stages of the software life-cycle.
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California.
TOPICS ON INTEREST
Topics of interest include, but are not limited to, the following aspects of formal methods:
Advances in formal methods
- Interactive and automated theorem proving
- SMT and SAT solving
- Model checking
- Static analysis
- Runtime verification
- Automated testing
- Specification languages, textual and graphical
- Refinement
- Code synthesis
- Design for verification and correct-by-design techniques
- Requirements specification and analysis
Integration of formal methods techniques
- Integration of diverse formal methods techniques
- Use of machine learning and probabilistic reasoning techniques in formal methods
- Integration of formal methods into software engineering practices
- Combination of formal methods with simulation and analysis techniques
- Formal methods and fault tolerance, resilient computing, and self healing systems
- Formal methods and graphical modeling languages such as SysML, UML, MATLAB/Simulink
- Formal methods and autonomy, e.g., verification of systems and languages for planning and scheduling
(PDDL, Plexil, etc.), self-sufficient systems, and fault-tolerant systems.
Formal methods in practice
- Experience reports of application of formal methods on real systems, such as autonomous systems, safety-critical
systems, concurrent and distributed systems, cyber-physical, embedded, and hybrid systems, fault-detection,
diagnostics, and prognostics systems, and human-machine interaction analysis.
- Use of formal methods in systems engineering (including hardware components)
- Use of formal methods in education
- Reports on negative results in the development and the application for formal methods in practice.
- Usability of formal method tools, and their infusion into industrial contexts.
- Challenge problems for future reference by the formal methods community. The formulation of these papers can range
from plain English description of a problem over formal specifications, to specific implementations in a
programming language.
NASA OPEN SOURCE
Courageous authors, who want to delve in open source software being applied in real NASA missions, and find possible connections to and applications of Formal Methods, are invited to visit the open source repositories for the following two frameworks for programming flight software:
- F’ (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnasa.gith…)
- cFS (https://cfs.gsfc.nasa.gov/)
SUBMISSIONS
There are two categories of submissions:
- Regular papers describing fully developed work and complete results
(maximum 15 pages, excluding references);
- Short papers on tools, experience reports, or work in progress with preliminary results
(maximum 6 pages, excluding references).
Additional appendices can be submitted as supplementary material for reviewing purposes. They will not be included in the proceedings.
All papers must be in English and describe original work that has not been published. All submissions will be reviewed by at least three members of the Program Committee.
We encourage authors to focus on readability of their submissions.
Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…);reserved=0). Papers must be submitted in PDF format at the EasyChair submission site:
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…p;reserved=0.
Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…);reserved=0).
ARTIFACTS
Authors are encouraged, but not strictly required, to submit artifacts that support the conclusions of their work (if allowed by their institutions). Artifacts may contain software, mechanized proofs, benchmarks, examples, case studies and data sets. Artifacts will be evaluated by the Program Committee together with the paper.
ORGANIZERS
PC chairs
- Klaus Havelund, JPL, USA
- Jyo Deshmukh, USC, USA
- Ivan Perez, NIA, USA
Application Advisors
- Robert Bocchino, JPL, USA
- John Day, JPL, USA
- Maged Elasaar, JPL, USA
- Amalaye Oyake, Blue Origin, USA
- Nicolas Rouquette, JPL, USA
- Vandi Verma, JPL, USA
Application advisors advise the PC chairs to ensure a strong connection to the problems facing NASA.
Local Organizers
- Richard Murray, Caltech, USA
- Monica Nolasco, Caltech, USA
Program Committee
- Aaron Dutle, NASA, USA
- Alessandro Cimatti, Fondazione Bruno Kessler, Italy
- Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA
- Anne-Kathrin Schmuck, Max-Planck-Institute for Software Systems, Germany
- Arie Gurfinkel, University of Waterloo, Canada
- Bardh Hoxha, Toyota Research Institute North America, USA
- Bernd Finkbeiner, CISPA Helmholtz Center for Information Security, Germany
- Betty H.C. Cheng, Michigan State University, USA
- Borzoo Bonakdarpour, Michigan State University, USA
- Carolyn Talcott, SRI International, USA
- Chuchu Fan, MIT, USA
- Constance Heitmeyer, Naval Research Laboratory, USA
- Corina Pasareanu, CMU, NASA, KBR, USA
- Cristina Seceleanu, Mälardalen University, Sweden
- Dejan Nickovic, Austrian Institute of Technology AIT, Austria
- Dirk Beyer, LMU Munich, Germany
- Doron Peled, Bar Ilan University, Israel
- Erika Abraham, RWTH Aachen University, Germany
- Ewen Denney, NASA, USA
- Gerard Holzmann, Nimble Research, USA
- Giles Reger, The University of Manchester, UK
- Huafeng Yu, TOYOTA InfoTechnology Center USA, USA
- Jean-Christophe Filliatre, CNRS, France
- Johann Schumann, NASA, USA
- John Day, Jet Propulsion Laboratory, USA
- Julia Badger, NASA, USA
- Julien Signoles, CEA LIST, France
- Kerianne Hobbs, Air Force Research Laboratory, USA
- Kristin Yvonne Rozier, Iowa State University, USA
- Leonardo Mariani, University of Milano Bicocca, Italy
- Lu Feng, University of Virginia, USA
- Marcel Verhoef, European Space Agency, The Netherlands
- Marie Farrell, Maynooth University, Ireland
- Marieke Huisman, University of Twente, The Netherlands
- Marielle Stoelinga, University of Twente, The Netherlands
- Martin Feather, Jet Propulsion Laboratory, USA
- Martin Leucker, University of Luebeck, Germany
- Michael Lowry, NASA, USA
- Misty Davies, NASA, USA
- Natasha Neogi, NASA, USA
- Nicolas Rouquette, Jet Propulsion Laboratory, USA
- Nikos Arechiga, Toyota Research Institute, USA
- Rajeev Joshi, Amazon Web Services, USA
- Stanley Bak, Stony Brook University, USA
- Sylvie Boldo, INRIA, France
- Vandi Verma, NASA, USA
- Willem Visser, Amazon Web Services, USA
CONTACT
Email: nfm2022 [at] easychair [dot] org
LAST UPDATE
2021-09-20
---
To opt-out from this mailing list, send an email to
fm-announcements-request(a)lists.nasa.gov
with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting
fm-announcements-owner(a)lists.nasa.gov
[Please circulate. Apologies for multiple copies.]
CALL FOR PARTICIPATION
WoLLIC 2021
27th Workshop on Logic, Language, Information and Computation
October 5 to 8, 2021
(Virtual Event)
ORGANISATION
Universidade de São Paulo, Brazil
University College London, UK
Centro de Informática, Universidade Federal de Pernambuco, Brazil
VISION
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and tutorials
as well as contributed papers. The twenty-seventh WoLLIC will be held
online from October 5 to 8, 2021. It is scientifically sponsored by the
Association for Symbolic Logic (ASL), the Interest Group in Pure and
Applied Logics (IGPL), the The Association for Logic, Language and
Information (FoLLI), the European Association for Theoretical Computer
Science (EATCS), ACM Special Interest Group on Logic and Computation
(ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the
Sociedade Brasileira de Lógica (SBL).
INVITED SPEAKERS
Catarina Dutilh Novaes (VU Amsterdam)
Santiago Figueira (Universidad de Buenos Aires, Argentina)
Andreas Herzig (IRIT, France)
Cláudia Nalon (UnB - Brazil)
PROGRAMME COMMITTEE
Carlos Areces (FaMAF - Universidad Nacional de Córdoba, Argentina)
Arthur Azevedo de Amorim (Boston University, USA)
Paul Brunet (University College London, UK)
Nina Gierasimczuk (Technical University of Denmark, Denmark)
Helle Hvid Hansen (University of Groningen, The Netherlands)
Justin Hsu (University of Pennsylvania, USA)
Fairouz Kamareddine (Heriot-Watt University, UK)
Sandra Kiefer (RWTH Aachen University, Germany)
Clemens Kupke (Strathclyde University, Scotland)
Konstantinos Mamouras (Rice University, USA)
Maria Vanina Martinez (Universidad de Buenos Aires, Argentina)
Larry Moss (Indiana Univ, USA)
Claudia Nalon (University of Brasília, Brazil)
Valeria de Paiva (Samsung Research, USA, and Univ Birmingham, UK)
Elaine Pimentel (UFRN, Brazil)
Revantha Ramanayake (University of Groningen, The Netherlands)
Jurriaan Rot (Radboud University, The Netherlands)
Alexandra Silva (Cornell Univ, USA) (Co-Chair)
Christine Tasson (IRIF, France)
Sebastiaan Terwijn (Radboud University, The Netherlands)
Renata Wassermann (Univ São Paulo, Brazil) (Co-Chair)
STEERING COMMITTEE
Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel
Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de
Queiroz.
ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira
Ono, Jouko Väänänen.
ORGANISING COMMITTEE
Renata Wassermann (Univ São Paulo, Brazil) (Co-Chair)
Alexandra Silva (Cornell Univ, USA) (Co-Chair)
Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brazil)
Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) (co-chair)
SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS
It is planned to have a special session with the exhibition of a one-hour
documentary film about a remarkable mathematician whose contributions were
recognized with a Fields Medal just a few years before her untimely death.
It is a joint production of The Mathematical Sciences Research Institute
(MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The
Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about
Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United
States who became a superstar in her field. The story of her life will be
complemented with sections about Mirzakhani’s mathematical contributions,
as explained by colleagues and illustrated with animated sequences.
Throughout, we will look for clues about the sources of Mirzakhani’s
insights and creativity." (http://www.zalafilms.com/secrets/)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
http://wollic.org/
The School of Computer Science at the University of Sydney is seeking applications for several academic positions at all levels.
Full advert: https://tinyurl.com/5ertd9k5
Closing date: 30 November 2021
For more information, feel free to contact me: sasha.rubin(a)sydney.edu.au
Final Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference
July 31 - August 12, 2022
Haifa, Israel
http://www.floc2022.org/
CALL FOR WORKSHOPS
The Eighth Federated Logic Conference (FLoC 2022) will host the following ten
conferences and affiliated workshops.
LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)
http://lics.rwth-aachen.de/
Workshop chair: Frederic Blanqui Frederic.Blanqui(a)inria.fr
***FSCD (7th International Conference on Formal Structures for Computation and Deduction)
http://fscd-conference.org/
Workshop chair: Nachum Dershowitz nachumd(a)tau.ac.il
***See http://www.cs.tau.ac.il/~nachumd/FSCD/
ITP (13th International Conference on Interactive Theorem Proving)
https://itp-conference.github.io/
Workshop chair: Cyril Cohen cyril.cohen(a)inria.fr
IJCAR (International Joint Conference on Automated Reasoning)
http://www.ijcar.org
Workshop chairs: Sophie Tourret stourret(a)mpi-inf.mpg.de and Simon Robillard
CSF (35th IEEE Computer Security Foundations Symposium)
http://www.ieee-security.org/CSFWweb/
Workshop chair: Musard Balliu musard(a)kth.se
CAV (34th International Conference on Computer Aided Verification)
http://i-cav.org/
Workshop chair: Grigory Fedyukovich grigory(a)cs.fsu.edu
KR (19th International Conference on Principles of Knowledge Representation and Reasoning)
http://www.kr.org/
Workshop chair: Stefan Borgwardt stefan.borgwardt(a)tu-dresden.de
ICLP (38th International Conference on Logic Programming)
https://www.cs.nmsu.edu/ALP/conferences/
Workshop chair: Daniela Inclezan inclezd(a)miamioh.edu
SAT (25th International Conference on Theory and Applications of Satisfiability Testing)
http://www.satisfiability.org
Workshop chair: Alexander Nadel alexander.nadel(a)intel.com
CP (25th International Conference on Principles and Practice of Constraint Programming)
http://a4cp.org/events/cp-conference-series
Workshop chair: Ciaran McCreesh ciaran.mccreesh(a)glasgow.ac.uk
SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for workshops on
topics in the field of computer science, related to logic in the broad sense.
Each workshop proposal must indicate one affiliated conference of FLoC 2022.
It is strongly suggested that prospective workshop organizers contact the
relevant conference workshop chair before submitting a proposal.
Each proposal should consist of the following two parts.
1) A short scientific justification of the proposed topic, its significance,
and the particular benefits of the workshop to the community, as well as a
list of previous or related workshops (if relevant).
2) An organisational part including:
- contact information for the workshop organizers;
- proposed affiliated conference;
- estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged);
- proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.);
- potential invited speakers (note that expenses of workshop invited speakers are not covered by FLoC);
- procedures for selecting papers and participants;
- plans for dissemination, if any (e.g. a journal special issue);
- duration (which may vary from one day to two days);
- preferred period (pre or post FLoC);
- virtual/hybrid backup plans (including platform preference).
The FLoC Organizing Committee will determine the final list of accepted
workshops based on the recommendations from the Workshop Chairs of the hosting
conferences and availability of space and facilities.
Proposals should be submitted through EasyChair:
https://easychair.org/conferences/?conf=floc2022workshops
Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for further details and FAQ.
IMPORTANT DATES
Submission of workshop proposals deadline: September 27, 2021
Notification: November 1, 2021
Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022
Post-FLoC workshops: Thursday & Friday, August 11-12, 2022
CONTACT INFORMATION
Questions regarding proposals should be sent to the workshop chairs of the
proposed affiliated conference. General questions should be sent to:
shaull(a)technion.ac.il
GuillermoAlberto.Perez(a)uantwerpen.be
FLoC 2022 WORKSHOP CHAIRS
Shaull Almagor
Guillermo A. Perez