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

29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)
by Ruy Jose Guerra Barretto de Queiroz 16 Feb '23

16 Feb '23

DEADLINE APPROACHING [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 Thomas Bolander (Technical University of Denmark) 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) 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) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a documentary film which traces the history of the individuals who worked as pioneers in expanding the presence of African Americans in mathematics. " 'Journeys of Black Mathematicians' is a film that will inspire African American students to continue their studies and consider career paths in mathematics." (zalafilms.com) The film is in production, and the filmmaker George Csicsery is willing to present either a rough cut if it is ready by then, or some sample scenes. FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE https://www.mathstat.dal.ca/wollic2023/

1 0

CiE 2023: FINAL CALL FOR PAPERS (EXTENDED DEADLINE)
by acie＠acie.eu 09 Feb '23

09 Feb '23

CIE 2023: FINAL CALL FOR PAPERS (EXTENDED DEADLINE) 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 FORMAT The conference will have a hybrid format. IMPORTANT DATES: * 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 The deadline for submissions is February 15th, 2023. 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 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. 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/

1 0

Postdoc Position on Hardware Verification via Model Learning, Royal
by Sammartino, Matteo 07 Feb '23

07 Feb '23

Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London. The post holder will have an exciting opportunity to work on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project, led by Prof. Alexandra Silva (UCL/Cornell) and Matteo Sammartino (RHUL), in collaboration with ARM, world-leading designer of multi-core chips. For an informal discussion about the post, please contact Matteo Sammartino on matteo.sammartino(a)rhul.ac.uk. # Brief description of the project Digital devices are increasingly complex, therefore there is a pressing need to automate the assessment of their correctness. Formal verification provides highly effective techniques to assess the correctness of systems. However, formal models are usually built by humans, and as such can be error-prone and inaccurate. The project aims to develop a novel verification framework for hardware, which combines learning, testing and model-checking. Not all models are suitable for this purpose and hence specific classes of models will need to be developed, depending on the task at hand. Subsequently, learning and verification techniques for these classes need to be devised and tested in realistic case studies. We have an industrial partner, ARM, that will provide valuable guidance on the design and development of the aforementioned tasks. # The ideal candidate We are looking for candidates with a PhD in one of the following areas: model-based testing and verification, model learning, automated analysis of hardware systems. Experience in multiple areas will be valued. Candidates ideally should also have strong programming skills. # Where to apply Additional details and a link to the application can be found here: https://jobs.royalholloway.ac.uk/0922-411-R-R-R <https://jobs.royalholloway.ac.uk/0922-411-R> The deadline is 2 March 2023 (midnight). Best wishes, Matteo Sammartino ============================== Matteo Sammartino, Lecturer Royal Holloway University of London Department of Computer Science Tel.: (+44) (0) 1784 44 3690 Office: 2-07, Bedford Building https://matteosammartino.com/ This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.

1 0

RAMiCS 2023 - Call for participation
by Michael Winter 02 Feb '23

02 Feb '23

(Apologies for multiple posting) CALL FOR PARTICIPATION 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ IMPORTANT DATES: Registration deadline: February 28, 2023 RAMiCS 2021: 3 to 6 April 2023 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2023 will take place at the Technologiezentrum Augsburg, as a physical conference. There are no conference fees but, due to limited resources, it is subject to approval by the conference organisers. REGISTRATION Participating at the conference dinner can take place at cost price (to be paid on site). To register for the conference please refer to the registration section of https://ramics20.lis-lab.fr/#registration. PROGRAM AND INVITED TALKS The RAMiCS 2023 program features 3 invited talks, 17 contributed talks, and 7 short talks. The invited talks are: Alexander Knapp, Augsburg University, Germany Specifying Event/Data-based Systems John Stell, University of Leeds, UK Algebra and Logic in Granularity Valeria Vignudelli, CNRS/ENS Lyon, France Equational Theories and Distances for Computational Effects For more details, see https://ramics20.lis-lab.fr/accepted.html ORGANIZING COMMITTEE: Conf. & PC Co-Chair: Roland Glück, German Aerospace Center, Germany Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada For more information, see https://ramics20.lis-lab.fr/

1 0

VCLA International Student Awards - Call for Nominations
by Hackl, Andrea 01 Feb '23

01 Feb '23

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>

1 0

FSCD 2023: Extended deadline (Abstract: February 4/ Submission:
by Carsten Fuhs 01 Feb '23

01 Feb '23

============================================================================== 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

1 0

Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Programming
by Carlos Areces 30 Jan '23

30 Jan '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 === 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.

1 0

[fm-announcements] FMICS 2023 - Call for Papers
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 30 Jan '23

30 Jan '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/ 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

1 0

Two PhD Positions in AUTOSARD
by Florian Zuleger 30 Jan '23

30 Jan '23

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

1 0

CiE 2023: FINAL CALL FOR PAPERS
by acie＠acie.eu 27 Jan '23

27 Jan '23

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/

1 0