(apologies for multiple copies)
==========================================================================================================
2023 Formal Methods in Computer-Aided Design (FMCAD): Final Call for Papers
with ***Deadlines Extension***
==========================================================================================================
GENERAL INFORMATION
-------------------
Conference website:https://fmcad.org/FMCAD23/
Conference location: Ames, Iowa, USA
Part of the FMCAD 2023 program: FMCAD Student Forum
Co-located event: VSTTE 2023
(https://homepage.cs.uiowa.edu/~ajreynol/VSTTE2023/)
IMPORTANT DATES (WITH ***DEADLINES EXTENSION***)
------------------------------------------------
Abstract Submission: May 15, 2023 (extended from May 8, 2023)
Paper Submission: May 22, 2023 (extended from May 15, 2023)
Author Response: June 29 - July 2, 2023 (postponed from June 22 - June 25,
2023)
Author Notification: July 8, 2023 (postponed from July 1, 2023)
Camera-Ready Version: August 14, 2023
Early Registration Deadline: September 28, 2023
All deadlines are 11:59 pm AoE (Anywhere on Earth)
Conference Dates: October 23 - October 27, 2023, including:
VSTTE: October 23, 2023
FMCAD/VSTTE Tutorial Day: October 24, 2023
FMCAD Regular Program: October 25 - October 27, 2023
CONFERENCE SCOPE AND PUBLICATION
--------------------------------
FMCAD 2023 is the twenty-third in a series of conferences on the theory
and applications of formal methods in hardware and system
verification. FMCAD provides a leading forum to researchers in academia
and industry for presenting and discussing groundbreaking methods,
technologies, theoretical results, and tools for reasoning formally about
computing systems. FMCAD covers formal aspects of computer-aided system
design including verification, specification, synthesis, and testing.
FMCAD employs a rigorous peer-review process. Accepted papers are
published by TU Wien Academic Press under a Creative Commons license (the
authors retain the copyright) and distributed through the IEEE XPlore
digital library. There are no publication fees. At least one of the
authors is required to register for the conference and present the
accepted paper.
TOPICS OF INTEREST
------------------
FMCAD welcomes submission of papers reporting original research on
advances in all aspects of formal methods and their applications to
computer- aided design. Topics of interest include (but are not limited
to):
- Model checking, theorem proving, equivalence checking, abstraction and
reduction, compositional methods, decision procedures at the bit- and
word-level, probabilistic methods, combinations of deductive methods and
decision procedures.
- Synthesis and compilation for computer system descriptions, modeling,
specification, and implementation languages, formal semantics of
languages and their subsets, model-based design, design derivation and
transformation, correct-by-construction methods.
- Application of formal and semi-formal methods to functional and
non-functional specification and validation of hardware and software,
including timing and power modeling, verification of computing systems
on all levels of abstraction, system-level design and verification for
embedded systems, cyber-physical systems, automotive systems and other
safety-critical systems, hardware-software co-design and verification,
and transaction-level verification.
- Experience with the application of formal and semi-formal methods to
industrial-scale designs; tools that represent formal verification
enablement, new features, or a substantial improvement in the automation
of formal methods.
- Application of formal methods to verifying safety, connectivity and
security properties of networks, distributed systems, smart contracts,
block chains, and IoT devices.
SUBMISSIONS
-----------
Submissions must be made electronically in PDF format via CMT:
https://cmt3.research.microsoft.com/fmcad2023/
Submissions are now open!
Two categories of papers are invited: Regular papers, and Tool & Case
Study papers. Regular papers are expected to offer novel foundational
ideas, theoretical results, or algorithmic improvements to existing
methods, along with experimental impact validation where applicable. Tool
& Case Study papers are expected to report on the design, implementation
or use of verification (or related) technology in a practically relevant
context (which need not be industrial), and its impact on design
processes.
Both Regular and Tool & Case study papers must use the IEEE Transactions
format on letter-size paper with a 10-point font size. Papers in both
categories can be either 8 pages (long) or 4 pages (short) in length not
including references. Short papers that describe emerging results,
practical experiences, or original ideas that can be described succinctly
are encouraged. Authors will be required to select an appropriate paper
category at abstract submission time. Submissions may contain an optional
appendix, which will not appear in the final version of the paper. The
reviewers should be able to assess the quality and the relevance of the
results in the paper without reading the appendix.
Submissions in both categories must contain original research that has not
been previously published, nor is concurrently submitted for
publication. Any partial overlap with published or concurrently submitted
papers must be clearly indicated. If experimental results are reported,
authors are strongly encouraged to provide the reviewers access to their
data at submission time, so that results can be independently
verified. The review process is single blind.
Authors of accepted contributions will be required to sign the FMCAD
copyright transfer form found here:https://fmcad.or.at/pdf/copyright.pdf.
STUDENT FORUM
-------------
Continuing the tradition of the previous years, FMCAD 2023 is hosting a
Student Forum that provides a platform for graduate students at any career
stage to introduce their research to the wider Formal Methods community,
and solicit feedback.
Submissions for the event must be short reports describing research ideas
or ongoing work that the student is currently pursuing, and must be within
the scope of FMCAD. Work, part of which has been previously published,
will be considered; the novel aspect to be addressed in future work must
be clearly described in such cases. All submissions will be reviewed by a
select group of FMCAD program committee members.
FMCAD 2023 COMMITTEES
---------------------
PROGRAM CHAIRS:
Alexander Nadel, Intel Corporation and Technion, Israel
Kristin Y. Rozier, Iowa State University, IA, USA
PROGRAM COMMITTEE:
Alessandro Abate, Oxford
Guy Amir, Hebrew University
Clark Barrett, Stanford University
Per Bjesse, Synopsys Inc.
Roderick Bloem, Graz University of Technology
Ivana Cerna, Masaryk University
Supratik Chakraborty, IIT Bombay
Sylvain Conchon, Universite Paris-Sud
Rayna Dimitrova, CISPA Helmholtz Center for Information Security
Rohit Dureja, IBM
Grigory Fedyukovich, Florida State University
Mathias Fleury, University of Freiburg
Amit Goel, Amazon
Alberto Griggio, FBK
Arie Gurfinkel, University of Waterloo
Liana Hadarean, Amazon Web Services
Ziyad Hanna, Cadence Design Systems
William Harrison, Two Six Technologies
Bo-Yuan Huang, Intel
Alan Jović, University of Zagreb
Daniela Kaufmann, TU Wien
Tim King, Google
Rebekah Leslie-Hurd, Cerebras
Andreas Lööw, Imperial College London
Kuldeep Meel, National University of Singapore
Baoluo Meng, GE Research
Naoko Okubo, Japan Aerospace Exploration Agency (JAXA)
Andrew Reynolds, University of Iowa
Philipp Ruemmer, University of Regensburg
Cristoph Scholl, University of Freiburg
Roberto Sebastiani, University of Trento
Shaowei Cai, Chinese Academy of Sciences
Natasha Sharygina, Università della Svizzera Italiana (USI Lugano)
Christoph Sticksel, The Mathworks
Christoph Torens, DLR
Nestan Tsikaridze, Stanford University
Yakir Vizel, Technion
Georg Weissenbacher, TU Wien
Michael Whalen, Amazon Web Services, Inc.
Shufang Zhu, Oxford
STUDENT FORUM CHAIRS:
Mikoláš Janota, Czech Institute of Informatics, Robotics and Cybernetics
(CIIRC), Czech Republic
Nina Narodytska, Samsung Research America, CA, USA
SPONSORSHIP CHAIR:
Yoni Zohar, Bar Ilan University, Israel
WEB CHAIR:
Yogev Shalmon, Intel Corporation and the Open University, Israel
PUBLICATION CHAIR:
Georg Weissenbacher, TU Wien, Austria
FMCAD STEERING COMMITTEE:
Clark Barrett, Stanford University, CA, USA
Armin Biere, University of Freiburg, Germany
Ruzica Piskac, Yale University, CT, USA
Anna Slobodova, Intel Corporation, TX, USA
Georg Weissenbacher, TU Wien, Austria
--
____________________________________________________________
__
/\ \ \_____
/ \ ###[==_____>
/ \ /_/ __
/ __ \ \ \_____
| ( ) | ###[==_____>
/| /\/\ |\ /_/
/ | | | | \
/ |=|==|=| \ Kristin Yvonne Rozier, Ph.D.
/ | | | | \ Associate Professor, Iowa State Univ
/ USA | ~||~ |NASA \ Departments of Aerospace Engineering,
|______| ~~ |______| Computer Science, Mathematics, and
(__||__) Electrical and Computer Engineering
/_\ /_\
!!! !!! laboratory.temporallogic.org
CALL FOR PARTICIPATION
Thirty-Eighth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
26 June – 29 June 2023
preceded by workshops 24-25 June 2023
https://lics.siglog.org/lics23/
Early registration ends 12 May 2023
Student travel grants deadline 8 May 2023
Do book accommodation sooner rather than later. Boston can be expensive and there is another big event on 25 June.
Invited talks and tutorials from Adnan Darwiche, Azadeh Farzan, Dale Miller, Toniann Pitassi, Dan Suciu
Full programme at
https://lics.siglog.org/lics23/program.html
Workshops:
Combinatorial games in finite model theory
The decision problem in first order logic (DPFO 2023)
International Workshop on Quantitative Logical Methods (Qualog)
Structure meets power
Logic mentoring workshop (LMW)
We invite applications of motivated and research-focused individuals to
carry out research on mathematical models of concurrent systems as part
of the NCN project "Frontiers of automatic analysis of concurrent systems".
The project aims at advancing theoretical foundations at the borderline
between automata theory, concurrency and formal verification.
The successful candidate will be hosted by the automata theory group
at the University of Warsaw, offering:
- a vibrant working atmosphere,
- exciting and challenging research problems,
- competitive salary,
- collaborations worldwide.
**************************************************************************
- Application deadline: May 25, 2023
- Starting date: flexible
- Duration: one year, possible extension to another year
- Principal investigator: Slawomir Lasota (www.mimuw.edu.pl/~sl)
- Contact: sl(a)mimuw.edu.pl
**************************************************************************
The ideal candidate is expected to have:
- PhD degree or equivalent in computer science or math
- solid background in formal methods or automata theory
- excellent publication record
- strong motivation for research work in foundations of computer science
- advanced skills in written and spoken English.
For details of application and recruitment procedure, please contact
Sławomir Lasota at sl(a)mimuw.edu.pl
Call for Papers (apologies for multiple copies of this email)
*** DaLí - Dynamic Logic: new trends and applications ***
special issue of the Journal of Logical and Algebraic Methods in
Programming
=== Updated Deadlines ===
* Deadline for submission of papers: June 15th, 2023 Notification of
acceptance/rejection: November 1st, 2023 Submission of final versions:
December 1st, 2023*
=== General Description ===
Dynamic Logic (DL), a generalization of the logic of Floyd-Hoare introduced
in the 70s by Pratt, is a well-known and particularly powerful way of
combining propositions, for capturing static properties of program states,
and structured actions, responsible for transitions from a state to another
(and typically combined through a Kleene algebra to express sequential,
non-deterministic, iterative behavior of systems), into a formal framework
to reason about, and verify, classic imperative programs. Over time DL
grew to encompass a family of logics increasingly popular in the
verification of computational systems, and able to evolve and adapt to new,
and complex validation challenges. In particular, the dynamic logic
community is interested in the study of operators that can modify the
structure in which they are being evaluated. Examples include dynamic
logics tailored to specific programming problems or paradigms (e.g.,
separation logics to model the evolution of a program heap); languages to
reason and represent evolving information (e.g., dynamic epistemic logics);
and formalism that aim to model new computing domains, including
probabilistic, continuous and quantum computation.
This special issue is dedicated to new advances in Dynamic Logic. Its aim
is to bring together papers on both pure and applied aspects of various
branches of DL, and foster the exchange of ideas between researchers
working in DL and other disciplines.
We invite submissions on both (a) theoretical topics from all branches of
mathematical logic (e.g., proof-theory, model theory, game theory,
computational complexity, etc.) in connection with DL, as well as (b) their
applications in various areas (including computer science, linguistics,
mathematics, philosophy, etc.).
=== Topics of Interest ===
We invite submissions on the general field of Dynamic Logic, its variants
and applications, including, but not restricted to:
-
Dynamic logic, foundations and applications
-
Logics with regular modalities
-
Modal/temporal/epistemic logics
-
Kleene and action algebras and their variants
-
Quantum dynamic logic
-
Coalgebraic modal/dynamic logics
-
Graded and fuzzy dynamic logics
-
Dynamic logics for cyber-physical systems
-
Dynamic epistemic logic
-
Complexity and decidability of variants of dynamic logics and temporal
logics
-
Model checking, model generation and theorem proving for dynamic logics
=== Submissions ===
Papers should be submitted via EasyChair (
https://easychair.org/conferences/?conf=dalsi2023).
The submissions should be formatted according to the Journal's guidelines (
https://www.elsevier.com/authors/policies-and-guidelines/latex-instructions
).
All submissions will undergo the usual peer-review process by the standards
of the Journal of Logical and Algebraic Methods in Programming.
=== Guest editors ===
Diana Costa (LASIGE, University of Lisbon, Portugal)
Carlos Areces (FAMAF, Universidad Nacional de Córdoba, Argentina)
=== A related conference ===
This special issue is a follow-up of the workshop “DaLí - Dynamic Logic:
new trends and applications” (affiliated with LICS, as part of FLOC) that
took part on the 31st of July and 1st of August 2022, (
http://dali2022.campus.ciencias.ulisboa.pt/). Although the scope of the
special issue coincides with that of the workshop, submissions are not
restricted to papers presented there or papers by the participants.
Rather, the call is open and all papers within the scope of the special
issue are welcome.
Best regards,
Diana & Carlos
DaLí 2022 special issue editors.
[apologies for cross-postings]
The Fourteenth International Symposium on Games, Automata, Logics, and
Formal Verification (GandALF 23) will be held in Udine (Italy) on *September
18-20, 2023*.
The aim of GandALF 2023
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23…>
is to bring together researchers from academia and industry who 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
· Game Semantics
· Games and Automata for Verification
· 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 deadline: 23 June 2023
· Paper submission deadline: 30 June 2023
· Acceptance notification: 7 August 2023
· Camera-ready deadline: 6 September 2023
· Conference dates: 18-20 September 2023
⚠ all deadlines are AoE
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftime.is%2…>
Publication
The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science
<https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.eptcs.…>.
Authors of selected papers will be invited to submit a revised version of
their work to a special issue of Logical Methods in Computer Science
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flmcs.epis…>
.
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, 2018, 2019, and 2020), Acta
Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF
2021 and 2022).
Submission
Submitted papers should not exceed 14 pages (excluding references and
clearly marked appendices) using EPTCS format (please use the LaTeX style
provided here
<https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fstyle.eptc…>),
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 easychair at the following address:
https://easychair.org/conferences/?conf=gandalf23
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…>
Invited Speakers
· Laure Daviaud
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.city.…>
– City, University of London (UK)
· Juha Kontinen
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fresearchp…>
– University of Helsinki (Finland)
· Sophie Pinchinat
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpeople.ir…>
– IRISA/University of Rennes (France)
· Alexander Rabinovich
<https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cs.tau…>
– Tel Aviv University (Israel)
Program Committee
· Dario Della Monica (co-chair) – University of Udine (Italy)
· Antonis Achilleos (co-chair) – Reykjavik University (Iceland)
· Parosh Aziz Abdulla – Uppsala University (Sweden)
· Christel Baier – Technische Universität Dresden (Germany)
· Valentina Castiglioni – Reykjavik University (Iceland)
· Giorgio Delzanno – University of Genova (Italy)
· Léo Exibard – Université Gustave Eiffel (France)
· Gabriele Fici – University of Palermo (Italy)
· Dana Fisman – Ben-Gurion University (Israel)
· Nicola Gigante – Free University of Bozen-Bolzano (Italy)
· Miika Hannula – University of Helsinki (Finland)
· Naoki Kobayashi – The University of Tokyo (Japan)
· Orna Kupferman – Hebrew University (Israel)
· Martin Leucker – University of Lübeck (Germany)
· Fabio Mogavero – University of Napoli (Italy)
· Shankara Narayanan Krishna – Indian Institute of Technology,
Bombay (India)
· Pawel Parys – University of Warsaw (Poland)
· Guillermo Pérez – University of Antwerp (Belgium)
· Giovanni Pighizzini – University of Milano (Italy)
· Gabriele Puppis – University of Udine (Italy)
· Joshua Sack – California State University Long Beach (USA)
· Ocan Sankur – CNRS/Irisa (France)
· Patrick Totzke – University of Liverpool (UK)
· Jana Wagemaker – Radboud University (Netherlands)
· Martin Zimmermann – Aalborg University (Denmark)
· *(to be completed)*
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)
Website
https://gandalf23.uniud.it/
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23…>
LICS 2023 Workshop on Combinatorial Games in Finite Model Theory
June 24-25, 2023, Boston, USA
https://gamesandfmt.org/workshop2023/
Updated Call for Contributions and Participation
The goal of this workshop is to promote work at the interface of complexity
and logic. The workshop has two main foci: the first is recent progress in
using combinatorial games to prove logical (in)expressiblity results, the
second is limitations in the method of combinatorial games as a tool for
establishing lower bounds in computational complexity.
Invited Speakers:
Yijia Chen (Shanghai Jiao Tong University)
Erich Grädel (RWTH Aachen)
Neil Immerman (University of Massachusetts Amherst)
Antonina Kolokolova (Memorial University of Newfoundland)
Submission Guidelines:
Those wishing to speak at the workshop on any topic related to
combinatorial games in finite model theory are invited to submit an
Extended Abstract of up to three pages (including references) describing
the content of the contributed presentation. At least one author from each
accepted abstract must register for the workshop. *Presenters at the
workshop are expected to be in person.* For additional information, please
visit the workshop webpage https://gamesandfmt.org/workshop2023/
Important Dates (Updated):
Abstract Submission: May 5, 2023
Author Notification: May 11, 2023
Early Registration Deadline: May 12, 2023
Regular Registration Deadline: June 9, 2023
Participation:
Participation in person is strongly encouraged. However, the LICS 2023
conference also offers a basic virtual attendance option for all the
workshops and the main conference (video broadcasting + chat for questions)
for people that are not presenting and who will not be able to attend in
person. For details, see the main LICS Registration Page
<https://lics.siglog.org/lics23/registration.php>.
Organizing and Program Committee:
Marco Carmosino (IBM Research), Ronald Fagin (IBM Research), Phokion
Kolaitis (UC Santa Cruz and IBM Research), Jonathan Lenchner (IBM
Research), Ryan Williams (MIT)
--
Phokion Kolaitis
http://users.soe.ucsc.edu/~kolaitis/
==========================================================
CALL FOR PAPERS
FTfJP 2023
25th Workshop on Formal Techniques for Java-like Programs
July 18th, 2023, Seattle, WA, USA
https://2023.ecoop.org/track/ftfjp-2023
===========================================================
=== Important Dates ===
* Paper submission: May 22nd, 2023 (AoE)
* Author notification: June 23rd, 2023 (AoE)
* Workshop date: July 18th, 2023 (co-located with ECOOP 2023)
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.
Submission site: https://easychair.org/conferences/?conf=ftfjp2023
=== Objectives and Scope ===
Formal techniques can help analyse programs, precisely describe program
behaviour, and verify program properties. Modern programming languages
are interesting targets for formal techniques due to their ubiquity and
wide user base, stable and well-defined interfaces and platforms, and
powerful (but also complex) libraries. New languages and applications in
this space are continually arising, resulting in new programming
languages (PL) research challenges.
Work on formal techniques and tools and on the formal underpinnings of
programming languages themselves naturally complement each other. FTfJP
is an established workshop which has run annually since 1999 alongside
ECOOP, with the goal of bringing together people working in both fields.
The workshop has a broad PL theme. The most important criterion is that
submissions will generate interesting discussions within this community.
The term “Java-like” is somewhat historic and should be interpreted
broadly: FTfJP solicits and welcomes submissions relating to programming
languages in general, beyond Java, including submissions related to C#,
Scala, and similar languages, and submissions on more general topics
that may be relevant to such languages.
Example topics of interest include:
* Language design and semantics
* Type systems
* Concurrency and new application domains
* Specification and verification of program properties
* Program analysis (static or dynamic)
* Program synthesis
* Security
* Pearls (programs or proofs)
FTfJP welcomes submissions on technical contributions, case studies,
experience reports, challenge proposals, and position papers.
Webpages for previous workshops in this series are available at:
https://ftfjp.github.io/
=== Paper Categories ===
Contributions are sought in two categories:
* Full Papers (6 pages, excluding references) present a technical
contribution, case study, or detailed experience report. We welcome
both complete and incomplete technical results; ongoing work is
particularly welcome, provided it is substantial enough to stimulate
interesting discussions.
* Short Papers (2 pages, excluding references) should advocate a
promising research direction, or otherwise present a position likely
to stimulate discussion at the workshop. We encourage, e.g.,
established researchers to set out a personal vision, and beginning
researchers to present a planned path to a Ph.D.
Both types of contributions will benefit from feedback received at the
workshop. Submissions will be peer reviewed, and will be evaluated based
on their clarity and their potential to generate interesting
discussions. Reviewing will be single blind, there is no need to
anonymize submissions.
The format of the workshop encourages interaction. FTfJP is a forum in
which a wide range of people share their expertise, from experienced
researchers to beginning PhD students.
=== Submission Guidelines ===
All submissions and reviews will be managed within EasyChair.
Submissions should be made via
https://easychair.org/conferences/?conf=ftfjp2023
There is no need to indicate the paper category (long/short).
Submissions should be in acmart/sigplan style, 10pt font. Formatting
requirements are detailed on the SIGPLAN Author Information page
(https://www.sigplan.org/Resources/Author).
We plan that, as in previous years, accepted papers will be published in
the ACM Digital Library, though authors will be able to opt out of this
publication, if desired. At least one author of an accepted paper must
register to the conference by the early registration date and attend the
workshop to present the work and participate in the discussions.
Selected papers will also be considered for extended versions to be
submitted to the Journal of Object Technology (JOT).
Verification Mentoring Workshop (VMW) 2023
http://www.i-cav.org/2023/workshops/mentoring/
July 18, 2023
Paris, France
Co-located with the 35th International Conference on Computer Aided Verification (CAV)
http://www.i-cav.org/2023/
We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2023. The deadline for applications is extended to May 5th. Applications are received via the form at
https://forms.gle/Yh9rrCdPB2UhrWaq7
ABOUT THE MENTORING WORKSHOP
The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage the participation of women and underrepresented minorities.
The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied CAV related topics. Other talks will provide mentoring and career advice, from academia and industry.
CONTACT
In case of questions, please contact the VMW organizers:
Ankush Densai <ankushdesai(a)gmail.com>
Eric Koskinen <ekoskine(a)stevens.edu>
Burcu Kulahcioglu Ozkan <B.Ozkan(a)tudelft.nl>
Marijana Lazić <lazic(a)in.tum.de>
Matteo Sammartino <Matteo.Sammartino(a)rhul.ac.uk>
==============================
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.
------------------------------------------------------------------------------------------------------------
--> Please feel free to forward this e-mail to interested persons! <--
Are you a woman working in logic?
Please join us on July 1 at WiL, give a talk, and enjoy a day with Women in Logic!
Please submit an abstract of 1-2 pages by April 30, 2023, via EasyChair.
This will help us provide an interesting program, with only a light-weight
selection procedure. More information below:
------------------------------------------------------------------------------------------------------------
Call for Contributions
WiL 2023: 7th Women in Logic Workshop
https://sites.google.com/view/wil2023
July 1, 2023
Co-located with FSCD 2023
* Everybody is welcome! Funding available for participants! *
Please apply here: https://forms.gle/JgiPbjNWRzvkfiyu6
------------------------------------------------------------------------------------------------------------
Women in Logic 2023 is a satellite event of the 8th International Conference
on Formal Structures for Computation and Deduction (FSCD 2023) to be held
in Rome, Italy, from July 1 to July 6, 2023.
The Women in Logic workshop (WiL) provides an opportunity to increase
awareness of the valuable contributions made by women in the area of
logic in computer science. Its main purpose is to promote the excellent
research done by women, with the ultimate goal of increasing their
visibility and representation in the community. Our aim is to:
- provide a platform for female researchers to share their work and
achievements;
- increase the feelings of community and belonging, especially among
junior faculty, post-docs and students through positive interactions
with peers and more established faculty;
- establish new connections and collaborations;
- foster a welcoming culture of mutual support and growth within the
logic research community.
We believe these aspects will benefit women working in logic and computer
science, particularly early-career researchers.
Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018,
Vancouver 2019, Paris 2020, Rome 2021, and Haifa 2022) were very successful
in showcasing women's work and as catalysts for a recognition of the need
for change in the community.
Topics of interest include but are not limited to: automata theory,
automated deduction, categorical models and logics, concurrency
and distributed computation, constraint programming, constructive
mathematics, database theory, decision procedures, description logics,
domain theory, finite model theory, formal aspects of program analysis,
formal methods, foundations of computability, games and logic,
higher-order logic, lambda and combinatory calculi, linear logic,
logic in artificial intelligence, logic programming, logical aspects
of bioinformatics, logical aspects of computational complexity,
logical aspects of quantum computation, logical frameworks, logics
of programs, modal and temporal logics, model checking, probabilistic
systems, process calculi, programming language semantics, proof theory,
real-time systems, reasoning about security and privacy, rewriting,
type systems and type theory, and verification.
INVITED SPEAKERS
* Sandra Alves (Universidade de Porto, Portugal)
* Marie Kerjean (CNRS, Université Sorbonne Paris Nord)
IMPORTANT DATES
Abstract submission deadline: April 30, 2023
Notification: May 19, 2023
Funding application: see the website
Contribution for informal proceedings: June 25, 2023
Workshop: July 1, 2023
SUBMISSIONS
Abstracts should be written in English (1-2 pages), and prepared
using the Easychair style (https://easychair.org/publications/for_authors).
The abstracts should be uploaded to the WiL 2023 Easychair page
as a PDF file (https://easychair.org/my/conference?conf=wil2023)
before the submission deadline on April 30, 2023, anywhere on Earth.
FUNDING
Due to the generous support of our sponsors, we have limited funding available
for speakers and other participants. If you would like to apply for it, please
fill out the funding application on our website.
ORGANIZING AND PROGRAM COMMITTEE
* Agata Ciabattoni (Vienna University of Technology)
* Zoé Christoff (University of Groningen)
* Amy Felty (University of Ottawa)
* Marie Fortin (IRIF)
* Sujata Ghosh (ISI Chennai)
* Sandra Kiefer (Co-chair, University of Oxford)
* Cláudia Nalon (University of Brasília)
* Daniele Nantes-Sobrinho (Co-chair, Imperial College London)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)
* Alexandra Silva (Cornell University)
* Renata Wassermann (University of São Paulo)