FSTTCS 2022
----------
https://www.fsttcs.org.in/2022/
FSTTCS 2022 is the 42nd conference on Foundations of Software Technology
and Theoretical Computer Science. It is organised by IARCS, the Indian
Association for Research in Computing Science, in association with ACM
India. It is a forum for presenting original results in foundational
aspects of Computer Science and Software Technology.
FSTTCS 2022 will be held in IIT Madras during December 18–20, 2022.
List of Topics
-----------
Track A
------
Algebraic Complexity
Algorithms and Data Structures
Algorithmic Graph Theory and Combinatorics
Approximation Algorithms
Combinatorial Optimization
Communication Complexity
Computational Biology
Computational Complexity
Computational Geometry
Computational Learning Theory
Cryptography and Security
Data Streaming and Sublinear algorithms
Economics and Computation
Parallel, Distributed and Online Algorithms
Parameterized Complexity
Proof Complexity
Quantum Computing
Randomness in Computing
Theoretical Aspects of Mobile and High-Performance Computing
Track B
------
Automata, Games and Formal Languages
Logic in Computer Science
Modal and Temporal Logics
Models of Concurrent, Distributed and Mobile Systems
Models of Timed, Reactive, Hybrid and Stochastic Systems
Model Theory
Principles and Semantics of Programming Languages
Program Analysis and Transformation
Security protocols
Specification, Verification and Synthesis
Theorem Proving and Decision Procedures
Invited Speakers
-------------
Patricia Bouyer-Decitre (CNRS & ENS Paris-Saclay)
Irit Dinur (Weizmann Institute)
Anupam Gupta (Carnegie Mellon)
Akash Lal (Microsoft Research)
Rahul Santhanam (University of Oxford)
Submission Guidelines
------------------
Submissions must be in electronic form via EasyChair (using the
following link: https://easychair.org/my/conference?conf=fsttcs2022) in
the LIPIcs LaTeX style which is available here:
https://submission.dagstuhl.de/documentation/authors. Submissions must
not exceed 15 pages (excluding bibliography), but may include a clearly
marked appendix containing technical details. The appendix will be read
only at the discretion of the program committee. Simultaneous
submissions to journals or other conferences with published proceedings
are disallowed.
Accepted papers will be published as proceedings of the conference in
the Leibniz International Proceedings in Informatics (LIPIcs) as a
free, open, electronic archive with access to all. Authors will retain
full rights over their work. The accepted papers will be published under
a CC-BY license. For an accepted paper to be included in the
proceedings, one of the authors must commit to presenting the paper at
the conference.
Important Dates
Submission deadline: July 14, 2022 AoE (firm)
Notification to authors: September 16, 2022
FSTTCS 2022: December 18–20, 2022.
Programme Committee
------------------
Track A
------
Venkatesan Guruswami (University of California, Berkeley) – Co-chair
V. Arvind (The Institute of Mathematical Sciences)
Divesh Aggarwal (National University of Singapore)
Diptarka Chakraborty (National University of Singapore)
Radu Curticapean (IT University of Copenhagen)
Sumegha Garg (Harvard University)
Badih Ghazi (Google Research)
Tom Gur (University of Warwick)
Euiwoong Lee (University of Michigan)
Debmalya Panigrahi (Duke University)
Pravesh Kothari (Carnegie Mellon University)
Nicole Megow (Universität Bremen)
Prajakta Nimbhorkar (Chennai Mathematical Institute)
Rishi Saket (Google Research, India)
Ramprasad Saptharishi (Tata Institute of Fundamental Research)
Rakesh Venkat (Indian Institute of Technology, Hyderabad)
David Wajc (Stanford University)
Amir Yehudayoff (Technion, Israel)
Meirav Zahavi (Ben-Gurion University, Israel)
Track B
------
Anuj Dawar (University of Cambridge) – Co-chair
Ashutosh Trivedi (University of Colorado Boulder)
Deepak D’Souza (Indian Institute of Science)
Igor Walukiewicz (Université de Bordeaux, France)
Jonni Virtema (University of Sheffield, UK)
Laura Bozzelli (University of Naples, Italy)
Laure Daviaud (City University of London)
Maribel Fernandez (King's College London)
Mohamed Faouzi Atig (Uppsala University, Sweden)
Natasha Alechina (Utrecht University, Netherlands)
Nathan Lhote (Aix-Marseille University, France)
Olaf Beyersdorff (Friedrich Schiller University Jena, Germany)
Radha Jagadeesan (DePaul University)
Shaull Almagor (Technion, Israel)
Shibashis Guha (Tata Institute of Fundamental Research)
Supratik Chakraborty (Indian Institute of Technology, Bombay)
Organizing Committee
------------------
Meghana Nasre (IIT Madras) – co-chair
Chandrashekhar Sahasrabudhe (ACM India, Member)
Jayalal Sarma (IIT Madras) – co-chair
Contact Information
All questions about submissions should be emailed to the PC chairs:
anuj.dawar(a)cl.cam.ac.uk or venkatg(a)berkeley.edu
Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022
Homepage: https://asl-workshop.github.io/asl22/
Program: https://easychair.org/smart-program/FLoC2022/ASL-index.html
Keynote Speakers
* Philippa Gardner, Imperial College London
* Ralf Jung, MIT CSAIL
ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022. Due to
the ongoing Covid-19 and overall international situation, ASL 2022
will be organized as a virtual event. Virtual participation is free of
charge but requires registration via the following link:
https://asl2022.rsvpify.com/
Program Committee
Nadia Polikarpova (UCSD, San Diego, USA)
James Brotherston (UCL, London, UK)
Qinxiang Cao (Shanghai Jiaotong University)
Dan Frumin (University of Groningen, The Netherlands)
Lennart Beringer (Princeton University, USA)
Arthur Charguéraud (INRIA Strasbourg, France)
Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
Le Quang Loc (UCL, London, UK)
Alessio Mansutti (University of Oxford, UK)
Christoph Matheja (DTU, Lyngby, Denmark)
Daniel Méry (University of Loraine, France)
Koji Nakazawa (Nagoya University, Japan)
Nicolas Peltier (LIG, CNRS, Grenoble, France)
Adam Rogalewicz (Brno University of Technology, Czech Republic)
Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
Florian Zuleger (Vienna University of Technology, Austria)
Organizing committee
Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
Nikos Gorogiannis (Meta, London, UK)
Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands)
Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
Makoto Tatsuta (NII, Tokyo, Japan)
Thomas Noll (RWTH, Aachen, Germany)
Dear colleagues,
we are pleased to announce that the Digital Humanism Summer School 2022
will take place from September 19th to 23rd, 2022 at TU Wien, Austria.
Digital Humanism (DigHum) is an interdisciplinary approach (integrating
humanities, social, and technical sciences) that aims to describe, to
analyse and, above all, to influence the complex interplay between IT and
humanity - for a society that fully respects universal human rights.
Pursuing these goals, we will deal at the summer school with topics such
as AI, humans, and control; ethics and responsible design; fair systems;
participation and democracy; platform power, regulation; work in a new
world; or sovereignty and geopolitics.
The summer school targets PhD students from engineering, social science
and humanities as well as interested persons from industry, institutions
and civil society. Leading scientists from the different fields involved
will introduce the topics. A typical course is broad enough to provide a
general introduction to the chosen topic, whilst one can learn the most
relevant contributions in depth. In addition, there is enough room for
discussions and presentations of participants’ projects.
The summer school is organized by the Center for Artificial Intelligence
and Machine Learning/CAIML (TU Wien) [1], the Digital Enlightenment Forum
[2], and the Digital Humanism Initiative [3].
Please find further details about the program and the application process
here: https://dighum.ec.tuwien.ac.at/summerschool2022/.
We are looking forward to seeing you there!
Moshe Vardi
[1] https://www.tuwien.at/caiml/
[2] https://www.digitalenlightenment.org/
[3] https://dighum.ec.tuwien.ac.at/
-----
Sign the Vienna Manifesto: https://dighum.ec.tuwien.ac.at
Follow us on Twitter @DigHumTUWien
-----
_______________________________________________
Vardi-list mailing list
Vardi-list(a)mailman.rice.edu
https://mailman.rice.edu/mailman/listinfo/vardi-list
This coming Wednesday, July 6 at 4pm CET, we will have in the Logica
Universalis Webinar the talk
"Unification in Pretabular Extensions of S4" by Stepan I. Bashmakov
Abstract: L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal
logic S4 has exactly 5 pretabular extensions PM1–PM5. In this paper, we
study the problem of unification for all given logics. We showed that PM2
and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification.
Complete sets of unifiers in logics are described.
https://link.springer.com/article/10.1007/s11787-021-00287-0
To attend, register here:
https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…
Jean-Yves Beziau
Organizer of the Logica Universalis Webinar
Editor-in-Chief Logica Universalis
http://www.jyb-logic.org
Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022
Homepage: https://asl-workshop.github.io/asl22/
Program: https://easychair.org/smart-program/FLoC2022/ASL-index.html
Keynote Speakers
* Philippa Gardner, Imperial College London
* Ralf Jung, MIT CSAIL
ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022.
In-person registration is done via the FLOC 2022 registration link:
https://www.floc2022.org/registration
Virtual participation is free of charge but requires registration via the following link:
https://asl2022.rsvpify.com/
Program Committee
Nadia Polikarpova (UCSD, San Diego, USA)
James Brotherston (UCL, London, UK)
Qinxiang Cao (Shanghai Jiaotong University)
Dan Frumin (University of Groningen, The Netherlands)
Lennart Beringer (Princeton University, USA)
Arthur Charguéraud (INRIA Strasbourg, France)
Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
Le Quang Loc (UCL, London, UK)
Alessio Mansutti (University of Oxford, UK)
Christoph Matheja (DTU, Lyngby, Denmark)
Daniel Méry (University of Loraine, France)
Koji Nakazawa (Nagoya University, Japan)
Nicolas Peltier (LIG, CNRS, Grenoble, France)
Adam Rogalewicz (Brno University of Technology, Czech Republic)
Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
Florian Zuleger (Vienna University of Technology, Austria)
Organizing committee
Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
Nikos Gorogiannis (Meta, London, UK)
Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands)
Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
Makoto Tatsuta (NII, Tokyo, Japan)
Thomas Noll (RWTH, Aachen, Germany)
*******************************************************
* 2 x PostDoc position in Computer Science Logic
* University of Sheffield, UK
* Salary: £32,344 to £35,326 per annum (Grade 7)
* Deadline: 20th July 2022
* Starting date: ASAP / negotiable
* Duration: Until 31.10.2023 (15 months each)
* (it might be possible to join the posts to one longer post or extend posts past the official end date, contact j.t.virtema(a)sheffield.ac.uk <mailto:j.t.virtema@sheffield.ac.uk> for details)
* Details: https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-lo…
*******************************************************
I am looking for two PostDocs to join the Verification group (https://www.sheffield.ac.uk/dcs/research/groups/verification) of The University of Sheffield (https://www.sheffield.ac.uk/dcs ) to work with me in my DFG funded project "Logical approach to quantum mechanics and contextuality" (http://www.virtema.fi/dfg).
All candidates interested in working in the general topic of logics and complexity theory utilising numerical features and real valued data are encouraged to apply.
The project topics range from logical foundations of probabilistic data and complexity theory utilising real numbers to logical approach to quantum information theory utilising the newly discovered connections to probabilistic team semantics. Candidates with expertise in finite model theory, logic in computer science, or foundations of quantum information theory are in particular encouraged to apply.
Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema(a)sheffield.ac.uk). For more details on the topic, the candidate may refer to the subsection “Probabilistic Logics and Metafinite Model Theory” at http://www.virtema.fi/.
Full advert at https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-lo….
*******************************************************
* PhD position in Logical Approach to Verification of Hyperproperties
* University of Sheffield, UK
* Fully funded for 3.5 years for students applicable for UK Home rates
* Possible times to start: Autumn 2022/Spring 2023
*******************************************************
I am looking for a motivated PhD student to join the Verification group (https://www.sheffield.ac.uk/dcs/research/groups/verification) of The University of Sheffield (https://www.sheffield.ac.uk/dcs). The topic of the PhD project is quite flexible, but should relate to temporal logics for verification (for more details: https://www.findaphd.com/phds/project/logical-approach-to-verification-of-h…).
PhD topics related to logical foundations of probabilistic data and complexity theory utilising real numbers is also possible, please contact me directly for details.
The Studentship will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UKRC rate (currently £15,609 for 2021/22) for three and a half years. International students are eligible to apply, however will have to pay the difference between the UK and Overseas tuition fees.
Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema(a)sheffield.ac.uk). For more details on the topic, the candidate may refer to the subsection "Logics for Verification" at http://www.virtema.fi/
*** We apologize for possible cross posting ***
*********** CALL FOR PAPER ***********
OVERLAY 2022
28th November - 4th December, 2022 (the precise day(s) will be announced later)
Udine, Italy (unless held online, depending on the pandemic emergency situation)
https://overlay.uniud.it/workshop/2022
Co-located with AIxIA 2022
https://aixia2022.uniud.it
*********** *********** ***********
The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Artificial Intelligence systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a close interaction between the Artificial Intelligence and Formal Methods scientific communities.
To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence solutions are getting more and more attention.
The workshop is the main official initiative supported by the OVERLAY group (https://overlay.uniud.it). The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal
Methods, by providing a stimulating environment where researchers can discuss
about opportunities and challenges at the border of the two areas.
Important goals of the workshop are (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges.
This year edition will be held between 28th November and 4th December 2022 (the precise day(s) will be announced later), as a hybrid workshop co-located with AIxIA 2022 (https://aixia2022.uniud.it), which is scheduled to be held in Udine, Italy (unless it will be an online event, depending on the pandemic emergency situation).
*** Invited speaker ***
Luca Bortolussi (University of Trieste, Italy)
*** Call for contributions ***
We accept extended abstracts (4 pages + references) focusing on the interaction between Artificial Intelligence and Formal Methods. Invited talks will complement the presentations of contributed papers.
Topics of interest include (but are not limited to):
automata theory
automated reasoning
automated planning and scheduling
controller synthesis
formal specification languages
formal verification
game theory
hybrid and discrete systems
logics in computer science
reactive synthesis
runtime verification and monitoring
specification and verification of machine learning systems
tools and applications
Contributed papers can present recent results at the border of the two fields, new research directions, challenges and perspectives. Presentation of results recently published in other scientific journals or conferences is also welcome.
We plan on including all papers in the Proceedings of the event, published at CEUR Workshop Proceedings. CEUR WS proceedings are archival proceedings indexed by DBLP and Scopus.
Submitted papers should not exceed four (4) pages plus references. Authors are asked to use CEUR's LaTeX style, available at http://ceur-ws.org/Vol-XXX/CEURART.zip.
Submissions must be in PDF format and will be handled via the EasyChair Conference system at the following address: https://easychair.org/conferences/?conf=overlay22.
*** Important dates ***
- Paper submission: September 30th, 2022
- Acceptance notification: October 21th, 2022
- Camera-ready submission: November 4th, 2022
- Workshop: between 28th November and 4th December, 2022 (the precise day(s) will be announced later)
*** COVID-19 Information ***
Taking into account the emergency situation, the organizers of OVERLAY 2022 will closely monitor the evolution of the pandemic and will take all the necessary actions to guarantee a successful event. OVERLAY 2022 will be planned as a fully in-person conference, with the possibility, on a limited basis, of participating virtually, if necessary. Should the situation worsen and an in-person event become impossible, OVERLAY 2022 will be transformed into a fully virtual conference. Updates on the organization mode will be published and advertised in due time.
In any case, OVERLAY 2022 will be a no-fee event.
*** Program Committee ***
Chairs
Guido Sciavicco - Università di Ferrara
Luca Geatti - Free University of Bozen-Bolzano
Alessandro Umbrico - ISTC-CNR, Roma
PC Members
Riccardo De Benedictis, CNR - Institute of Cognitive Sciences and Technologies (CNR-ISTC), Italy
Davide Bresolin, University of Padova, Italy
Marco Esposito, Sapienza University of Rome, Italy
Francesco Fabiano, University of Parma, Italy
Marco Gavanelli, University of Parma, Italy
Alessandro Gianola, Free University of Bozen-Bolzano, Italy
Nicola Gigante, Free University of Bozen-Bolzano, Italy
Federico Mari, University of Rome Foro Italico, Italy
Andrea Micheli, Fondazione Bruno Kessler, Italy
Emilio Munoz-Velasco, University of Malaga, Spain
Adriano Peron, University of Naples Federico II, Italy
Raine Ronnholm, University of Tampere, Finland
Enrico Scala, University of Brescia, Italy
Mauro Vallati, University of Huddersfield, United Kingdom
Martin Zimmermann, Aalborg University, Denmark
*** Contacts ***
For more information email overlay2022(a)easychair.org<https://mailto:overlay2022@easychair.org>.
STACS 2023 - First call for papers
---------------------------
The 40th International Symposium on Theoretical Aspects of Computer
Science is planned to take place from 7 March to 10 March 2023 in
Hamburg, Germany.
For the first time, STACS 2023 will consist of two tracks, A and B, to
facilitate the work of the program committee(s).
Track A is dedicated to algorithms and data structures, complexity and
games.
Track B will cover automata, logic, semantics and theory of programming.
LISTS OF TOPICS
Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas include:
Track A:
* algorithms and data structures,
including: design of parallel, distributed, approximation, parameterized
and randomized algorithms; analysis of algorithms and combinatorics of
data structures; computational geometry, cryptography, algorithms for
machine learning, algorithmic game theory, quantum algorithms
* complexity,
including: computational and structural complexity theory, parameterized
complexity, randomness in computation
Track B:
* automata and formal languages,
including: automata theory, games, algebraic and categorical methods,
coding theory, models of computation, computability
* logic in computer science,
including: finite model theory, database theory, semantics, type
systems, program analysis, specification & verification, rewriting and
deduction, learning theory, logical aspects of complexity
These lists are not exhaustive. In particular, both tracks also welcome
submissions about current challenges.
PROGRAM COMMITTEE CHAIRS
Track A:
- Petra Berenbrink (Universität Hamburg, Germany)
- Mamadou Moustapha Kante (Université Clermont Auvergne, France)
Track B:
- Patricia Bouyer-Decitre (CNRS, France)
- Anuj Dawar (University of Cambridge, UK)
SUBMISSIONS
Submissions will be through EasyChair.
Authors are invited to submit an extended abstract or full paper with at
most 12 pages (excluding the title page and the references section) to
the appropriate track. The title page consists of the title of the paper
and the abstract, but *no* author information. The first section of the
paper should start on the next page.
The PCs reserve the right to reassign a paper to a different track.
The usage of pdflatex and the LIPIcs style file (see
http://www.dagstuhl.de/en/publications/lipics) are mandatory; no changes
to font size, page geometry, etc. are permitted. Submissions not in the
correct format or submitted after the deadline will not be considered.
The paper should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of
their significance, accessible to non-specialist readers.
Proofs omitted due to space constraints must be put into an appendix, to
be read by the program committee members at their discretion.
Simultaneous submission to other conferences with published proceedings
or to journals is not allowed. PC members are excluded from submitting.
As in the previous two years, STACS 2023 will employ a lightweight
double-blind reviewing process: submissions should not reveal the
identity of the authors in any way. The purpose of the double-blind
reviewing is to help PC members and external reviewers come to an
initial judgment about the paper without bias, not to make it impossible
for them to discover the authors if they were to try. Nothing should be
done in the name of anonymity that weakens the submission or makes the
job of reviewing the paper more difficult. In particular, important
references should not be omitted or anonymized. In addition, authors
should feel free to disseminate their ideas or draft versions of their
paper as they normally would. For example, authors may post drafts of
their papers on the web, submit them to arXiv, and give talks on their
research ideas.
There will be a rebuttal period for authors, see below for the dates.
Authors will receive the reviews of their submissions (via EasyChair)
and have three days to submit rebuttals (via EasyChair). These rebuttals
become part of the PC discussions, but entail no specific responses.
At least one author of each accepted paper is expected to register at
the conference. For authors who cannot present their paper in person a
possibility for remote presentation will be offered.
PROCEEDINGS
Accepted papers will be published in the proceedings of the symposium.
As usual, these proceedings will appear in the Leibniz International
Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl.
This guarantees perennial, free and easy electronic access, while the
authors retain the rights over their work. With their submission,
authors consent to sign a license authorizing the program committee
chairs to organize the electronic publication of their paper, provided
the paper is accepted.
IMPORTANT DATES
* Deadline for submissions: September 25, 2022 (AoE)
* Rebuttal: November 14-16, 2022
* Author notification: December 4, 2022
* Final version: January 8, 2023
* STACS 2023: March 7-10, 2023
CONTACT INFORMATION
Web: stacs-conf.org
Email: petra.berenbrink(a)uni-hamburg.de
30 Years of Finite Model Theory in Finland
Hanaholmen, Espoo, Finland, August 21-23, 2022
The registration is open until 6 July 2022.
https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f… <https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f…>
We solicit proposals for short presentations fitting the wide topic of the workshop. If you are interested in presenting your work at the workshop, please send a brief email to fmt-30(a)helsinki.fi <mailto:fmt-30@helsinki.fi> with your proposed title and a short (one paragraph) abstract.
This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of research in FMT globally.
The meeting will consist of three keynote lectures, several contributed talks, and plenty of time for collaboration spread over a three day period. The workshop aspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. The meeting will take place in a secluded conference hotel Hanaholmen on the coast of the Baltic Sea (https://www.hanaholmen.fi/en/ <https://www.hanaholmen.fi/en/>). While secluded, the hotel is also conveniently located just outside Helsinki city center, and can be reached from the main railway station in 20 minutes using the metro.
Tentative keynote speakers:
Anuj Dawar <https://www.cl.cam.ac.uk/~ad260/> (University of Cambridge)
Phokion G. Kolaitis <https://users.soe.ucsc.edu/~kolaitis/> (University of California, Santa Cruz and IBM Almaden Research Center)
Jouko Väänänen <http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (University of Helsinki and University of Amsterdam)
Registration for the workshop is now open (https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-… <https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-…>). The registration fee is 250€ covering full board during the workshop but not accommodation. The registration is open until 6 July 2022.
Note that the workshop immediately follows the 28th Nordic Congress of Mathematics that takes place in Espoo 18-21 August:
https://ncm28.math.aalto.fi/ <https://ncm28.math.aalto.fi/>