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
======
[please circulate; apologies for cross/multiple postings]
Dear colleagues,
Please find the advert for up to three posts of Assistant Professor
(Lecturer) in Computing
and Software Engineering below:
https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=0119-23
Kind regards,
Marco
Dr Marco Caminati | Assistant Professor (Lecturer) in Computer Science
Lancaster University Leipzig
Strohsack-Passage | Nikolaistraße 10 | 04109 Leipzig
Germany
Landline: +49 341 339 77 646
www.lancasterleipzig.de
GPS: 51.3410, 12.3782
The previous message had a typo: The eligible theses must have been awarded in 2022. Apologies for the mistake.
From: Maribel Fernandez <maribel.fernandez(a)kcl.ac.uk>
Date: Thursday, 9 March 2023 at 18:42
Subject: Ackermann Award: Call for nominations
ACKERMANN AWARD 2023
EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS
Nominations are now 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 2021
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<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…>
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 the winner
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>
--
Professor Maribel Fernandez
Deputy Head of Department (Academic Planning)
Department of Informatics, King’s College London
https://nms.kcl.ac.uk/maribel.fernandez
=================
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
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.
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/my/conference?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
[apologies for cross-postings]
The Fourteenth International Symposium on Games, Automata, Logics, and
Formal Verification (GandALF 23) will be held in Udine (Italy) on *September
18-20, 2023*.
The aim of GandALF 2023
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23…>
is to bring together researchers from academia and industry who are
actively working in the fields of Games, Automata, Logics, and Formal
Verification. The idea is to cover an ample spectrum of themes, ranging
from theory to applications, and stimulate cross-fertilization. Papers
focused on formal methods are especially welcome. Authors are invited to
submit original research or tool papers on all relevant topics in these
areas. Papers discussing new ideas that are at an early stage of
development are also welcome. The topics covered by the conference include,
but are not limited to, the following:
· Automata Theory
· Automated Deduction
· Computational aspects of Game Theory
· Concurrency and Distributed computation
· Decision Procedures
· Deductive, Compositional, and Abstraction Techniques for
Verification
· Finite Model Theory
· First-order and Higher-order Logics
· Formal Languages
· Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile
Systems
· Game Semantics
· Games and Automata for Verification
· Logical aspects of Computational Complexity
· Logics of Programs
· Modal and Temporal Logics
· Model Checking
· Models of Reactive and Real-Time Systems
· Probabilistic Models (Markov Decision processes)
· Program Analysis and Software Verification
· Reinforcement Learning
· Run-time Verification and Testing
· Specification and Verification of Finite and Infinite-state
Systems
· Synthesis
Important Dates
· Abstract submission deadline: 23 June 2023
· Paper submission deadline: 30 June 2023
· Acceptance notification: 7 August 2023
· Camera-ready deadline: 6 September 2023
· Conference dates: 18-20 September 2023
⚠ all deadlines are AoE
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftime.is%2…>
Publication
The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science
<https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.eptcs.…>.
Authors of selected papers will be invited to submit a revised version of
their work to a special issue of Logical Methods in Computer Science
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flmcs.epis…>
.
The previous editions of GandALF already led to special issues of the
International Journal of Foundations of Computer Science (GandALF 2010),
Theoretical Computer Science (GandALF 2011 and 2012), Information and
Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta
Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF
2021 and 2022).
Submission
Submitted papers should not exceed 14 pages (excluding references and
clearly marked appendices) using EPTCS format (please use the LaTeX style
provided here
<https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fstyle.eptc…>),
be unpublished, and contain original research. For papers reporting
experimental results, authors are encouraged to make their data available
with their submission. Submissions must be in PDF format and will be
handled via easychair at the following address:
https://easychair.org/conferences/?conf=gandalf23
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…>
Invited Speakers
· Laure Daviaud
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.city.…>
– City, University of London (UK)
· Juha Kontinen
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fresearchp…>
– University of Helsinki (Finland)
· Sophie Pinchinat
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpeople.ir…>
– IRISA/University of Rennes (France)
· Alexander Rabinovich
<https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cs.tau…>
– Tel Aviv University (Israel)
Program Committee
· Dario Della Monica (co-chair) – University of Udine (Italy)
· Antonis Achilleos (co-chair) – Reykjavik University (Iceland)
· Parosh Aziz Abdulla – Uppsala University (Sweden)
· Christel Baier – Technische Universität Dresden (Germany)
· Valentina Castiglioni – Reykjavik University (Iceland)
· Giorgio Delzanno – University of Genova (Italy)
· Léo Exibard – Université Gustave Eiffel (France)
· Gabriele Fici – University of Palermo (Italy)
· Dana Fisman – Ben-Gurion University (Israel)
· Nicola Gigante – Free University of Bozen-Bolzano (Italy)
· Miika Hannula – University of Helsinki (Finland)
· Naoki Kobayashi – The University of Tokyo (Japan)
· Orna Kupferman – Hebrew University (Israel)
· Martin Leucker – University of Lübeck (Germany)
· Fabio Mogavero – University of Napoli (Italy)
· Shankara Narayanan Krishna – Indian Institute of Technology,
Bombay (India)
· Pawel Parys – University of Warsaw (Poland)
· Guillermo Pérez – University of Antwerp (Belgium)
· Giovanni Pighizzini – University of Milano (Italy)
· Gabriele Puppis – University of Udine (Italy)
· Joshua Sack – California State University Long Beach (USA)
· Ocan Sankur – CNRS/Irisa (France)
· Patrick Totzke – University of Liverpool (UK)
· Jana Wagemaker – Radboud University (Netherlands)
· Martin Zimmermann – Aalborg University (Denmark)
· *(to be completed)*
Steering Committee
· Luca Aceto – Reykjavik University (Iceland)
· Javier Esparza – University of Munich (Germany)
· Salvatore La Torre – University of Salerno (Italy)
· Angelo Montanari – University of Udine (Italy)
· Mimmo Parente – University of Salerno (Italy)
· Jean-François Raskin – Université libre de Bruxelles (Belgium)
· Martin Zimmermann – Aalborg University (Denmark)
Website
https://gandalf23.uniud.it/
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23…>
(Apologies for multiple copies of this announcement. Please circulate.)
---------------
Call for Location for FSCD 2025
The FSCD conference covers all aspects of Formal Structures for
Computation and Deduction from theoretical foundations to
applications. The annual FSCD conference comprises the main
conference and a considerable number of affiliated workshops
(expectedly, more than ten).
We invite proposals for locations to host the 10th FSCD International
Conference to be held during the summer of 2025. The deadline for proposals is
*** 27th May 2023 ***
Proposals should be sent to the FSCD Steering Committee Chair (see
contact information below). We encourage proposers to register their
intention informally as soon as possible.
Previous (and upcoming) FSCD meetings include:
FSCD 2016 in Porto (Portugal);
FSCD 2017 in Oxford (UK) co-located with ICFP 2017;
FSCD 2018 in Oxford (UK) as part of FLoC 2018;
FSCD 2019 in Dortmund (Germany);
FSCD 2020 in Paris (France) co-located with IJCAR 2020;
FSCD 2021 in Buenos Aires (Argentina);
FSCD 2022 in Haifa (Israel) as part of FLOC2022;
FSCD 2023 in Rome (Italy) co-located with CADE 2023;
FSCD 2024 in Tallinn (Estonia).
Selected proposals are to be presented at the business meeting of FSCD
2023 taking place in Rome in July 2023. The final decision about
hosting and organising of FSCD 2025 will be taken by the SC after an
advisory vote of the members of the community in attendance at the
business meeting.
Proposals should address the following points:
* FSCD Conference Chair (complete name and current position), host
institution, FSCD Local Committee (complete names and current
positions), availability of student-volunteers.
* National, regional, and local government and industry support, both
organizational and financial.
* Accessibility to the location (i.e., transportation) and
attractiveness of the proposed site. Accessibility can include both
information about local transportation and travel information to the
location (flight and/or train connections), as well as estimated
costs.
* Proposed dates, including allowing 2-3 days before and/or after the
main conference for affiliated workshops. (Please also take into
consideration holidays or local events during the period).
* Estimated costs of registration for the conference and workshops,
both for regular and student participants.
* Conference and exhibit facilities for the anticipated number of
registrants (including all workshop participants, typically around 200).
For example:
= number, capacity and audiovisual equipment of meeting rooms;
= a large plenary session room that can hold all the registrants;
= enough rooms for parallel session workshops/tutorials in the two
days before and the two days after the main conference;
= internet connectivity and workstations for demos/competitions;
= catering services;
= presence of professional staff.
* Support for hybrid attendance to the conference.
* Residence accommodations and food services in a range of price
categories and close to the conference venue, for example, number
and cost range of hotels, and availability and cost of dormitory
rooms (e.g., at local universities) and kind of services they offer.
* Other relevant information, which can include information about
leisure activities and attractiveness of the location (e.g.,
cultural and historical aspects, touristic activities, etc...).
Contact information:
Herman Geuvers
herman(a)cs.ru.nl
FSCD SC Chair
DEADLINE APPROACHING
[Please distribute. Apologies for multiple postings]
CALL FOR PAPERS
WoLLIC 2023
29th Workshop on Logic, Language, Information and Computation
11-14 July, 2023
Halifax, Nova Scotia, Canada
Website: https://www.mathstat.dal.ca/wollic2023/
ORGANISATION
Department of Mathematics and Statistics, Dalhousie University, Canada
Centro de Informática, Universidade Federal de Pernambuco, Brazil
CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and tutorials
as well as contributed papers. The twenty-ninth WoLLIC will be held at the
Department of Mathematics and Statistics, Dalhousie University, Canada,
11-14 July, 2023. It is scientifically sponsored by the Association for
Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL),
the Association for Logic, Language and Information (FoLLI), the European
Association for Theoretical Computer Science (EATCS) (tbc), European
Association for Computer Science Logic (EACSL), and the Sociedade
Brasileira de Lógica (SBL).
LOCATION AND FORMAT
Halifax (https://www.halifax.ca/) is the capital and largest municipality
of the Canadian province of Nova Scotia, and the largest municipality in
Atlantic Canada. (Wikipedia)
WoLLIC 2023 will be a hybrid event. All invited talks are planned to be
on-site in order to stimulate discussions and interaction with participants.
SCOPE
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas of
interest are: foundations of computing, programming and Artificial
Intelligence (AI); novel computation models and paradigms; broad notions of
proof and belief; proof mining, type theory, effective learnability and
explainable AI; formal methods in software and hardware development;
logical approach to natural language and reasoning; logics of programs,
actions and resources; foundational aspects of information organization,
search, flow, sharing, and protection; foundations of mathematics;
philosophical logic; philosophy of language.
PAPER SUBMISSION
Proposed contributions should be in English, and consist of a scholarly
exposition accessible to the non-specialist, including motivation,
background, and comparison with related works. Articles should be written
in the LaTeX format of LNCS by Springer (see author's instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must
not exceed 12 pages, with up to 5 additional pages for references and
technical appendices. The paper's main results must not be published or
submitted for publication in refereed venues, including journals and other
scientific meetings.
It is expected that each accepted paper be presented at the meeting by one
of its authors either in person or via remote connection. (At least one
author is required to pay a full on-site registration fee before granting
that the paper will be published in the proceedings.)
Papers must be submitted electronically at the WoLLIC 2023 EasyChair
website https://easychair.org/conferences/?conf=wollic2023.
PROCEEDINGS
The proceedings of WoLLIC 2023, including both invited and contributed
papers, will be published as a volume in Springer's LNCS series. Due to the
earlier timeline this year, the proceedings will appear after the workshop.
In addition, abstracts will be published in the Conference Report section
of the Logic Journal of the IGPL, and selected contributions will be
published (after a new round of reviewing) as a special post-conference
WoLLIC 2023 issue of a scientific journal (to be confirmed).
INVITED SPEAKERS
Thomas Bolander (Technical University of Denmark)
Makoto Kanazawa (Hosei University, Japan)
Magdalena Ortiz (University of Umeå, Sweden)
Aybüke Özgün (University of Amsterdam, Netherlands)
Dusko Pavlovic (University of Hawaii, USA)
Richard Zach (University of Calgary, Canada)
IMPORTANT DATES
February 20, 2023: Abstract deadline
February 27, 2023: Full paper deadline
May 15, 2023: Author notification
June 5, 2023: Final version deadline
PROGRAMME COMMITTEE
Bahareh Afshari (University of Gothenburg, Sweden and University of
Amsterdam, Netherlands)
Zena Ariola (University of Oregon, USA)
Adriana Balan (University Politechnica of Bucharest, Romania)
Marta Bílková (Czech Academy of Sciences, Czech Republic)
Josée Desharnais (Laval University, Canada)
David Fernández-Duque (Czech Academy of Sciences, Czech Republic)
Santiago Figueira, Universidad de Buenos Aires, Argentina
Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA,
Serbia)
Sujata Ghosh (Indian Statistical Institute, India)
Nina Gierasimczuk (Danish Technical University, Denmark)
Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair)
Andreas Herzig (CNRS, University of Toulouse, France)
Juha Kontinen (University of Helsinki, Finland)
Roman Kuznets (TU Wien, Austria)
Martha Lewis (University of Bristol, UK)
Johannes Marti (University of Oxford, UK)
George Metcalfe (University of Bern, Switzerland)
Michael Moortgat (Utrecht University, Netherlands)
Cláudia Nalon (University of Brasilia, Brasil)
Carlos Olarte (Université Sorbonne Paris Nord, France)
Sophie Pinchinat (University of Rennes, France)
Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France)
Sylvain Pogodalla (INRIA Nancy, France)
Revantha Ramanayake (University of Groningen, Netherlands)
Mehrnoosh Sadrzadeh, University College London, UK
Andre Scedrov (University of Pennsylvania, USA) (co-chair)
Philip Scott (University of Ottawa, Canada)
Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany)
Kazushige Terui (Kyoto University, Japan)
Mladen Vuković (University of Zagreb, Croatia)
STEERING COMMITTEE
Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel
Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de
Queiroz, Alexandra Silva, Renata Wassermann.
ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira
Ono, Jouko Väänänen.
ORGANISING COMMITTEE
Julien Ross (Dalhousie University)
Peter Selinger (Dalhousie University) (co-chair)
Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil)
Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair)
SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL) (tbc)
European Association for Theoretical Computer Science (EATCS) (tbc)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Lógica (SBL)
SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS
It is planned to have a special session with the exhibition of a
documentary film which traces the history of the individuals who worked as
pioneers in expanding the presence of African Americans in mathematics. "
'Journeys of Black Mathematicians' is a film that will inspire African
American students to continue their studies and consider career paths in
mathematics." (zalafilms.com) The film is in production, and the filmmaker
George Csicsery is willing to present either a rough cut if it is ready by
then, or some sample scenes.
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
https://www.mathstat.dal.ca/wollic2023/
CIE 2023: FINAL CALL FOR PAPERS (EXTENDED DEADLINE)
COMPUTABILITY IN EUROPE 2023
Unity of Logic and Computation
Batumi, Georgia
July 24-28, 2023
https://www.viam.science.tsu.ge/cie2023/
Submission link: https://easychair.org/conferences/?conf=cie2023
FORMAT
The conference will have a hybrid format.
IMPORTANT DATES:
* Deadline for article submission: February 15, 2023 (AOE)
* Notification of acceptance: April 20, 2023
* Final versions due: May 1, 2023
* Deadline for informal presentations submission: June 8, 2023 (The
notifications of acceptance for informal presentations will be sent a
few days after submission.)
* Early registration before: June 10, 2023.
GENERAL INFORMATION
CiE 2023 is the 19th conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno
(2020, virtually), Ghent (2021, virtually), and Swansea (2022).
TUTORIAL SPEAKERS
* Ludovic Perret (Sorbonne University)
* Ludovic Patey (Université Paris Diderot)
INVITED SPEAKERS
* Andrei Bulatov (Simon Fraser University)
* Anne Condon (University of British Columbia)
* Stephanie Dick (University of Pennsylvania)
* Kirsten Eisenträger (Pennsylvania State University)
* Neil Lutz (Iowa State University)
* Mark Steedman (University of Edinburgh)
SPECIAL SESSIONS
We are going to have 6 special sessions.
The topics of the special sessions will be announced soon.
CONFERENCE TOPICS
The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics.
PAPER SUBMISSION
THE PROGRAM COMMITTEE cordially invites all researchers, European and
non-European, to submit their papers in all areas related to the above
for presentation at the conference and inclusion in the proceedings of
CiE 2023 at https://easychair.org/conferences/?conf=cie2023
The deadline for submissions is February 15th, 2023.
CONFERENCE PROCEEDINGS
Papers submitted to the conference proceedings should represent original
work, not simultaneously submitted to another journal or conference with
formal proceedings.
The Program Committee will rigorously review and select submitted
papers. Accepted papers will be published as a proceedings volume in the
Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.
Papers to be considered in the conferences proceedings must be submitted
in PDF format, using the LNCS style (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…)
and must have a maximum of 12 pages, including references but excluding
a possible appendix in which one can include proofs and other additional
material. Papers building bridges between different parts of the
research community are particularly welcome.
INFORMAL PRESENTATIONS
Continuing the tradition of past CiE conferences, we invite researchers
to present informal presentations of their recent work. A proposal for
an informal presentation must be submitted via EasyChair
(https://easychair.org/conferences/?conf=cie2023), using the LNCS style
file (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…),
and be 1 page long; a brief description of the results suffices and an
abstract is not required. Informal presentations will not be published
in the LNCS conference proceedings. Results presented as informal
presentations at CiE 2023 may appear or may have appeared in other
conferences with formal proceedings and/or in journals.
PROGRAM COMMITTEE
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Nikolay Bazhenov (Novosibirsk State University)
* Manuel Bodirsky (TU Dresden)
* Vasco Brattka (Munich)
* Liesbeth De Mol (University of Lille)
* Gianluca Della Vedova (University of Milano-Bicocca, co-chair)
* Besik Dundua (Kutaisi Intl University)
* Giudittta Franco (University of Verona)
* Juan Luis Gastaldi (ETH Zurich)
* Thomas Graf (Stony Brook University)
* Delaram Kahrobaei (CUNY)
* Ekaterina Komendantskaya (Heriot-Watt University Edinburgh)
* Angeliki Koutsoukou-Argyraki (Cambridge University)
* Steffen Lempp (University of Wisconsin-Madison, co-chair)
* Florin Manea (Goettingen University)
* Klaus Meer (University Cottbus)
* Isabel Oitavem (Nova University Lisbon)
* Roland Omanadze (Ivane Javakhishvili Tbilisi State University)
* Daniel Paulusma (Durham University)
* Elaine Pimentel (University College London)
* Markus Schmid (Humboldt University Berlin)
* Shinnosuke Seki (University Electro Comm Tokyo)
* Sebastiaan Terwijn (Radboud University Nijmegen)
* Dan Turetsky (Victoria University Wellington)
* Linda Westrick (Pennsylvania State University)
WOMEN IN COMPUTABILITY
We are very happy to announce that within the framework of the Women in
Computability program, we are able to offer some grants for junior women
researchers who want to participate in CiE 2023. Applications for this
grant should be sent to Liesbeth de Mol, liesbeth.de-mol(a)univ-lille.fr,
before May 15, 2023 and include a short cv (at most 2 pages) and contact
information for an academic reference. Preference will be given to
junior women researchers who are presenting a paper (including informal
presentations) at CiE 2023.
Association CiE [1]
CiE Conference Series [2]
HOSTED BY
Both the in-person and the virtual aspects of the conference will be
hosted by
Batumi Shota Rustaveli State University
Rustaveli str. 32, Batumi, Georgia.
The conference will have a hybrid format that guarantees the highest
possible level of interaction.
We are grateful for support from Batumi Shota Rustaveli State University
and Institute of Applied Mathematics, Tbilisi State University.
ORGANIZING COMMITTEE
* Davit Begashvili (Kutaisi International University)
* Mikheil Donadze (Batumi Shota Rustaveli State University)
* Besik Dundua (chair, Kutaisi International University and Institute
of Applied Mathematics, Tbilisi State University)
* Tsotne Mikadze (Kutaisi International University)
* Mikheil Rukhaia (co-chair, Institute of Applied Mathematics, Tbilisi
State University)
* Lela Turmanidze (Batumi Shota Rustaveli State University)
Links:
------
[1] https://www.acie.eu
[2] https://www.acie.eu/cie-conference-series/
Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London.
The post holder will have an exciting opportunity to work on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project,
led by Prof. Alexandra Silva (UCL/Cornell) and Matteo Sammartino (RHUL), in collaboration with ARM, world-leading designer of multi-core chips.
For an informal discussion about the post, please contact Matteo Sammartino on matteo.sammartino(a)rhul.ac.uk.
# Brief description of the project
Digital devices are increasingly complex, therefore there is a pressing need to automate the assessment of their correctness. Formal verification provides highly effective techniques to assess the correctness of systems. However, formal models are usually built by humans, and as such can be error-prone and inaccurate.
The project aims to develop a novel verification framework for hardware, which combines learning, testing and model-checking. Not all models are suitable for this purpose and hence specific classes of models will need to be developed, depending on the task at hand. Subsequently, learning and verification techniques for these classes need to be devised and tested in realistic case studies. We have an industrial partner, ARM, that will provide valuable guidance on the design and development of the aforementioned tasks.
# The ideal candidate
We are looking for candidates with a PhD in one of the following areas: model-based testing and verification, model learning, automated analysis of hardware systems. Experience in multiple areas will be valued. Candidates ideally should also have strong programming skills.
# Where to apply
Additional details and a link to the application can be found here:
https://jobs.royalholloway.ac.uk/0922-411-R-R-R
<https://jobs.royalholloway.ac.uk/0922-411-R>
The deadline is 2 March 2023 (midnight).
Best wishes,
Matteo Sammartino
==============================
Matteo Sammartino, Lecturer
Royal Holloway University of London
Department of Computer Science
Tel.: (+44) (0) 1784 44 3690
Office: 2-07, Bedford Building
https://matteosammartino.com/
This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.
(Apologies for multiple posting)
CALL FOR PARTICIPATION
20th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2023
3 to 6 April 2023, Technologiezentrum Augsburg, Germany
https://ramics20.lis-lab.fr/
IMPORTANT DATES:
Registration deadline: February 28, 2023
RAMiCS 2021: 3 to 6 April 2023
GENERAL INFORMATION:
Since 1994, the RAMiCS conference series has been the main venue for
research on relation algebras, Kleene algebras and similar algebraic
formalisms, and their applications as conceptual and methodological
tools in computer science and beyond.
RAMiCS 2023 will take place at the Technologiezentrum Augsburg, as a
physical conference. There are no conference fees but, due to limited
resources, it is subject to approval by the conference organisers.
REGISTRATION
Participating at the conference dinner can take place at cost price
(to be paid on site). To register for the conference please refer to the
registration section of https://ramics20.lis-lab.fr/#registration.
PROGRAM AND INVITED TALKS
The RAMiCS 2023 program features 3 invited talks, 17 contributed
talks, and 7 short talks. The invited talks are:
Alexander Knapp, Augsburg University, Germany
Specifying Event/Data-based Systems
John Stell, University of Leeds, UK
Algebra and Logic in Granularity
Valeria Vignudelli, CNRS/ENS Lyon, France
Equational Theories and Distances for Computational Effects
For more details, see
https://ramics20.lis-lab.fr/accepted.html
ORGANIZING COMMITTEE:
Conf. & PC Co-Chair: Roland Glück, German Aerospace Center, Germany
Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France
Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
For more information, see https://ramics20.lis-lab.fr/