- finite-model-theory - lists.rwth-aachen.de

Call for Papers on Dynamic Logics and related subjects [JLAMP]
by Diana Costa 11 May '23

11 May '23

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.

1 0

ICALP 2023 -- Call for Participation
by Kousha Etessami 11 May '23

11 May '23

======================================================== ICALP 2023 - Call for Participation ======================================================== The 50th EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place in: Paderborn, Germany, on 10-14 July 2023. ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 10. The 2023 edition has the following features: - The conference is planned as a physical, in-person event. - This will be the 50th ICALP conference and some special events are planned. ======================================================== Important dates and information ======================================================== Conference website: https://icalp2023.cs.upb.de/ Twitter: @ICALPconf Early registration: May 15, 2023 by 23:59 CET Conference: July 10-14, 2023 (Workshops on July 10, 2023) ======================================================== Registration ======================================================== Please register here: https://icalp2023.cs.upb.de/registration/ On-site child care: Please contact noelle.maicher.hoff(a)upb.de of the Equality Office of Paderborn University as soon as possible. ======================================================== Invited Speakers ======================================================== Anna Karlin - University of Washington, USA Rasmus Kyng - ETH Zurich, Switzerland Rupak Majumdar - Max Planck Institute for Software Systems, Germany Thomas Vidick - California Institute of Technology, USA, and Weizmann Institute of Science, Israel James Worrell - University of Oxford, UK ======================================================== Awards ======================================================== During the conference, the following awards will be given: – the EATCS award (https://eatcs.org/index.php/eatcs-award), - the Church award (https://eatcs.org/index.php/church-award) – the Presburger award (https://eatcs.org/index.php/presburger), – the EATCS distinguished dissertation award (https://eatcs.org/index.php/dissertation-award), – the best papers for Track A and Track B, – the best student papers for Track A and Track B (see submission guidelines). ========================================================= Special 50th ICALP session ========================================================= Invited talks: Kurt Mehlhorn (MPI für Informatik, Saarland Informatics Campus) Thomas Henzinger (IST Austria) ========================================================= Workshops ========================================================= See https://icalp2023.cs.upb.de/workshops/ for more information. - Combinatorial Reconfiguration - Graph Width Parameters: from Structure to Algorithms (GWP 2023) - Algorithmic Aspects of Temporal Graphs VI - Adjoint Homomorphism Counting Workshop (ad hoc) - Congestion Games - Workshop On Reachability, Recurrences, and Loops '23 (WORReLL'23) - Workshop on Recent Trends in Online Algorithms - Quantum Computing with Qiskit, and why Classical Algorithms still matter! - Algebraic Complexity Theory - Computer Science for CONTINUOUS Data ============= Accepted papers ============= ////////////////////// TRACK A ////////////////////// Badih Ghazi, Pritish Kamath, Ravi Kumar, Pasin Manurangsi and Kewen Wu. On Differentially Private Counting on Trees Leslie Ann Goldberg and Marc Roth. Parameterised and Fine-grained Subgraph Counting, modulo 2 Michał Wlodarczyk. Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth Laure Morelle, Ignasi Sau, Giannos Stamoulis and Dimitrios M. Thilikos. Faster parameterized algorithms for modification problems to minor-closed classes Sanjeev Khanna, Yu Chen and Zihan Tan. Sublinear Algorithms and Lower Bounds for Estimating MST and TSP Cost in General Metrics Noam Touitou. Frameworks for Nonclairvoyant Network Design with Deadlines or Delay Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Yusuke Kobayashi, Shunichi Maezawa, Yuta Nozaki, Yoshio Okamoto and Kenta Ozeki. Rerouting Planar Curves and Disjoint Paths Honghao Fu, Daochen Wang and Qi Zhao. Parallel self-testing of EPR pairs under computational assumptions Shi Li. Nearly-Linear Time LP Solvers and Rounding Algorithms for Scheduling Problems Shyan Akmal and Ce Jin. An Efficient Algorithm for All-Pairs Bounded Edge Connectivity Benjamin Aram Berendsohn, Ishay Golinsky, Haim Kaplan and Laszlo Kozma. Fast approximation of search trees on trees with centroid trees Ishan Bansal, Joe Cheriyan, Logan Grout and Sharat Ibrahimpur. Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions Hadley Black, Iden Kalemaj and Sofya Raskhodnikova. Isoperimetric Inequalities for Real-Valued Functions with Applications to Monotonicity Testing Claire Mathieu and Hang Zhou. A Tight $(1.5+\epsilon)$-Approximation for Unsplittable Capacitated Vehicle Routing on Trees Sixue Liu, Zhao Song, Hengjie Zhang, Lichen Zhang and Tianyi Zhou. Space-Efficient Interior Point Method, with applications to Linear Programming and Maximum Weight Bipartite Matching Yanlin Chen and Ronald de Wolf. Quantum Algorithms and Lower Bounds for Linear Regression with Norm Constraints Spencer Compton, Slobodan Mitrović and Ronitt Rubinfeld. New Partitioning Techniques and Faster Algorithms for Approximate Interval Scheduling Tatsuya Terao. Faster Matroid Partition Algorithms David Harris and Vladimir Kolmogorov. Parameter estimation for Gibbs distributions Eric Rivals, Michelle Sweering and Pengfei Wang. Convergence of the number of period sets in strings David E. Roberson and Tim Seppelt. Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability Tobias Friedrich, Andreas Göbel, Maximilian Katzmann and Leon Schiller. Cliques in High-Dimensional Geometric Inhomogeneous Random Graphs Konstantina Mellou, Marco Molinaro and Rudy Zhou. Online Demand Scheduling with Failovers David Eppstein and Daniel Frishberg. Improved mixing for the convex polygon triangulation flip walk Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-Ichi Maezawa, Yuta Nozaki and Yoshio Okamoto. Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra Rajarshi Bhattacharjee, Gregory Dexter, Petros Drineas, Cameron Musco and Archan Ray. Sublinear Time Eigenvalue Approximation via Random Sampling Lijie Chen, Xin Lyu, Avishay Tal and Hongxun Wu. New PRGs for Unbounded-width/Adaptive-order Read-once Branching Programs Petr Hlineny and Jan Jedelský. Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar Yann Disser, Max Klimm, Kevin Schewior and David Weckbecker. Incremental Maximization via Continuization Mohit Garg, Felix Hommelsheim and Nicole Megow. Matching Augmentation via Simultaneous Contractions Manuel Cáceres. Minimum Chain Cover in Almost Linear Time Zachary Friggstad and Ramin Mousavi. An $O(\log k)$-Approximation for Directed Steiner Tree in Planar Graphs Shu Liu, Chaoping Xing and Chen Yuan. List Decoding of Rank-Metric Codes with Row-to-Column Ratio Bigger Than 1/2 Yossi Azar and Danny Vainstein. Multi Layer Peeling for Linear Arrangement and Hierarchical Clustering Daniel Hader and Matthew Patitz. The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Cross-Model Simulation in Tile-Based Self-Assembly Hans L. Bodlaender, Carla Groenland and Michał Pilipczuk. Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters Ishan Agarwal and Richard Cole. Stable Matching: Choosing Which Proposals to Make Ruizhe Zhang and Xinzhi Zhang. A Hyperbolic Extension of Kadison-Singer Type Results Fedor Fomin, Petr Golovach, Danil Sagunov and Kirill Simonov. Approximating Long Cycle Above Dirac’s Guarantee Michael Whitmeyer and Siddharth Iyer. Searching for Regularity in Bounded Functions Vaishali Surianarayanan, Daniel Lokshtanov and Saket Saurabh. Breaking the All Subsets Barrier for Min $k$-Cut Magdalen Dobson and Guy Blelloch. The Geometry of Tree-Based Sorting Thiago Bergamaschi. Improved Product-state Approximation Algorithms for Quantum Local Hamiltonians Shaddin Dughmi, Yusuf Hakan Kalaycı and Neel Patel. On Sparsification of Stochastic Packing Problems Siu-Wing Cheng and Haoqiang Huang. Approximate Nearest Neighbor for Polygonal Curves under Frechet Distance Gramoz Goranci and Monika Henzinger. Efficient Data Structures for Incremental Exact and Approximate Maximum Flow Shimon Kogan and Merav Parter. New Additive Emulators Davide Bilò, Keerti Choudhary, Sarel Cohen, Tobias Friedrich, Simon Krogmann and Martin Schirneck. Fault-Tolerant ST-Diameter Oracles Michal Feldman, Federico Fusco, Stefano Leonardi, Simon Mauras and Rebecca Reiffenhäuser. Truthful Matching with Online Items and Offline Agents Ilan Cohen and Debmalya Panigrahi. A General Framework for Learning-Augmented Online Allocation Fedor Fomin, Petr Golovach, Ignasi Sau, Giannos Stamoulis and Dimitrios M. Thilikos. Compound Logics for Modification Problems Anders Aamand, Adam Karczmarz, Jakub Łącki, Nikos Parotsidis, Peter Rasmussen and Mikkel Thorup. Optimal Decremental Connectivity in Non-Sparse Graphs Dana Ron and Omer Cohen Sidon. Sample-based distance-approximation for subsequence-freeness Siddharth Barman and Pooja Kulkarni. Approximation Algorithms for Envy-Free Cake Division with Connected Pieces Kazusato Oko, Shinsaku Sakaue and Shin-ichi Tanigawa. Nearly Tight Spectral Sparsification of Directed Hypergraphs Daniel Agassy, Dani Dorfman and Haim Kaplan. Expander Decomposition with Fewer Inter-Cluster Edges Using a Spectral Cut Player Jakob Bæk Tejs Houen and Mikkel Thorup. A Sparse Johnson-Lindenstrauss Transform using Fast Hashing Pan Peng and Yuyang Wang. An Optimal Separation between Two Property Testing Models for Bounded Degree Directed Graphs Qin Minglong and Penghui Yao. Decidability of fully quantum nonlocal games with noisy maximally entangled states Louis Esperet, Nathaniel Harms and Viktor Zamaraev. Optimal Adjacency Labels for Subgraphs of Cartesian Products Amirreza Akbari, Navid Eslami, Henrik Lievonen, Darya Melnyk, Joona Särkijärvi and Jukka Suomela. Locality in online, dynamic, sequential, and distributed graph algorithms Dmitry Paramonov, Gillat Kol, Klim Efremenko and Raghuvansh R. Saxena. Protecting Single-Hop Radio Networks from Message Drops Alexandru Gheorghiu, Tony Metger and Alexander Poremba. Quantum cryptography with classical communication - Parallel remote state preparation for copy-protection, verification, and more Andrzej Dorobisz and Jakub Kozik. Local Computation Algorithms for Hypergraph Coloring - following Beck's approach Ishay Haviv. On Finding Constrained Independent Sets in Cycles Petra Berenbrink, Lukas Hintze, Hamed Hosseinpour, Dominik Kaaser and Malin Rau. Dynamic Averaging Load Balancing on Arbitrary Graphs Ilan Doron, Ariel Kulik and Hadas Shachnai. An EPTAS for Budgeted Matching and Budgeted Matroid Intersection Karthik Murali and Therese Biedl. On computing the vertex connectivity of 1-plane graphs Vladimir Braverman, Robert Krauthgamer, Aditya Krishnan and Shay Sapir. Lower Bounds for Pseudo-Deterministic Counting in a Stream Charilaos Efthymiou and Weiming Feng. On the Mixing Time of Glauber Dynamics for the Hard-core and Related Models on G(n,d/n) Jun-Ting Hsieh and Pravesh K Kothari. Approximating Max-Cut on Bounded Degree Graphs: Tighter Analysis of the FKL Algorithm Or Zamir. The wrong direction of Jensen’s inequality is algorithmically right Talya Eden, Sofya Raskhodnikova, Quanquan C. Liu and Adam Smith. Triangle Counting with Local Edge Differential Privacy Lukas Drexler, Jan Eube, Kelin Luo, Heiko Röglin, Melanie Schmidt and Julian Wargalla. Connected k-Center and k-Diameter Clustering Dylan Hyatt-Denesik, Afrouz Ameli and Laura Sanita. Finding Almost Tight Witness Trees Adam Karczmarz and Piotr Sankowski. Fully Dynamic Shortest Paths and Reachability in Sparse Digraphs Xiantao Li and Chunhao Wang. Simulating Markovian open quantum systems using higher-order series expansion Monika Henzinger, Paul Liu, Jan Vondrák and Da Wei Zheng. Faster submodular maximization for several classes of matroids Miguel Bosch Calvo, Fabrizio Grandoni and Afrouz Jabal Ameli. A 4/3 Approximation for 2-Vertex-Connectivity Paul Beame and Niels Kornerup. Cumulative Memory Lower Bounds for Randomized and Quantum Computation Sudatta Bhattacharya and Michal Koucky. Streaming $k$-edit approximate pattern matching via string decomposition Robert Ferens and Marek Szykuła. Completely Reachable Automata: A Polynomial Algorithm and Quadratic Upper Bounds David Stalfa, Rajmohan Rajaraman and Sheng Yang. Scheduling under Non-Uniform Job and Machine Delays Konstantinos Zampetakis and Charilaos Efthymiou. Broadcasting with Random Matrices Chandra Chekuri and Rhea Jain. Approximation Algorithms for Network Design in Non-Uniform Fault Models Jin-Yi Cai and Ben Young. Planar \#CSP Equality Corresponds to Quantum Isomorphism -- A Holant Viewpoint Andrej Bogdanov and Alon Rosen. Nondeterministic Refutations for Nearest Boolean Vector Amir Azarmehr and Soheil Behnezhad. Robust Communication Complexity of Matching: EDCS Achieves 5/6 Approximation Timothy M. Chan, Qizheng He and Yuancheng Yu. On the Fine-Grained Complexity of Small-Size Geometric Set Cover and Discrete $k$-Center for Small $k$ Tsun-Ming Cheung, Hamed Hatami, Pooya Hatami and Kaave Hosseini. Online Learning and Disambiguations of Partial Concept Classes Sharat Ibrahimpur, Manish Purohit, Zoya Svitkina, Erik Vee and Joshua Wang. Efficient Caching with Reserves via Marking Jun-Ting Hsieh, Pravesh Kothari, Aaron Potechin and Jeff Xu. Ellipsoid Fitting Up to a Constant Ryu Hayakawa, Jordi Weggemans, Tomoyuki Morimae, Chris Cade, Marten Folkertsma, Sevag Gharibian and Francois Le Gall. Improved Hardness Results for the Guided Local Hamiltonian Problem Mohak Goyal, Sukolsak Sakshuwong, Sahasrajit Sarmasarkar and Ashish Goel. Low Sample Complexity Participatory Budgeting Yi-Jun Chang. Ortho-radial Drawing in Near-linear Time Kuan Cheng, Zhengzhong Jin, Xin Li, Zhide Wei and Yu Zheng. Linear Insertion Deletion Codes in the High-Noise and High-Rate Regimes Rotem Oshman and Tal Roth. The Communication Complexity of Set Intersection under Product Distributions Thomas Sauerwald, He Sun and Danny Vagnozzi. The Support of Open versus Closed Random Walks Sam Coy, Artur Czumaj, Peter Davies and Gopinath Mishra. Optimal (degree+1)-Coloring in Congested Clique Ittai Rubinstein. Average-Case to (shifted) Worst-Case Reduction for the Trace Reconstruction Problem Prashanth Amireddy, Ankit Garg, Neeraj Kayal, Chandan Saha and Bhargav Thankey. Low-depth arithmetic circuit lower bounds: Bypassing set-multilinearization Nicolas Resch, Chen Yuan and Yihan Zhang. Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery Peyman Afshani, Pingan Cheng, Aniket Basu Roy and Zhewei Wei. On Range Summary Queries ////////////////////// TRACK B ////////////////////// Frits Vaandrager and Thorsten Wißmann. Action Codes Michael Lampis. First Order Logic on Pathwidth Revisited Again Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour and Pierre Vandenhove. How to Play Optimally for Regular Objectives? Bader Abu Radi and Orna Kupferman. On Semantically-Deterministic Automata Manuel Bodirsky and Simon Knäuer. Network Satisfaction Problems Solved by k-Consistency Ruiwen Dong. The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable Michael Blondin and François Ladouceur. Population Protocols with Unordered Data Markus Lohrey and Andreas Rosowski. On the complexity of diameter and related problems in permutation groups Moritz Lichter. Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid and Alexandra Silva. Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity Bartosz Bednarczyk, Ian Pratt-Hartmann and Daumantas Kojelis. On the of Limits of Decision: the Adjacent Fragment of First-Order Logic Mikołaj Bojańczyk and Lê Thành Dũng Nguyễn. Algebraic Recognition of Regular Functions Jan Dreier, Nikolas Mählmann, Sebastian Siebertz and Szymon Toruńczyk. Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes Antonio Casares and Pierre Ohlmann. Characterising memory in infinite games Pierre Ohlmann, Michał Pilipczuk, Wojciech Przybyszewski and Szymon Toruńczyk. Canonical decompositions in monadically stable and bounded shrubdepth graph classes Jakub Gajarský, Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michał Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokołowski and Szymon Toruńczyk. Flipper games for monadically stable graph classes Titouan Carette, Etienne Moutot, Thomas Perez and Renaud Vilmart. Compositionality of planar perfect matchings, a universal and complete fragment of ZW-calculus Harry Vinall-Smeeth and Christoph Berkholz. A dichotomy for succinct representations of homomorphisms Javier Esparza and Vincent Grande. Black-box Testing Liveness Properties of Partially Observable Stochastic Systems Thomas Henzinger, Pavol Kebis, Nicolas Mazzocchi and N. Ege Saraç. Regular Methods for Operator Precedence Languages George Kenison, Joris Nieuwveld, Joël Ouaknine and James Worrell. Positivity Problems for Reversible Linear Recurrence Sequences Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot and Sarah Winter. Deterministic regular functions of infinite words Fabian Birkmann, Stefan Milius and Henning Urbat. Nominal Topology for Data Languages Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks and Karol Węgrzycki. Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality Austen Z. Fan, Paraschos Koutris and Hangdong Zhao. The Fine-Grained Complexity of Boolean Conjunctive Queries and Sum-Product Problems Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar and Kuldeep Meel. Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis and Aris Papadopoulos. Monadic NIP in monotone classes of relational structures Michael Benedikt, Dmitry Chistikov and Alessio Mansutti. The complexity of Presburger arithmetic with power or powers Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan Thinniyam Srinivasan and Georg Zetzsche. Checking Refinement of Asynchronous Programs against Context-Free Specifications The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

1 0

[fm-announcements] FMICS 2023 - Deadline extension
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 10 May '23

10 May '23

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/<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uantw…> 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: 28 May 2023 (extended) Authors’ response period: 12-14 July 2023 (extended) Notification: 21 July 2023 (extended) Camera-ready version: 31 July, 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<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…>. 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

1 0

CiE 2023: CALL FOR PARTICIPATION - CALL FOR INFORMAL PRESENTATIONS
by acie＠acie.eu 10 May '23

10 May '23

# CiE 2023: CALL FOR PARTICIPATION ## Computability in Europe 2023: **Unity of Logic and Computation** Batumi, Georgia July 24-28, 2023 https://www.viam.science.tsu.ge/cie2023/ ## FORMAT The conference will have a **hybrid format**. At the same time, we strongly encourage in-person participation for a richer experience: There are direct flights to Batumi from Istanbul and Tel Aviv, among other airports. Hotels can be booked directly on the conference website (https://www.viam.science.tsu.ge/cie2023/) at a reduced rate. Batumi is located on the Black Sea coast close to the Turkish border. We suggest to book hotels as soon as possible, since Batumi is a well-appreciated touristic location, especially in July. Numerous travel advisory websites currently rank travel to Georgia as very safe. ## IMPORTANT DATES: * Early registration before: **June 18, 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 The following special sessions will be part of the CiE 2023 activities: * Classical Theories of Degrees * Computational Science * Proof Theory * Scalable computational genomics * Weihrauch Complexity ## 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. ## PROGRAM COMMITTEE * Nikolay Bazhenov (Novosibirsk State University) * Manuel Bodirsky (TU Dresden) * Vasco Brattka (Bundeswehr-Universitaet Munich) * Liesbeth De Mol (University of Lille) * Gianluca Della Vedova (University of Milano-Bicocca, co-chair) * Besik Dundua (Kutaisi Intl University) * 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 of Electro-Communications Tokyo) * Sebastiaan Terwijn (Radboud University Nijmegen) * Dan Turetsky (Victoria University of 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](https://www.acie.eu) [CiE Conference Series](https://www.acie.eu/cie-conference-series/) ## HOSTED BY Both the in-person and the virtual aspects of the conference will be hosted by Batumi Shota Rustaveli State University Rustaveli str. 32, Batumi, Georgia. The conference will have a **hybrid format** that guarantees the highest possible level of interaction. We are grateful for support from Batumi Shota Rustaveli State University and Institute of Applied Mathematics, Tbilisi State University and from the Association for Symbolic Logic. ## 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) # CiE 2023: CALL FOR INFORMAL PRESENTATIONS ## Computability in Europe 2023: **Unity of Logic and Computation** ## IMPORTANT DATES: * Deadline for informal presentations submission: **June 8, 2023** (The notifications of acceptance for informal presentations will be sent a few days after submission.) ## 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. Since CiE 2023 will be a hybrid conference, informal presentations may be given remotely or in person.

1 0

FMCAD 2023: Final Call for Papers with *** Deadlines Extension ***
by Rozier, Kristin-Yvonne [AER E] 08 May '23

08 May '23

(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

1 0

LICS 2023 Call for Participation
by Sam Staton 06 May '23

06 May '23

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)

1 0

Postdoc position in automata and concurrency theory at the University
by Sławomir Lasota 02 May '23

02 May '23

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

1 0

Special Issue on Dynamic Logics at JLAP - Deadline Extension
by Carlos Areces 01 May '23

01 May '23

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.

1 0

GandALF 2023: Call For Papers
by Gabriele Puppis 27 Apr '23

27 Apr '23

[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…>

1 0

LICS 2023 Workshop on Combinatorial Games in Finite Model Theory
by Phokion G. Kolaitis 27 Apr '23

27 Apr '23

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/

1 0