Dear colleagues,
It is our pleasure to invite you to participate in the *Logic for the
Friendship of Nations* *online* workshop which will take place between *January
14 - 15, 2022*. it is a unique celebration of the UNESCO World Logic Day in
the International Year of Basic Sciences and Sustainable Development which
for the first time is taking place as a joint international program
representing several countries including Iran, Iraq, India, Norway,
Iceland, Denmark, Sweden, Finland, Thailand, Malaysia, Japan, Korea,
Bosnia, France, the United States, and the United Kingdom. Feel free to
write to us via *a.s.daghighi(a)gmail.com <a.s.daghighi(a)gmail.com>* if you or
your institutes are willing to join the global movement of logicians for
peace and dialogue.
More info on the conference website: http://araku.ac.ir/web/irfs/friendship
Best regards,
Ali Sadegh Daghighi, Ph.D.,
https://alidaghighi.org/
Vice President at the Institute for Interdisciplinary Research in
Fundamental Sciences (IRFS), Iran
[image: Mailtrack]
<https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=sig…>
Sender
notified by
Mailtrack
<https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=sig…>
۰۰/۱۰/۲۰،
۲۳:۳۰:۱۵
=====================================
Call for Participation (CSL'22)
=====================================
News: Online conference; Registration is open; List of accepted papers; Ackermann awards.
=====================================
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.
CSL 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, online. The conference is hosted by the University of Göttingen. More details, including the schedule, will be announced soon on the website:
http://csl2022.uni-goettingen.de/
Invited speakers:
------------------
Annabelle McIver Macquarie (University, Sydney, Australia)
Udi Boker (IDC Herzliya, Israel)
Martin Escardo (University of Birmingham, UK)
Rosalie Iemhoff (Utrecht University, The Netherlands)
Karen Lange (Wellesley College, USA)
Accepted papers:
-----------------
The Program Committee selected 35 accepted papers for presentation at CSL 2022. Their titles and authors can be seen here:
http://csl2022.uni-goettingen.de/#acceptedpaper
Registration:
--------------
To register for CSL 2022, please fill in the registration form at:
https://events.gwdg.de/event/95/
The participation fee for CSL 2022 is as follows:
- members of EACSL (2022): free
- students: 5 Euro
- members of EATCS or ACM SIGLOG (2022): 15 Euro
- regular: 20 Euro
This fee covers participation in CSL 2022 and includes membership of EACSL for 2022 (https://www.eacsl.org/membership/).
This fee has to be paid directly to the EACSL, as indicated in the registration process, and is processed by the EACSL.
There is no participation fee for the collocated workshops (see below), and they can be attended without paying the CSL registration fee, but the CSL-registration form should still be filled.
These participation fees are made possible only due to the generous financial support by the German Research Foundation (DFG) and the University of Göttingen.
Important dates:
-----------------
Speaker registration deadline: January 31st, 2022. At least one author of every contributed paper must register as a speaker.
Non-speaker registration deadline: February 6th, 2022. All participants must register.
Helena-Rasiowa-Award:
----------------------
The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022.
The award will be given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors. The Helena-Rasiowa-Award will be announced during the conference.
Read more about the contribution of Helena Rasiowa to logic and computer science, and their interplay, here: https://www.eacsl.org/?page_id=1104
Ackermann Award 2021:
----------------------
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The award for 2021 will be presented during CSL 2022.
The Ackermann Award 2021 is given to two PhD theses (in alphabetic order):
Marie Fortin for her thesis "Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata" defended at ENS Paris-Saclay, (France) in 2020. Supervisors: Paul Gastin and Benedikt Bollig
and
Sandra Kiefer for her thesis "Power and Limits of the Weisfeiler-Leman Algorithm" defended at RWTH Aachen, (Germany) in 2020. Examiners: Martin Grohe, Pascal Schweitzer, Neil Immerman
Colocated events:
------------------
LCC 2022: Logic and Computational Complexity
---------
Meetings of the workshop "Logic and Computational Complexity" are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2022 will be the 23rd workshop in the series, see https://www.cs.swansea.ac.uk/lcc/. The program will consist of invited lectures as well as contributed papers selected by the Program Committee.
LMW@CSL: Logic Mentoring Workshop
---------
The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject. Building on successful LMW editions from past years, its first winter edition will be collocated with CSL 2022.
Website: https://lmw.mpi-sws.org/csl/
Contact:
---------
Please send all questions about submissions to the PC co-chairs and main organizers:
csl2022(a)easychair.org
CALL FOR NOMINATIONS
The 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation
INTRODUCTION
An annual award, called the Alonzo Church Award for Outstanding
Contributions to Logic and Computation, was established in 2015 by the
ACM Special Interest Group for Logic and Computation (SIGLOG), the
European Association for Theoretical Computer Science (EATCS), the
European Association for Computer Science Logic (EACSL), and the Kurt
Goedel Society (KGS). The award is for an outstanding contribution
represented by a paper or by a small group of papers published within
the past 25 years. This time span allows the lasting impact and depth
of the contribution to have been established. The award can be given
to an individual, or to a group of individuals who have collaborated
on the research. For the rules governing this award, see
https://siglog.org/alonzo-church-award/,
https://www.eatcs.org/index.php/church-award/, and
https://www.eacsl.org/alonzo-church-award/ .
The 2021 Alonzo Church Award was given jointly to Georg Gottlob, Christoph
Koch, Reinhard Pichler, Luc Segoufin and Klaus U. Schulz for their ground-breaking
work on logic-based web-data extraction, and querying tree-structured data.
Lists containing this and all previous winners can be found through the links
above.
ELIGIBILITY AND NOMINATIONS
The contribution must have appeared in a paper or papers published within
the past 25 years. Thus, for the 2022 award, the cut-off date is January 1,
1997. When a paper has appeared in a conference and then in a journal, the
date of the journal publication will determine the cut-off date. In
addition, the contribution must not yet have received recognition via a
major award, such as the Turing Award, the Kanellakis Award, or the Goedel
Prize. (The nominee(s) may have received such awards for other
contributions.) While the contribution can consist of conference or journal
papers, journal papers will be given a preference.
Nominations for the 2022 award are now being solicited. The nominating
letter must summarize the contribution and make the case that it is
fundamental and outstanding. The nominating letter can have multiple
co-signers. Self-nominations are excluded. Nominations must include: a
proposed citation (up to 25 words); a succinct (100-250 words) description
of the contribution; and a detailed statement (not exceeding four pages) to
justify the nomination. Nominations may also be accompanied by supporting
letters and other evidence of worthiness.
Nominations should be submitted to rjagadee(a)depaul.edu by April 2, 2022.
PRESENTATION OF THE AWARD
The 2022 award will be presented at the Federated Logic Conference 2022, which is
scheduled to take place in Haifa, Israel in July/August 2022. The award will be
accompanied by an invited lecture by the award winner, or by one of the award winners.
The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are
multiple awardees, this amount will be shared.
AWARD COMMITTEE
The 2022 Alonzo Church Award Committee consists of the following five members:
Thomas Colcombet, Mariangiola Dezani, Javier Esparza, Radha Jagadeesan (chair), and
Igor Walukiewicz.
[Please distribute. Apologies for multiple postings]
CALL FOR PAPERS
WoLLIC 2022
28th Workshop on Logic, Language, Information and Computation
September 20 to 23, 2022
Iași, Romania
ORGANISATION
Faculty of Computer Science, Alexandru Ioan Cuza University, Romania
Centro de Informática, Universidade Federal de Pernambuco, Brazil
CALL FOR PAPERS
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-eighth WoLLIC will be held at the
Faculty of Computer Science, Alexandru Ioan Cuza University, Iași, Romania,
September 20 to 23, 2022. It is scientifically sponsored by the European
Association for Computer Science Logic (EACSL), the Interest Group in Pure
and Applied Logics (IGPL), the The Association for Logic, Language and
Information (FoLLI), the Association for Symbolic Logic (ASL) (tbc), the
European Association for Theoretical Computer Science (EATCS) (tbc), and
the Sociedade Brasileira de Lógica (SBL).
ABOUT THE LOCATION
Iași https://www.uaic.ro/en/iasi-2/
PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas of
interest are: foundations of computing, programming and Artificial
Intelligence (AI); novel computation models and paradigms; broad notions of
proof and belief; proof mining, type theory, effective learnability and
explainable AI; formal methods in software and hardware development;
logical approach to natural language and reasoning; logics of programs,
actions and resources; foundational aspects of information organization,
search, flow, sharing, and protection; foundations of mathematics;
philosophical logic; philosophy of language.
Proposed contributions should be in English, and consist of a scholarly
exposition accessible to the non-specialist, including motivation,
background, and comparison with related works. Articles should be written
in the LaTeX format of LNCS by Springer (see author's instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must
not exceed 12 pages, with up to 5 additional pages for references and
technical appendices. The paper's main results must not be published or
submitted for publication in refereed venues, including journals and other
scientific meetings.
It is expected that each accepted paper be presented at the meeting by one
of its authors. (At least one author is required to pay the registration
fee before granting that the paper will be published in the proceedings.)
Papers must be submitted electronically at the WoLLIC 2022 EasyChair
website https://easychair.org/conferences/?conf=wollic2022.
PROCEEDINGS
The proceedings of WoLLIC 2022, including both invited and contributed
papers, will be published in advance of the meeting as a volume in
Springer's LNCS series. In addition, abstracts will be published in the
Conference Report section of the Logic Journal of the IGPL, and selected
contributions will be published (after a new round of reviewing) as a
special post-conference WoLLIC 2022 issue of Mathematical Structures in
Computer Science (MSCS).
INVITED SPEAKERS
(TBA)
IMPORTANT DATES
April 30, 2022: Abstract deadline
May 7, 2022: Full paper deadline
June 15, 2022: Author notification
June 26, 2022: Final version deadline (firm)
PROGRAM COMMITTEE
Arthur Azevedo de Amorim (Boston University)
Agata Ciabattoni (Technische Universität Wien) (Co-Chair)
Diana Costa (University of Lisbon)
Denisa Diaconescu (University of Bucharest)
Hans van Ditmarsch (Open University of the Netherlands)
Rajeev Goré (The Australian National University)
Roman Kuznets (Technische Universität Wien)
João Marcos (Univ Federal do Rio Grande do Norte)
Larry Moss (Indiana University Bloomington)
Valeria de Paiva (Topos Institute and PUC-Rio)
Elaine Pimentel (University College London) (Co-Chair)
Revantha Ramanayake (University of Groningen)
Mehrnoosh Sadrzadeh (University College London)
Alexandra Silva (Cornell University)
Alex Simpson (University of Ljubljana)
Sonja Smets (University of Amsterdam)
Alwen Tiu (The Australian National University)
Leon van der Torre (University of Luxembourg)
Andrea Aler Tubella (Umeå University)
Andres Villaveces (Universidad Nacional de Colombia)
Renata Wassermann (Universidade de São Paulo)
STEERING COMMITTEE
Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel
Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de
Queiroz, Alexandra Silva, Renata Wassermann.
ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira
Ono, Jouko Väänänen.
ORGANISING COMMITTEE
Ștefan Ciobâcă (Alexandru Ioan Cuza Univ) (Co-Chair)
Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil)
Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair)
SCIENTIFIC SPONSORSHIP
European Association for Computer Science Logic (EACSL)
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL) (tbc)
European Association for Theoretical Computer Science (EATCS) (tbc)
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 who is considered a
father of modern differential geometry. "Taking the Long View: The Life of
Shiing-shen Chern" (George Scisery, 2011) examines the life of a remarkable
mathematician whose formidable mathematical contributions were matched by
an approach and vision that helped build bridges between China and the
West. The biographical documentary follows Shiing-shen Chern (1911-2004)
through many of the most dramatic events of the 20th century, portraying a
man who dedicated his life to pure mathematics with the style of a
classical Chinese sage. (zalafilms.com)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
https://wollic2022.github.io/
===================================================================================
WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
** First call for papers **
http://wadt2022.web.ua.pt
Aveiro, 28-30 June, 2022
===================================================================================
** Aims and Scope **
The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. In 2020 WADT features additionally two special thematic tracks: one in *Algebra for timed and hybrid systems* and another in *Algebraic approaches to quantum computation*.
** Main track **
Typical, but not exclusive topics of interest for the main track are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and models of concurrent and distributed systems
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification
** Algebra for timed and hybrid systems **
Track Chair: Renato Neves (UM, PT)
The track 'Algebra for timed and hybrid systems' seeks algebraic contributions towards a better understanding of timed and hybrid systems, including their design and verification. A non-exhaustive list of topics includes:
- (co)algebraic syntax and semantics,
- observational notions of equivalence,
- equational reasoning and variants thereof,
- distributed and/or concurrent computing;
- modal and temporal logic,
- (co)algebraic verification tools,
- experience reports on the use of (co)algebraic tools.
** Algebraic approaches to quantum computation **
Track Chair: Rui Soares Barbosa (INL, PT)
This track seeks contributions on algebraic methods in the context of quantum computing, broadly understood, ranging from foundations to applications and tools. A non-exhaustive list of topics includes:
- foundational structures for quantum computing
- quantum calculi and logics
- quantum programming languages
- algebraic and categorical semantics for quantum computing
- algebraic approaches to verification of quantum programs
- rewriting and automated reasoning with applications to quantum compilation and optimisation
- tool support
- application of quantum algebra to quantum computing and beyond
** Invited Speakers (to be completed)**
- José Meseguer University of Illinois at Urbana-Champaign, US
- Peter Selinger Dalhousie University, Canada
** Workshop format and location **
WADT'22 is planned to be realized in a family-owned guesthouse with panoramic views to lagoon Pateira de Fermentelos, 20 minutes from the centre of Aveiro. Information about accommodation will be available in http://wadt2022.web.ua.pt.
Being planned as a physical, in-person event, due the COVID19 current situation, we will provide certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come, depending on the pandemic situation.
** Submissions and Publications **
Presentations will be selected on the basis of submitted abstracts. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair link https://easychair.org/conferences/?conf=wadt2022.
WADT 2022 is organised by IFIP WG 1.03. As an IFIP event, post-proceedings will be published by Springer in the LNCS series (requested). The deadline for the submission of full papers to be considered in this volume, to be announced during the workshop, are expected to the end of September 2022.
** Important dates **
April 1 Contributed Abstracts
April 17 Notifications about the contributed talks
TBA: full papers, for the post-proceeding volume
** Organisation **
* Steering Committee *
Andrea Corradini (IT)
José Fiadeiro (UK)
Rolf Hennicker (GE)
Alexander Knapp (GE)
Hans-Jörg Kreowski (GE)
Till Mossakowski (GE)
Fernando Orejas (SP)
Leila Ribeiro (BR)
Markus Roggenbach (UK)
Grigore Roșu (US)
* Program Committee (to be completed) *
Erika Abraham (RWTH Aachen, NL)
Luis S. Barbosa (U. Minho, PT)
Rui S. Barbosa (INL, PT) [Track Chair]
Carlos Caleiro (U. Lisboa, PT)
Andrea Corradini (U. Pisa, IT)
José Luiz Fiadeiro (U. Dundee, UK)
Ichiro Hasuo (National Institute of Informatics, JP)
Rolf Hennicker (LMU, DE)
Marieke Huisman (U. Twente, NL)
Martti Karvonen (U. Ottawa, CN)
Aleks Kissinger (U. Oxford, UK)
Alexander Knapp (U. Augsburg, DE)
Alexandre Madeira (U. Aveiro, PT) [Co-chair]
Manuel A. Martins (U. Aveiro, PT) [Co-chair]
Narciso Marti-Oliet (U. Complutense de Madrid, SP)
Dominique Mery (LORIA, FR)
Till Mossakowski (U. Magdeburg, DE)
Renato Neves (U. Minho, PT) [Track Chair]
Peter Ölveczky (U. Oslo, NR)
Fernando Orejas (U. Politècnica Catalunya, SP)
Markus Roggenbach (Swansea University, UK)
Georg Struth (U. Sheffield, UK)
Ionut Tutu (Simion Stoilow Institute of Mathematics, RO)
Benoît Valiron (Univ. Paris Saclay, FR)
Vladimir Zamdzhiev (Inria, FR)
** Contacts **
For any information, please contact us to wadt2022(a)easychair.org<mailto:wadt2022@easychair.org>
-------------------------------------------------------
Alexandre Madeira
http://sweet.ua.pt/madeira/
Dear Colleagues,
The Centre de Recerca Matemàtica (CRM) in Bellaterra, Barcelona has opened a call for several postdoctoral positions. One of them is a 2-year position in the area of Combinatorics and Theoretical Computer Science.
Find attached the full call below, with links. The deadline for application is 31st January 2022. The most important eligibility criteria is to have finished PhD studies between 01.01.2017 and 31.12.2019 (see details in the link of the call).
For questions do not hesitate on contacting one of the 4 senior researchers at CRM working on this area this area:
- Albert Atserias: atserias(a)cs.upc.edu
- Guillem Perarnau: guillem.perarnau(a)upc.edu
- Marc Noy: marc.noy(a)upc.edu
- Juanjo Rué: juan.jose.rue(a)upc.edu
The official announcement follows:
****************
The Centre de Recerca Matemàtica (CRM) offers 4 junior postdoctoral positions and 5 senior postdoctoral positions funded by the María de Maeztu Unit of Excellence Award (2020)
Junior postdoctoral positions:
* 2 in the area of Applied Mathematics, which include applications to Mathematical Biology, Neuroscience and Climate Science.
* 1 in the area of Algebra, Geometry, Number Theory and Topology.
* 1 in the area of Analysis, Partial Differential Equations and Dynamical Systems.
Senior postdoctoral positions:
* 2 in the area of Applied Mathematics, which include applications to Mathematical Biology, Neuroscience and Climate Science.
* 1 in the area of Algebra, Geometry, Number Theory and Topology.
* 1 in the area of Analysis, Partial Differential Equations and Dynamical Systems.
* 1 in the area of Combinatorics and Theoretical Computer Science.
Junior Postdoctoral Positions at CRM
------------------------------------
DESCRIPTION
Duration: 2 years full-time, fixed-term appointment.
Working conditions: The researcher will be offered a temporary contract by Centre de Recerca Matemàtica. Each fellow will be mentored by a CRM senior researcher.
Gross salary: 26000 EUR/year before taxes.
Teaching: These grants follow the teaching guidelines of the Juan de la Cierva-Incorporación contracts: “... las personas que sean contratadas al amparo de estas ayudas podrán prestar colaboraciones complementarias en tareas docentes, en su misma institución o en otras, por un máximo de 80 horas anuales, a petición propia y con la aprobación de su institución, respetando, en su caso, la normativa vigente de incompatibilidades del personal al servicio de las Administraciones Públicas."
APPLICATIONS DEADLINE: 31st January 2022
ELIGIBILITY CHECK: 8th February 2022
SHORTLISTED CANDIDATES: will be contacted by 20th March 2022
INTERVIEWS: 1st – 2nd week of April 2022
ANNOUNCEMENT OF THE CALL RESULTS: Selected candidates will be contacted during the 2nd week of May 2022.
More information and applications:
https://www.crm.cat/junior-postdoctoral-positions-at-crm/
Senior Postdoctoral Positions at CRM
------------------------------------
DESCRIPTION
Duration: 2 years full-time, fixed-term appointment.
Working conditions: The researcher will be offered a temporary contract by Centre de Recerca Matemàtica. Each fellow will be mentored by a CRM senior researcher.
Gross salary: 29000 EUR/year before taxes.
Teaching: These grants follow the teaching guidelines of the Juan de la Cierva-Incorporación contracts: “... las personas que sean contratadas al amparo de estas ayudas podrán prestar colaboraciones complementarias en tareas docentes, en su misma institución o en otras, por un máximo de 80 horas anuales, a petición propia y con la aprobación de su institución, respetando, en su caso, la normativa vigente de incompatibilidades del personal al servicio de las Administraciones Públicas.
APPLICATIONS DEADLINE: 31st January 2022
ELIGIBILITY CHECK: 8th February 2022
SHORTLISTED CANDIDATES: will be contacted by 20th March 2022
INTERVIEWS: 1st – 2nd week of April 2022
ANNOUNCEMENT OF THE CALL RESULTS: Selected candidates will be contacted during the 2nd week of May 2022
More information and applications:
https://www.crm.cat/senior-postdoctoral-positions-at-crm/
IMPORTANT:
----------
Please browse the CRM website for details on the Research Areas and the faculty as well as their publications and current projects. It is advisable for you to contact your possible postdoc mentor(s) to discuss the possible topic/project.
CRM Research Areas: https://www.crm.cat/research-areas/
For more information, please contact rrhhMdM2020(a)crm.cat
von Havelund, Klaus (US 348B) via fm-announcements
NFM 2022 – FINAL CALL FOR PAPERS
The 14th NASA Formal Methods Symposium
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.c…
May 24-27, 2022
Pasadena, California, USA
*** EXTENDED SUBMISSION DEADLINE: January 10, 2022 ***
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: January 3, 2022 *** extended ***
- Paper Submission: January 10, 2022 *** extended ***
- Paper Notifications: February 28, 2022
- Camera-ready Papers: March 28, 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.
INVITED TALKS AND TUTORIALS
- Dines Bjoerner, Technical University of Denmark, Denmark
- Edwin Brady, University of St. Andrews, UK
- Steve Chien, NASA Jet Propulsion Laboratory, USA
- Ankush Desai, Amazon Web Services, USA
- Daniel Jackson, MIT, USA
- Julia Lawall, INTIA Paris, France
- Anastasia Mavridou, KBR Inc / NASA Ames Research Center, USA
- Leonardo De Moura, Microsoft Research, USA
- Sriram Sankaranarayanan, University of Colorado Boulder, USA
- Alex Summers, University of British Columbia, Canada
- Emina Torlak, University of Washington, USA
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. Reviewing is Single-blind.
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 Organizer
- Richard Murray, Caltech, USA
Scientific Advisor
- Mani Chandy, 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
---
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
Several fully funded PhD scholarships for UK applicants are available in
the Security and Trust of Advanced Systems Group [1] (Prof. Achim
Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer
Science of the University of Exeter, UK [4].
We are looking for enthusiastic and outstanding Computer Science or
Mathematics students with a strong background in at least one of the
following topics:
* safety or security of (software) systems,
* formal modelling or formal reasoning/verification,
* program analysis or program verification,
* language-based security
* semantics of programming languages,
* theorem proving, model checking,
* cryptographic protocols,
* distributed systems (e.g., blockchain),
* specification-based testing, and
* design and implementation of security architectures.
This award provides annual funding to cover UK tuition fees and a
tax-free stipend. For students who pay UK tuition fees the award will
cover the tuition fees in full, plus at least £15,009 per year
tax-free stipend. The studentship will be awarded on the basis of
merit for 3.5 years of full-time study.
Interested candidates should contact the potential supervisors
Prof. Achim Brucker (a.brucker(a)exeter.ac.uk) or Dr. Diego Marmsoler
(d.marmsoler(a)exeter.ac.uk) to discuss their application.
For more details, please consult the official advertisements:
* Compositional Verification of Smart Contracts in Isabelle:
https://www.exeter.ac.uk/study/funding/award/?id=4326
* Formal Verification for Safety- or Security-Critical Systems:
https://www.exeter.ac.uk/study/funding/award/?id=4328
* Software Engineering for Security- or Safety-Critical Systems:
https://www.exeter.ac.uk/study/funding/award/?id=4329
* Open Call:
https://www.exeter.ac.uk/study/funding/award/?id=4343
The closing date for applications is midnight on the 24th of January 2022.
Best,
Achim and Diego
[1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/
[2] https://www.brucker.ch/
[3] https://marmsoler.com/
[4] http://emps.exeter.ac.uk/computer-science/
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
Dear Colleagues
We are working on the preparation of UNILOG'2022 and the conditions are
good.
The COVID-19 has always been weak in Crete. The event will be 100% in
person.
The doors of the Island were opened to tourism last summer without problem
and the conference center, near Chania, where UNILOG'2022 will take place
has already resumed its activities a couple of months ago.
Note also that the event will take place in the first half of April, before
the start of the tourist season.
UNILOG 2022 is organized under the Aegis of the Government of Crete.
Crete is an island with a history of about 5.000 years, cradle of Western
civilization, including the Labyrinth, Plato's cave and much more.
Everybody is welcome to join and enjoy this wonderful place.
The deadline for early bird registration fee is December 15:
https://sites.google.com/view/unilog-2022/registration
UNILOG is a series of events (combining a congress and a school) promoting
- logic in all its aspects: mathematical, philosophical, computational,
semiotic, historical
- the relations between logic and other fields
7th UNIVERSAL LOGIC SCHOOL
The school will have a duration of 5 days: from April 1st to April 5, 2022
with:
- an opening round table on the topic "Why study logic?"
- 30 tutorials
- a closing session about how to publish
7th UNIVERSAL LOGIC CONGRESS
The congress will have a duration of 6 days: from April 6 to April 11 2022,
with
- keynote speakers
- contributing speakers
- workshops
- a secret speaker (as in previous editions), i.e. a speaker whose
identity is revealed only at the time of his/her/its talk or after
- a contest
2nd WORLD LOGIC PRIZES CONTEST
The 1st World Logic Prizes Contest took place in Vichy, France, during the
6th UNILOG in 2018.
This contest is a competition between winners of logic prizes of different
countries.
The winner is awarded the Universal Logic Prize.
There will also be:
- a session honoring recently deceased colleagues, participants of previous
UNILOGs
: Mike Dunn (1941-2021) and John Corcoran (1937-2021)
- a book exhibition and some book launches
We look forward to seeing you in Crete next April !
Best Wishes
Jean-Yves Beziau & Ioannis Vandoulakis
Organizers of UNILOG'2022
https://sites.google.com/view/unilog-2022/