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

MFCS 2023: 2nd Call for Papers
by Sylvain Lombardy 13 Apr '23

13 Apr '23

================= MFCS 2023 ================= 48th International Symposium on Mathematical Foundations of Computer Science August 28 — September 1, 2023, Bordeaux, France The MFCS conference series on Mathematical Foundations of Computer Science is a high-quality venue for original research in all branches the longest history in the field-the first conference in the series was held already in 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since 2013, the conference has traveled around Europe. MFCS 2023 will be held in Bordeaux, France. https://mfcs2023.labri.fr/ <https://mfcs2023.labri.fr/> Barring substantial and unforeseen developments, MFCS will be organized as a physical event, and at least one author of each accepted paper must register at the conference. Invited speakers Marthe Bonamy (University of Bordeaux, France) Joan Boyar (University of Southern Denmark), Online Algorithms with Predictions Artur Czumaj (University of Warwick, UK) Laura Kovacs (TU Wien, Austria), Algebraic Reasoning for (Un)Solvable Loops Paul Spirakis (university of Liverpool, UK) Important Dates Abstract submission deadline: April 24th (AoE) Paper submission deadline: April 28th (AoE) Notification of authors: June 27th Camera-ready: July 18th Conference dates: August 28th - September 1st Submission Guidelines Papers should be submitted electronically through EasyChair. https://easychair.org/conferences/?conf=mfcs2023 <https://easychair.org/conferences/?conf=mfcs2023> Submissions should be formatted using the LIPIcs style with length not exceeding 12 pages (excluding references and an optional appendix). References and an optional appendix can go beyond the 12 pages; the appendix will be consulted at the discretion of the program committee. It is mandatory to use the LIPIcs style for submissions. No prior publication or simultaneous submission to other conferences or journals are allowed (except preprint repositories such as arXiv or workshops without formal published proceedings). Publication As in previous years, MFCS 2023 proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics) under an open access license. List of Topics We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following: algebraic and co-algebraic methods in computer science algorithms and data structures automata and formal languages bioinformatics combinatorics on words, trees, and other structures computational complexity (structural and model-related) computational geometry computer-aided verification computer assisted reasoning concurrency theory cryptography and security cyber physical systems, databases and knowledge-based systems formal specifications and program development foundations of computing logics in computer science mobile computing models of computation networks parallel and distributed computing quantum computing semantics and verification of programs theoretical issues in artificial intelligence and machine learning types in computer science Program Committee Parosh Aziz Abdulla (Uppsala University) Akanksha Agrawal (Indian Institute of Technology Madras) Susanne Albers (Technical University of Munich) Josh Alman (Columbia University) Christel Baier (Technische Universität Dresden) Laurent Bienvenu (University of Bordeaux) Hans Bodlaender (Utrecht University) Olivier Bournez (Ecole Polytechnique) Véronique Bruyère (University of Mons) Ioannis Caragiannis (Aarhus University) Keerti Choudhary (Indian Institute of Technology Delhi) Vincent Cohen-Addad (Google Research) Thierry Coquand (University of Gothenburg) Stéphanie Delaune (University of Rennes, CNRS, IRISA) Javier Esparza (Technische Universität München) Piotr Faliszewski (AGH University of Science and Technology) Michal Feldman (Tel-Aviv University) Paola Flocchini (University of Ottawa) Luisa Gargano (Università di Salerno) Leszek Gasieniec (University of Liverpool) Jean Goubault-Larrecq (ENS Paris-Saclay) Petr Jancar (Palacky University) Lefteris M. Kirousis (National and Kapodistrian University of Athens) Sándor Kisfaludi-Bak (Aalto University) Lukasz Kowalik (University of Warsaw) Daniel Kráľ (Masaryk University) Rastislav Královič (Comenius University) Ranko Lazic (University of Warwick) Christof Löding (RWTH Aachen University) Pinyan Lu (Shanghai University of Finance and Economics) Elvira Mayordomo (Universidad de Zaragoza) Paolo Milazzo (University of Pisa) Simon Perdrix (Inria, Loria) Sophie Pinchinat (University of Rennes) Jörg Rothe (Heinrich-Heine-Universität Düsseldorf) Jiri Sgall (Charles University) Mahsa Shirmohammadi (CNRS, IRIF, University Paris Cité) Michał Skrzypczak (University of Warsaw) Shay Solomon (Tel Aviv University) Dimitrios M. Thilikos (CNRS, LRIMM, University of Montpellier) Patrik Totzke (University of Liverpool) Ashutosh Trivedi (University of Colorado Boulder) James Worrell (University of Oxford) Xiaoming Sun (Chinese Academy of Sciences) Meirav Zehavi (Ben-Gurion University) Marius Zimand (Towson University) Martin Zimmermann (Aalborg University) Organising Committee Hugo Gimbert Sylvain Lombardy Anca Muscholl Vincent Penelle

1 0

[fm-announcements] FMICS 2023 - Second call for papers
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 06 Apr '23

06 Apr '23

Second Call for Papers FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems Antwerp, Belgium, 20-22 September 2023 https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uantw… The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in the industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. IMPORTANT DATES: Paper submission: 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 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 forum. 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://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…. PROCEEDINGS: The conference proceedings will be published by Springer in the LNCS series. At least one author of each accepted paper is expected to present the paper at the conference as a registered participant. BEST PAPER AWARD: An award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2023 Best Paper. This submission will be awarded a 1.000 Euro prize sponsored by Springer. SPECIAL ISSUE: The Program Committee of FMICS 2023 will invite a selection of accepted papers to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). 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 Mitch (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

Logic in Question 10 - Sorbonne, Paris - April 24-25, 2023
by jean-yves beziau 05 Apr '23

05 Apr '23

The tenth edition of the annual workshop Logic-in-Question will take place April 24-25 at the Sorbonne in Paris. The attendance is free and open to everybody. https://sites.google.com/view/liq10/ Jean-Yves Beziau, Organizer https://philpeople.org/profiles/jean-yves-beziau

1 0

ESSLLI 2023 - Registration is now open!
by Žitnik, Slavko 31 Mar '23

31 Mar '23

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 - Social activities Registration: Registration for attendees, course lecturers, student session and workshop organisers and speakers is now open. The early-registration deadline is Wednesday, 31st May; go to https://2023.esslli.eu/registration.html ESSLLI is offering affordable accommodation to all participants who book before 31st May. We cannot guarantee accommodation for registrations received after this date. 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

[Deadline Extension and Last Call for Nominations] VCLA International
by Hackl, Andrea 28 Mar '23

28 Mar '23

The deadline for the submission of self-nominations for the VCLA International Student Awards 2023 has been extended to the 11th of April 2023. Please find the revised call for nominations below. ---------------------------------- The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: - Outstanding Master Thesis Award* - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2021 and December 31st, 2022 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- - Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). - Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. - Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). - Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- - The Outstanding Master Thesis Award: 1200 EUR. - The Outstanding Undergraduate Thesis Award: 800 EUR. - The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows. ---------------------------------- Eligibility ---------------------------------- - The degree must have been awarded between January 1st, 2021 and December 31st, 2022 (inclusive). - Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: - A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university. - An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest. - The CV of the nominated person, including publication list (if applicable). - An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at. - The full thesis. All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- - Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2023. - Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis. - The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at. - The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. - The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- - Submission deadline (updated): April 11th, 2023 (anywhere on Earth) - Notification of decision: After June 30th, 2023 ---------------------------------- Contact ---------------------------------- Please send all inquiries to award(a)logic-cs.at<mailto:award@logic-cs.at>. ---------------------------------- VCLA Award Committee 2023 ---------------------------------- - Shqiponja Ahmetaj - Michele Chiari - Jan Dreier - Robert Ganian (chair) - Anela Lolic - Jan Maly - Johannes Oetsch - Xavier Parent - Anna Rapberger - Michael Rawson - Emanuel Sallinger - Zeynep G. Saribatur - Stefan Schupp - Sebastian Skritek - Friedrich Slivovsky - Manuel Sorge - Jules Wulms (co-chair) ---------------------------------- Websites with information on the award and the previous awardees ---------------------------------- http://www.vcla.at/2023/01/call-for-nominations-vcla-international-student-… https://logic-cs.at/vcla-international-student-awards-2023/ 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

Call for Papers - TbiLLC 2023
by Balder ten Cate 27 Mar '23

27 Mar '23

THE FOURTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION 18-22 September, 2023 Telavi, Georgia Website: https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ *********************************************************************** SECOND CALL FOR PAPERS incl. Deadline Extension -- UPDATED: Important Dates and Submission Info -- The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2023) will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. TbiLLC 2023 will be preceded by Logic, Algebra and Truth Degrees (LATD 2023) and DaLí - Dynamic Logic: new trends and applications (DaLi 2023). The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to: * Natural language syntax, semantics, and pragmatics * Linguistic typology and semantic universals * Language evolution and learnability * Variability in language * Sociolinguistics * Historical linguistics, history of logic * Natural logic, inference and entailment in natural language * Natural language processing * Distributional and probabilistic models of information, meaning and computation * Logic, games, and formal pragmatics * Logic and cognition * Logics for artificial intelligence and computer science * Knowledge representation * Foundations of machine learning * Formal models of multiagent systems * Logics for social networks * Logics for knowledge, belief, and information dynamics * Computational social choice * Information retrieval, query answer systems * Constructive, intuitionistic, modal and other non-classical logics * Algebraic and coalgebraic logic and semantics * Categorical logic * Models of computation PROGRAMME The programme will include the following tutorials and a series of invited lecturers. *Tutorial speakers* Language: Peter Sutton (UPF, Barcelona) Logic & Computation: Frank Wolter (University of Liverpool) *Invited speakers* Language: - Heather Burnett (CNRS-LLF, Paris) - Stephanie Solt (ZAS, Berlin) Logic & Computation: - Balder ten Cate (University of Amsterdam) - Nina Gierasimczuk (Technical University of Denmark) WORKSHOPS There will be two workshops embedded in the conference programme: "The Semantics of Hidden Meanings" Organisers: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin), Peter Sutton (UPF, Barcelona) Invited speaker: - Elin McCready (Aoyama Gakuin University) For more details see the workshop webpage: https://sites.google.com/view/hidden-meanings and "Learning and Logic" Organisers: Balder ten Cate (University of Amsterdam) and Aybüke Özgün (University of Amsterdam). Invited speakers: - Victor Dalmau (UPF Barcelona), - Kasey Genin (University of Tübingen), - Dick de Jongh (University of Amsterdam), - Ana Ozaki (University of Bergen) More details will soon be made available via the TbiLLC website (see top). PROGRAMME COMMITTEE CHAIRS Berit Gehrke (Humboldt-Universität zu Berlin, DE) Helle Hvid Hansen (University of Groningen, NL) PROGRAMME COMMITTEE Samson Abramsky (University College London, UK) Philippe Balbiani (CNRS & University of Toulouse, FR) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (University of Amsterdam, NL) Olga Borik (Universidad Nacional de Educación a Distancia, ES) Zoé Christoff (University of Groningen, NL) Agata Ciabattoni (TU Wien, AT) Milica Denić (Tel Aviv University, IL) David Gabelaia (Javakhishvili Tbilisi State University, GE) Berit Gehrke (Humboldt-Universität zu Berlin, DE, co-chair) Jim de Groot (Australian National University, AU) Helle Hvid Hansen (University of Groningen, NL, co-chair) Daniel Hole (University of Stuttgart, DE) Rosalie Iemhoff (Utrecht University, NL) Maarten Janssen (Charles University, Prague, CZ) Clemens Kupke (University of Strathclyde, UK) Temur Kutsia (Johannes Kepler University Linz, AT) Mora Maldonado (CNRS & University of Nantes, FR) Louise McNally (Universitat Pompeu Fabra, Barcelona, ES) Lawrence Moss (Indiana University, USA) Aybüke Özgün (University of Amsterdam, NL) Mehrnoosh Sadrzadeh (University College London, UK) Viola Schmitt (Humboldt-Universität zu Berlin, DE) Todd Snider (Heinrich Heine University of Düsseldorf, DE) Ana Sokolova (University of Salzburg, AT) Luca Spada (University of Salerno, IT) Yasutada Sudo (University College London, UK) Jakub Szymanik (University of Trento, IT) Carla Umbach (University of Cologne, DE) Marcin Wągiel (Masaryk University, Brno, CZ, and University of Wrocław, PL) Fan Yang (Utrecht University, NL) Malte Zimmermann (University of Potsdam, DE) Sarah Zobel (University of Oslo, NO) IMPORTANT DATES Submission deadline: Fri 31 March 2023 (NEW) Notification: Wed 07 June 2023 (NEW) Final abstracts due: Mon 10 July 2023 (NEW) Early Registration deadline: Fri 30 June 2023 Late Registration deadline: Mon 24 July 2023 Symposium: 18-22 September 2023 SUBMISSION INFO Authors can submit an abstract for presentation at the symposium of up to 3 pages excluding references, and max 4 pages including references. . Abstracts will be reviewed single-blind and should report on original, unpublished work. No particular style file is required as long as the abstract is legible and uses minimal fontsize 10. Abstracts should report on original, unpublished work. Submissions should be done via the EasyChair conference system here: https://easychair.org/conferences/?conf=tbillc2023 All accepted abstracts will be compiled into an informal proceedings volume which will be made available electronically in advance of the symposium. PUBLICATION INFORMATION After the symposium, authors of accepted abstracts will be invited to submit a full-length paper to the post-proceedings of the symposium, which will be published in the LNCS series of Springer. The full-length submissions will undergo a new single-blind peer review process.

1 0

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

21 Mar '23

LICS 2023 Workshop on Combinatorial Games in Finite Model Theory June 24-25, 2023, Boston, USA https://gamesandfmt.org/workshop2023/ CALL FOR CONTRIBUTIONS AND PARTICIPATION The goal of this workshop is to promote work at the interface of complexity and logic. The workshop has two main foci: the first is recent progress in using combinatorial games to prove logical (in)expressiblity results, the second is limitations in the method of combinatorial games as a tool for establishing lower bounds in computational complexity. INVITED SPEAKERS Yijia Chen (Shanghai Jiao Tong University), Erich Grädel (RWTH Aachen), Neil Immerman (University of Massachusetts Amherst), Antonina Kolokolova (Memorial University of Newfoundland) SUBMISSION GUIDELINES Those wishing to speak at the workshop on any topic related to combinatorial games in finite model theory are invited to submit an Extended Abstract of up to three pages (including references) describing the content of the contributed presentation. At least one author from each accepted abstract must register for the workshop and present the work in person. For additional information, please visit the workshop webpage https://gamesandfmt.org/workshop2023/ IMPORTANT DATES -- Abstract Submission: May 1, 2023 -- Author Notification: May 15, 2023 -- Workshop Dates: June 24-25, 2023 ORGANIZING and PROGRAM COMMITTEE Marco Carmosino (IBM Research), Phokion G. Kolaitis (UC Santa Cruz and IBM Research), Jonathan Lenchner (IBM Research), Ronald Fagin (IBM Research), Ryan Williams (MIT) -- Phokion Kolaitis http://users.soe.ucsc.edu/~kolaitis/

1 0

VCLA International Student Awards - Call for Nominations - Deadline
by Hackl, Andrea 15 Mar '23

15 Mar '23

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: - Outstanding Master Thesis Award* - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2021 and December 31st, 2022 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- - Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). - Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. - Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). - Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- - The Outstanding Master Thesis Award: 1200 EUR. - The Outstanding Undergraduate Thesis Award: 800 EUR. - The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows. ---------------------------------- Eligibility ---------------------------------- - The degree must have been awarded between January 1st, 2021 and December 31st, 2022 (inclusive). - Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: - A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university. - An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest. - The CV of the nominated person, including publication list (if applicable). - An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at. - The full thesis. All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- - Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2023. - Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis. - The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at. - The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. - The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- - Submission deadline: March 31st, 2023 (anywhere on Earth) - Notification of decision: After June 30th, 2023 ---------------------------------- Contact ---------------------------------- Please send all inquiries to award(a)logic-cs.at<mailto:award@logic-cs.at>. ---------------------------------- VCLA Award Committee 2023 ---------------------------------- - Shqiponja Ahmetaj - Michele Chiari - Jan Dreier - Robert Ganian (chair) - Anela Lolic - Jan Maly - Johannes Oetsch - Xavier Parent - Anna Rapberger - Michael Rawson - Emanuel Sallinger - Zeynep G. Saribatur - Stefan Schupp - Sebastian Skritek - Friedrich Slivovsky - Manuel Sorge - Jules Wulms (co-chair) ---------------------------------- Websites with information on the award and the previous awardees ---------------------------------- http://www.vcla.at/2023/01/call-for-nominations-vcla-international-student-… https://logic-cs.at/vcla-international-student-awards-2023/ 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

Verification Mentoring Workshop at CAV 2023: Call for Scholarship Applications — deadline April 14th
by Sammartino, Matteo 13 Mar '23

13 Mar '23

Verification Mentoring Workshop (VMW) 2023 http://www.i-cav.org/2023/workshops/mentoring/ July 18, 2023 Paris, France Co-located with the 35th International Conference on Computer Aided Verification (CAV) http://www.i-cav.org/2023/ We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2023. The deadline for applications is April 14th. Applications are received via the form at https://forms.gle/Yh9rrCdPB2UhrWaq7 ABOUT THE MENTORING WORKSHOP The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage the participation of women and underrepresented minorities. The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied CAV related topics. Other talks will provide mentoring and career advice, from academia and industry. CONTACT In case of questions, please contact the VMW organizers: Ankush Densai <ankushdesai(a)gmail.com> Eric Koskinen <ekoskine(a)stevens.edu> Burcu Kulahcioglu Ozkan <B.Ozkan(a)tudelft.nl> Marijana Lazić <lazic(a)in.tum.de> Matteo Sammartino <Matteo.Sammartino(a)rhul.ac.uk> ============================== 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

CfP: CLIRAI / CompLingInfoReasAI / Computational Linguistics,
by Roussanka Loukanova 12 Mar '23

12 Mar '23

CALL FOR PAPERS ================================================ Special Session: Computational Linguistics, Information, Reasoning, and AI (CLIRAI) (previous alias: CompLingInfoReasAI) Guimarães (Portugal) within PAAMS'23, from 12th to 14th July, 2023, HYBRID https://www.dcai-conference.net/special-sessions/clirai ================================================ SCOPE: Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning. The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS: We invite contributions relevant to the following topics, without being limited to them, across approaches, methods, theories, implementations, and applications: - Theorem provers and assistants - Model checkers - Theory of computation - Theory of information - Computational methods of inferences in natural language - Computational theories and systems of reasoning in natural language - Transfer of reasoning in natural language to theorem provers, or vice versa - Transfer of reasoning between natural language, theorem provers, model checkers, and various computational assistants - Computational approaches of computational linguistics for domain specific areas - Theories for applications to language, information processing, reasoning - Type theories for applications to language, information processing, reasoning - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Models of computation and algorithms for linguistics, natural language processing, argumentation - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to computational linguistics - Information about space and time in language models and processing == - Data science in language processing - Machine learning of language and reasoning - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and / or spoken language - Logic for information integrations of diagrams with written and / or spoken language == - Formal models of argumentations - Interactive computation, reasoning, argumentation - Computation with heterogeneous information - Reasoning with heterogeneous and/or inconsistent information - Dialog and other interactions - Interdisciplinary approaches to language, computation, reasoning, memory - Applications, e.g., to business, economy, justice, health, medical sciences, etc. == - Computational language processing based on fundamentals of information and languages - Computational neuroscience of language - etc. IMPORTANT DATES Deadline (Maintrack and Special Sessions) 24th March, 2023 Notification of acceptance 3rd May, 2023 Camera-Ready papers 19th May, 2023 Conference Celebration 12th-14th July, 2023 PAPER SUBMISSION https://www.dcai-conference.net/special-sessions The papers must consist of original, relevant, and previously unpublished, sound research results related to any of the topics of the Special Session CompLingInfoReasAI / CLIRAI. SUBMITTING PAPERS and PAPER FORMAT DCAI Special Session papers must be formatted according to the Template of Lecture Notes in Networks and Systems (LNNS), Springer, with a maximum length of 10 pages in length, including figures and references. All papers must be formatted according to the LNNS template, with a maximum length of 10 pages, including figures and references: https://www.dcai-conference.net/special-sessions PUBLICATION All accepted, registered, and presented papers will be published by the series Lecture Notes in Networks and Systems (LNNS), Springer. At least one of the authors of an accepted paper will be required to register and attend the symposium to present the paper in order to include it in the conference proceedings. CHAIRS Roussanka Loukanova Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Bulgaria Sara Rodríguez University of Salamanca, Salamanca, Spain ======

1 0