Certified Programs and Proofs (CPP) is an international conference on
practical
and theoretical topics in all areas that consider formal verification and
certification as an essential paradigm for their work. CPP spans areas of
computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17
January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts,
United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM
SIGLOG.
CPP 2023 will welcome contributions from all members of the community.
The CPP
2023 organizers will strive to enable both in-person and remote
participation,
in cooperation with the POPL 2023 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h)
* Notification (tentative): 21 November 2022
* Camera Ready Deadline (tentative): 12 December 2022
* Conference: 16-17 January 2023
Deadlines expire at the end of the day, anywhere on earth. Abstract and
submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as
Distinguished Papers. This award highlights papers that the CPP program
committee thinks should be read by a broad audience due to their relevance,
originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of
programs and proofs. The following is a non-exhaustive list of topics of
interest to CPP:
* certified or certifying programming, compilation, linking, OS kernels,
runtime
systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris,
Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics, and
logical
frameworks;
* higher-order logics, dependent type theory, proof theory, logical systems,
separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra, polynomial
systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality, first-order
logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload their
anonymized paper in PDF format through the HotCRP system at
https://cpp2023.hotcrp.com
The submissions must be written in English and provide sufficient detail to
allow the program committee to assess the merits of the contribution.
They must
be formatted following the ACM SIGPLAN Proceedings format using the
acmart style
with the sigplan option, which provides a two-column style, using 10
point font
for the main text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures,
but excluding bibliography and clearly marked appendices. The papers
should be
self-contained without the appendices. Shorter papers are welcome and
will be
given equal consideration. Submissions not conforming to the requirements
concerning format and maximum length may be rejected without further
consideration.
CPP 2023 will employ a lightweight double-blind reviewing process
following the
process from previous years. To facilitate this, the submissions must
adhere to
two rules:
(1) author names and institutions must be omitted, and
(2) references to authors’ own related work should be in the third
person (e.g.,
not "We build on our previous work ..." but rather "We build on the
work of
...").
The purpose of this process is to help the PC and external reviewers
come to an
initial judgment about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done
in the
name of anonymity that weakens the submission or makes the job of
reviewing it
more difficult. In particular, important background references should not be
omitted or anonymized. In addition, authors are free to disseminate
their ideas
or draft versions of their papers as usual. For example, authors may
post drafts
of their papers on the web or give talks on their research ideas. Note
that POPL
2023 itself will employ full double-blind reviewing, which differs from the
light-weight CPP process. This FAQ from previous SIGPLAN conference
addresses
many common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-R…
We strongly encourage the authors to provide any supplementary material that
supports the claims made in the paper, such as proof scripts or experimental
data. This material must be uploaded at submission time, as an archive,
not via
a URL. Two forms of supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the reviewers
before
they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the reviewers
after they have submitted their first-draft reviews and have learned the
identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be
taken into account from the beginning of the reviewing process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the ACM
Policy
on Plagiarism (https://www.acm.org/publications/policies/plagiarism).
Concurrent
submissions to other conferences, journals, workshops with proceedings, or
similar forums of publication are not allowed. The PC chairs should be
informed
of closely related work submitted to a conference or journal in advance of
submission. One author of each accepted paper is expected to present it
at the
(possibly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2023 proceedings will be published by the ACM, and authors of
accepted
papers will be required to choose one of the following publication options:
(1) Author retains copyright of the work and grants ACM a non-exclusive
permission-to-publish license and, optionally, licenses the work
under a
Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will make the
paper Gold Open Access, and also encourage such authors to license their
work
under the CC-BY license. ACM will charge you an article processing fee
for this
option (currently, US$700), which you have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows you to
achieve Green Open Access, by uploading a preprint of your paper to a
repository
that guarantees permanent archival such as arXiv or HAL. This is anyway
a good
idea for timely dissemination even if you chose option 1.
The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC
(http://www.sigplan.org/OpenTOC/#cpp).
For ACM’s take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights
(http://authors.acm.org/main.html).
PROGRAM COMMITTEE
Steve Zdancewic, University of Pennsylvania, USA (co-chair)
Brigitte Peintka, McGill University, Canada (co-chair)
Reynald Affeldt, AIST, Japan
Tej Chajed, MIT, USA
Koen Claessen, Chalmers, Sweden
Ranald Clouston, ANU, Australia
Leonardo de Moura, Microsoft Research, USA
Xinyu Feng, Nanjing University, China
Denis Firsov, Tallinn University/GuardTime, Estonia
Yannick Forster, Inria Nantes, France
Milos Gligoric, UT Austin, USA
Stephane Graham-Lengrand, SRI, USA
Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA
Chris Hawblitzel, Microsoft Research, US
Chantal Keller , Université Paris Saclay, France
Marie Kerjean, CNRS, France
Yoonseung Kim, Seoul National University, Korea
Kenji Maillard, INRIA, France
César Muñoz, Amazon Web Services, USA
Lawrence Paulson, Cambridge, UK
Pierre-Marie Pédrot, INRIA, France
Anja Petković Komel, TU Wien, Vienna
Clément Pit-Claudel, EPFL, France
Christine Rizkallah, University of Melbourne, Australia
Cody Roux, AWS, USA
Kazuhiko Sakaguchi, University of Tsukuba, Japan
Anna Slobodova, Intel, USA
Aaron Stump, University of Iowa, US
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, CIIRC (Prague), Czech Republic
Viktor Vafeiadis, MPI-SWS, Germany
Yuting Wang, Shanghai Jiao Tong University, China
Tjark Weber, Uppsala University, Sweden
ORGANIZERS
Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Brigitte Peintka, McGill University, Canada (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Steve Zdancewic <stevez(a)seas.upenn.edu>
Brigitte Pientka <bpientka(a)cs.mcgill.ca>
-------------------------------------------------------------------------
Call for Participation
FLoC 2022 Mentoring Workshop (FLoC'22 MW)
https://www.floc2022.org/flocmentoringworkshop
August 1 and August 5, 2022
Haifa, Israel
Early registration deadline: June 20, 2022!
-------------------------------------------------------------------------
The purpose of the FLoC 2022 Mentoring Workshop (FLoC'22 MW)
is to provide mentoring and career advice to early-stage graduate
students, to attract them to pursue research careers in various
logic-related areas. The workshop will particularly encourage
participation of women and under-represented minorities. There
will be two workshop days, one for each FLoC Conference Block,
so the students can choose which one of the two they prefer to attend.
The workshop program will include a number of talks and interactive
sessions. Talks will give an overview of the field along with brief
introductions to the varied topics highlighted at FLoC. Other talks will
provide mentoring and career advice, from academia and industry.
CONFIRMED SPEAKERS
Rajeev Alur, University of Pennsylvania, USA
Nikolaj Bjorner, Microsoft Research, USA
Liron Cohen, Ben-Gurion University, Israel
Christoph Haase, University of Oxford, UK
Kristin Rozier, Iowa State University, USA
Neha Rungta, AWS, USA
Natarajan Shankar, SRI, USA
Alexandra Silva, Cornell University, USA
CONTACT
In case of questions, please contact the Mentoring Workshop co-chairs:
Sandra Kiefer <sankie(a)mpi-sws.org>
Marijana Lazić <lazic(a)in.tum.de>
Caterina Urban <caterina.urban(a)inria.fr>
[apologies for cross-postings]
The Oxford Department of Computer Science has a vacancy for a full-time
Postdoctoral Research Associate position on the ERC-funded project
“ARiAT: Advanced Reasoning in Arithmetic Theories”:
http://tinyurl.com/2vsafj4b
The goal of this project is to develop novel algorithms for reasoning in
arithmetic theories. Further information, including representative
publications that have so far arisen in the context of the project, can
be found under the following URL:
http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/
The position is advertised at Grade 8 with a salary range of £42,149 -
£50,296 p.a. The post may be under-filled at Grade 7 £33,309 - £40,927
p.a. The application deadline is 7 July.
Applicants are welcome to informally discuss this position with Dr.
Christoph Haase (christoph.haase(a)cs.ox.ac.uk).
FLOC 2022: The Eighth Federated Logic Conference (FLoC 2022)
July 31 - August 12, 2022, Haifa, Israel
EARLY REGISTRATION CLOSED on 20th June 2022.
REGULAR REGISTRATION CLOSES on 20th July 2022.
ON-SITE REGISTRATION will be possible during the conference.
The conference will take place IN PERSON, see
https://www.floc2022.org/covid-19 for the latest COVID regulations.
It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment.
* Website: https://www.floc2022.org/
* Registration: https://www.floc2022.org/registration
* Accommodation: https://www.floc2022.org/accommodation
Registration for the main conference block gives you access to any other
conference in the same period. Conference registration includes reception,
lunches, and coffee breaks. A banquet ticket can be added to the conference
registration.
Registration for a workshop day means you can attend any other workshop on
the same day. Workshop registration includes lunches and coffee breaks.
ACCOMMODATION
https://www.floc2022.org/accommodation
We have made block bookings at several locations in Haifa until mid-May and
any unsold rooms are now being released. It is imperative that you book NOW
to avoid disappointment, as July/August is a busy period in Haifa!
ABOUT FLOC
During the past forty years there has been extensive, continuous, and
growing interaction between logic and computer science. In many respects,
logic provides computer science with both a unifying foundational framework
and a tool for modeling. In fact, logic has been called “the calculus of
computer science”, playing a crucial role in diverse areas such as
artificial intelligence, computational complexity, distributed computing,
database systems, hardware design, programming languages, and software
engineering.
The Federated Logic Conference brings together several international
conferences related to mathematical logic and computer science and was first
organized in 1996, as part of the DIMACS Special Year on Logic and
Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002,
Seattle in 2006, Edinburgh in 2010, Vienna in 2014, and Oxford in 2018.
The eighth Federated Logic Conference (FLoC'22) will be held in Haifa,
Israel, in July 2022.
CONFERNCES
FLoC 2022 brings together twelve major international conferences, 70+
workshops, and several special events.
* CAV http://i-cav.org/2022/
* CP https://cp2022.a4cp.org/
* CSF https://www.ieee-security.org/TC/CSF2022/
* DL https://dai.fmph.uniba.sk/events/dl2022/
* FSCD https://www.cs.tau.ac.il/~nachumd/FSCD/
* ICLP https://software.imdea.org/Conferences/ICLP2022/
* IJCAR https://easychair.org/cfp/IJCAR-2022
* ITP https://itpconference.github.io/ITP22/
* KR https://kr2022.cs.tu-dortmund.de/
* NMR https://sites.google.com/view/nmr2022/home-page
* LICS https://lics.siglog.org/lics22/
* SAT http://satisfiability.org/SAT22/
KEYNOTES/PLENARY LECTURES
* Catuscia Palamidessi, Director of Research at INRIA
* Don Knuth, CP invited speaker, The Art of Computer Programming at
Stanford University
* Orna Kupferman, School of Computer Science and Engineering at The Hebrew
University of Jerusalem
* Ziyad Hanna, Corporate Vice President at Cadence Design Systems
* Aarti Gupta, Department of Computer Science at Princeton University
CONFERENCE INVITED SPEAKERS
* CAV: Arie Gurfinkel, Neha Rungta
* FSCD: Cynthia Kop, Alwen Tiu
* ICLP: Fabrizio Riguzzi, Theresa Swift
* LICS: Amal Ahmed, Mikolaj Bojanczyk
* KR: Yejin Choi, Tony Hunter, Leonid Libkin
SOCIAL EVENTS
There is one Reception and one Banquet during each FLoC block, and one
Workshop Dinner during each of the workshop blocks. For details, see
https://www.floc2022.org/program. Guests are welcome: you can reserve your
place(s) via the registration system.
SPECIAL EVENTS
Two logic lounges are held - one on August 2nd and the other on August 7th.
See https://www.floc2022.org/logiclounge for details.
MENTORING WORKSHOPS
Two mentoring workshops will be held, on August 1 and August 5.
See https://www.floc2022.org/flocmentoringworkshop for more details.
SPONSORSHIP
We are indebted to our sponsors for making FLoC possible, see:
https://www.floc2022.org/sponsors
LOCAL INFORMATION
Our website includes details for travel (including accessibility), venues,
and things to do in Haifa for our attendees and their families: see
https://www.floc2022.org/information for more information.
FLoC 2022 promises to be an exciting meeting, and we hope to see you in
Haifa!
CALL FOR VOLUNTEERS
FLoC 2022 invites students to apply to our volunteer program. Volunteers
will receive a stipend (a variable amount towards registration and travel
costs for students depending on the origin of travel) in exchange for
volunteer work at the conference. FLoC’22 volunteers will be able to
interact with speakers and participants, network with other researchers, and
meet graduate students from all over the world. See
https://www.floc2022.org/volunteers for details.
ADDITIONAL INFORMATION
See https://www.floc2022.org/about
_______________________________________________
Vardi-list mailing list
Vardi-list(a)mailman.rice.edu
https://mailman.rice.edu/mailman/listinfo/vardi-list
Next Wednesday, June 15 at 16h CET we will have the next session of the
Logica Universalis Webinar.
It is about the book
"Logic in Question - Talks from the Annual Sorbonne Logic Workshop (2011-
2019)"
published in the book series Studies in Universal Logic (SUL)
https://www.springer.com/series/7391
This book is related to the Workshop "Logic in Question" organized every
Spring at the Sorbonne in Paris since 2011
http://www.logic-in-question.org/
In this workshop all aspects of logic are discussed and we already had
talks by a great variety of speakers from all over the world
http://www.logic-in-question.org/speakers-2011-2019.html
The present book collects not all the talks, but a good number of them. It
is a 750-page book including 38 papers such as:
- "What Is “Ancient Chinese Logic?" by Guo Zhenzhen
- "Frege’s Silence About Bolzano" by Jan Sebestik
- "The Relevance Logic Programme: Failed or Just Stalled?" by David
Makinson
- "Contributions of Logical Analysis for Mathematics Education" by Viviane
Durand-Guerrier
- "Back and Forth in Positive Logic", by Bruno Poizat and Aibat Yeshkeyev
to quote just a few.
This session of the webinar will be chaired by Razvan Diaconescu, member
of the editorial board of SUL.
There will be a general presentation of the workshop and the book and then
a talk corresponding to one chapter of the book:
- "The Place and Value of Logic in Louis Couturat’s Philosophical Thinking"
by Anne-Françoise Schmid
Louis Couturat was born January 17, 1868 and died August 3 1914.
His world Logic Day Number is therefore B+3
"A confirmed pacifist, he was killed when his car was hit by a car carrying
orders for the mobilization of the French Army, in the first stage of World
War I."
https://en.wikipedia.org/wiki/Louis_Couturat
He proposed the word "Logistique" (Logistics) to name modern logic. He was
close to Bertarnd Russell.
The correspondence between Couturat and Russell, the most important
scientific correspondence of Russell, dealing with all kinds of topics, was
lost under the snow in La-Chaux-de-Fonds in Switzerland. Many years later
It was edited and published by the author of the talk, Anne-Françoise Schmid
Correspondance sur la philosophie, la logique et la politique : Bertrand
Russell et Louis Couturat, 1897-1913
https://www.amazon.fr/Correspondance-sur-philosophie-logique-politique/dp/2…
See here the review by Alasdair Urquhart:
https://www.academia.edu/2140956/The_Couturat-Russell_Correspondence_edited…
Couturat was the creator and promoter of the universal language Ido
Here is the wikipedia page about Couturat in Ido
https://io.wikipedia.org/wiki/Louis_Couturat
With Léopold Léau he wrote
"Histoire de la Langue Universelle"
https://archive.org/details/histoiredelalang00coutuoft
Couturat published the work of Leibniz on logic which was almost unknown
and wrote:
La logique de Leibniz
https://archive.org/details/lalogiquedeleib00coutgoog/page/n4/mode/2up
By Anne-Françoise Schmid (together with Oliver Schlaudt)
there is the book (also published by Birkhäuser):
Louis Couturat: The History of Modern Symbolic Logic and Other French
Manuscripts
https://link.springer.com/book/10.1007/978-3-030-84828-6
Within the project
A PRIZE OF LOGIC IN EVERY COUNTRY !
the logic prize for France was named "Louis Couturat Logic Prize"
http://www.uni-log.org/logic-prize-world
Everybody is welcome to attend the next Logica Universalis Webinar
Register here:
https://www.springer.com/journal/11787/updates/20065848
Jean-Yves Beziau
Organizer of the Logica Universalis Webinar
Series Editor Studies in Universal Logic
http://www.logica-universalis.org/sul
FSTTCS 2022 - Call for Papers
-----------------------------
https://www.fsttcs.org.in/2022/
FSTTCS 2022 is the 42nd conference on Foundations of Software Technology
and Theoretical Computer Science. It is organised by IARCS, the Indian
Association for Research in Computing Science, in association with ACM
India. It is a forum for presenting original results in foundational
aspects of Computer Science and Software Technology.
FSTTCS 2022 will be held in IIT Madras during December 18–20, 2022.
List of Topics
-----------
Track A
------
Algebraic Complexity
Algorithms and Data Structures
Algorithmic Graph Theory and Combinatorics
Approximation Algorithms
Combinatorial Optimization
Communication Complexity
Computational Biology
Computational Complexity
Computational Geometry
Computational Learning Theory
Cryptography and Security
Data Streaming and Sublinear algorithms
Economics and Computation
Parallel, Distributed and Online Algorithms
Parameterized Complexity
Proof Complexity
Quantum Computing
Randomness in Computing
Theoretical Aspects of Mobile and High-Performance Computing
Track B
------
Automata, Games and Formal Languages
Logic in Computer Science
Modal and Temporal Logics
Models of Concurrent, Distributed and Mobile Systems
Models of Timed, Reactive, Hybrid and Stochastic Systems
Model Theory
Principles and Semantics of Programming Languages
Program Analysis and Transformation
Security protocols
Specification, Verification and Synthesis
Theorem Proving and Decision Procedures
Invited Speakers
-------------
Patricia Bouyer-Decitre (CNRS & ENS Paris-Saclay)
Irit Dinur (Weizmann Institute)
Anupam Gupta (Carnegie Mellon)
Akash Lal (Microsoft Research)
Rahul Santhanam (University of Oxford)
Submission Guidelines
------------------
Submissions must be in electronic form via EasyChair (using the
following link: https://easychair.org/my/conference?conf=fsttcs2022) in
the LIPIcs LaTeX style which is available here:
https://submission.dagstuhl.de/documentation/authors. Submissions must
not exceed 15 pages (excluding bibliography), but may include a clearly
marked appendix containing technical details. The appendix will be read
only at the discretion of the program committee. Simultaneous
submissions to journals or other conferences with published proceedings
are disallowed.
Accepted papers will be published as proceedings of the conference in
the Leibniz International Proceedings in Informatics (LIPIcs) as a
free, open, electronic archive with access to all. Authors will retain
full rights over their work. The accepted papers will be published under
a CC-BY license. For an accepted paper to be included in the
proceedings, one of the authors must commit to presenting the paper at
the conference.
Important Dates
Submission deadline: July 14, 2022 AoE (firm)
Notification to authors: September 16, 2022
FSTTCS 2022: December 18–20, 2022.
Programme Committee
------------------
Track A
------
Venkatesan Guruswami (University of California, Berkeley) – Co-chair
V. Arvind (The Institute of Mathematical Sciences)
Divesh Aggarwal (National University of Singapore)
Diptarka Chakraborty (National University of Singapore)
Radu Curticapean (IT University of Copenhagen)
Sumegha Garg (Harvard University)
Badih Ghazi (Google Research)
Tom Gur (University of Warwick)
Euiwoong Lee (University of Michigan)
Debmalya Panigrahi (Duke University)
Pravesh Kothari (Carnegie Mellon University)
Nicole Megow (Universität Bremen)
Prajakta Nimbhorkar (Chennai Mathematical Institute)
Rishi Saket (Google Research, India)
Ramprasad Saptharishi (Tata Institute of Fundamental Research)
Rakesh Venkat (Indian Institute of Technology, Hyderabad)
David Wajc (Stanford University)
Amir Yehudayoff (Technion, Israel)
Meirav Zahavi (Ben-Gurion University, Israel)
Track B
------
Anuj Dawar (University of Cambridge) – Co-chair
Ashutosh Trivedi (University of Colorado Boulder)
Deepak D’Souza (Indian Institute of Science)
Igor Walukiewicz (Université de Bordeaux, France)
Jonni Virtema (University of Sheffield, UK)
Laura Bozzelli (University of Naples, Italy)
Laure Daviaud (City University of London)
Maribel Fernandez (King's College London)
Mohamed Faouzi Atig (Uppsala University, Sweden)
Natasha Alechina (Utrecht University, Netherlands)
Nathan Lhote (Aix-Marseille University, France)
Olaf Beyersdorff (Friedrich Schiller University Jena, Germany)
Radha Jagadeesan (DePaul University)
Shaull Almagor (Technion, Israel)
Shibashis Guha (Tata Institute of Fundamental Research)
Supratik Chakraborty (Indian Institute of Technology, Bombay)
Organizing Committee
Meghana Nasre (IIT Madras) – co-chair
Chandrashekhar Sahasrabudhe (ACM India, Member)
Jayalal Sarma (IIT Madras) – co-chair
Contact Information
All questions about submissions should be emailed to the PC chairs:
anuj.dawar(a)cl.cam.ac.uk or venkatg(a)berkeley.edu
*Apologies for eventual multiple receptions*
The 4th workshop on Learning & Automata - satellite of ICALP’22
https://learnaut22.github.io/
July 4th, 2022, Paris & on-line
Location: building Halle aux Farines<https://u-paris.fr/batiment-de-la-halle-aux-farines/> located in the heart of the site “Grands Moulins” of the Université de Paris<https://u-paris.fr/batiment-des-grands-moulins/>.
This event will be conducted in hybrid mode: in person in Paris (organizers' preferred choice) and virtually.
Registration is mandatory for both modes, the registration links can be found here: https://learnaut22.github.io/registration.html
It is our pleasure to inform you about LearnAut 2022, the fourth edition of the workshop, this time co-located with ICALP.
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.
The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.
The LearnAut workshop will consist of 3 invited talks and 14 contributed talks from researchers whose submitted works were selected after a double-blind peer-reviewed phase. A significant amount of time will be kept for interactions between participants.
** Invited Speakers **
* Jeffrey Heinz, Stony Brook University, USA
* Sheila McIlraith, University of Toronto, Canada
* Ariadna Quattoni, Universitat Politècnica de Catalunya, Spain
** Selected papers **
* Learning state machines via efficient hashing of future traces, by Robert Baumgartner and Sicco Verwer
* Towards Efficient Active Learning of PDFA, by Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset and Thao Dang
* An Algebraic Approach to Learning and Grounding, by Johanna Björklund, Adam Dahlgren Lindström and Frank Drewes
* Spectral Regularization: an Inductive Bias for Sequence Modeling, by Kaiwen Hou and Guillaume Rabusseau
* Marginal Inference queries in Hidden Markov Models under context-free grammar constraints, by Mohamed Reda Marzouk and Colin de la Higuera
* Robust Attack Graph Generation, by Dennis Mouwen, Sicco Verwer and Azqa Nadeem
* Analyzing Büchi Automata with Graph Neural Networks, by Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche and Andreas Fischer
* Spectral Initialization of Recurrent Neural Networks: Proof of Concept, by Maude Lizaire, Simon Verret and Guillaume Rabusseau
* Sequential Density Estimation via Nonlinear Continuous Weighted Finite Automata, by Tianyu Li, Bogdan Mazoure and Guillaume Rabusseau
* Extending Shinohara's Algorithm for Computing Descriptive (Angluin-Style) Patterns to Subsequence Patterns, by Markus L. Schmid
* Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case, by Clara Lacroce, Prakash Panangaden and Guillaume Rabusseau
* On the limit of gradient descent for Simple Recurrent Neural Networks with finite precision, by Rémi Eyraud and Volodimir Mitarchuk
* Learning regular non-deterministic distributions via non-linear optimization methods, by Wenjing Chu, Shuo Chen and Marcello Bonsangue
* Learning from Positive and Negative Examples: New Proof for Binary Alphabets, by Jonas Lingg, Mateus de Oliveira Oliveira and Petra Wolf
==============================
Matteo Sammartino, Lecturer
Royal Holloway University of London
Department of Computer Science
Tel.: (+44) (0) 1784 44 3690
Office: 2-07, Bedford Building
https://matteosammartino.com/
This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.
(Apologies for cross-posting)
The early bird registration for ESSLLI 2022 has been extended once more, to 12th June:
https://nuigalwaydatascienceinstitute.clr.events/event/131959:esslli-2022
This will be the 33rd edition of the European Summer School in Logic, Language
and Information (ESSLLI), taking place from 8-19 August, 2022 at the
National University of Ireland Galway: https://2022.esslli.eu/
*Overview*
The European Summer School in Logic, Language and Information (ESSLLI) is
a yearly recurring event, organised under the auspices of the Association
for Logic, Language and Information (FoLLI), and has been running since 1989.
The ESSLLI Summer School provides an interdisciplinary setting in which
courses and workshops are offered in logic, linguistics and computer science,
also from wider scientific, historical, and philosophical perspectives.
ESSLLI attracts around 400 participants from all parts of Europe, as well
as from North and Latin America, and Asia. ESSLLI has become the main
meeting place for young researchers and students in logic, linguistics and
computer science to discuss current research and to share knowledge. The
event is unique in its interdisciplinary set-up, with no equivalents in Europe.
*Programme*
The ESSLLI Summer School offers an exciting two-week programme, consisting of the following:
- Workshops in logic, linguistics and computer science
- Courses - foundational, introductory and advanced - in three areas:
- - Language and Computation
- - Logic and Computation
- - Logic and Language
- Student session
- Evening lectures
- Social activities
*Registration*
Registration for attendees, course lecturers, student session and workshop
organisers and speakers is now open. The early-registration deadline has
been extended to Sunday 12th June; go to https://2022.esslli.eu/registration.html.
ESSLLI is offering affordable accommodation on campus to all participants who book
before 27th June. Registrations received after this date will not be able to book
accommodation through our portal.
Dear all,
We would like to inform you that the application deadline for the summer school 'Cognitive Reasoning' at the TU Dresden, Germany has been extended until 27th June, 2022.
The event will take place from Sep 4 until Sep 10, 2022. Lectures will be given by Lucía Gómez Álvarez, Ruth Byrne, Ulrich Furbach, Steffen Hölldobler, Gabriele Kern-Isberner, Marco Ragni, Claudia Schon and Leon Urbas.
You can register under the following link:
https://tu-dresden.de/ing/informatik/ki/krr/sommerschule/anmeldung
For more information about the summer school please visit the following website:
https://tu-dresden.de/ing/informatik/ki/krr/sommerschule
With best regards
The Organization Team of the Summer School
--
Technische Universität Dresden
Faculty of Computer Science
Institute of Artificial Intelligence
Chair of Knowledge Representation and Reasoning
Nöthnitzer Strasse 46,
01069 Dresden, Germany
Email: So_2022(a)mailbox.tu-dresden.de<mailto:So_2022@mailbox.tu-dresden.de>
[apologies for multiple copies]
The Thirteenth International Symposium on Games, Automata, Logics, and
Formal Verification will be held in Madrid (Spain) on September 21-23, 2022.
The aim of GandALF 2022 <https://gandalf2022.software.imdea.org/> is to
bring together researchers from academia and industry which are actively
working in the fields of Games, Automata, Logics, and Formal Verification.
The idea is to cover an ample spectrum of themes, ranging from theory to
applications, and stimulate cross-fertilization. Papers focused on formal
methods are especially welcome. Authors are invited to submit original
research or tool papers on all relevant topics in these areas. Papers
discussing new ideas that are at an early stage of development are also
welcome. The topics covered by the conference include, but are not limited
to, the following:
-
Automata Theory
-
Automated Deduction
-
Computational aspects of Game Theory
-
Concurrency and Distributed computation
-
Decision Procedures
-
Deductive, Compositional, and Abstraction Techniques for Verification
-
Finite Model Theory
-
First-order and Higher-order Logics
-
Formal Languages
-
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
-
Games and Automata for Verification
-
Game Semantics
-
Logical aspects of Computational Complexity
-
Logics of Programs
-
Modal and Temporal Logics
-
Model Checking
-
Models of Reactive and Real-Time Systems
-
Probabilistic Models (Markov Decision processes)
-
Program Analysis and Software Verification
-
Reinforcement Learning
-
Run-time Verification and Testing
-
Specification and Verification of Finite and Infinite-state Systems
-
Synthesis
Important Dates
Abstract Submission:
June 3, 2022
Paper Submission:
June 10, 2022
Notification:
July 24, 2022
Camera-ready:
August 12, 2022
Conference:
September 21-23, 2022
⚠ : submission, Notification and Camera-ready dates are AoE
<https://time.is/Anywhere_on_Earth>
Publication
The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science <http://www.eptcs.org/>. Authors of the best papers will
be invited to submit a revised version of their work to a special
issue of Logical
Methods in Computer Science <https://lmcs.episciences.org/>. The previous
editions of GandALF already led to special issues of the International
Journal of Foundations of Computer Science (GandALF 2010), Theoretical
Computer Science (GandALF 2011 and 2012), Information and Computation
(GandALF 2013, 2014, 2016, 2017, 2019 and 2020), Acta Informatica (GandALF
2015) and Logical Methods in Computer Science (2021).
Submission
Submitted papers should not exceed 14 pages (excluding references and
clearly marked appendices) using EPTCS format (please use the LaTeX style
provided here <http://style.eptcs.org>, be unpublished and contain original
research. For papers reporting experimental results, authors are encouraged
to make their data available with their submission. Submissions must be in
PDF format and will be handled via the HotCRP Conference system at the
following address:
https://hotcrp.software.imdea.org/gandalf2022
Invited Speakers
-
Wojciech Czerwiński <https://www.mimuw.edu.pl/~wczerwin/>, University of
Warsaw, Poland
-
Javier Esparza <https://www7.in.tum.de/~esparza/>, Technische
Universität München, Germany
-
Dana Fisman <https://www.cs.bgu.ac.il/~dana/>, Ben-Gurion University,
Israel
-
Jerzy Marcinkowski <https://ii.uni.wroc.pl/~jma/index.phtml>, University
of Wrocław, Poland
Program Committee
Pierre Ganty★
IMDEA Software Institute
Spain
Dario Della Monica★
University of Udine
Italy
Christel Baier
TU Dresden
Germany
Suguman Bansal
University of Pennsylvania
USA
Nathalie Bertrand
Inria
France
Filippo Bonchi
University of Pisa
Italy
Laura Bozzelli
Università degli Studi di Napoli Federico II
Italy
Véronique Bruyère
University of Mons
Belgium
David de Frutos Escrig
Universidad Complutense de Madrid
Spain
Cezara Drăgoi
Informal systems
Mohamed Faouzi Atig
Uppsala University
Sweden
Adrian Francalanza
University of Malta
Malta
Orna Kupferman
The Hebrew University
Israel
Konstantinos Mamouras
Rice University
USA
Roland Meyer
TU Braunschweig
Germany
Fabio Mogavero
Università degli Studi di Napoli Federico II
Italy
Paritosh Pandya
IIT Bombay
India
Paweł Parys
University of Warsaw
Poland
Guillermo Pérez
University of Antwerp
Belgium
Pierre-Alain Reynier
LIS, Aix-Marseille University & CNRS
France
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
China
Georg Zetzsche
Max Planck Institute for Software Systems (MPI-SWS)
Germany
★: co-chair
Steering Committee
Luca Aceto
Reykjavik University
Iceland
Javier Esparza
University of Munich
Germany
Salvatore La Torre
University of Salerno
Italy
Angelo Montanari
University of Udine
Italy
Mimmo Parente
University of Salerno
Italy
Jean-François Raskin
Université libre de Bruxelles
Belgium
Martin Zimmermann
Aalborg University
Denmark