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

Postdoc position and Ph.D. position @ King's College London
by Hubie Chen 12 Jun '23

12 Jun '23

Postdoc position and Ph.D. position in TCS @ King's College London * A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. The position is offered for 2 years. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, and parameterized complexity theory. Key dates: the application deadline is July 9, 2023; it is hoped that the successful applicant will start in autumn 2023, but there is some flexibility concerning the start date. Informal enquiries and discussion are strongly encouraged prior to application (e-mail contact: hubie.chen(a)kcl.ac.uk). To apply, please see: https://www.kcl.ac.uk/jobs/067385-postdoctoral-research-associate-in-theore… * A funded Ph.D. position in theoretical computer science is available at King's College London. The successful candidate will be advised by Hubie Chen and will work on mutually agreeable topics in theoretical computer science. The primary criterion for this position is an undergraduate degree in mathematics with strong performance, or an equivalent experience. Key dates: please apply by July 14, 2023 for full consideration; it is hoped that the successful applicant will start in autumn 2023, but there is some flexibility concerning the start date. Informal enquiries are very welcome (e-mail contact: hubie.chen(a)kcl.ac.uk); please send your CV when initiating correspondence. To apply, please send the following information to hubie.chen(a)kcl.ac.uk: (1) CV, including contact details for three persons who can be contacted for reference letters, (2) all available academic transcripts at the university level, (3) a brief statement of interest, and (4) copies of any theses or research publications.

1 0

Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP
by jean-yves beziau 07 Jun '23

07 Jun '23

Workshop organized by Jean-Yves Beziau and Caroline Pires Ting Federal University of Rio de Janeiro (Brazil) and Logica Universalis Association (Geneva, Switzerland) Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023 CALL FOR PAPERS On the one hand symbolism is important in most religions, on the other hand modern logic is often characterized as symbolic. This workshop, part of WoCoLoR4, explores the relation between these two symbolic approaches. Suggested topics include - but are not limited to - the following: > Boole's symbolic mathematical notation in logic and abstract religious notions > Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity Christian triangle, Islamic geometrical objects and the theory of oppositions > Yin/Yang and the notion of complementary contradiction > the symbolism of the cross, crucifixion, negation and abnegation > Venn symbolic logic, Venn diagrams and their application for understanding religious phenomena > the universal quantifier and catholicism as a religion for all > is the existential quantifier really symbolizing existence? > Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic logician > logical "interpretation" of Gödel's proof of the existence of God in symbolic logic Submit a one page abstract by June 15 Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 https://sites.google.com/view/symbol-relog

1 0

Call for participation: VALU3S Summer School on Validation and
by Rosemary Monahan 06 Jun '23

06 Jun '23

The VALU3S project is proud to organize a summer school with the focus on the results produced during the project. The theme of the school is Verification and Validation of Dependable Cyber-Physical Systems. - Where: Genova, Italy - When: 18th-20th July 2023 - Registration: until 12th June 2023 - Estimated cost: 180€/participant - More info: https://valu3s.eu/summer-school-2023 If you are a student (bachelor, master, or Ph.D.) or an early-stage researcher/engineer with an interest in expanding your knowledge around verification and validation, we recommend you to join us! == Tentative Teaching Modules == - Introduction to verification and validation of dependable cyber-physical systems - An overview to Testing of safety-critical cyber-physical systems - Software-implemented fault injection - Simulation-based fault injection - Formal Requirements Engineering - Introduction to Model Checking - Symbolic Model Checking of Hybrid Systems - Deductive Verification in a Nutshell - VVML: Specifying Workflows for V&V Methods - A V&V framework for storing elements of V&V activities - An overview of relevant safety and cybersecurity standards == Preliminary list of lecturers == - Joseba Agirre, Mondragon University - Raul Barbosa, University of Coimbra - Thomas Bauer, Fraunhofer IESE - Sina Borrami, Alstom - Frederico Cerveira, University of Coimbra - Bohumil Hruška, Lieberlieber Software - Pierre Kleberger, RISE Research Institutes of Sweden - Jonas Melchert, Alstom - Rosemary Monahan, Maynooth University - David Pereira, Instituto Superior de Engenharia do Porto - José Proença, Instituto Superior de Engenharia do Porto - Behrooz Sangchoolie, RISE Research Institutes of Sweden - Christoph Schmittner, AIT Austrian Institute of Technology - Stefano Tonetta, Fondazione Bruno Kessler -- Rosemary Monahan Principles of Programming Research Group Department of Computer Science & Hamilton Institute, Maynooth University, Maynooth, Co. Kildare, Ireland. T: +353 1 7083847 F:+353-1-7083848 W: https://www.maynoothuniversity.ie/computer-science/our-people/rosemary-mona…

1 0

GandALF 2023: Last Call For Papers.
by Gabriele Puppis 01 Jun '23

01 Jun '23

[apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20, 2023. The aim of GandALF 2023 <https://gandalf23.uniud.it/> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: - Automata Theory - Automated Deduction - Computational aspects of Game Theory - Concurrency and Distributed computation - Decision Procedures - Deductive, Compositional, and Abstraction Techniques for Verification - Finite Model Theory - First-order and Higher-order Logics - Formal Languages - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems - Game Semantics - Games and Automata for Verification - Logical aspects of Computational Complexity - Logics of Programs - Modal and Temporal Logics - Model Checking - Models of Reactive and Real-Time Systems - Probabilistic Models (Markov Decision processes) - Program Analysis and Software Verification - Reinforcement Learning - Run-time Verification and Testing - Specification and Verification of Finite and Infinite-state Systems - Synthesis Important Dates - Abstract submission deadline: 23 June 2023 - Paper submission deadline: 30 June 2023 - Acceptance notification: 7 August 2023 - Camera-ready deadline: 6 September 2023 - Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://time.is/Anywhere_on_Earth> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <http://www.eptcs.org/>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://lmcs.episciences.org/>. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <http://style.eptcs.org/>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 Invited Speakers - Laure Daviaud <https://www.city.ac.uk/about/people/academics/laure-daviaud> – City, University of London (UK) - Juha Kontinen <https://researchportal.helsinki.fi/en/persons/juha-kontinen> – University of Helsinki (Finland) - Sophie Pinchinat <https://people.irisa.fr/Sophie.Pinchinat/> – IRISA/University of Rennes (France) - Alexander Rabinovich <http://www.cs.tau.ac.il/~rabinoa> – Tel Aviv University (Israel) Program Committee - Dario Della Monica (co-chair) – University of Udine (Italy) - Antonis Achilleos (co-chair) – Reykjavik University (Iceland) - Parosh Aziz Abdulla – Uppsala University (Sweden) - Christel Baier – Technische Universität Dresden (Germany) - Valentina Castiglioni – Reykjavik University (Iceland) - Giorgio Delzanno – University of Genova (Italy) - Léo Exibard – Université Gustave Eiffel (France) - Gabriele Fici – University of Palermo (Italy) - Dana Fisman – Ben-Gurion University (Israel) - Nicola Gigante – Free University of Bozen-Bolzano (Italy) - Miika Hannula – University of Helsinki (Finland) - Naoki Kobayashi – The University of Tokyo (Japan) - Orna Kupferman – Hebrew University (Israel) - Martin Leucker – University of Lübeck (Germany) - Jakub Michaliszyn – University of Wrocław (Poland) - Fabio Mogavero – University of Napoli (Italy) - Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) - Pawel Parys – University of Warsaw (Poland) - Guillermo Pérez – University of Antwerp (Belgium) - Giovanni Pighizzini – University of Milano (Italy) - Gabriele Puppis – University of Udine (Italy) - Joshua Sack – California State University Long Beach (USA) - Ocan Sankur – CNRS/Irisa (France) - Patrick Totzke – University of Liverpool (UK) - Jana Wagemaker – Radboud University (Netherlands) - Matteo Zavatteri– University of Padova (Italy) - Martin Zimmermann – Aalborg University (Denmark) Steering Committee - Luca Aceto – Reykjavik University (Iceland) - Javier Esparza – University of Munich (Germany) - Salvatore La Torre – University of Salerno (Italy) - Angelo Montanari – University of Udine (Italy) - Mimmo Parente – University of Salerno (Italy) - Jean-François Raskin – Université libre de Bruxelles (Belgium) - Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/

1 0

ESSLLI 2023 - Early Bird Registration extended to June 14
by Žitnik, Slavko 01 Jun '23

01 Jun '23

(Apologies for cross-posting) The early bird registration has been extended to June 14: https://eventer.si/registrations/ESSLLI2023 Registration is now open for the 34th European Summer School in Logic, Language and Information (ESSLLI), taking place from 31 July - 11 August, 2023 at the University of Ljubljana, Faculty of Computer and Information Science: https://2023.esslli.eu/ Overview: The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, organised under the auspices of the Association for Logic, Language and Information (FoLLI), and has been running since 1989. The ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science, also from wider scientific, historical, and philosophical perspectives. ESSLLI attracts around 400 participants from all parts of Europe, as well as from North and Latin America, and Asia. ESSLLI has become the main meeting place for young researchers and students in logic, linguistics and computer science to discuss current research and to share knowledge. The event is unique in its interdisciplinary set-up, with no equivalents in Europe. Programme: The ESSLLI Summer School offers an exciting two-week programme, consisting of the following: - Workshops in logic, linguistics and computer science - Courses — foundational, introductory and advanced — in three areas: - - Language and Computation - - Logic and Computation - - Logic and Language - Student session - Evening lectures (see attachment) - Social activities Registration: Registration for attendees, course lecturers, student session and workshop organisers and speakers is now open. The early-registration deadline is June 14; go to https://2023.esslli.eu/registration.html Share information Please share information about the summer school (message above and/or poster attached to this message). Follow us @ESSLLI_official<https://twitter.com/ESSLLI_official>.

1 0

Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)
by Ilina Stoilkovska 31 May '23

31 May '23

------------------------------------------------------------------------ Call for Participation Logic Mentoring Workshop (LMW@LICS 2023) Boston, USA June 25, 2023 https://logic-mentoring-workshop.github.io/lics23/ Co-located with Logic in Computer Science (LICS) 2023 Registration at https://lics.siglog.org/lics23/ ------------------------------------------------------------------------ Students in US institutions and some students in Europe can have their expenses covered by the Logic Mentoring Workshop Travel Award. Apply here: https://forms.gle/mUgkA5Ah2W5aQwxY6 ------------------------------------------------------------------------ The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to doctoral students, and will include tutorials and plenary talks as well as a panel discussion, where experienced researchers from the field answer career-related questions from the audience. The workshop will be a hybrid event, however on-site participation in Boston, USA, is highly recommended. It is co-located with Logic in Computer Science (LICS’23, https://lics.siglog.org/lics23/) one of the most prestigious conferences on the topic. Attending LICS is not a prerequisite to attend LMW, but it is encouraged. SPEAKERS AND PANELLISTS Mikołaj Bojańczyk (University of Warsaw) Anupam Das (University of Birmingham) Anuj Dawar (University of Cambridge) Marianna Girlando (ILLC, University of Amsterdam) Martin Grohe (RWTH Aachen University) Antonina Kolokolova (Memorial University of Newfoundland) Sonia Marin (University of Birmingham) Igor Walukiewicz (CNRS, Université de Bordeaux) Matthew Weaver (Princeton University) PROGRAM The detailed program will be at https://logic-mentoring-workshop.github.io/lics23/ closer to the workshop. TRAVEL SUPPORT Students (undergrad, master's, and PhD alike) can apply to have their costs (some or all) covered by our sponsors, the National Science Foundation (NSF) and SIGLOG. Deadline: June 6th (applications are accepted after that date if funds allow) Apply at: https://forms.gle/mUgkA5Ah2W5aQwxY6 ORGANIZING COMMITTEE Arthur Azevedo de Amorim Steffen van Bergerem Ilina Stoilkovska K. S. Thejaswini

1 0

Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 - CfP
by jean-yves beziau 24 May '23

24 May '23

Workshop organized by Jean-Yves Beziau and Caroline Pires Ting Federal University of Rio de Janeiro (Brazil) and Logica Universalis Association (Geneva, Switzerland) Part of the 4th World Congress on Logic and Religion), Sinaia, Sept 3-8, 2023 CALL FOR PAPERS On the one hand symbolism is important in most religions, on the other hand modern logic is often characterized as symbolic. This workshop, part of WoCoLoR4, explores the relation between these two symbolic approaches. Suggested topics include - but are not limited to - the following: > Boole's symbolic mathematical notation in logic and abstract religious notions > Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity Christian triangle, Islamic geometrical objects and the theory of oppositions > Yin/Yang and the notion of complementary contradiction > the symbolism of the cross, crucifixion, negation and abnegation > Venn symbolic logic, Venn diagrams and their application for understanding religious phenomena > the universal quantifier and catholicism as a religion for all > is the existential quantifier really symbolizing existence? > Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic logician > logical "interpretation" of Gödel's proof of the existence of God in symbolic logic Submit a one page abstract by May 31st Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 https://sites.google.com/view/symbol-relog

1 0

Extended submission deadline -- FTfJP 2023
by Aaron Tomb 23 May '23

23 May '23

========================================================== CALL FOR PAPERS -- EXTENDED FTfJP 2023 25th Workshop on Formal Techniques for Java-like Programs July 18th, 2023, Seattle, WA, USA https://2023.ecoop.org/track/ftfjp-2023 =========================================================== === Important Dates === * Paper submission: May 26th, 2023 (AoE) (EXTENDED) * Author notification: June 23rd, 2023 (AoE) * Workshop date: July 18th, 2023 (co-located with ECOOP 2023) Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Submission site: https://easychair.org/conferences/?conf=ftfjp2023 === Objectives and Scope === Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme. The most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submissions relating to programming languages in general, beyond Java, including submissions related to C#, Scala, and similar languages, and submissions on more general topics that may be relevant to such languages. Example topics of interest include: * Language design and semantics * Type systems * Concurrency and new application domains * Specification and verification of program properties * Program analysis (static or dynamic) * Program synthesis * Security * Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers. Webpages for previous workshops in this series are available at: https://ftfjp.github.io/ === Paper Categories === Contributions are sought in two categories: * Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. * Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage, e.g., established researchers to set out a personal vision, and beginning researchers to present a planned path to a Ph.D. Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Reviewing will be single blind, there is no need to anonymize submissions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. === Submission Guidelines === All submissions and reviews will be managed within EasyChair. Submissions should be made via https://easychair.org/conferences/?conf=ftfjp2023 There is no need to indicate the paper category (long/short). Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author). We plan that, as in previous years, accepted papers will be published in the ACM Digital Library, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must register to the conference by the early registration date and attend the workshop to present the work and participate in the discussions. Selected papers will also be considered for extended versions to be submitted to the Journal of Object Technology (JOT).

1 0

FSCD 2023: Call for Participation (early registration deadline: 31
by Carsten Fuhs 19 May '23

19 May '23

============================================================================== CALL FOR PARTICIPATION Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ 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. REGISTRATION --------------- The registration page is already open and linked from: https://easyconferences.eu/fscd2023/registration1/ This link should be used also to register for affiliated workshops. The early registration deadline is *** May 31, 2023 ***. Attending FSCD 2023 is possible both in-person and remotely. FSCD 2023 is co-located with CADE-29 (July 1-4, 2023), and special rates are available for joint registration to both conferences. INVITED SPEAKERS ---------------- Titles and abstracts: https://easyconferences.eu/fscd2023/keynote-speakers/ - Maribel Fernández (Joint FSCD-CADE), King’s College London - Mateja Jamnik (Joint FSCD-CADE), University of Cambridge - Giulio Manzonetto, LIPN&CNRS, Université Sorbonne Paris Nord - Akihisa Yamada, Cyber Physical Security Research Center, National Institute of Advanced Industrial Science and Technology (AIST) ACCEPTED PAPERS --------------- The list of accepted papers is here: https://easyconferences.eu/fscd2023/accepted-papers-2/ CO-LOCATION AND AFFILIATED WORKSHOPS ------------------------------------ FSCD 2023 is co-located with CADE-29: https://easyconferences.eu/cade2023/ The following workshops are affiliated with FSCD and CADE in 2023: https://easyconferences.eu/fscd2023/satellite-events/ - 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) - IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting (July 5, 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) - SMT: 21st International Workshop on Satisfiability Modulo Theories (July 5-6, 2023) PROGRAM COMMITTEE CHAIRS ------------------------ Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam 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 STEERING COMMITTEE 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 Looking forward to seeing you in Rome! ==============================================================================

1 0

Ackermann Award: Second call for nominations - Deadline 1st July
by Maribel Fernandez 14 May '23

14 May '23

ACKERMANN AWARD 2023 EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE 2ND CALL FOR NOMINATIONS Nominations are invited for the 2023 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2022 and 31 December 2022 are eligible for nomination for the award. The deadline for submission is 1 July 2023. Nominations should be submitted by the candidate or the supervisor via Easychair: https://easychair.org/my/conference?conf=ackermann23 Please submit a pdf file containing: 1. a summary in English of the thesis (maximum 10 pages), providing a gentle introduction and overview of the thesis, highlighting the novel results and their impact and including a link to the thesis (please do not include the thesis itself); 2. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); 3. a copy of a document stating that the thesis was accepted as a PhD thesis at a recognised University (or equivalent institution) and that the candidate was awarded the PhD degree within the specified period; 4. a short CV of the candidate. *** The Award The 2023 Ackermann award will be presented to the recipient(s) at CSL 2024, the annual conference of the EACSL. The award consists of a certificate, an invitation to present the thesis at the CSL conference, the publication of the laudatio in the CSL proceedings, an invitation to publish the thesis in the FoLLI subseries of Springer LNCS, and financial support to attend the conference. *** Ackermann Jury The jury consists of: * Christel Baier (TU Dresden) * Maribel Fernandez (King’s College London), president of EACSL * Jean Goubault-Larrecq (ENS Paris-Saclay) * Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog rep. * Delia Kesner (IRIF, U Paris Cite) * Slawomir Lasota (U Warsaw) * Florin Manea (U Goettingen), vice-president of EACSL * Prakash Panangaden (McGill University) * James Worrell (U Oxford) For more information please contact Maribel Fernandez: Maribel.Fernandez(a)kcl.ac.uk<mailto:Maribel.Fernandez@kcl.ac.uk>

1 0