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

Certified Programs and Proofs (CPP) 2022: Call for Papers

von Andrei Popescu

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 16-18 January 2022 and will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2022 will welcome contributions from all members of the community. The CPP 2022 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2022 organizers. IMPORTANT DATES * Abstract Submission Deadline: 16 September 2021 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 22 September 2021 at 23:59 AoE (UTC-12h) * Notification (tentative): 22 November 2021 * Camera Ready Deadline (tentative): 12 December 2021 * Conference: 16-18 January 2022 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2022 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical frameworks; * higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; * verification of correctness and security properties; * formally verified blockchains and smart contracts; * certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal certification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2022.hotcrp.com The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2022 will employ a lightweight double-blind reviewing process. To facilitate this, the submissions must adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors’ own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. POPL has answers to frequently asked questions addressing many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-R… We strongly encourage the authors to provide any supplementary material that supports the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism). Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2022 proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license and, optionally, licenses the work under a Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1. Ensuring timely dissemination is particularly important for this edition, since, because of the very tight schedule, the official proceedings might not be available in time for CPP. The official CPP 2022 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp). For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and Author Rights (http://authors.acm.org/main.html). PROGRAM COMMITTEE Andrei Popescu, University of Sheffield, United Kingdom (co-chair) Steve Zdancewic, University of Pennsylvania, United States (co-chair) Mohammad Abdulaziz, TU München, Germany Mauricio Ayala-Rincón, Universidade de Brasília, Brazil Andrej Bauer, University of Ljubljana, Slovenia Thomas Bauereiss, University of Cambridge, United Kingdom Yves Bertot, Inria and Université Cote d'Azur, France Lars Birkedal, Aarhus University, Denmark Sylvie Boldo, Inria and Université Paris-Saclay, France Qinxiang Cao, Shanghai Jiao Tong University, China Évelyne Contejean, Laboratoire Méthodes Formelles, CNRS, France Benjamin Delaware, Purdue University, United States Simon Foster, University of York, United Kingdom Alwyn Goodloe, NASA Langley Research Center, United States Armaël Guéneau, Aarhus University, Denmark John Harrison, Amazon Web Services, United States Joe Hendrix, Galois, Inc, United States Aquinas Hobor, National University of Singapore, Singapore Ralf Jung, MPI-SWS, Germany Cezary Kaliszyk, University of Innsbruck, Austria Jeehoon Kang, KAIST, South Korea Hongjin Liang, Nanjing University, China Gregory Malecha, BedRock Systems, Inc, United States Anders Mörtberg, Stockholm University, Sweden Toby Murray, University of Melbourne, Australia Zoe Paraskevopoulou , Northeastern University, United States Brigitte Pientka, McGill University, Canada Aseem Rastogi, Microsoft Research, India Bas Spitters, Aarhus University, Denmark Kathrin Stark, Princeton University, United States Hira Taqdees Syeda, Chalmers University of Technology, Sweden Joseph Tassarotti, Boston College, United States Laura Titolo, NIA/NASA LaRC, United States Sophie Tourret, Inria, France Dmitriy Traytel, University of Copenhagen, Denmark Floris van Doorn, Paris-Saclay University, France Freek Verbeek, Open University of The Netherlands, Netherlands Freek Wiedijk, Radboud Universiteit Nijmegen, Netherlands ORGANIZERS Lennart Beringer, Princeton University, United States (conference co-chair) Robbert Krebbers, Radboud University, Netherlands (conference co-chair) Andrei Popescu, University of Sheffield, United Kingdom (PC co-chair) Steve Zdancewic, University of Pennsylvania, United States (PC co-chair) CONTACT For any questions please contact the two PC chairs: Andrei Popescu <a.popescu(a)sheffield.ac.uk> Steve Zdancewic <stevez(a)seas.upenn.edu>

3 Jahre, 1 Monat

1
0
0 0

Logica Universalis Webinar - June 16 - Sequents and Trees by Andrzej Indrzejczak

von Antje Herbst

Join the Logica Universalis Webinar! The next session will be held on Wednesday, June 16 at 4pm CEST with the talk Sequents and Trees<https://www.springer.com/gp/book/9783030571443> by Andrzej Indrzejczak<https://urldefense.proofpoint.com/v2/url?u=http-3A__filozof.uni.lodz.pl_-7E…> (University of Łódź, Poland) Chair: Peter Schroeder-Heister<https://urldefense.proofpoint.com/v2/url?u=https-3A__uni-2Dtuebingen.de_en_…> Member of the Editorial Board of SUL Associate Organization: Polish Association for Logic and Philosophy of Science<https://urldefense.proofpoint.com/v2/url?u=http-3A__logika.net.pl_-3Flang-3…> presented by Marcin Miłkowski<https://urldefense.proofpoint.com/v2/url?u=https-3A__marcinmilkowski.pl_&d=…> The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.) The sessions take place on Wednesdays at 4pm CEST (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance. Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…> Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min). Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>. --- To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>). -- Antje Herbst Associate Editor Mathematics Journals Springer Nature Tiergartenstraße 17, 69121 Heidelberg, Germany T +49 62214878984 antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com> www.springernature.com<http://www.springernature.com/> -- Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve. -- Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas

3 Jahre, 1 Monat

1
0
0 0

Call for Participation: Logic, Quantum Computing, and Artificial Intelligence (LQCAI 2021)

von Ali Sadegh Daghighi

Dear colleagues, It is my pleasure to invite you to participate in the international conference on *Logic, Quantum Computing, and Artificial Intelligence (LQCAI 2021)* which will be held online between *June 30th and July 3rd, 2021*. Read more on the conference website: http://lqcai.org/ Should you have any questions, please feel free to write to me via a.s.daghighi(a)gmail.com Best wishes, Ali Sadegh Daghighi, Ph.D., Chair of the Organizing Committee, Deputy Director at the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) [image: Mailtrack] <https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=sig…> Sender notified by Mailtrack <https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=sig…> ۰۰/۰۳/۲۱،‏ ۲۲:۰۱:۰۵

3 Jahre, 1 Monat

1
0
0 0

LICS 2021 Call for Participation

von Sam Staton

CALL FOR PARTICIPATION Thirty-Sixth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) co-located with ITP 2021 29 June – 2 July 2021 preceded by workshops 27-28 June 2021 Registration (from 30 euros): http://easyconferences.eu/lics2021/registration/ Program, including links to all preprints and videos: http://easyconferences.eu/lics2021/program/ List of accepted papers: http://easyconferences.eu/lics2021/accepted-papers/ Workshops: LMW: Logic Mentoring Workshop Structure meets Power TLLA: Trends in Linear Logic and Applications WiL: Women in Logic Keynotes from Luca Aceto Martin Grohe Maurizio Lenzerini Nadia Polikarpova Ryan Williams

3 Jahre, 1 Monat

1
0
0 0

Call for Position Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)

von Seyed H. HAERI (Hossein)

CALL FOR POSITION PAPERS ******************************************************************************* 8th Workshop on Advances in Programming Languages (WAPL'21) *https://fedcsis.org/2021/wapl <https://fedcsis.org/2021/wapl>* Organized within 2021 Federated Conference on Computer Science and Intelligence Systems (FedCSIS'21; IEEE #52320) ***************************** COVID-19 Information **************************** While we have planned the 2021 conference to take place in Sofia, Bulgaria, slow progress in fighting the global pandemic has forced us to switch to the fully online mode. Therefore, we plan to organize FedCSIS 2022 in Sofia, and hope that by that time COVID will be over, and we will be able to meet in person. FedCSIS organizers ******************************************************************************* FOR PAPER SUBMISSION DEADLINES SEE THE BOTTOM OF THIS MESSAGE Programming languages (PLs) are programmers' most basic tools. With appropriate programming languages one can drastically reduce the cost of building new applications as well as maintaining existing ones. In the last decades there have been many advances in PL technology in traditional programming paradigms such as functional, logic, and object-oriented programming, as well as the development of new paradigms such as aspect-oriented programming. The main driving force was and will be to better express programmers' ideas. Therefore, research in programming languages is an endless activity and the core of computer science. New language features, new programming paradigms, and better compile-time and run-time mechanisms can be foreseen in the future. The aim of this session is to provide a forum for exchange of ideas and experience in topics concerned with programming languages and systems. Original papers and implementation reports are invited in all areas of programming languages. This year, a special attention will be given to submissions on programming research in mainstream languages. That can include, but is not limited to: • porting existing results from research languages to mainstream ones to examine their interplay with other features than those carefully cherry-picked for the targeted research. And, • gauging generality of research results by studying their obtainability using different sets of features than originally thought of. Such submission needs to clarify the added value of performing their research in a mainstream language (over a lab one). Topics: Major topics of interest include but are not limited to the following: • Software language engineering • Interplay between languages and machine learning (and other branches of AI), especially for Code Repair and Code Smells • Interplay between languages and security • Automata theory and applications • Compiling techniques • Context-oriented programming languages to specify the behavior of software systems and dynamic adaptations • Domain-specific languages • Formal semantics and syntax • Generative and generic programming • Grammarware and grammar based systems • Knowledge engineering languages, integration of knowledge engineering and software engineering • Languages and tools for trustworthy computing • Language theory and applications • Language concepts, design and implementation • Markup languages (XML) • Metamodeling and modeling languages • Model-driven engineering languages and systems • Practical experiences with programming languages • Program analysis, optimization and verification • Program generation and transformation • Programming paradigms (aspect-oriented, functional, logic, object-oriented, etc.) • Programming tools and environments • Proof theory for programs • Specification languages • Type systems • Virtual machines and just-in-time compilation • Visual programming languages ZDZISŁAW PAWLAK BEST PAPER AWARD The Professor Zdzisław Pawlak Awards are given in two categories: Best Paper and Best Student Paper. Each award carries a prize of 300 EUR founded by the Mazowsze Chapter of the Polish Information Processing Society. The awards have been originally associated with the International Symposium on Advanced Artificial Intelligence in Applications (AAIA) held every year as a part of FedCSIS. Currently, all papers accepted to FedCSIS are eligible to be considered as the award winners. This award will be awarded independently from awards given by individual FedCSIS events (Tracks and/or Technical Sessions). Past Award winners can be found here: https://fedcsis.org/2021/zp_award PAPER PUBLICATION: • Authors should submit draft papers (as Postscript, PDF or MSWord file). • The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here. • Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. • Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants. • Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database. • Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site. • Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar • Organizers reserve right to move accepted papers between FedCSIS technical sessions. • Extended versions of selected papers presented during the conference will be published as Special Issue(s). IMPORTANT DATES: + Paper submission (strict deadline): May 24, 2021, 23:59:59 (UCT-12; there will be no extension) + Position paper submission: June 14, 2021 + Author notification: July 5, 2021 + Final paper submission and registration: July 26, 2021 + Conference date: September 2-5, 2021 Please forward this announcement to your colleagues and associates who could be interested in it. STEERING COMMITTEE: • Janousek, Jan, Czech Technical University, Czech Republic • Luković, Ivan, University of Novi Sad, Serbia • Mernik, Marjan, University of Maribor, Slovenia • Slivnik, Boštjan, University of Ljubljana, Slovenia • Rangel Henriques, Pedro, Universidade do Minho, Portugal • Varanda Pereira, Maria Joao, Instituto Politecnico de Braganca, Portugal PROGRAM COMMITTEE: • Barisic, Ankica, Université Côte d'Azur, France • Blasband, Darius, RainCode Labs, Belgium • Falcou, Joel, Univeristé Paris Sud, France • Fernandes, Joao • Horváth, Zoltán, Eötvös Loránd University, Hungary • Kardas, Geylani, Ege University, Turkey • Keir, Paul, University of the West of Scotland, United Kingdom • Kosar, Tomaz, University of Maribor, Slovenia • Mandreoli, Federica, DII - University of Modena, Italy • Milašinović, Boris, University of Zagreb, Hungary • Papaspyrou, Nikolaos S., National Technical University of Athens, Greece • Porubän, Jaroslav, Technical University of Košice, Slovakia • Ramezanian, Rasoul, Ferdowsi University of Mashhad, Iran • Saraiva, Joao, Universidade do Minho, Portugal • Sierra, Jose Luis, Universidad Complutense de Madrid, Spain • Singer, Jeremy, University of Glasgow, United Kingdom • Varanda Pereira, Maria Jo?o, Instituto Politecnico de Braganca, Portugal • Zaytsev, Vadim, Universiteit Twente, The Netherlands TECHNICAL SESSION CHAIR: • Seyed Hossein Haeri, IOHK and University of Bergen, Norway Contact: hossein.haeri(a)gmail.com -------------------------------------------------------------------------------------------------------------- Seyed H. HAERI (Hossein), Dr. Software Scientist Formal Methods Team IOHK Adjunct Associate Professor Department of Informatics University of Bergen, Norway ACCU - Professionalism in programming - http://www.accu.org/ --------------------------------------------------------------------------------------------------------------

3 Jahre, 1 Monat

1
0
0 0

First Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference

von Shaull Almagor

[apologies for cross posting] First Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference July 31 - August 12, 2022 Haifa, Israel http://www.floc2022.org/ CALL FOR WORKSHOPS The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops. LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Frederic Blanqui Frederic.Blanqui(a)inria.fr FSCD (7th International Conference on Formal Structures for Computation and Deduction) http://fscd-conference.org/ Workshop chair: Nachum Dershowitz nachumd(a)tau.ac.il ITP (13th International Conference on Interactive Theorem Proving) https://itp-conference.github.io/ Workshop chair: Cyril Cohen cyril.cohen(a)inria.fr IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chair: Simon Robillard simon.robillard(a)imt-atlantique.fr CSF (35th IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Musard Balliu musard(a)kth.se CAV (34th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: TBD KR (19th International Conference on Principles of Knowledge Representation and Reasoning) http://www.kr.org/ Workshop chair: Stefan Borgwardt stefan.borgwardt(a)tu-dresden.de ICLP (38th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Daniela Inclezan inclezd(a)miamioh.edu SAT (25th International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: TBD CP (25th International Conference on Principles and Practice of Constraint Programming) http://a4cp.org/events/cp-conference-series Workshop chair: TBD SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2022. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged); - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.); - potential invited speakers; - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre or post FLoC); - virtual/hybrid backup plans (including platform preference). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Proposals should be submitted through EasyChair: https://easychair.org/conferences/?conf=floc2022workshops IMPORTANT DATES Submission of workshop proposals deadline: August 9, 2021 Notification: September 14, 2021 Pre-FLoC workshops: Monday & Tuesday, August 1-2, 2022 Post-FLoC workshops: Thursday & Friday, August 11-12, 2022 CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: shaull(a)technion.ac.il GuillermoAlberto.Perez(a)uantwerpen.be FLoC 2022 WORKSHOP CHAIRS Shaull Almagor Guillermo A. Perez

3 Jahre, 1 Monat

1
0
0 0

ACKERMANN AWARD 2021: 2nd and final Call for Nominations

von EACSL Mail-Account

ACKERMANN AWARD 2021 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS (Note: there are no changes since the first call for nomination. However, since the first call was sent out in February and the deadline is July, a reminder might be helpful. Apologies for the extra mail.) Nominations are now invited for the 2021 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 2019 and 31 December 2020 are eligible for nomination for the award. The deadline for submission is 1 July 2021. Submission details follow below. Nominations can be submitted from 1 March 2021 and should be sent to the chair of the Jury, Thomas Schwentick, by e-mail: thomas.schwentick(a)tu-dortmund.de *** The Award The 2021 Ackermann award will be presented to the recipient(s) at CSL 2022, 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. The jury is entitled to give the award to more (or less) than one dissertation in a year. *** The Jury The jury consists of: * Christel Baier (TU Dresden); * Michael Benedikt (Oxford University); * Mikolaj Bojanczyk (University of Warsaw); * Jean Goubault-Larrecq (ENS Paris-Saclay); * Prakash Panangaden (McGill University); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund) , the president of EACSL; * Alexandra Silva, (University College London), ACM SigLog representative. *** How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); it is recommended to not squeeze as much material as possible into these 20 pages, but rather to use them for a gentle introduction and overview, stressing the novel results obtained in the thesis and their impact; 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick(a)tu-dortmund.de); 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de With the following subject line and text: * Subject: Ackermann Award 20 Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text.

3 Jahre, 1 Monat

1
0
0 0

CSL 2022 - call for papers

von Manea, Florin

==Apologies for cross-posting== ===================================== Second call for papers (CSL'22) ===================================== News: Invited speakers announced, Helena-Rasiowa-Award, website open, submission site open, colocated events ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. Website: http://csl2022.uni-goettingen.de/ Invited speakers: ----------------- Annabelle McIver Macquarie (University, Sydney, Australia) Udi Boker (IDC Herzliya, Israel) Martin Escardo (University of Birmingham, UK) Rosalie Iemhoff (Utrecht University, The Netherlands) Karen Lange (Wellesley College, USA) Submission guidelines: ---------------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The CSL 2022 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers. Submissions should be made via easychair: https://easychair.org/conferences/?conf=csl2022 Helena-Rasiowa-Award: --------------------- The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022. The award will be given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors. A student in this context is any person who is currently studying for a degree or whose PhD award date is less than one year prior to the first day of the conference. Important dates: ---------------- Abstract submission: July 5, 2021 (AoE), Paper submission: July 12, 2021 (AoE), Notification: September 30, 2021, Conference: February 14-19, 2022 List of topics: --------------- automated deduction and interactive theorem proving constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics modal and temporal logic model checking decision procedures logical aspects of computational complexity finite model theory computability computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics database theory specification, extraction and transformation of programs logical aspects of quantum computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic nonmonotonic reasoning Program Committee: ------------------ Thorsten Altenkirch (Nottingham, UK) Benedikt Bollig (Cachan, France) Agata Ciabattoni (Vienna, Austria) Liron Cohen (Ben-Gurion University, Israel) Anupam Das (Birmingham, UK) Claudia Faggian (Paris, France) Francesco Gavazzo (Bologna, Italy) Stefan Göller (Kassel, Germany) Willem Heijltjes (Bath, UK) Sandra Kiefer (Aachen, Germany) Emanuel Kieronski (Wroclaw, Poland) Bartek Klin (Warsaw, Poland) Juha Kontinen (Helsinki, Finland) Anthony Lin (Kaiserslautern, Germany) Karoliina Lehtinen (Marseille, France) Florin Manea (Göttingen, Germany, co-chair) Fredrik Nordvall Forsberg (Strathclyde, UK) Liat Peterfreund (Paris, France and Edinburgh, UK) Daniela Petrisan (Paris, France) Karin Quaas (Lepizig) Alex Simpson (Ljubljana, Slovenia, co-chair) Pawel Sobocinski (Tallin, Estonia) Anna Sokolova (Salzburg, Austria) Linda Brown Westrick (Connecticut, US) Organization Committee: ----------------------- Fundamentals of Computer Science Group - University of Göttingen, Germany. Colocated events: ----------------- LCC 2022: Logic and Computational Complexity --------- Meetings of the workshop "Logic and Computational Complexity" are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2022 will be the 23rd workshop in the series, see https://www.cs.swansea.ac.uk/lcc/. The program will consist of invited lectures as well as contributed papers selected by the Program Committee. LMW 2022: Logic Mentoring Workshop --------- LMW introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and includes talks and panel sessions from leaders in the subject. Contact: -------- Please send all questions about submissions to the PC co-chairs: csl2022(a)easychair.org

3 Jahre, 1 Monat

1
0
0 0

Call for Participation. CiE 2021: Connecting with computability

von acie＠acie.eu

(Apologies for multiple postings.) ====================== CALL FOR PARTICIPATION ====================== CiE 2021: Connecting with computability 5 - 9 July 2021 website: www.CiE2021.ugent.be [1] **Due to the current pandemic CiE 2021 will be held as a virtual conference.** _Registration now open_ CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The /Computability in Europe/ conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics. For more information about the CiE conferences and the Association CiE, please have a look at: https://www.acie.eu/ [2]. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University. 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) and virtually in Salerno (2020) REGISTRATION: ========================= CiE 2021 will be hosted virtually. In order to enhance the social dimension of the conference we will be using gather.town with Zoom integrated. In order to register for CiE 2021, please go to: https://www.cie2021.ugent.be/registration-form/ Registration is free but required. PLENARY SPEAKERS ========================= Laura Crosilla (University of Oslo, Norway) Markus Lohrey (Universität Siegen. Germany) Russell Miller (tutorial speaker, CUNY, US) Joan Rand Moschovakis (Occidental College, emerita) Joël Ouaknine (Max Planck Institute for software systems, Germany) Christine Tasson (tutorial speaker, Université Paris Diderot, France) Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan) Henry Yuen (University of Toronto, Canada) SPECIAL SESSIONS ========================= /Church's thesis in constructive mathematics (HaPoC session)/ Marianna Antonutti-Marfori (Ludwig-Maximilians-Universität München, Germany) and Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) _/Classical Computability theory: Open problems and solutions/_ Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin) _/Computational geometry/_ Maike Buchin (Ruhr-Universität Bochum, Germany) and Maarten Löffler (Utrecht University, Netherlands) /Computational Pangenomics/ Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of Amsterdam, Netherlands) _/Proof theory and computation/_ David Fernández Duque (Ghent University, Belgium) and Juan Pablo Aguilera (Ghent University, Belgium) _/Quantum computation and information/_ Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank Verstraete (Ghent University, Belgium) WOMEN IN COMPUTABILITY ========================= The Computability in Europe conference series has a long tradition in setting up a Women in Computability program. For CiE 2021 we plan a Women in Computability workshop combined with an online mentoring program. For more details on the Special Interest Group Women in Computability, see: https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/ [3] ORGANIZED BY: ========================= Department of Mathematics WE16, Ghent University Organizing Committee: David Fernández-Duque, chair (Ghent University) Juan Pablo Aguilera (Ghent University) David Belanger (Ghent University) Ana Borges (University of Barcelona) Liesbeth De Mol (University of Lille) Andreas Debrouwere (Ghent University) Lorenz Demey (Catholic University of Leuven) Eduardo Hermo-Reyes (University of Barcelona) Christian Michaux (University of Mons) Fedor Pakhomov (Ghent University) Pawel Pawlowski (Ghent University) Frederik Van De Putte (Ghent University) Peter Verdée (Catholic University of Louvain) Andreas Weiermann (Ghent University) PROGRAMME COMMITTEE ========================= Marianna Antonutti Marfori (Ludwig Maximilian University of Munich) Nathalie Aubrun (CNRS, Université Paris-Saclay) Christel Baier (TU Dresden) Nikolay Bazhenov (Sobolev Institute of Mathematics) Marie-Pierre Béal (Université Paris-Est) Arnold Beckmann (Swansea University) David Bélanger (Ghent University) Joel Day (Loughborough University) Liesbeth De Mol (CNRS, Université de Lille, PC co-chair) Carola Doerr (Sorbonne University, CNRS) Jérôme Durand-Lose (Université d'Orléans) David Fernández-Duque (Ghent University) Zuzana Haniková (Academy of Sciences of the Czech Republic) Mathieu Hoyrup (LORIA) Assia Mahboubi (INRIA) Florin Manea (University of Göttingen) Irène Marcovici (Université de Lorraine) Klaus Meer (BTU Cottbus-Senftenberg) Ludovic Patey (Institut Camille Jordan) Cinzia Pizzi (University of Padova) Giuseppe Primiero (University of Milan) Simona Ronchi Della Rocca (Università di Torino) Paul Shafer (University of Leeds) Svetlana Selivanova (KAIST) Monika Seisenberger (Swansea University) Alexander Shen (CNRS & Univ. Montpellier 2) Alexandra Soskova (Sofia University) Mariya Soskova (University of Wisconsin-Madison) Frank Stephan (National University of Singapore) Peter Van Emde Boas (Universiteit van Amsterdam) Sergey Verlan (Université Paris Est - Créteil Val de Marne) Andreas Weiermann (Ghent University, PC co-chair) Damien Woods (Maynooth University) Links: ------ [1] http://www.CiE2021.ugent.be/ [2] https://www.acie.eu/ [3] https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/

3 Jahre, 1 Monat

1
0
0 0

Call for Applications: Helmut Veith Stipend for Female Master’s Students in Computer Science_DL: November 30

von Traxler, Alexandra

Grant: Helmut Veith Stipend for Female Master’s Students in Computer Science - Scholarship for women in mathematics/computer science – Annual Deadline: November 30 The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master's students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: - winter semester 2021/2022 - summer semester 2022 ------------------------------------------------------------- HELMUT VEITH STIPEND ------------------------------------------------------------- The Helmut Veith Stipend is awarded annually to exceptionally talented and motivated female students in the field of computer science who pursue (or plan to pursue) one of the master's programs in Computer Science at TU Wien taught in English and have (or have the interest to develop) a solid mathematical and technical background in at least one of the areas in which Austrian scientist Helmut Veith worked. The Helmut Veith Stipend is dedicated to the memory of Helmut Veith (1971-2016), an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. The Helmut Veith Stipend's fund is set up by the TU Wien (Vienna University of Technology), the Wolfgang Pauli Institute, and the colleagues and friends of the late Prof. Veith. ------------------------------------------------------------- Award ------------------------------------------------------------- Students who are awarded the Helmut Veith Stipend receive: -EUR 6000 annually for a duration of up to two years. -Waiver of all tuition fees at TU Wien. ------------------------------------------------------------- Eligibility ------------------------------------------------------------- 1. Applicants must be eligible for admission to one of the master's programs in computer science at TU Wien that are taught in English. In 2021/2022 those are: • Logic and Computation • Business Informatics • Computer Engineering • Data Science • Media and Human-Centered Computing 2. While applications for funding can be filed before or in parallel with the admissions process, the funding will only be awarded to applicants who have been unconditionally admitted to the master's program. An application for funding does not replace the admissions process; neither does a conditional offer of funding entitle the applicant to study at TU Wien. 3. Female students who meet the following conditions are eligible to apply for the stipend: • Bachelor's degree in Computer Science or Mathematics (Bologna first cycle) or equivalent degree • Extensive mathematical and technical knowledge and interest in (at least one of) Helmut Veith's areas of research: -Logic in Computer Science -Formal Methods and Verification -Foundations of Artificial Intelligence -Algorithms and Complexity Theory -Computer Security • Proficiency in English ------------------------------------------------------------- Conditions ------------------------------------------------------------- • Recipients of funding must be committed to demonstrating good progress during their studies, i.e.: -obtain at least 25 ECTS credits from the respective master's curriculum per term on average since the beginning of their master's studies (the deadlines are April 30 for the winter term and November 30 for the summer term), and -achieve a grade average of at most 1.5. • Recipients of funding have to reside in Austria during term time for the duration of their studies. Exceptions and temporary interruptions of the stay during term time (e.g., for internships or research visits) are subject to approval. • The stipend is provided for the duration of the master's program (subject to the conditions listed above), for up to 2 years. ------------------------------------------------------------- Application Process ------------------------------------------------------------- Students are required to submit the following documents: • Cover Letter, describing the type of funding the student is applying for, and all other aspects the student deems relevant for the application • Curriculum Vitae • Motivation Letter, describing why the student wants to study in the program Logic and Computation, why funding is necessary, and with which groups of the faculty the student would be interested to work with during their master's thesis and why. • Reports on university examinations (transcripts) • Diplomas and/or certificates (first degree, bachelor degree, or higher). If the final academic certificate is not yet available at the time of the application deadline, a preliminary certificate (indicating the type of degree and the expected graduation date) signed and stamped by the degree-awarding university must be provided. • Contact details of two referees (for letters of recommendation) • English language certificate (TOEFL or similar) • Copy of passport A certified translation needs to be provided for documents that are not in German or English. Your application must be submitted electronically to master(a)logic-cs.at<mailto:master@logic-cs.at> with the subject "Application" as a single PDF document. The name of the PDF file needs to be "document.pdf" ------------------------------------------------------------- Application Deadline ------------------------------------------------------------- The annual deadline for applications is November 30. ------------------------------------------------------------- Questions? ------------------------------------------------------------- Further Information on the Stipend: http://www.vcla.at/helmut-veith-stipend Please do not hesitate to contact master(a)logic-cs.at<mailto:master@logic-cs.at>

3 Jahre, 1 Monat

1
0
0 0

2024

2023

2022

2021

2020

2019

2018

finite-model-theory