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

Universal Algebraic Logic - Dedicated to the Unity of Science / LUW
by jean-yves beziau 24 Jan '23

24 Jan '23

The next session of LUW (Logica Universalis Webinar) will be Wednesday January 25, 2023 at 4pm CET (Paris-Geneva-Rome) Speaker: Zalán Gyenis, Jagiellonian University, Kraków, Poland Title of the talk: Universal Algebraic Logic - Dedicated to the Unity of Science Abstract: This is the presentation of a book by Hajnal Andréka , Zalán Gyenis, István Németi and Ildikó Sain that gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon. https://link.springer.com/book/10.1007/978-3-031-14887-3 Associate Organization: Studies in Universal Logic, Birkhäuser / Springer-Nature presented by its Publishing Editor: Frida Trotter https://www.springer.com/series/7391 Chair: Razvan Diaconescu Editorial Board SUL Everybody is welcome to attend Register here: https://cassyni.com/s/logica-universalis/seminars/ Jean-Yves Beziau Series Editor Studies in Universal Logic Organizer of the Logica Universalis Webinar http://www.jyb-logic.org/

1 0

29th WoLLIC 2023 - 2nd Call for Papers
by Ruy Jose Guerra Barretto de Queiroz 24 Jan '23

24 Jan '23

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-ninth WoLLIC will be held at the Department of Mathematics and Statistics, Dalhousie University, Canada, 11-14 July, 2023. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS) (tbc), European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Lógica (SBL). LOCATION AND FORMAT Halifax (https://www.halifax.ca/) is the capital and largest municipality of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. (Wikipedia) WoLLIC 2023 will be a hybrid event. All invited talks are planned to be on-site in order to stimulate discussions and interaction with participants. SCOPE Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. PAPER SUBMISSION Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors either in person or via remote connection. (At least one author is required to pay a full on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2023 EasyChair website https://easychair.org/conferences/?conf=wollic2023. PROCEEDINGS The proceedings of WoLLIC 2023, including both invited and contributed papers, will be published as a volume in Springer's LNCS series. Due to the earlier timeline this year, the proceedings will appear after the workshop. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2023 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Makoto Kanazawa (Hosei University, Japan) Magdalena Ortiz (University of Umeå, Sweden) Aybüke Özgün (University of Amsterdam, Netherlands) Dusko Pavlovic (University of Hawaii, USA) Richard Zach (University of Calgary, Canada) (more to be confirmed) IMPORTANT DATES February 20, 2023: Abstract deadline February 27, 2023: Full paper deadline May 15, 2023: Author notification June 5, 2023: Final version deadline PROGRAMME COMMITTEE Bahareh Afshari (University of Gothenburg, Sweden and University of Amsterdam, Netherlands) Zena Ariola (University of Oregon, USA) Adriana Balan (University Politechnica of Bucharest, Romania) Marta Bílková (Czech Academy of Sciences, Czech Republic) Josée Desharnais (Laval University, Canada) David Fernández-Duque (Czech Academy of Sciences, Czech Republic) Santiago Figueira, Universidad de Buenos Aires, Argentina Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia) Sujata Ghosh (Indian Statistical Institute, India) Nina Gierasimczuk (Danish Technical University, Denmark) Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair) Andreas Herzig (CNRS, University of Toulouse, France) Juha Kontinen (University of Helsinki, Finland) Roman Kuznets (TU Wien, Austria) Martha Lewis (University of Bristol, UK) Johannes Marti (University of Oxford, UK) George Metcalfe (University of Bern, Switzerland) Michael Moortgat (Utrecht University, Netherlands) Cláudia Nalon (University of Brasilia, Brasil) Carlos Olarte (Université Sorbonne Paris Nord, France) Sophie Pinchinat (University of Rennes, France) Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France) Sylvain Pogodalla (INRIA Nancy, France) Revantha Ramanayake (University of Groningen, Netherlands) Mehrnoosh Sadrzadeh, University College London, UK Andre Scedrov (University of Pennsylvania, USA) (co-chair) Philip Scott (University of Ottawa, Canada) Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany) Kazushige Terui (Kyoto University, Japan) Mladen Vuković (University of Zagreb, Croatia) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Julien Ross (Dalhousie University) Peter Selinger (Dalhousie University) (co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) (tbc) European Association for Theoretical Computer Science (EATCS) (tbc) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Lógica (SBL) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE https://www.mathstat.dal.ca/wollic2023/

1 0

FSCD 2023: Second Call for Papers
by Carsten Fuhs 18 Jan '23

18 Jan '23

============================================================================== Updated information on: co-location, affiliated workshops, hybrid presentation ============================================================================== CALL FOR PAPERS Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: January 30, 2023 Submission: February 3, 2023 Rebuttal: March 24-28, 2023 Notification: April 13, 2023 Final version: April 27, 2023 CO-LOCATION AND AFFILIATED WORKSHOPS ------------------------------------ FSCD 2023 will be co-located with CADE-29. The following workshops are affiliated with FSCD and CADE in 2023: - WIL: 7th Workshop Women in Logic (July 1, 2023) - WPTE: 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 1, 2023) - TLLA: 7th International Workshop on Trends in Linear Logic and Applications (July 1-2, 2023) - LSFA: 8th Logical and Semantic Frameworks with Applications (July 1-2, 2023) - DCM: 13th International Workshop on Developments in Computational Models (July 2, 2023) - LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (July 2, 2023) - UNIF: 37th International Workshop on Unification (July 2, 2023) - CASC: The CADE ATP System Competition (July 3, 2023) - HOR: 11th International Workshop on Higher-Order Rewriting (July 4, 2023) - SMT: 21st International Workshop on Satisfiability Modulo Theories (July 4-6, 2023) - ADeMaL: Automated Deduction for Machine Learning (July 5, 2023) - ThEdu: Theorem proving components for Educational software (July 5, 2023) - Vampire: 7th Vampire Workshop (July 5, 2023) - IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting (July 5, 2023) OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data bases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science, or to TheoretiCS. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2023 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. Alternatively to in-person presentation, also online presentation is possible, but in-person registration by at least one author will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chairs that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIRS ------------------------ Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam Email: fscd2023 at easychair.org PROGRAM COMMITTEE ----------------- Martin Avanzini, INRIA Patrick Bahr, ITU Copenhagen Pablo Barenbaum, University of Quilmes (CONICET) & ICC Filippo Bonchi, University of Pisa Sabine Broda, University of Porto Valeria De Paiva, Topos Institute Andrej Dudenhefner, TU Dortmund Santiago Escobar, Universitat Politècnica de València Claudia Faggian, University of Paris (IRIF) Frank (Peng) Fu, Dalhousie University Silvio Ghilardi, University of Milano Clemens Grabmayer, GSSI or Gran Sasso Science Institute Nao Hirokawa, JAIST Mirai Ikebuchi, National Institute of Informatics Ambrus Kaposi, Eotvos Lorand University Ian Mackie, University of Sussex Radu Mardare, University of Strathclyde Aart Middeldorp, University of Innsbruck Anders Mortberg, University of Stockholm Daniele Nantes-Sobrinho, Imperial College London / University of Brasília Vincent van Oostrom, Independent researcher Grigore Rosu, University of Illinois Urbana-Champaign Luca Roversi, University of Torino Aleksy Schubert, University of Warsaw Jakob G. Simonsen, University of Copenhagen Alwen Tiu, Australian National University Valeria Vignudelli, CNRS/ENS Lyon Johannes Waldmann, HTWK Leipzig Sarah Winkler, University of Bolzano CONFERENCE CHAIR ---------------- Daniele Gorla, University of Rome - Sapienza WORKSHOP CHAIR -------------- Ivano Salvo, University of Rome - Sapienza STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro Díaz-Caro, Quilmes University & ICC/CONICET Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Nijmegen Silvia Ghilezan, University of Novi Sad Jürgen Giesl, RWTH Aachen University Stefano Guerrini, Université de Paris 13 Delia Kesner, Université de Paris Diderot Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Daniele Nantes, Imperial College London / University of Brasília

1 0

CONFEST 2023 -- 2nd Call for Workshop Proposals
by Emmanuel Filiot 16 Jan '23

16 Jan '23

* CONFEST 2023 * Sep 18-23 2023, Antwerpen, Belgium (https://www.uantwerpen.be/en/conferences/confest-2023/ <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uantw…> ) -- 2nd Call for Workshop Proposals -- *Submission deadline* : Feb 02 CONFEST is an umbrella conference comprising four international meetings: - CONCUR (34th International Conference on Concurrency Theory), - QEST (20th International Conference on Quantitative Evaluation of SysTems), - FORMATS (21st International Conference on Formal Modeling and Analysis of Timed Systems), and - FMICS (28th International Conference on Formal Methods for Industrial Critical Systems). Researchers and practitioners are invited to submit proposals for ONE DAY workshops on topics related to theory, formal modeling, verification, performance evaluation and engineering of concurrent, timed, industrial, and other systems. Typically, CONFEST workshops feature a number of invited speakers and a number of contributed presentations. The workshops will take place one day before (18 September) and one day after (23 September) the main conferences. TOPICS The purpose of the workshops is to provide participants with a friendly, stimulating, and interactive atmosphere for - presenting novel ideas, - discussing their applications, - encouraging cross-fertilization between industry and academia, and - fostering opportunities for young and prospective researchers. ORGANIZATION CONFEST’23 is planned as a physical, in-person event, with some support for remote participation. In a limited number of cases, there will be remote-participation support for speakers and for other participants who are unable to come. Please take this into account when preparing a workshop proposal and communicate to participants requiring such support that they should contact the organisers of CONFEST explaining their case. We will provide the following to workshop organisers: - Meeting rooms on demand - Coffee breaks, catering for lunch, both are included - CONFEST'23 website cannot be made accessible for edits by third parties but workshop organisers can either host their own website and provide a link to it that we put on CONFEST website, or they send us their content and we put it in the website. - Registration will be centralized by CONFEST. - Special rates for hotels, which can be found in the website https://www.uantwerpen.be/en/conferences/confest-2023/info/, as well as further local information about Antwerp. INSTRUCTIONS FOR PROPOSAL SUBMISSION Workshop proposals should include: - The name and the preferred date of the proposed workshop. - The names and contact information (web page, email address) of the organisers. - A short scientific summary and justification of the proposed topic for the CONFEST community (500 words max). - A discussion of the proposed format and agenda. - If applicable, a brief description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance. - Procedures for selecting papers and participants. - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). - Potentially invited speakers. - Tentative schedule for paper submission and notification of acceptance. The main responsibility for organizing the workshop goes to the workshop organiser(s), including: - workshop publicity (possibly including call for papers, submission and review process) - scheduling of workshop activities in collaboration with the CONFEST workshop chair. Proposals should be sent to Emmanuel Filiot (workshop chair): efiliot(a)gmail.com IMPORTANT DATES - Submission deadline February 2, 2023 - Notification February 16, 2023 - Program of the workshops ready: August 16, 2023 - Workshops: September 18, 23, 2023 - CONFEST conferences: September 18-23, 2023 The CONFEST 2023 workshop chair, Emmanuel Filiot Université libre de Bruxelles, Belgium

1 0

ICDT 2024 - Call for Papers (First Round)
by Graham Cormode 05 Jan '23

05 Jan '23

CALL FOR PAPERS 27th INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2024) Paestum, Italy 25th-28th March 2024 For more info check https://dastlab.github.io/edbticdt2024/ *About ICDT* ICDT is a series of international scientific conferences on research of data management theory (https://databasetheory.org/icdt-pages). Since 2009, it is annually and jointly held with EDBT (Extending DB Technology). The 27th edition of ICDT, in 2024, will take place in Paestum, Italy. Topics of Interest We welcome research papers on *every* topic related to the principles and theory of data management, provided that there is a clear connection to foundational aspects. This includes, for example, articles on "classical" data management topics such as: The design and study of data models and query languages The development and analysis of algorithms for data management The theoretical investigation of various aspects underlying data management systems (indexes, concurrency, distributed computation, privacy and security, ...) but also includes papers exploring existing or identifying new connections between data management and other areas, such as the areas of: knowledge representation, semantic web information retrieval and data mining machine learning/AI distributed computing theoretical computer science. In all of the above, a clear emphasis on foundational aspects is expected. You may want to check https://dblp.org/db/conf/icdt/index.html to get an overview of previous editions of ICDT. The Program Committee reserves the right to desk reject a submission when it is regarded to be out of scope. *Important dates* ICDT will have two submission cycles for 2024, with deadlines as follows: ICDT Submission Cycle 1 ======================= Abstract deadline: March 20, 2023 Full Submission due: March 27, 2023 Notification: June 5, 2023 ICDT Submission Cycle 2 ======================= Abstract deadline: September 13, 2023 Full Submission due : September 20, 2023 Notification: November 29, 2023 * Program Committee * Program Committee Chair: Graham Cormode (University of Warwick) Program Committee Members: Mahmoud Abo Khamis (Relational.AI) Antoine Amarilli (Telecom Paris) Yael Amsterdamer (Bar Ilan University) Pablo Barceló (PUC Chile) Vladimir Braverman (Rice University) Marco Calautti (Università degli Studi di Milano) Hubie Chen (King's College London) Cristina Feier (University of Warsaw) Diego Figueira (Université de Bordeaux) Dominik Freydenberger (Loughborough University) Martin Grohe (RWTH Aachen University) Daniel Kifer (Penn State University) Benny Kimelfeld (Technion) Paraschos Koutris (University of Wisconsin-Madison) Stefan Mengel (CNRS) Frank Neven (Hasselt University) Matthias Niewerth (Bayreuth University) Jeff M. Phillips (University of Utah) Reinhard Pichler (TU Wien) Cristian Riveros (PUC Chile) Francesco Scarcello (Università della Calabria) Markus Schmid (Humboldt-Universität) Yufei Tao (CUHK) Jef Wijsen (University of Mons) *Submission Instructions* All submissions will be electronic via EasyChair at https://easychair.org/conferences/?conf=icdt2024 Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. Papers must be submitted as PDF documents, using the LIPIcs style (http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). Papers must be at most 15 pages, excluding references. Additional details may be included in a clearly marked appendix, which, however, will be read at the discretion of the program committee (online appendices are not allowed). Papers not conforming to these requirements may be rejected without further consideration. The proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees that the proceedings will be available online and free of charge, while the authors retain the rights over their work. At least one author of each accepted paper is expected to register at the conference and to present the paper. **ANONYMOUS SUBMISSION** For 2024, ICDT will adopt anonymous submission, in line with other leading conferences in the database community such as SIGMOD and PODS. The intent of anonymous submission is to ensure that the identity of the authors is not presented to the reviewers during the review process. Specifically, submitted papers should not list authors or affiliations, and should not include acknowlegments to funding sources, or other colleagues or collaborators. References to the authors' own prior work should not be distinguished from other references. Where this is not possible (for instance, when referring to a specific system to which the authors have privileged access), anonymized citations are permissible. For more background on the motivation for anonymous submissions, and the mechanisms to achieve it, please consult [Snodgrass, 2007] https://www2.cs.arizona.edu/~rts/pubs/TODS07.pdf Simultaneously, we encouage authors to make their submissions available to the community via pre-print services such as ArXiv and through talks. We do require that work is not labeled as "under submission at ICDT" or indicates that it is under review, but otherwise place no restrictions on sharing results. This does not conflict with the anonymous submission requirement. *Awards* An award will be given to the Best Paper. Also, an award will be given to the Best Newcomer Paper written by newcomers to the field of database theory. The latter award will preferentially be given to a paper written only by students; in that case the award will be called Best Student-Paper Award. The program committee reserves the following rights: not to give any award; to split an award among several papers; and to define the notion of a newcomer. Papers authored or co-authored by program committee members are not eligible for any award.

1 0

A fully funded postdoc position in "Quantitative Verification of
by Harsh Beohar 30 Dec '22

30 Dec '22

** Apologies if you receive multiple copies of these open positions ** Applications are invited for a fully funded postdoc/research associate post in Computer Science at the University of Sheffield. Job Reference Number: UOS035797 Job Title: Research Associate in Quantitative Verification Contract Type: Fixed term until 30.11.2024 Faculty: Faculty of Engineering Department: Department of Computer Science Salary: Grade 7 £35,333 per annum Closing Date: 4th February 2023 The post is supported by the EPSRC funded project “Quantitative verification of software families based on coalgebraic modal logic and games” (EP/X019373/1) headed by the PI Dr. Harsh Beohar. For any queries, please do not hesitate to contact me at h.beohar(a)sheffield.ac.uk; for a more detailed advertisement, please visit the department website (https://www.sheffield.ac.uk/dcs/about/jobs) and search using the reference number: UOS035797.

1 0

Postdoc Position on Hardware Verification via Model Learning, Royal
by Sammartino, Matteo 21 Dec '22

21 Dec '22

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 <https://jobs.royalholloway.ac.uk/0922-411-R> The deadline is 20 Jan 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

Postdoc-Position in Logical Theories of Arithmetic at Oxford
by Christoph Haase 20 Dec '22

20 Dec '22

[apologies for cross-postings] The Oxford Department of Computer Science has a vacancy for a full-time Postdoctoral Research Associate position on the ERC-funded project “ARiAT: Advanced Reasoning in Arithmetic Theories”: http://www.cs.ox.ac.uk/news/2116-full.html The goal of this project is to develop novel algorithms for reasoning in arithmetic theories. Further information, including representative publications that have so far arisen in the context of the project, can be found under the following URL: http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/ The position is for 18 months, with a flexible starting date around April 2023. The post is advertised at Grade 7 with a salary range of £34,308 - £42,155 p.a. The post may be under-filled at Grade 6 £30,502 - £36,386 p.a. The application deadline is noon 25 January 2023. Applicants are welcome to informally discuss this position with Dr. Christoph Haase (christoph.haase(a)cs.ox.ac.uk).

1 0

Two Assistant Professors in Mathematical and Computational Logic
by Balder ten Cate 19 Dec '22

19 Dec '22

*Two Assistant Professors in Mathematical and Computational Logic* The *Institute for Logic, Language and Computation <https://www.illc.uva.nl/>* (ILLC) at the University of Amsterdam (UvA) is seeking to hire two new faculty members in the area of *Mathematical and Computational Logic*. These appointments are envisaged at the assistant professor level, but, in the case of an exceptionally strong candidate, one of the appointments could be made at the associate professor level. The closing date for applications is January 22, 2023. For more information, see https://vacatures.uva.nl/UvA/job/Two-Assistant-Professors-in-Mathematical-a…

1 0

ICALP 2023 -- Second Call for Papers (Submission Deadline: February
by Kousha Etessami 19 Dec '22

19 Dec '22

======================================================== ICALP 2023 - Second Call for papers ======================================================== 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: - Submissions are anonymous, and there is a rebuttal phase. - 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 ======================================================== Submissions: February 11, 2023 at 11am CET Rebuttal: March 22-25, 2023 Author notification: April 21, 2023 Camera-ready version: May 5, 2023 Early registration: TBA Conference: July 10-14, 2023 (Workshops on July 10, 2023) Deadlines are firm; late submissions will not be considered. Conference website: https://icalp2023.cs.upb.de/ Twitter: @ICALPconf Submission (tracks A and B): https://easychair.org/conferences/?conf=icalp2023 ======================================================== 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 ======================================================== Submission guidelines ======================================================== 1) Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Authors are encouraged to also make full versions of their submissions freely accessible in an on-line repository such as ArXiv, HAL, ECCC. 2) Submissions take the form of an extended abstract of no more than 15 pages, excluding references and a clearly labelled appendix. The appendix may consist either of omitted proofs or of a full version of the submission, and it will be read at the discretion of program committee members. The extended abstract has to present the merits of the paper and its main contributions clearly, and describe the key concepts and technical ideas used to obtain the results. Submissions must provide the proofs which can enable the main mathematical claims of the paper to be fully verified. 3) Submissions are anonymous. The conference will employ a fairly lightweight double-blind reviewing process. Submissions should not reveal the identity of the authors in any way. In particular, authors’ names, affiliations, and email addresses should not appear at the beginning or in the body of the submission. Authors should ensure that any references to their own related work are in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this double-blind process is to help PC members and external reviewers come to an initial judgment about the paper without bias, and not to make it impossible for them to discover who the authors are if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas. 4) The submissions are done via Easychair to the appropriate track of the conference (see topics below). The use of pdflatex and the LIPIcs style are mandatory: papers that deviate significantly from the required format risk rejection without consideration of merit. 5) During the rebuttal phase, authors will have from March 22-25 to view and respond to initial reviews. Further instructions will be sent to authors of submitted papers before that time. 6) At least one author of each accepted paper is required to register for the conference, and all talks are in-person. In exceptional cases, there may be support for remotely presenting a talk. 7) Papers authored only by students should be marked as such upon submission in order to be eligible for the best student paper awards of the track. ======================================================== Awards ======================================================== During the conference, the following awards will be given: – the EATCS award, - the Church prize, – the Presburger award, – the EATCS distinguished dissertation award, – the best papers for Track A and Track B, – the best student papers for Track A and Track B (see submission guidelines). ======================================================== Proceedings ======================================================== ICALP proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. This is a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl – Leibniz Center for Informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge. ======================================================== Topics ======================================================== Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games ----------------------------------------------------------- Algorithmic and Complexity Aspects of Network Economics Algorithmic Aspects of Biological and Physical Systems Algorithmic Aspects of Networks and Networking Algorithmic Aspects of Security and Privacy Algorithmic Game Theory and Mechanism Design Approximation and Online Algorithms Combinatorial Optimization Combinatorics in Computer Science Computational Complexity Computational Geometry Computational Learning Theory Cryptography Data Structures Design and Analysis of Algorithms Distributed and Mobile Computing Foundations of Machine Learning Graph Mining and Network Analysis Parallel and External Memory Computing Parameterized Complexity Quantum Computing Randomness in Computation Sublinear Time and Streaming Algorithms Theoretical Foundations of Algorithmic Fairness Track B: Automata, Logic, Semantics, and Theory of Programming ---------------------------------------------------------------------------------------- Algebraic and Categorical Models of Computation Automata, Logic, and Games Database Theory, Constraint Satisfaction Problems, and Finite Model Theory Formal and Logical Aspects of Learning Formal and Logical Aspects of Security and Privacy Logic in Computer Science and Theorem Proving Models of Computation: Complexity and Computability Models of Concurrent, Distributed, and Mobile Systems Models of Reactive, Hybrid, and Stochastic Systems Principles and Semantics of Programming Languages Program Analysis, Verification, and Synthesis Type Systems and Typed Calculi ======================================================== ICALP 2023 Programme Committee ======================================================== Track A: Algorithms, Complexity and Games Amir Abboud (Weizmann Institute, Israel) Mikkel Abrahamsen (University of Copenhagen, Denmark) Sepehr Assadi (Rutgers University, USA) Aditya Bhaskara (University of Utah, USA) Arnab Bhattacharyya (National University of Singapore, Singapore) Greg Bodwin (University of Michigan, USA) Karl Bringmann (Saarland University, Germany) Clément Canonne (University of Sydney, Australia) Vincent Cohen Addad (Google Research, Zurich) Amin Coja Oghlan (TU Dortmund, Germany) Michael (Mike) Dinitz (Johns Hopkins University, USA) Uriel Feige (Chair) (Weizmann Institute and MSR, Israel) Moran Feldman (University of Haifa, Israel) Sebastian Forster (University of Salzburg, Austria) Sumegha Garg (Harvard University, USA) Parikshit Gopalan (Apple, USA) Russell Impagliazzo (University of California, San Diego, USA) Karthik C.S.(Rutgers University, USA) Yin Tat Lee (University of Washington, USA) Stefano Leonardi (Sapienza Universita di Roma, Italy) Sepideh Mahabadi (MSR Redmond, USA) Giulio Malavolta (Max Planck Institute for Security and Privacy, Germany) Jesper Nederlof (Utrecht University, Netherlands) Vianney Perchet (Ensae and Criteo AI Lab, France) Will Perkins (Georgia Institute of Technology, USA) Marcin Pilipczuk (University of Warsaw, Poland, and IT University of Copenhagen, Denmark) Aviad Rubinstein (Stanford University, USA) Barna Saha (University of California San Diego, USA) Rahul Santhanam (University of Oxford, UK) Thatchaphol Saranurak (University of Michigan, USA) Igor Shinkar (Simon Fraser University, Canada) Mohit Singh (Georgia Institute of Technology, USA) David Steurer (ETH Zurich, Swizerland) Ola Svensson (EPFL, Switzerland) Inbal Talgam-Cohen (Technion, Israel) Kavitha Telikepalli (Tata Institute of Fundamental Research, Mumbai, India) Vera Traub (University of Bonn, Germany) Salil Vadhan (Harvard University, USA) David Wajc (Google Research, USA) Henry Yuen (Columbia University, USA) Meirav Zehavi (Ben-Gurion University, Israel) Track B: Automata, Logic, Semantics, and Theory of Programming Shaull Almagor (Technion, Israel) Albert Atserias (Universitat Politecnica de Catalunya, Barcelona, Spain) Christel Baier (TU Dresden, Germany) Véronique Bruyère (University of Mons, Belgium) Thomas Colcombet (IRIF / CNRS / Université Paris Cité, France) Andrei Bulatov (Simon Fraser University, Canada) Wojciech Czerwiński (University of Warsaw, Poland) Kousha Etessami (Chair) (University of Edinburgh, UK) John Fearnley (University of Liverpool, UK) Dana Fisman (Ben-Gurion University, Israel) Rob van Glabbeek (University of New South Wales, Australia) Chris Heunen (University of Edinburgh, UK) Justin Hsu (Cornell University, USA) Stefan Kiefer (University of Oxford, UK) Kohei Kishida (University of Illinois Urbana-Champaign, USA) Jan Kretinsky (Technical University of Munich, Germany) Karoliina Lehtinen (CNRS, Université Aix Marseille et Université de Toulon, LIS, France) Anthony Widjaja Lin (TU Kaiserslautern & MPI-SWS, Germany) Wim Martens (University of Bayreuth, Germany) Joanna Ochremiak (CNRS, University of Bordeaux, France and University of Warsaw, Poland) Daniela Petrisan (Université Paris Cité, IRIF, France) Sam Staton (University of Oxford, UK) Ashutosh Trivedi (University of Colorado - Boulder, USA) Takeshi Tsukada (Chiba University, Japan) Mahesh Viswanathan (University of Illinois Urbana-Champaign, USA) ======================================================== ICALP 2023 Workshop Chair ======================================================== Track A and B: Matthias Fischer Selection Committee: Johannes Blömer Christian Scheideler Friedhelm Meyer auf der Heide See more details on the Call for Workshops webpage: https://icalp2023.cs.upb.de/workshops/ ======================================================== ICALP 2023 Proceedings Chair ======================================================== Gabriele Puppis (University of Udine, Italy) ======================================================== ICALP 2023 Organizing Committee ======================================================== Ulrich Ahlers Bernard Bauer Johannes Blömer Tanja Bürger Nadija Carter Fabian Eidens Rainer Feldmann Matthias Fischer Sevag Gharibian (Chair) Marion Hucke Claudia Jahn Friedhelm Meyer auf der Heide Franziska Reichelt Petra Schäfermeyer Christian Scheideler Ulf-Peter Schroeder Christian Soltenborn Anna Steinig Thomas Thissen Heinz Georg Wassing 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