De : Symposium IAS <sias(a)sscc.fr>
Envoyé : lundi 22 février 2021 09:34
Objet : [SIAS 2021] Symposium on Intelligent and Autonomous Systems
Symposium on Intelligent and Autonomous Systems (SIAS 2021)
Tallinn, Estonia. June 21-23, 2021. <https://www.sscc.fr/SIAS2021/>
https://www.sscc.fr/SIAS2021/
in conjunction with
" <https://cs.ttu.ee/events/medi2021/> 10th International Conference on
Model and Data Engineering (MEDI 2021)"
SIAS 2021 CFP
The needs of our daily life push forward modern systems to be well connected
more user independent, autonomous, and smart. Intelligent and Autonomous
Systems (IAS), that support IoT and CPS, facilitate difficult daily tasks in
large eras of applications, especially in industry where a large amount of
collected data should be efficiently analyzed in order to be optimally
exploited. IAS offer a great importance and promising outcomes with a direct
impact on a society safety, productivity, and development. The difficulty
arises on both sides of either developing new IAS or enhancing the deployed
ones with the needed features and capabilities. IAS run on different
environments and should follow different standards that make it difficult to
ensure IAS requirements. Many solutions were developed in academia and
applied by industrial to build a smart and autonomous system. Some of them
rely on formal methods and system engineering whereas others look forward on
big data and data analysis using mainly artificial intelligence techniques,
in addition to other research areas such as networking, security,
resiliency, etc. SIAS2021 provides a platform for professionals from
academia, government, and industry to discuss how to address the increasing
challenges facing IAS.
IAS design and architecture
· IAS modeling (formal models, SysML, UML, etc)
· Correct-by-construction in IAS
· MBSE, MDA and DDA for IAS
· Virtualization and digital twins for IAS
· Blockchains and decentralized architecture for IAS
· IAS smart Networking
· Communication protocols for IAS
· Edges, Fog, and Cloud in IAS
· Distributed database for IAS
· Web services for IAS
· Social aspects and human interaction in IAS
IAS Analysis
· Artificial intelligence, deep learning, and machine learning in IAS
· Model checking and theorem proving for IAS
· Abstraction and compositional verification for IAS
· Optimization and SAT solvers for IAS
· Dynamic and static analysis for IAS
· Statistical analysis for IAS
· Testing for IAS
· Smart decision making in IAS
· Fog and edge computing for IAS
IAS Assurance
· Security specification, requirements, and management in IAS
· Security in distributed IAS
· Modeling, analysis and detection of attacks in IAS
· Data mining for cybersecurity in IAS
· Security protocols for IAS
· Safety policies for IAS
· Safety reinforcement models in IAS
· Safety standard analysis for IAS
· Resilience metrics and models for IAS
· Resilience strategies and plans for IAS
· Recovery systems for IAS resiliency
· Recommendation guided decisions for IAS resiliency
IAS Applications, Implementations, and Use cases
· Applications and Software Platforms for IAS
· IoT and CPS for IAS
· Smart cities
· IAS for industrial and production CPS
· Autonomous robots and vehicles
· Human-Robot Interaction
· Smart logistics (transportation, supply chain, etc)
Important Dates
· Submission Date: 25 April,2021
· Notification to Authors: 25 May, 2021
· Camera Ready Submission: 4 June, 2021
Submission System
· <https://easychair.org/conferences/?conf=sias2021>
https://easychair.org/conferences/?conf=sias2021
ACKERMANN AWARD 2021 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS
Nominations are now invited for the 2021 Ackermann Award.
PhD dissertations in topics specified by the CSL and LICS
conferences, which were formally accepted as PhD theses at a
university or equivalent institution between 1 January 2019 and 31 December 2020
are eligible for nomination for the award.
The deadline for submission
is 1 July 2021. Submission details follow below.
Nominations can be submitted from 1 March 2021 and should be sent
to the chair of the Jury, Thomas Schwentick, by e-mail: thomas.schwentick(a)tu-dortmund.de
*** The Award
The 2021 Ackermann award will be presented to the recipient(s) at CSL
2022, the annual conference of the EACSL.
The award consists of
* a certificate,
* an invitation to present the thesis at the CSL conference,
* the publication of the laudatio in the CSL proceedings,
* an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and
* financial support to attend the conference.
The jury is entitled to give the award to more (or less) than one
dissertation in a year.
*** The Jury
The jury consists of:
* Christel Baier (TU Dresden);
* Michael Benedikt (Oxford University);
* Mikolaj Bojanczyk (University of Warsaw);
* Jean Goubault-Larrecq (ENS Paris-Saclay);
* Prakash Panangaden (McGill University);
* Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
* Thomas Schwentick (TU Dortmund) , the president of EACSL;
* Alexandra Silva, (University College London), ACM SigLog representative.
*** How to submit
The candidate or his/her supervisor should submit
1. the thesis (ps or pdf file);
2. a detailed description (not longer than 20 pages) of the thesis
in ENGLISH (ps or pdf file); it is recommended to not squeeze as much
material as possible into these 20 pages, but rather to use them
for a gentle introduction and overview, stressing the novel results obtained
in the thesis and their impact;
3. a supporting letter by the PhD advisor and two supporting letters
by other senior researchers (in English);
supporting letters can also be sent directly to Thomas Schwentick
(thomas.schwentick(a)tu-dortmund.de);
4. a short CV of the candidate;
5. a copy of the document asserting that the thesis was accepted as
a PhD thesis at a recognized University (or equivalent institution) and
that the candidate has received his/her PhD within the specified period.
The submission should be sent by e-mail as attachments to the chairman
of the jury, Thomas Schwentick:
thomas.schwentick(a)tu-dortmund.de
With the following subject line and text:
* Subject: Ackermann Award 20 Submission
* Text: Name of candidate, list of attachments
Submission can be sent via several e-mail messages. If this is the case,
please indicate it in the text.
2nd CALL FOR PAPERS
19th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2021
2 to 5 November 2021, CIRM, Marseille, France
https://ramics19.lis-lab.fr/
IMPORTANT DATES:
Abstract Submission: 14 May 2021
Paper Submission: 21 May 2021
Author Notification: 9 July 2021
Final Version: 30 July 2021
RAMiCS 2021: 2 to 5 November 2021
INVITED TALKS:
Barbara König, Duisburg-Essen University, Germany
Wendy MacCaull, St. Francis Xavier University, Canada
Dmitriy Zhuk, Lomonosov Moscow State University, Russia
GENERAL INFORMATION:
Since 1994, the RAMiCS conference series has been the main venue for
research on relation algebras, Kleene algebras and similar algebraic
formalisms, and their applications as conceptual and methodological
tools in computer science and beyond.
RAMiCS 2021 will take place at CIRM, the Centre International de
Rencontres Mathématiques at the beautiful Luminy campus close to
Marseille. Depending on the Covid-19 situation, it will take the form
of a physical conference, a virtual conference, or a hybrid between
the two. There will be no inscriptions fees to the conference. A
limited number of grants, covering lodging and catering, are supplied
by CIRM and the Archimède Institute.
TOPICS:
We invite submissions in the general fields of algebras relevant to
computer science and applications of such algebras. Topics include but
are not limited to:
* Theory
- algebras such as semigroups, residuated lattices, semirings,
Kleene algebras, relation algebras and quantales
- their connections with program logics and other logics
- their use in the theories of automata, concurrency, formal languages,
games, networks and programming languages
- the development of algebraic, algorithmic, category-theoretic,
coalgebraic and proof-theoretic methods for these theories
- their formalisation with theorem provers
* Applications
- tools and techniques for program correctness, specification and
verification
- quantitative and qualitative models and semantics of computing
systems and processes
- algorithm design, automated reasoning, network protocol analysis,
social choice, optimisation and control
- industrial applications
SUBMISSION INSTRUCTIONS:
Submission is via EasyChair at
https://www.easychair.org/conferences/?conf=ramics2021
All papers will be peer-reviewed by at least three referees. The
proceedings will be published in an LNCS volume by Springer, ready at
the conference. Submissions must not be published or under review for
publication elsewhere. Submissions must be in English using a PDF not
exceeding 16 pages in LNCS style. Submissions must provide sufficient
information to judge their merits. Additional material may be provided
in a clearly marked appendix or by a reference to a manuscript on a web
site. Experimental data, software or mathematical components for theorem
provers must be available in sufficient detail for referees. Deviation
from these requirements may lead to rejection.
One author of each accepted paper is expected to present the paper at
the conference. Accepted papers must be produced with LaTeX. Formatting
instructions and LNCS style files are available at
http://www.springer.de/comp/lncs/authors.html
As for earlier RAMiCS conferences, we intend to publish a journal
special issue with revised and extended versions of a selection of the
best papers.
COMMITTEES:
Organising Committee
--------------------
Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France
Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France
Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France
Programme Committee
-------------------
Bahareh Afshari, University of Amsterdam, Holland
Christel Baier, Technische Universität Dresden, Germany
Manuel Bodirsky, Technische Universität Dresden, Germany
Ignacio Fábregas, Universidad Complutense de Madrid, Spain
Uli Fahrenberg, Ecole polytechnique, France
Marcelo Frias, Buenos Aires Institute of Technology, Argentina
Hitoshi Furusawa, Kagoshima University, Japan
Mai Gehrke, LJAD CNRS, France
Silvio Ghilardi, Università degli Studi di Milano, Italy
Roland Glueck, German Aerospace Center, Germany
Walter Guttmann, University of Canterbury, New Zealand
Peter Höfner, Australian National University, Australia
Ali Jaoua, Qatar University, Qatar
Peter Jipsen, Chapman University, USA
Sebastiaan Joosten, Dartmouth College, USA
Laura Kovacz, Technische Universität Wien, Austria
Tadeusz Litak, Erlangen-Nürnberg University, Germany
Roger Maddux, Iowa State University, USA
Dale Miller, Ecole polytechnique, France
Martin Mueller, University of Augsburg, Germany
Daniela Petrisan, IRIF, University Paris 7, France
Damien Pous, CNRS, ENS Lyon, France
David Pym, University College, London, UK
Mehrnoosh Sadrzadeh, University College, London, UK
Luigi Santocanale, LIS, Aix-Marseille University, France
Georg Struth, University of Sheffield, UK
Sam van Gool, IRIF, University Paris 7, France
Michael Winter, Brock University, Canada
Symposium on Intelligent and Autonomous Systems (SIAS 2021)
Tallinn, Estonia. June 21-23, 2021. <https://www.sscc.fr/SIAS2021/>
https://www.sscc.fr/SIAS2021/
in conjunction with
" <https://cs.ttu.ee/events/medi2021/> 10th International Conference on
Model and Data Engineering (MEDI 2021)"
SIAS 2021 CFP
The needs of our daily life push forward modern systems to be well connected
more user independent, autonomous, and smart. Intelligent and Autonomous
Systems (IAS), that support IoT and CPS, facilitate difficult daily tasks in
large eras of applications, especially in industry where a large amount of
collected data should be efficiently analyzed in order to be optimally
exploited. IAS offer a great importance and promising outcomes with a direct
impact on a society safety, productivity, and development. The difficulty
arises on both sides of either developing new IAS or enhancing the deployed
ones with the needed features and capabilities. IAS run on different
environments and should follow different standards that make it difficult to
ensure IAS requirements. Many solutions were developed in academia and
applied by industrial to build a smart and autonomous system. Some of them
rely on formal methods and system engineering whereas others look forward on
big data and data analysis using mainly artificial intelligence techniques,
in addition to other research areas such as networking, security,
resiliency, etc. SIAS2021 provides a platform for professionals from
academia, government, and industry to discuss how to address the increasing
challenges facing IAS.
IAS design and architecture
. IAS modeling (formal models, SysML, UML, etc)
. Correct-by-construction in IAS
. MBSE, MDA and DDA for IAS
. Virtualization and digital twins for IAS
. Blockchains and decentralized architecture for IAS
. IAS smart Networking
. Communication protocols for IAS
. Edges, Fog, and Cloud in IAS
. Distributed database for IAS
. Web services for IAS
. Social aspects and human interaction in IAS
IAS Analysis
. Artificial intelligence, deep learning, and machine learning in IAS
. Model checking and theorem proving for IAS
. Abstraction and compositional verification for IAS
. Optimization and SAT solvers for IAS
. Dynamic and static analysis for IAS
. Statistical analysis for IAS
. Testing for IAS
. Smart decision making in IAS
. Fog and edge computing for IAS
IAS Assurance
. Security specification, requirements, and management in IAS
. Security in distributed IAS
. Modeling, analysis and detection of attacks in IAS
. Data mining for cybersecurity in IAS
. Security protocols for IAS
. Safety policies for IAS
. Safety reinforcement models in IAS
. Safety standard analysis for IAS
. Resilience metrics and models for IAS
. Resilience strategies and plans for IAS
. Recovery systems for IAS resiliency
. Recommendation guided decisions for IAS resiliency
IAS Applications, Implementations, and Use cases
. Applications and Software Platforms for IAS
. IoT and CPS for IAS
. Smart cities
. IAS for industrial and production CPS
. Autonomous robots and vehicles
. Human-Robot Interaction
. Smart logistics (transportation, supply chain, etc)
Important Dates
. Submission Date: 25 April,2021
. Notification to Authors: 25 May, 2021
. Camera Ready Submission: 4 June, 2021
Submission System
. <https://easychair.org/conferences/?conf=sias2021>
https://easychair.org/conferences/?conf=sias2021
=====================================
First call for papers (CSL'22)
=====================================
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.
It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component.
Submission guidelines:
----------------------
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.
The CSL 2022 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors.
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. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Papers authored or co-authored by members of the PC are not allowed.
At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers.
Important dates:
----------------
Abstract submission: July 5, 2021 (AoE),
Paper submission: July 12, 2021 (AoE),
Notification: September 30, 2021,
Conference: February 14-19, 2022
List of topics:
---------------
automated deduction and interactive theorem proving
constructive mathematics and type theory
equational logic and term rewriting
automata and games, game semantics
modal and temporal logic
model checking
decision procedures
logical aspects of computational complexity
finite model theory
computability
computational proof theory
logic programming and constraints
lambda calculus and combinatory logic
domain theory
categorical logic and topological semantics
database theory
specification, extraction and transformation of programs
logical aspects of quantum computing
logical foundations of programming paradigms
verification and program analysis
linear logic
higher-order logic
nonmonotonic reasoning
Program Committee:
------------------
Thorsten Altenkirch (Nottingham, UK)
Benedikt Bollig (Cachan, France)
Agata Ciabattoni (Vienna, Austria)
Liron Cohen (Ben-Gurion University, Israel)
Anupam Das (Birmingham, UK)
Claudia Faggian (Paris, France)
Francesco Gavazzo (Bologna, Italy)
Stefan Göller (Kassel, Germany)
Willem Heijltjes (Bath, UK)
Sandra Kiefer (Aachen, Germany)
Emanuel Kieronski (Wroclaw, Poland)
Bartek Klin (Warsaw, Poland)
Juha Kontinen (Helsinki, Finland)
Anthony Lin (Kaiserslautern, Germany)
Karoliina Lehtinen (Marseille, France)
Florin Manea (Göttingen, Germany, co-chair)
Fredrik Nordvall Forsberg (Strathclyde, UK)
Liat Peterfreund (Paris, France and Edinburgh, UK)
Daniela Petrisan (Paris, France)
Karin Quaas (Lepizig)
Alex Simpson (Ljubljana, Slovenia, co-chair)
Pawel Sobocinski (Tallin, Estonia)
Anna Sokolova (Salzburg, Austria)
Linda Brown Westrick (Connecticut, US)
Organization Committee:
-----------------------
Fundamentals of Computer Science Group (University of Göttingen, Germany; Florin Manea, chair)
Contact:
--------
Please send all questions about submissions to the PC co-chairs:
csl2022(a)easychair.org
(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================
Updated information on: Abstract and Submission dates
==================================================================
CALL FOR PAPERS
Sixth International Conference on
Formal Structures for Computation and Deduction (FSCD 2021)
July 17 - July 24, 2021, Buenos Aires, Argentina
https://fscd2021.dc.uba.ar/
In-cooperation with ACM SIGLOG and SIGPLAN
NOTE: Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online.
IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
Abstract: February 16, 2021 *** extended
Submission: February 22, 2021 *** extended
Rebuttal: April 2-5, 2021
Notification: April 19, 2021
Final version: May 3, 2021
INVITED SPEAKERS
----------------
- Zena M. Ariola, University of Oregon
https://ix.cs.uoregon.edu/~ariola/
- Nao Hirokawa, JAIST
https://www.jaist.ac.jp/~hirokawa/
- Elaine Pimentel, Federal University of Rio Grande do Norte
https://sites.google.com/site/elainepimentel/
- Sam Staton, University of Oxford
https://www.cs.ox.ac.uk/people/samuel.staton/main.html
AFFILIATED WORKSHOPS
--------------------
- HoTT/UF: 6th Workshop on Homotopy Type Theory/Univalent Foundations
- ITRS: 10th Workshop on Intersection Types and Related Systems
- WPTE: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- UNIF: 35th International Workshop on Unification
- LSFA: 16th Logical and Semantics Frameworks with Applications
- IWC: 10th International Workshop on Confluence
- IFIP WG 1.6: 24th meeting of the IFIP Working Group 1.6: Rewriting
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=fscd2021
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 (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. 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. Complete instructions on submitting a paper can be found on the conference web site:
https://fscd2021.dc.uba.ar/
One author of an accepted paper is expected to present it at the conference
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
-----------------------
Naoki Kobayashi, The University of Tokyo
fscd2021(a)easychair.org
PROGRAM COMMITTEE
-----------------
M. Ayala-Rincón, Universidade de Brasília
S. Berardi, University of Torino
F. Blanqui, INRIA
E. Bonelli, Stevens Institute of Technology
É. Contejean, CNRS, Université Paris-Saclay
T. Coquand, University of Gothenburg
T. Ehrhard, Université de Paris, CNRS
S. Escobar, Univ. Politècnica de València
J. Espírito Santo, University of Minho
C. Faggian, Université de Paris, CNRS
A. Felty, University of Ottawa
S. Figueira, Universidad de Buenos Aires
M. Fiore, University of Cambridge
M. Gaboardi, Boston University
S. Ghilezan, University of Novi Sad
I. Hasuo, National Institute of Informatics
D. Kesner, Université de Paris
R. Krebbers, Radboud University Nijmegen
T. Kutsia, Johannes Kepler University Linz
B. König, University of Duisburg-Essen
M. Lenisa, University of Udine
N. Nishida, Nagoya University
L. Ong, University of Oxford
P. Parys, University of Warsaw
J. Rehof, TU Dortmund University
C. Rocha, Pontificia Univ. Javeriana Cali
A. Silva, University College London
N. Szasz, Universidad ORT Uruguay
A. Tiu, Australian National University
S. Winkler, University of Verona
H. Yang, KAIST, South Korea
CONFERENCE CHAIR
----------------
Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET
WORKSHOP CHAIRS
--------------
Mauricio Ayala-Rincón, Universidade de Brasília
Carlos López Pombo, Universidad de Buenos Aires
STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
Jamie Vicary, Oxford University
PUBLICITY CHAIR
---------------
Carsten Fuhs, Birkbeck, University of London
FSCD STEERING COMMITTEE
-----------------------
Z. Ariola, University of Oregon
M. Ayala-Rincón, University of Brasilia
C. Fuhs, Birkbeck, University of London
H. Geuvers, Radboud University
S. Ghilezan, University of Novi Sad
S. Guerrini, University of Paris 13
D. Kesner (Chair), University of Paris Diderot H. Kirchner, Inria
C. Kop, Radboud University
D. Mazza, University of Paris 13
L. Ong, Oxford University
J. Rehof, TU Dortmund
J. Vicary, Oxford University
I write to bring your attention to the call for nominations for the
2021 Gödel Prize.
The deadline for nominations is Feb. 28.
You can find more information from SIGACT or EATCS
https://sigact.org/prizes/g%C3%B6del.html
The call is attached.
Sincerely,
Daniel Spielman
It was recently decided that LICS 2021 will be held online. For this reason we’re making another call for workshop proposals:
36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2021)
2nd Call for Workshop Proposals
http://easyconferences.eu/lics2021/
* The thirty-sixth Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS'21) will be held online on June 29-July 2, 2021.
The workshops will be held online on June 27-28, 2021.
* Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic - broadly construed - to computer
science or related fields. Typically, LICS workshops feature a
number of invited speakers and a number of contributed
presentations. LICS workshops do not usually produce formal
proceedings. However, in the past there have been special issues of
journals based in part on certain LICS workshops.
* Proposals should include:
- A short scientific summary and justification of the proposed
topic. This should include a discussion of the particular
benefits of the topic to the LICS community.
- The proposed duration, which is typically one day (two-day
workshops can be accommodated too).
- Expected number of participants, providing data on previous years
if the workshop has already been organised in the past.
- Procedures for selecting participants and papers.
- Potential invited speakers.
- An agenda.
- Plans for dissemination (for example, special issues of journals).
Proposals should be sent to Frédéric Blanqui: frederic.blanqui(a)inria.fr
* IMPORTANT DATES:
- Workshop proposal submission deadline: February 28, 2020
- Notification: March 3, 2020
- Program of the workshops ready: May 27, 2021
- Workshops: June 27-28, 2021
- LICS conference: June 29-July 2, 2021
* The workshops selection committee consists of the LICS Workshops Chair,
the LICS General Chair, the LICS PC Chairs and the LICS Conference Chairs.
TABLEAUX 2021
The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Birmingham, UK, September 6-9, 2021
Website: <https://tableaux2021.org/> https://tableaux2021.org/
Submission deadlines: 19 April (abstract), 26 April 2021 (paper)
GENERAL INFORMATION
The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021) will be hosted by the University of Birmingham, UK, 6-9 September 2021.
TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organised on an annual basis (sometimes as a part of IJCAR).
TABLEAUX 2021 will be co-located with the 13th International Symposium on Frontiers of Combining Systems (FroCoS 2021). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
SCOPE OF CONFERENCE
Tableaux and other proof based methods offer convenient and flexible tools for automated reasoning for both classical and non-classical logics. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.
Topics of interest include but are not limited to:
* tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, linear, substructural, fuzzy, relevance and non-monotonic logics) and their proof-theoretic foundations;
* sequent, natural deduction, labelled, nested and deep calculi for classical and non-classical logics, as tools for proof search and proof representation;
* related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches);
* flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics;
* systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.);
* implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.);
* extensions of tableau procedures with conflict-driven learning;
* techniques for proof generation and compact (or humanly readable) proof representation;
* theoretical and practical aspects of decision procedures;
* applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching.
We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the TABLEAUX community and should focus on the role of reasoning and on logical aspects of the solution.
SUBMISSION GUIDELINES
Submissions are invited in the following two categories:
(A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references;
(B) system descriptions, with length up to 9 pages excluding references.
There will also be a later call inviting position papers and brief reports on work-in-progress. Details will be kept up to date on the website.
Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version.
For category (A) submissions, the reported results must be original and not submitted for publication elsewhere. For category (B) submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories (A) and (B) will be published in the conference proceedings.
Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system:
https://easychair.org/conferences/?conf=tableaux21
For all accepted papers at least one author is required to register to the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at:
http://www.springer.com/br/computer-science/lncs/conference-proceedings-gui…
IMPORTANT DATES
Abstract submission: 19 April 2021 (AoE)
Paper submission: 26 April 2021 (AoE)
Notification: 14 June 2021
Conference: 6-9 September 2021
CONFERENCE FORMAT AND COVID-19
TABLEAUX 2021 and FroCoS 2021 are intended to be *hybrid* conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before the notification date 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made.
PUBLICATION
The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS).
BEST PAPER AWARDS
The program committee will select
* the TABLEAUX 2021 Best Paper; and,
* the TABLEAUX 2021 Best Paper by a Junior Researcher.
Researchers will be considered "junior" if either they are students or their PhD degree date is less than two years from the first day of the meeting. The two awards will be presented at the conference.
TRAVEL GRANTS FOR STUDENTS
Some funding may be available to support students participating at TABLEAUX 2021. More details will be given on the conference website in due time.
PROGRAM COMMITTEE
Bahareh Afshari (University of Amsterdam, Netherlands, and University of Gothenburg, Sweden)
Carlos Areces (Universidad Nacional de Córdoba, Argentina)
Arnon Avron (Tel-Aviv University, Israel)
Nick Bezhanishvili (University of Amsterdam, Netherlands)
Patrick Blackburn (University of Roskilde, Denmark)
Serenella Cerrito (Université Paris-Saclay, Univ Evry, France)
Kaustuv Chaudhuri (Inria, France)
Liron Cohen (Ben-Gurion University, Israel)
Anupam Das (University of Birmingham, UK)
Stéphane Demri (CNRS, France)
Hans de Nivelle (Nazarbayev University, Kazakhstan)
Valeria de Paiva (Topos Institute Berkeley, USA)
Clare Dixon (University of Manchester, UK)
Christian Fermüller (TU Wien, Austria)
Didier Galmiche (Université de Lorraine, France)
Silvio Ghilardi (Università degli Studi di Milano, Italy)
Rajeev Goré (Australian National University, Australia)
Andrzej Indrzejczak (University of Łódź, Poland)
Hidenori Kurokawa (Kanazawa University, Japan)
Stepan Kuznetsov (Russian Academy of Sciences, Russia)
Björn Lellmann (SBA Research, Austria)
Stéphane Graham-Lengrand (SRI International, USA)
George Metcalfe (University of Bern, Switzerland)
Neil Murray (University At Albany, USA)
Cláudia Nalon (Universidade de Brasília, Brazil)
Sara Negri (University of Genoa, Italy)
Nicola Olivetti (Aix-Marseille University, France)
Eugenio Orlandelli (University of Bologna, Italy)
Jens Otten (University of Oslo, Norway)
Alessandra Palmigiano (Vrije Universiteit Amsterdam, Netherlands)
Dirk Pattinson (Australian National University, Australia)
Frank Pfenning (Carnegie Mellon University, USA)
Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil)
Andrei Popescu (University of Sheffield, UK)
Gian Luca Pozzato (University of Turin, Italy)
Giselle Reis (Carnegie Mellon University, Qatar)
Reuben Rowe (Royal Holloway, UK)
José Espírito Santo (University of Minho, Portugal)
Lutz Straßburger (Inria, France)
Josef Urban (Czech Technical University in Prague, Czech Republic)
PC CHAIRS
Anupam Das (University of Birmingham, UK)
Sara Negri (University of Genoa, Italy)
The 3rd edition of the World Logic Day, January 14, 2021, was a great success with nearly 100 celebrations taking place all around the world.
These celebrations were connected by a Welcome Ceremony, in which presidents of logical associations and logicians from all over the world participated.
Participants (among others):
Ø Jean-Yves Beziau (Creator of the World Logic Day, Editor-in-Chief of Logica Universalis),
Ø Maria Edileuza Fontenele Reis (former UNESCO Ambassador of Brazil),
Ø Benedikt Löwe (CIPSH/UNESCO - coordinator of the World Logic Day),
Ø Jan Wolenski (talking about Alfred Tarski),
Ø Daniele Mundici (talking about Kurt Gödel),
Ø Luca Scarantino (President of the FISP -International Federation of Philosophical Societies),
Ø Gerhard Heinzmann (President of AIPS, International Academy of Philosophy of Science),
Ø Jacek Malinowski (Editor-in-Chief of Studia Logica),
Ø Otávio Bueno (Editor-in-Chief of Synthese),
Ø Ivan Varzinczak (Winner of the 1st World Logic Prizes Contest)
Visit http://www.logica-universalis.org/wld3 for all information.
The ceremony was streamed and recorded. To watch the recording, visit the YouTube - channel:
Universal Logic Project - https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w
On this channel, you can also watch:
Ø a video by Maria Edileuza Fontenele Reis, the Brazilian Ambassador at UNESCO, about the successful submission of the proposal to the UNESCO executive committee and general assembly,
Ø a video by Jean-Yves Beziau, explaining why he decided to create the World Logic Day,
Ø a video by Ivan Varzinczak about the World Logic Prizes Contest.
--
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