Dear colleagues,
we would like to inform you that the Call for Nominations for the 7th edition of the VCLA International Student Awards is now open! We invite self-nominations from the field of Logic and Computer Science in the following two categories:
· Outstanding Master Thesis Award (EUR 1,200)
* Outstanding Undergraduate Thesis Award (EUR 800)
(Bachelor thesis or equivalent, 1st cycle of the Bologna process)
The degree must have been awarded between January 1, 2021 and December 31, 2022 (inclusive).
Submission deadline is March 31, 2023.
For details, please visit our website:
www.vcla.at/2023/01/call-for-nominations-vcla-international-student-awards/<http://www.vcla.at/2023/01/call-for-nominations-vcla-international-student-…>
All inquiries should be addressed to award(a)logic-cs.at<mailto:award@logic-cs.at>.
Feel free to share the call with anyone who might be interested!
Kind regards
Andrea Hackl, MA
Project Manager
Vienna Center for Logic and Algorithms
Technische Universität Wien
Favoritenstraße 9-11, Stiege 3, 3. Stock, 1040 Wien
andrea.hackl(a)tuwien.ac.at<mailto:andrea.hackl@tuwien.ac.at>
www.vcla.at<http://www.vcla.at>
==============================================================================
Updated information on: EXTENDED DEADLINE for submission
==============================================================================
LAST CALL FOR PAPERS
Eighth International Conference on
Formal Structures for Computation and Deduction (FSCD 2023)
July 3-6, 2023, Rome, Italy
https://easyconferences.eu/fscd2023/
In-cooperation with ACM SIGLOG and SIGPLAN
IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
Abstract: EXTENDED to February 4, 2023
Submission: EXTENDED to February 9, 2023
Rebuttal: March 24-28, 2023 (not changed)
Notification: April 13, 2023 (not changed)
Final version: April 27, 2023 (not changed)
CO-LOCATION AND AFFILIATED WORKSHOPS
------------------------------------
FSCD 2023 will be co-located with CADE-29. The following workshops are affiliated with FSCD and CADE in 2023:
- WIL: 7th Workshop Women in Logic (July 1, 2023)
- WPTE: 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 1, 2023)
- TLLA: 7th International Workshop on Trends in Linear Logic and Applications (July 1-2, 2023)
- LSFA: 8th Logical and Semantic Frameworks with Applications (July 1-2, 2023)
- DCM: 13th International Workshop on Developments in Computational Models (July 2, 2023)
- LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (July 2, 2023)
- UNIF: 37th International Workshop on Unification (July 2, 2023)
- CASC: The CADE ATP System Competition (July 3, 2023)
- HOR: 11th International Workshop on Higher-Order Rewriting (July 4, 2023)
- SMT: 21st International Workshop on Satisfiability Modulo Theories (July 4-6, 2023)
- ADeMaL: Automated Deduction for Machine Learning (July 5, 2023)
- ThEdu: Theorem proving components for Educational software (July 5, 2023)
- Vampire: 7th Vampire Workshop (July 5, 2023)
- IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting (July 5, 2023)
OVERVIEW
--------
FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas.
The suggested, but not exclusive, list of topics for submission is:
1. Calculi:
- Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.);
- Lambda calculus;
- Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.);
- Proof theory (natural deduction, sequent calculus, proof nets, etc.);
- Type theory and logical frameworks;
- Homotopy type theory;
- Quantum calculi.
2. Methods in Computation and Deduction:
- Type systems (polymorphism, dependent, recursive, intersection, session, etc.);
- Induction, coinduction;
- Matching, unification, completion, orderings;
- Strategies (normalization, completeness, etc.);
- Tree automata;
- Model building and model checking;
- Proof search and theorem proving;
- Constraint solving and decision procedures.
3. Semantics:
- Operational semantics and abstract machines;
- Game Semantics and applications;
- Domain theory and categorical models;
- Quantitative models (timing, probabilities, etc.);
- Quantum computation and emerging models in computation.
4. Algorithmic Analysis and Transformations of Formal Systems:
- Type inference and type checking;
- Abstract Interpretation;
- Complexity analysis and implicit computational complexity;
- Checking termination, confluence, derivational complexity and related properties;
- Symbolic computation.
5. Tools and Applications:
- Programming and proof environments;
- Verification tools;
- Proof assistants and interactive theorem provers;
- Applications in industry;
- Applications of formal systems in other sciences;
- Applications of formal systems in education.
6. Formal Systems for Semantics and Verification in new challenging areas:
- Certification;
- Security;
- Blockchain protocols;
- Data bases;
- Deep learning and machine learning algorithms;
- Planning.
PUBLICATION
-----------
The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access.
SPECIAL ISSUE
-------------
Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science, or to TheoretiCS.
SUBMISSION GUIDELINES
---------------------
The submission site is:
https://easychair.org/conferences/?conf=fscd2023
Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair.
Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration.
A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided.
One author of each accepted paper is expected to register and present the work in person at the conference. Alternatively to in-person presentation, also online presentation is possible, but in-person registration by at least one author will still be required.
BEST PAPER AWARD BY JUNIOR RESEARCHERS
--------------------------------------
The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chairs that at least 50% of contribution is made by the junior researcher(s).
PROGRAM COMMITTEE CHAIRS
------------------------
Marco Gaboardi, Boston University
Femke van Raamsdonk, Vrije Universiteit Amsterdam
Email: fscd2023 at easychair.org
PROGRAM COMMITTEE
-----------------
Martin Avanzini, INRIA
Patrick Bahr, ITU Copenhagen
Pablo Barenbaum, University of Quilmes (CONICET) & ICC
Filippo Bonchi, University of Pisa
Sabine Broda, University of Porto
Valeria De Paiva, Topos Institute
Andrej Dudenhefner, TU Dortmund
Santiago Escobar, Universitat Politècnica de València
Claudia Faggian, University of Paris (IRIF)
Frank (Peng) Fu, Dalhousie University
Silvio Ghilardi, University of Milano
Clemens Grabmayer, GSSI or Gran Sasso Science Institute
Nao Hirokawa, JAIST
Mirai Ikebuchi, National Institute of Informatics
Ambrus Kaposi, Eotvos Lorand University
Ian Mackie, University of Sussex
Radu Mardare, University of Strathclyde
Aart Middeldorp, University of Innsbruck
Anders Mortberg, University of Stockholm
Daniele Nantes-Sobrinho, Imperial College London / University of Brasília
Vincent van Oostrom, Independent researcher
Grigore Rosu, University of Illinois Urbana-Champaign
Luca Roversi, University of Torino
Aleksy Schubert, University of Warsaw
Jakob G. Simonsen, University of Copenhagen
Alwen Tiu, Australian National University
Valeria Vignudelli, CNRS/ENS Lyon
Johannes Waldmann, HTWK Leipzig
Sarah Winkler, University of Bolzano
CONFERENCE CHAIR
----------------
Daniele Gorla, University of Rome - Sapienza
WORKSHOP CHAIR
--------------
Ivano Salvo, University of Rome - Sapienza
STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
Cynthia Kop, Radboud University Nijmegen
PUBLICITY CHAIR
---------------
Carsten Fuhs, Birkbeck, University of London
FSCD STEERING COMMITTEE
-----------------------
Zena Ariola, University of Oregon
Alejandro Díaz-Caro, Quilmes University & ICC/CONICET
Amy Felty, University of Ottawa
Carsten Fuhs, Birkbeck, University of London
Herman Geuvers (Chair), Radboud University Nijmegen
Silvia Ghilezan, University of Novi Sad
Jürgen Giesl, RWTH Aachen University
Stefano Guerrini, Université de Paris 13
Delia Kesner, Université de Paris Diderot
Naoki Kobayashi, University of Tokyo
Cynthia Kop, Radboud University Nijmegen
Luigi Liquori, Inria
Daniele Nantes, Imperial College London / University of Brasília
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
=== 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
=== Relevant dates and deadlines ===
Deadline for submission of papers: May 1st, 2023
Notification of acceptance/rejection: September 1st, 2023
Submission of final versions: October 1st, 2023
=== 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)
dianafcosta(a)ua.pt
Carlos Areces (FAMAF, Universidad Nacional de Córdoba, Argentina)
carlos.areces(a)unc.edu.ar
You can contact us if you have any questions.
=== 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.
von Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems
Antwerp, Belgium, 20-22 September 2023
https://www.uantwerpen.be/en/conferences/confest-2023/fmics/
The aim of the FMICS conference series is to provide a forum for researchers
and practitioners who are interested in the development and application of
formal methods in the industry. FMICS brings together scientists and engineers
who are active in the area of formal methods and interested in exchanging their
experiences in the industrial usage of these methods.
The FMICS conference series also strives to promote research and development
for the improvement of formal methods and tools for industrial applications.
IMPORTANT DATES:
Paper submission: 15 May 2023
Authors’ response period: 28-30 June 2023
Notification: 14 July 2023
Camera-ready version: July 31, 2023
Conference: 20-22 September 2023
TOPICS:
Topics of interest include (but are not limited to):
- Case studies and experience reports on industrial applications of formal
methods, focusing on lessons learned or identification of new research
directions.
- Methods, techniques, and tools to support automated analysis, certification,
debugging, learning, optimization, and transformation of complex, distributed,
real-time, embedded, mobile and autonomous systems.
- Verification and validation methods (model checking, theorem proving, SAT/SMT
constraint solving, abstract interpretation, etc.) that address the shortcomings of
existing methods with respect to their industrial applicability (e.g.,
scalability and usability issues, tool qualification, and certification).
- Impact of the adoption of formal methods on the development process and
associated costs.
- Application of formal methods in standardization and industrial forums.
PAPER SUBMISSION:
Papers must describe original research work and results. Submitted papers must
not have previously appeared in a journal or conference with published
proceedings and must not be concurrently submitted to any other peer-reviewed
workshop, symposium, conference, or archival journal. Any partial overlap with
any such published or concurrently submitted paper must be clearly indicated.
Submissions should clearly motivate relevance to industrial applications. Case
study papers should identify lessons learned, validate theoretical results
(such as scalability of methods) or provide specific motivation for further
research and development.
Papers should not exceed 15 pages formatted according to the LNCS style
(Springer). All submissions will be reviewed by the Programme Committee, which
will make a selection among the submissions based on the novelty, soundness,
and applicability of the presented ideas and results.
Papers must be written in English and should be submitted as PDF files using
the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2023.
PROCEEDINGS:
The conference proceedings will be published by Springer in the LNCS series. At
least one author of each accepted paper is expected to present the paper at the
conference as a registered participant.
BEST PAPER AWARD:
An award will be presented to the authors of the submission selected by the
Program Committee as the FMICS 2023 Best Paper. This submission will be awarded
a 1.000 Euro prize sponsored by Springer.
SPECIAL ISSUE:
The Program Committee of FMICS 2023 will invite a selection of accepted papers
to submit extended versions to a special issue of an International Journal.
PC CHAIRS:
Alessandro Cimatti, FBK, Italy
Laura Titolo, NIA/NASA LaRC, USA
PROGRAM COMMITTEE:
Jasmin Blanchette (Vrije Universiteit Amsterdam, the Netherlands)
Supratik Chakraborty (IIT Bombay, India)
Pedro D'Argenio (Universidad Nacional de Cordoba, Argentina)
Jennifer Davis (Collins Aerospace, USA)
David Deharbe (Federal University of Rio Grande do Norte, Brazil)
Alexandre Duret-Lutz (Laboratoire de Recherche et Développement de l'Epita, France)
Alessandro Fantechi (University of Florence, Italy)
Alessio Ferrari (CNR, Italy)
Hubert Garavel (INRIA, France)
Pierre-Loic Garoche (ENAC, France)
Klaus Havelund (JPL, USA)
Jean-Baptiste Jeannin (University of Michigan, USA)
Barbara Jobstmann (EPFL, Switzerland)
Laura Kovac (TU Wien, Austria)
Tiziana Margaria (University of Limerick and LERO, Ireland)
Paolo Masci (NIA/NASA Langley, USA)
Stefan Mitsch (CMU, USA)
Rosemary Monahan (Maynooth University, Ireland)
David Monniaux (VERIMAG, France)
Sergio Mover (Ecole Politechnique, France)
Yannick Moy (ADACORE, France)
Jorge Navas (Certora, USA)
Dejan Nickovic (Austrian Institute of Technology, Austria)
Kristine Yvonne Rozier (Iowa State University, USA)
Cristina Seceleanu (Malardalen University, Sweden)
Martina Seidl (Johannes Kepler University, Austria)
Jaco van de Pol (Aarhus University, Denmark)
Alicia Villanueva (Universitat Politecnica de Valencia, Spain)
Virginie Wiels (Onera, France)
FMICS STEERING COMMITTEE:
Maurice ter Beek (ISTI-CNR, Italy)
Alessandro Fantechi (University of Florence, Italy)
Hubert Garavel (INRIA, France)
Tiziana Margaria (University of Limerick and LERO, Ireland)
Radu Mateescu (INRIA, France)
Jaco van de Pol (Aarhus University, Denmark)
VENUE:
As in previous years, FMICS 2023 is part of the CONFEST umbrella conference. In
addition to FMICS, CONFEST also comprises CONCUR, FORMATS, and QEST, as well as
workshops and tutorials.
CONFEST will be held in Antwerp, Belgium on 18-23 September 2023.
---
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
Two 4-year PhD positions @ AUTOSARD
======================================================================
Within the AUTOSARD project, led by Georg Moser (University of
Innsbruck) and Florian Zuleger (Vienna University of Technology), both
in Austria, there are two openings for 4 year PhD student positions. In
AUTOSARD, we target an automated complexity analysis of the most common
data structures with good, ie. sublinear, complexity, as they are
typically used in standard libraries of programming languages. Our goals
are the verification of textbook data structures, the confirmation and
improvement (on coefficients) of previously reported complexity bounds,
as well as the automated analysis of realistic data structure
implementations. For more details, kindly see
https://tcs-informatik.uibk.ac.at/projects/autosard/
The PhD positions will be be jointly supervised by Georg and Florian and
are either located at Innsbruck or Vienna.
Applications (including CV, short letter of motivation, three
references, preferred location) should be submitted to either
- Georg Moser (georg.moser(a)uibk.ac.at) or
- Florian Zuleger (florian.zuleger(a)tuwien.ac.at)
no later than *March 12, 2023*. Informal inquiries may be sent to either
Florian or Georg.
The city of Innsbruck is superbly located in the beautiful surroundings
of the Tyrolean Alps. The combination of urban life in this historic
town and the Alpine environment provides a high quality of living. On
the other hand, Vienna has just last year reclaimed the title of the
world’s most liveable city; a title it frequently held in the last years.
Further information on the hosting groups and institutions is available
from the following links:
- Theoretical Computer Science Group
https://tcs-informatik.uibk.ac.at/
- University of Innsbruck
https://www.uibk.ac.at/
- Formal Methods in Systems Engineering
https://informatics.tuwien.ac.at/orgs/e192-04
- Vienna University of Technology
https://www.tuwien.at/
Best wishes,
Florian and Georg
CIE 2023: FINAL CALL FOR PAPERS
COMPUTABILITY IN EUROPE 2023
Unity of Logic and Computation
Batumi, Georgia
July 24-28, 2023
https://www.viam.science.tsu.ge/cie2023/
Submission link: https://easychair.org/conferences/?conf=cie2023
IMPORTANT DATES:
* Deadline for article registration (abstract submission): February
8, 2023 (AOE)
* Deadline for article submission: February 15, 2023 (AOE)
* Notification of acceptance: April 20, 2023
* Final versions due: May 1, 2023
* Deadline for informal presentations submission: June 8, 2023 (The
notifications of acceptance for informal presentations will be sent a
few days after submission.)
* Early registration before: June 10, 2023.
GENERAL INFORMATION
CiE 2023 is the 19th conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno
(2020, virtually), Ghent (2021, virtually), and Swansea (2022).
TUTORIAL SPEAKERS
* Ludovic Perret (Sorbonne University)
* Ludovic Patey (Université Paris Diderot)
INVITED SPEAKERS
* Andrei Bulatov (Simon Fraser University)
* Anne Condon (University of British Columbia)
* Stephanie Dick (University of Pennsylvania)
* Kirsten Eisenträger (Pennsylvania State University)
* Neil Lutz (Iowa State University)
* Mark Steedman (University of Edinburgh)
SPECIAL SESSIONS
We are going to have 6 special sessions.
The topics of the special sessions will be announced soon.
CONFERENCE TOPICS
The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics.
PAPER SUBMISSION
THE PROGRAM COMMITTEE cordially invites all researchers, European and
non-European, to submit their papers in all areas related to the above
for presentation at the conference and inclusion in the proceedings of
CiE 2023 at https://easychair.org/conferences/?conf=cie2023
CONFERENCE PROCEEDINGS
Papers submitted to the conference proceedings should represent original
work, not simultaneously submitted to another journal or conference with
formal proceedings.
The Program Committee will rigorously review and select submitted
papers. Accepted papers will be published as a proceedings volume in the
Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.
Papers to be considered in the conferences proceedings must be submitted
in PDF format, using the LNCS style (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…)
and must have a maximum of 12 pages, including references but excluding
a possible appendix in which one can include proofs and other additional
material. Papers building bridges between different parts of the
research community are particularly welcome.
INFORMAL PRESENTATIONS
Continuing the tradition of past CiE conferences, we invite researchers
to present informal presentations of their recent work. A proposal for
an informal presentation must be submitted via EasyChair
(https://easychair.org/conferences/?conf=cie2023), using the LNCS style
file (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…),
and be 1 page long; a brief description of the results suffices and an
abstract is not required. Informal presentations will not be published
in the LNCS conference proceedings. Results presented as informal
presentations at CiE 2023 may appear or may have appeared in other
conferences with formal proceedings and/or in journals.
PROGRAM COMMITTEE
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Nikolay Bazhenov (Novosibirsk State University)
* Manuel Bodirsky (TU Dresden)
* Vasco Brattka (Munich)
* Liesbeth De Mol (University of Lille)
* Gianluca Della Vedova (University of Milano-Bicocca, co-chair)
* Besik Dundua (Kutaisi Intl University)
* Giudittta Franco (University of Verona)
* Juan Luis Gastaldi (ETH Zurich)
* Thomas Graf (Stony Brook University)
* Delaram Kahrobaei (CUNY)
* Ekaterina Komendantskaya (Heriot-Watt University Edinburgh)
* Angeliki Koutsoukou-Argyraki (Cambridge University)
* Steffen Lempp (University of Wisconsin-Madison, co-chair)
* Florin Manea (Goettingen University)
* Klaus Meer (University Cottbus)
* Isabel Oitavem (Nova University Lisbon)
* Roland Omanadze (Ivane Javakhishvili Tbilisi State University)
* Daniel Paulusma (Durham University)
* Elaine Pimentel (University College London)
* Markus Schmid (Humboldt University Berlin)
* Shinnosuke Seki (University Electro Comm Tokyo)
* Sebastiaan Terwijn (Radboud University Nijmegen)
* Dan Turetsky (Victoria University Wellington)
* Linda Westrick (Pennsylvania State University)
WOMEN IN COMPUTABILITY
We are very happy to announce that within the framework of the Women in
Computability program, we are able to offer some grants for junior women
researchers who want to participate in CiE 2023. Applications for this
grant should be sent to Liesbeth de Mol, liesbeth.de-mol(a)univ-lille.fr,
before May 15, 2023 and include a short cv (at most 2 pages) and contact
information for an academic reference. Preference will be given to
junior women researchers who are presenting a paper (including informal
presentations) at CiE 2023.
Association CiE [1]
CiE Conference Series [2]
HOSTED BY
Batumi Shota Rustaveli State University
Rustaveli str. 32, Batumi,
We are grateful for support from Batumi Shota Rustaveli State University
and Institute of Applied Mathematics, Tbilisi State University.
ORGANIZING COMMITTEE
* Davit Begashvili (Kutaisi International University)
* Mikheil Donadze (Batumi Shota Rustaveli State University)
* Besik Dundua (chair, Kutaisi International University and Institute
of Applied Mathematics, Tbilisi State University)
* Tsotne Mikadze (Kutaisi International University)
* Mikheil Rukhaia (co-chair, Institute of Applied Mathematics, Tbilisi
State University)
* Lela Turmanidze (Batumi Shota Rustaveli State University)
Links:
------
[1] https://www.acie.eu
[2] https://www.acie.eu/cie-conference-series/
The next session of LUW (Logica Universalis Webinar)
will be Wednesday January 25, 2023 at 4pm CET (Paris-Geneva-Rome)
Speaker: Zalán Gyenis, Jagiellonian University, Kraków, Poland
Title of the talk: Universal Algebraic Logic - Dedicated to the Unity of
Science
Abstract: This is the presentation of a book by Hajnal Andréka , Zalán
Gyenis, István Németi and Ildikó Sain that gives a comprehensive
introduction to Universal Algebraic Logic. The three main themes are (i)
universal logic and the question of what logic is, (ii) duality theories
between the world of logics and the world of algebra, and (iii) Tarskian
algebraic logic proper including algebras of relations of various ranks,
cylindric algebras, relation algebras, polyadic algebras and other kinds of
algebras of logic. One of the strengths of our approach is that it is
directly applicable to a wide range of logics including not only
propositional logics but also e.g. classical first order logic and other
quantifier logics. Following the Tarskian tradition, besides the
connections between logic and algebra, related logical connections with
geometry and eventually spacetime geometry leading up to relativity are
also part of the perspective of the book. Besides Tarskian algebraizations
of logics, category theoretical perspectives are also touched upon.
https://link.springer.com/book/10.1007/978-3-031-14887-3
Associate Organization: Studies in Universal Logic, Birkhäuser /
Springer-Nature
presented by its Publishing Editor: Frida Trotter
https://www.springer.com/series/7391
Chair: Razvan Diaconescu
Editorial Board SUL
Everybody is welcome to attend
Register here:
https://cassyni.com/s/logica-universalis/seminars/
Jean-Yves Beziau
Series Editor Studies in Universal Logic
Organizer of the Logica Universalis Webinar
http://www.jyb-logic.org/
[Please distribute. Apologies for multiple postings]
CALL FOR PAPERS
WoLLIC 2023
29th Workshop on Logic, Language, Information and Computation
11-14 July, 2023
Halifax, Nova Scotia, Canada
Website: https://www.mathstat.dal.ca/wollic2023/
ORGANISATION
Department of Mathematics and Statistics, Dalhousie University, Canada
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-ninth WoLLIC will be held at the
Department of Mathematics and Statistics, Dalhousie University, Canada,
11-14 July, 2023. It is scientifically sponsored by the Association for
Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL),
the Association for Logic, Language and Information (FoLLI), the European
Association for Theoretical Computer Science (EATCS) (tbc), European
Association for Computer Science Logic (EACSL), and the Sociedade
Brasileira de Lógica (SBL).
LOCATION AND FORMAT
Halifax (https://www.halifax.ca/) is the capital and largest municipality
of the Canadian province of Nova Scotia, and the largest municipality in
Atlantic Canada. (Wikipedia)
WoLLIC 2023 will be a hybrid event. All invited talks are planned to be
on-site in order to stimulate discussions and interaction with participants.
SCOPE
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.
PAPER SUBMISSION
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 either in person or via remote connection. (At least one
author is required to pay a full on-site registration fee before granting
that the paper will be published in the proceedings.)
Papers must be submitted electronically at the WoLLIC 2023 EasyChair
website https://easychair.org/conferences/?conf=wollic2023.
PROCEEDINGS
The proceedings of WoLLIC 2023, including both invited and contributed
papers, will be published as a volume in Springer's LNCS series. Due to the
earlier timeline this year, the proceedings will appear after the workshop.
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 2023 issue of a scientific journal (to be confirmed).
INVITED SPEAKERS
Makoto Kanazawa (Hosei University, Japan)
Magdalena Ortiz (University of Umeå, Sweden)
Aybüke Özgün (University of Amsterdam, Netherlands)
Dusko Pavlovic (University of Hawaii, USA)
Richard Zach (University of Calgary, Canada)
(more to be confirmed)
IMPORTANT DATES
February 20, 2023: Abstract deadline
February 27, 2023: Full paper deadline
May 15, 2023: Author notification
June 5, 2023: Final version deadline
PROGRAMME COMMITTEE
Bahareh Afshari (University of Gothenburg, Sweden and University of
Amsterdam, Netherlands)
Zena Ariola (University of Oregon, USA)
Adriana Balan (University Politechnica of Bucharest, Romania)
Marta Bílková (Czech Academy of Sciences, Czech Republic)
Josée Desharnais (Laval University, Canada)
David Fernández-Duque (Czech Academy of Sciences, Czech Republic)
Santiago Figueira, Universidad de Buenos Aires, Argentina
Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA,
Serbia)
Sujata Ghosh (Indian Statistical Institute, India)
Nina Gierasimczuk (Danish Technical University, Denmark)
Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair)
Andreas Herzig (CNRS, University of Toulouse, France)
Juha Kontinen (University of Helsinki, Finland)
Roman Kuznets (TU Wien, Austria)
Martha Lewis (University of Bristol, UK)
Johannes Marti (University of Oxford, UK)
George Metcalfe (University of Bern, Switzerland)
Michael Moortgat (Utrecht University, Netherlands)
Cláudia Nalon (University of Brasilia, Brasil)
Carlos Olarte (Université Sorbonne Paris Nord, France)
Sophie Pinchinat (University of Rennes, France)
Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France)
Sylvain Pogodalla (INRIA Nancy, France)
Revantha Ramanayake (University of Groningen, Netherlands)
Mehrnoosh Sadrzadeh, University College London, UK
Andre Scedrov (University of Pennsylvania, USA) (co-chair)
Philip Scott (University of Ottawa, Canada)
Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany)
Kazushige Terui (Kyoto University, Japan)
Mladen Vuković (University of Zagreb, Croatia)
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
Julien Ross (Dalhousie University)
Peter Selinger (Dalhousie University) (co-chair)
Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil)
Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair)
SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL) (tbc)
European Association for Theoretical Computer Science (EATCS) (tbc)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Lógica (SBL)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
https://www.mathstat.dal.ca/wollic2023/
==============================================================================
Updated information on: co-location, affiliated workshops, hybrid presentation
==============================================================================
CALL FOR PAPERS
Eighth International Conference on
Formal Structures for Computation and Deduction (FSCD 2023)
July 3-6, 2023, Rome, Italy
https://easyconferences.eu/fscd2023/
In-cooperation with ACM SIGLOG and SIGPLAN
IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
Abstract: January 30, 2023
Submission: February 3, 2023
Rebuttal: March 24-28, 2023
Notification: April 13, 2023
Final version: April 27, 2023
CO-LOCATION AND AFFILIATED WORKSHOPS
------------------------------------
FSCD 2023 will be co-located with CADE-29. The following workshops are affiliated with FSCD and CADE in 2023:
- WIL: 7th Workshop Women in Logic (July 1, 2023)
- WPTE: 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 1, 2023)
- TLLA: 7th International Workshop on Trends in Linear Logic and Applications (July 1-2, 2023)
- LSFA: 8th Logical and Semantic Frameworks with Applications (July 1-2, 2023)
- DCM: 13th International Workshop on Developments in Computational Models (July 2, 2023)
- LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (July 2, 2023)
- UNIF: 37th International Workshop on Unification (July 2, 2023)
- CASC: The CADE ATP System Competition (July 3, 2023)
- HOR: 11th International Workshop on Higher-Order Rewriting (July 4, 2023)
- SMT: 21st International Workshop on Satisfiability Modulo Theories (July 4-6, 2023)
- ADeMaL: Automated Deduction for Machine Learning (July 5, 2023)
- ThEdu: Theorem proving components for Educational software (July 5, 2023)
- Vampire: 7th Vampire Workshop (July 5, 2023)
- IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting (July 5, 2023)
OVERVIEW
--------
FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas.
The suggested, but not exclusive, list of topics for submission is:
1. Calculi:
- Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.);
- Lambda calculus;
- Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.);
- Proof theory (natural deduction, sequent calculus, proof nets, etc.);
- Type theory and logical frameworks;
- Homotopy type theory;
- Quantum calculi.
2. Methods in Computation and Deduction:
- Type systems (polymorphism, dependent, recursive, intersection, session, etc.);
- Induction, coinduction;
- Matching, unification, completion, orderings;
- Strategies (normalization, completeness, etc.);
- Tree automata;
- Model building and model checking;
- Proof search and theorem proving;
- Constraint solving and decision procedures.
3. Semantics:
- Operational semantics and abstract machines;
- Game Semantics and applications;
- Domain theory and categorical models;
- Quantitative models (timing, probabilities, etc.);
- Quantum computation and emerging models in computation.
4. Algorithmic Analysis and Transformations of Formal Systems:
- Type inference and type checking;
- Abstract Interpretation;
- Complexity analysis and implicit computational complexity;
- Checking termination, confluence, derivational complexity and related properties;
- Symbolic computation.
5. Tools and Applications:
- Programming and proof environments;
- Verification tools;
- Proof assistants and interactive theorem provers;
- Applications in industry;
- Applications of formal systems in other sciences;
- Applications of formal systems in education.
6. Formal Systems for Semantics and Verification in new challenging areas:
- Certification;
- Security;
- Blockchain protocols;
- Data bases;
- Deep learning and machine learning algorithms;
- Planning.
PUBLICATION
-----------
The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access.
SPECIAL ISSUE
-------------
Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science, or to TheoretiCS.
SUBMISSION GUIDELINES
---------------------
The submission site is:
https://easychair.org/conferences/?conf=fscd2023
Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair.
Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration.
A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided.
One author of each accepted paper is expected to register and present the work in person at the conference. Alternatively to in-person presentation, also online presentation is possible, but in-person registration by at least one author will still be required.
BEST PAPER AWARD BY JUNIOR RESEARCHERS
--------------------------------------
The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chairs that at least 50% of contribution is made by the junior researcher(s).
PROGRAM COMMITTEE CHAIRS
------------------------
Marco Gaboardi, Boston University
Femke van Raamsdonk, Vrije Universiteit Amsterdam
Email: fscd2023 at easychair.org
PROGRAM COMMITTEE
-----------------
Martin Avanzini, INRIA
Patrick Bahr, ITU Copenhagen
Pablo Barenbaum, University of Quilmes (CONICET) & ICC
Filippo Bonchi, University of Pisa
Sabine Broda, University of Porto
Valeria De Paiva, Topos Institute
Andrej Dudenhefner, TU Dortmund
Santiago Escobar, Universitat Politècnica de València
Claudia Faggian, University of Paris (IRIF)
Frank (Peng) Fu, Dalhousie University
Silvio Ghilardi, University of Milano
Clemens Grabmayer, GSSI or Gran Sasso Science Institute
Nao Hirokawa, JAIST
Mirai Ikebuchi, National Institute of Informatics
Ambrus Kaposi, Eotvos Lorand University
Ian Mackie, University of Sussex
Radu Mardare, University of Strathclyde
Aart Middeldorp, University of Innsbruck
Anders Mortberg, University of Stockholm
Daniele Nantes-Sobrinho, Imperial College London / University of Brasília
Vincent van Oostrom, Independent researcher
Grigore Rosu, University of Illinois Urbana-Champaign
Luca Roversi, University of Torino
Aleksy Schubert, University of Warsaw
Jakob G. Simonsen, University of Copenhagen
Alwen Tiu, Australian National University
Valeria Vignudelli, CNRS/ENS Lyon
Johannes Waldmann, HTWK Leipzig
Sarah Winkler, University of Bolzano
CONFERENCE CHAIR
----------------
Daniele Gorla, University of Rome - Sapienza
WORKSHOP CHAIR
--------------
Ivano Salvo, University of Rome - Sapienza
STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
Cynthia Kop, Radboud University Nijmegen
PUBLICITY CHAIR
---------------
Carsten Fuhs, Birkbeck, University of London
FSCD STEERING COMMITTEE
-----------------------
Zena Ariola, University of Oregon
Alejandro Díaz-Caro, Quilmes University & ICC/CONICET
Amy Felty, University of Ottawa
Carsten Fuhs, Birkbeck, University of London
Herman Geuvers (Chair), Radboud University Nijmegen
Silvia Ghilezan, University of Novi Sad
Jürgen Giesl, RWTH Aachen University
Stefano Guerrini, Université de Paris 13
Delia Kesner, Université de Paris Diderot
Naoki Kobayashi, University of Tokyo
Cynthia Kop, Radboud University Nijmegen
Luigi Liquori, Inria
Daniele Nantes, Imperial College London / University of Brasília
* CONFEST 2023 * Sep 18-23 2023, Antwerpen, Belgium
(https://www.uantwerpen.be/en/conferences/confest-2023/
<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uantw…>
)
-- 2nd Call for Workshop Proposals --
*Submission deadline* : Feb 02
CONFEST is an umbrella conference comprising four international meetings:
- CONCUR (34th International Conference on Concurrency Theory),
- QEST (20th International Conference on Quantitative Evaluation of
SysTems),
- FORMATS (21st International Conference on Formal Modeling and Analysis of
Timed Systems), and
- FMICS (28th International Conference on Formal Methods for Industrial
Critical Systems).
Researchers and practitioners are invited to submit proposals for ONE DAY
workshops on topics related to theory, formal modeling, verification,
performance evaluation and engineering of concurrent, timed, industrial,
and other systems.
Typically, CONFEST workshops feature a number of invited speakers and a
number of contributed presentations.
The workshops will take place one day before (18 September) and one day
after (23 September) the main conferences.
TOPICS
The purpose of the workshops is to provide participants with a friendly,
stimulating, and interactive atmosphere for
- presenting novel ideas,
- discussing their applications,
- encouraging cross-fertilization between industry and academia, and
- fostering opportunities for young and prospective researchers.
ORGANIZATION
CONFEST’23 is planned as a physical, in-person event, with some support for
remote participation.
In a limited number of cases, there will be remote-participation support
for speakers and for other
participants who are unable to come. Please take this into account when
preparing a workshop
proposal and communicate to participants requiring such support that they
should contact the
organisers of CONFEST explaining their case.
We will provide the following to workshop organisers:
- Meeting rooms on demand
- Coffee breaks, catering for lunch, both are included
- CONFEST'23 website cannot be made accessible for edits by third parties
but workshop organisers can either host their own website and provide a
link to it
that we put on CONFEST website, or they send us their content and we put it
in the website.
- Registration will be centralized by CONFEST.
- Special rates for hotels, which can be found in the website
https://www.uantwerpen.be/en/conferences/confest-2023/info/,
as well as further local information about Antwerp.
INSTRUCTIONS FOR PROPOSAL SUBMISSION
Workshop proposals should include:
- The name and the preferred date of the proposed workshop.
- The names and contact information (web page, email address) of the
organisers.
- A short scientific summary and justification of the proposed topic for
the CONFEST community (500 words max).
- A discussion of the proposed format and agenda.
- If applicable, a brief description of past versions of the workshop,
including
dates, organisers, submission and acceptance counts, and attendance.
- Procedures for selecting papers and participants.
- The publication plan (only invited speakers, no published proceedings,
pre-/post-proceedings published with EPTCS/ENTCS/...).
- Potentially invited speakers.
- Tentative schedule for paper submission and notification of acceptance.
The main responsibility for organizing the workshop goes to the workshop
organiser(s), including:
- workshop publicity (possibly including call for papers, submission and
review process)
- scheduling of workshop activities in collaboration with the CONFEST
workshop chair.
Proposals should be sent to Emmanuel Filiot (workshop chair):
efiliot(a)gmail.com
IMPORTANT DATES
- Submission deadline February 2, 2023
- Notification February 16, 2023
- Program of the workshops ready: August 16, 2023
- Workshops: September 18, 23, 2023
- CONFEST conferences: September 18-23, 2023
The CONFEST 2023 workshop chair,
Emmanuel Filiot
Université libre de Bruxelles, Belgium