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

Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference
by Shaull Almagor 29 Jun '21

29 Jun '21

[apologies for cross posting] Second 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 chairs: Simon Robillard and Sophie Tourret stourret(a)mpi-inf.mpg.de 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: Alexander Nadel alexander.nadel(a)intel.com 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 (note that expenses of workshop invited speakers are not covered by FLoC); - 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 Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for further details and FAQ. IMPORTANT DATES Submission of workshop proposals deadline: September 27, 2021 (note extended deadline) Notification: November 1, 2021 Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022 (note corrected dates) 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

1 0

CSL 2022: Last call for papers
by Manea, Florin 28 Jun '21

28 Jun '21

===================================== Last call for papers CSL'22 ===================================== News and updates: Deadlines approaching: abstract submission -- 5.7 (in one week), Paper submission -- 12.7. Updated information on submission guidelines, Helena Rasiowa award, and collocated events. ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. CSL 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. A final decision on the format of the conference will be reached and announced in September 2021. 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. Proofs omitted due to space constraints should be put into an appendix, to be read by the program committee members at their discretion. 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. Read more about the contribution of Helena Rasiowa to logic and computer science, and their interplay, here: https://www.eacsl.org/?page_id=1104 At submission, the authors should clearly indicate if their paper is eligible for this award. 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@CSL: Logic Mentoring Workshop --------- The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject. Building on successful LMW editions from past years, its first winter edition will be collocated with CSL 2022. Website: https://lmw.mpi-sws.org/csl/ Contact: -------- Please send all questions about submissions to the PC co-chairs: csl2022(a)easychair.org

1 0

Formal Methods Education Online - Call for participation
by Thomas Zeume 21 Jun '21

21 Jun '21

=========================================================== Call for Participation FOMEO'21 Formal Methods Education Online: Tips, Tricks & Tools Collocated with ICALP 2021 on 12 July 2021 https://www7.in.tum.de/~kretinsk/fomeo.html =========================================================== Online instruction of formal methods has been a challenge in the last year, including teaching of basics of logics and automata theory, formal verification, theorem proving etc. This workshop brings together instructors of formal methods as well as developers of teaching support systems for formal methods to (a) present web-based teaching support systems for formal methods education, and (b) discuss tips, tricks & experiences in online instruction gained in the last year. REGISTRATION: Registration for FOMEO'21 is open via the ICALP workshop registration: http://easyconferences.eu/icalp2021/registration/ The deadline for registration is July 7th AoE. Please feel very welcome to ask any questions via mail to fomeo21(a)easychair.org! PROGRAM on Monday, July 12 (CEST) 10:00-11:00 Formal languages and methods - Francois Schwarzentruber. Tableaunoir: an online blackboard for teaching formal methods - Maximilian Weininger. Automata Tutor - Norbert Hundeshagen and Martin Lange. From Competences to Feedback -- Formal Methods Needed Everywhere - Felix Freiberger, Gregory Stock and Holger Hermanns. Teaching Concurrency Online with pseuCo 11:00-11:45 Discussion and demos in Gather.town 13:00-13:45 Logics: Modelling/Transformations/Reasoning - Josje Lodder, Bastiaan Heeren and Johan Jeuring. Tools for teaching proofs in logic: LogEx, LogAx and LogInd - Marko Schmellenkamp. Iltis: Teaching Logic in the Web - Francois Schwarzentruber. Hintikka's World: teaching epistemic reasoning 14:00-14:45 Logics: Deduction - Jørgen Villadsen. Formal Methods Online: Natural Deduction Assistant (NaDeA) - Joachim Breitner. The Incredible Proof Machine - Pierre Le Barbenchon, Sophie Pinchinat and Francois Schwarzentruber. Pravda: a tool for learning formal logic 14:45-open Discussion and demos in Gather.town Additional demos in gather.town Jakub Dakowski, Aleksandra Draszewska, Barbara Adamska, Dominika Juszczak, Łukasz Abramowicz and Robert Szymański. Addressing logic students' proof making difficulties with Plugin Oriented Programming and gamification Muhammad Atif. Model Checking through Process Algebra mCRL2 ORGANIZERS: Jan Křetínský (TU Munich, jan.kretinsky(a)tum.com) Maximilian Weininger (TU Munich, maxi.weininger(a)tum.de) Thomas Zeume (Ruhr University Bochum, thomas.zeume(a)rub.de) Please feel very welcome to ask any questions via mail to fomeo21(a)easychair.org!

1 0

Women in Logic 2021 - Final Call for Participation
by Sandra Kiefer 21 Jun '21

21 Jun '21

-------------------------------------------------------------------------------------------- Final Call for Participation WiL 2021: 5th Women in Logic Workshop https://sites.google.com/g.uporto.pt/wil2021 June 27, 2021 9:20am - 6:45pm CEST part of LICS 2021 * Everybody is welcome! Full funding available for participants! * Please apply here: https://forms.gle/cs8QpjeMzd7D4q8d9 Registration: http://easyconferences.eu/lics2021/registration -------------------------------------------------------------------------------------------- Women in Logic 2021 is a satellite event of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS’21) to be held virtually from June 29 until July 2, 2021. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. We invite everybody to become part of the audience! Our aim is to: - provide a platform for female researchers to share their work and achievements; - increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty; - establish new connections and collaborations; - foster a welcoming culture of mutual support and growth within the logic research community. We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers. Previous versions of Women in Logic (Reykjavík, Iceland 2017, Oxford, UK 2018, Vancouver, Canada 2019, and Paris, France 2020) were very successful in showcasing women's work and as catalysts for a recognition of the need for change in the community. -------------------------------------------------------------------------------------------- INVITED TALKS * Simona Ronchi Della Rocca Title: "Intersection types for probabilistic computation” * Rineke Verbrugge Title: "Zero-one laws for provability logic and its transitive sisters" -------------------------------------------------------------------------------------------- CONTRIBUTED TALKS * Laura Fontanella Title: "Realising weak versions of Zorn's lemma” * Iris van der Giessen Title: "Rules in Intuitionistic Modal Logics” * Malena Ivnisky Title: "A finite-dimensional model for affine, linear quantum lambda calculi with general recursion” * Raheleh Jalali Title: "On the complexity of disjunction property” * Katarzyna W. Kowalik Title: "Long and normal solutions for Ramsey-type principles over a weak base theory” * Cleo Pau Title: "Symbolic Techniques for Proximity Relations over Full Fuzzy Signatures" * Alexandra Pavlova Title: "Game Approach to Logical Validity: A Case of Mezhirov's Provability Game" * Nicole Schrader Title: "First-Order Logic with Connectivity Operators" * Sara L. Uckelman Title: "Women in the History of Logic: Why does it Matter Who Our Foremothers Are?" * Shujun Zhang Title: "On Transforming Cut-free Cyclic Proofs into Rewriting Induction Proofs" -------------------------------------------------------------------------------------------- CONTRIBUTED POSTERS * A. Mani Title: "Mereological Emptiness for the Signed Number Problem" * Paola Cattabriga Title: "Paradox free" * Maureen Eckert Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic" -------------------------------------------------------------------------------------------- PROGRAM The detailed program is available on the WiL'21 website at https://sites.google.com/g.uporto.pt/wil2021/program -------------------------------------------------------------------------------------------- ORGANIZING AND PROGRAM COMMITTEE * Sandra Alves (Co-chair, University of Porto) * Agata Ciabattoni (TU Wien) * Amy Felty (University of Ottawa) * Maribel Fernández (King's College London) * Helle Hansen (University of Groningen) * Delia Kesner (Université de Paris) * Sandra Kiefer (Co-chair, RWTH Aachen University/University of Warsaw) * Koko Muroya (RIMS Kyoto University) * Daniele Nantes (University of Brasília) * Aybüke Özgün (ILLC - University of Amsterdam) * Valeria de Paiva (Topos Institute) * Ana Sokolova (Co-chair, University of Salzburg) -------------------------------------------------------------------------------------------- SPONSORS WiL'21 is pleased to acknowledge financial support from: * ILLC, the Institute of Logic, Language and Computation of the University of Amsterdam * SIGLOG, the Special Interest Group of the ACM for Logic

1 0

[SCPS 2021] Smart Cyber-Physical Systems Symposium
by SCPS 20 Jun '21

20 Jun '21

<https://www.sscc.fr/scpsS2021/> https://www.sscc.fr/scpsS2021/ Organizing Committee General Chair Pascal Lorenz, University of Haute-Alsace, France Abdelhafid Abouaissa, University of Haute-Alsace, France Technical Program Co-Chairs Joel Rodrigues, Federal University of Piauí, Brazil; Instituto de Telecomunicações, Portugal Abdelhakim Baouya, Verimag, University of Grenoble Alpes, France SCPS 2021 CFP The smart cyber-physical systems (SCPS) are complex due to the composition and the combination of their components and physical elements of different aspects. Especially, the components are intelligent and autonomous executing sub-tasks to achieve global objectives by supporting different AI techniques under a variety of Internet of Things (IoT) constraints. Examples of such systems can be found in manufactories, smart cities, avionics, automotive systems, nuclear power plants, etc. Effectively, the different SCPS requirements especially dependability, safety, reliability, maintenance, and security are challenging due to the inherent complexity of SCPSs compositions. Moreover, it is not sufficient to ascertain a precise requirement for a specific component in isolation from others. Further, faults, errors, and threats in SCPS could also be due to software programming imperfections, software failures that are directly triggered by hardware failure or, the dynamic/static interaction between the physical, digital and software parts especially in the presence of self-adaptive architecture, smart algorithms, and social actors. Therefore, SCPS must be studied as a whole, which sets this emerging discipline apart from these individually established fields. SCPS2021 forum provides a platform for professionals from academia, government, and industry to discuss how to address the increasing challenges facing SCPS. SCPS2021 invites submissions discussing theoretical and practical solutions tackling SCPS challenges. SCPS2021 topics include, but are not limited to: SCPS Design and Development SCPS formalisms and models Model-based architecture for SCPS Coordination and orchestration for SCPS Composition and adaptation for SCPS Dynamic software architectures, and self-adaptive for SCPS Self-monitoring, and self-organizing SCPS Data based management for SCPS Big data and database management for SCPS DWeb service interactions for SCPS SCPS Networking and Communication IoT architectures and infrastructures for SCPS Blockchains and distributed architectures for SCPS Edge and Fog computing for SCPS applications IoT services, and communication protocols for SCPS Sensors and actuators optimization for SCPS Energy consumption for SCPS SCPS Analysis and Processing Artificial intelligence for SCPS Deep learning, and machine learning for SCPS Formal methods techniques for SCPS Optimization and scheduling for SCPS Decision support for SCPS Resilience and recovering plans for SCPS SCPS Assurance SCPS's requirements specification Modeling, and analysis of attacks in SCPS Attacks detection in SCPS Error detection in SCPS Fault analysis for SCPS Correction management and maintenance for SCPS SCPS Applications Plugins and Tools for SCPS Use cases and case studies for SCPS SCPS in production supply chain environments SCPS in social and living environments Important Dates Submission Date: 31th July, 2021 Notification to Authors: 27th August, 2021 Camera Ready Submission: 04th September, 2021 Submission System <https://easychair.org/conferences/?conf=scps2021> https://easychair.org/conferences/?conf=scps2021 Best Regards,

1 0

Logica Universalis Webinar - June 23 - The Talmudic Logic Project by Dov Gabbay and Timotheus Kampik
by Antje Herbst 20 Jun '21

20 Jun '21

Join the Logica Universalis Webinar! The next session will be held on Wednesday, June 23 at 4pm CEST with the talk The Talmudic Logic Project<https://link.springer.com/article/10.1007/s11787-019-00228-y> by Dov Gabbay<https://urldefense.proofpoint.com/v2/url?u=https-3A__en.wikipedia.org_wiki_…> (University of Luxembourg, Bar-Ilan University, Israel, King's College London, UK) and Timotheus Kampik<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.umu.se_en_staff_ti…> (Umea University, Sweden) Chair: Stanisław Krajewski<https://urldefense.proofpoint.com/v2/url?u=https-3A__en.wikipedia.org_wiki_…> and Marcin Trepczyński<https://urldefense.proofpoint.com/v2/url?u=http-3A__naszestrony.eu_trepczyn…> Editors of the LU special issue Theological Discourse and Logic<https://link.springer.com/journal/11787/volumes-and-issues/13-4> Associate Organization: Logic and Religion Association<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.logicandreligion.c…> Presented by its president Ricardo Silvestre<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.ch.ufcg.edu.br_sit…> 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

1 0

ICALP 2021 2nd Call for Participation
by Simon Gay 15 Jun '21

15 Jun '21

==================================================================== CALL FOR PARTICIPATION 48th International Colloquium on Automata, Languages and Programming ICALP 2021 online from the University of Glasgow, Scotland, 13-16 July 2021 https://easyconferences.eu/icalp2021/ ==================================================================== ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). * Track A: Algorithms, Complexity and Games (PC Chair: Nikhil Bansal, CWI Amsterdam, Netherlands) * Track B: Automata, Logic, Semantics, and Theory of Programming (PC Chair: James Worrell, University of Oxford, UK) ================ Invited Speakers ================ Unifying Invited Speakers: Adi Shamir, Weizmann Institute of Science, Israel Toniann Pitassi, University of Toronto, Canada Andrei Bulatov, Simon Fraser University, Canada * Track A Invited Speakers: Keren Censor-Hillel, Technion, Israel David Woodruff, Carnegie Mellon University, USA * Track B Invited Speaker: Christel Baier, Technical University of Dresden, Germany ================== Contributed papers ================== http://easyconferences.eu/icalp2021/accepted/ Full schedule now available: http://easyconferences.eu/icalp2021/programme/ ================= Conference format ================= * Afternoons, European time, 13-16 July * Full-length invited talks * Contributed papers have 5-minute live talk, live Q&A, 25-minute video available in advance * Workshops: full day or two afternoons, European time, 11-12 July =========================== Workshops - 11-12 July 2021 =========================== * Algorithmic Aspects of Temporal Graphs IV Organisers: George B. Mertzios, Paul G. Spirakis, Eleni C. Akrida, Viktor Zamaraev http://community.dur.ac.uk/george.mertzios/Workshops/ICALP-21-Satellite/Tem… * VEST: Verification of Session Types Organisers: Ornela Dardha, António Ravara https://sites.google.com/view/vest21/home * 2nd Workshop on Programming Research in Mainstream Languages (PRiML 2021) Organisers: Seyed Hossein Haeri, Paul Keir https://agozillon.github.io/PRiML/ (Limited number of free registrations sponsored by IOHK) * Graph Width Parameters: from Structure to Algorithms (GWP 2021) Organisers: Flavia Bonomo, Nick Brettell, Andrea Munaro, Daniel Paulusma https://homepages.ecs.vuw.ac.nz/~bretteni/GWP2021/ * Combinatorial Reconfiguration Organisers: Takehiro Ito, Jun Kawahara, Yoshio Okamoto https://core.dais.is.tohoku.ac.jp/en/report/event/detail/---id-27.html * Formal Methods Education Online: Tips, Tricks & Tools Organisers: Jan Křetínský, Maximilian Weininger, Thomas Zeume https://www7.in.tum.de/~kretinsk/fomeo.html * Flavours of Uncertainty in Verification, Planning and Optimization (FUNCTION) Organisers: Moritz Hahn, Nils Jansen, Gethin Norman https://function-2021.cs.ru.nl ============ Registration ============ http://easyconferences.eu/icalp2021/registration/ * Author registration until 15 June * Standard registration until 30 June * Late registration from 1 July * Low-cost registration for non-authors * Free registration for PhD students at Scottish universities, sponsored by SICSA (Scottish Informatics and Computer Science Alliance). Free registrations are limited to 2 author registrations and 30 non-author registrations, and will be allocated on a first-come-first-served basis. ================== Student volunteers ================== We have a student volunteer programme which offers free registration in exchange for technical assistance with running the sessions. Please check http://easyconferences.eu/icalp2021/registration/ for details. =============================== ICALP 2021 Organizing Committee =============================== Simon Gay, Conference Chair Oana Andrei Ornela Dardha Jessica Enright David Manlove Kitty Meeks Alice Miller Gethin Norman Sofiat Olaosebikan Michele Sevegnani ========== Contact us ========== For enquiries on academic programme please contact: Local Organizing Committee Email: icalp2021(a)glasgow.ac.uk For enquiries, registration support, travel and logistics please contact: Easy Conferences Email: info(a)easyconferences.eu Tel: +357 22 591 900 =============== Twitter Account =============== @ICALPconf https://twitter.com/ICALPconf

1 0

FSCD 2021: Call for (Online) Participation
by Carsten Fuhs 14 Jun '21

14 Jun '21

CALL FOR PARTICIPATION Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 – July 24, 2021, Buenos Aires, Argentina https://fscd2021.github.io/ In-cooperation with ACM SIGLOG and SIGPLAN The 2021 edition of FSCD and of its satellite workshops will be held online. Participation will, a priori, be free of charge, unless we receive way too many requests, in which case we will invite those who can to pay the modest amount of 7 USD. FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g., quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g., blockchain protocols or deep learning algorithms). REGISTRATION --------------- The registration page is already open and linked from: https://fscd2021.dc.uba.ar/registration.html This link should be used also to register for affiliated workshops. Registration is open until July 11. FSCD 2021 will run over the Clowdr platform. After the registration is closed, you will receive an invitation link and instructions on how to participate. INVITED SPEAKERS ---------------- - Zena M. Ariola https://ix.cs.uoregon.edu/~ariola/ - Nao Hirokawa https://www.jaist.ac.jp/~hirokawa/ - Elaine Pimentel https://sites.google.com/site/elainepimentel/ - Sam Staton https://www.cs.ox.ac.uk/people/samuel.staton/main.html FSCD AFFILIATED WORKSHOPS: -------------------------- - HoTT/UF (6th Workshop on Homotopy Type Theory/Univalent Foundations, July 17-18) - ITRS (10th Workshop on Intersection Types and Related Systems, July 17) - WPTE (7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, July 18) - UNIF (35th International Workshop on Unification, July 18) - LSFA (16th Logical and Semantics Frameworks with Applications, July 23-24) - IWC (10th International Workshop on Confluence, July 23) - IFIP WG 1.6 (24th meeting of the IFIP Working Group 1.6: Rewriting, July 24) PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021(a)easychair.org PROGRAM COMMITTEE ----------------- Mauricio Ayala-Rincón, Universidade de Brasília Stefano Berardi, University of Torino Frédéric Blanqui, INRIA Eduardo Bonelli, Stevens Institute of Technology Évelyne Contejean, CNRS, Université Paris-Saclay Thierry Coquand, University of Gothenburg Thomas Ehrhard, Université de Paris, CNRS Santiago Escobar, Univ. Politècnica de València José Espírito Santo, University of Minho Claudia Faggian, Université de Paris, CNRS Amy Felty, University of Ottawa Santiago Figueira, Universidad de Buenos Aires Marcelo Fiore, University of Cambridge Marco Gaboardi, Boston University Silvia Ghilezan, University of Novi Sad Ichiro Hasuo, National Institute of Informatics Delia Kesner, Université de Paris Robbert Krebbers, Radboud University Nijmegen Temur Kutsia, Johannes Kepler University Linz Barbara König, University of Duisburg-Essen Marina Lenisa, University of Udine Naoki Nishida, Nagoya University Luke Ong, University of Oxford Paweł Parys, University of Warsaw Jakob Rehof, TU Dortmund University Camilo Rocha, Pontificia Univ. Javeriana Cali Alexandra Silva, University College London Alwen Tiu, Australian National University Sarah Winkler, University of Verona Hongseok Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET ORGANIZING COMMITTEE -------------------- Mauricio Ayala-Rincón (Workshops co-chair), Universidade de Brasília Santiago Figueira, Universidad de Buenos Aires & ICC Malena Ivnisky (Virtualization co-chair), Universidad de Buenos Aires & ICC Mauro Jaskelioff, Universidad Nacional de Rosario & CIFASIS Carlos López Pombo (Workshops co-chair), Universidad de Buenos Aires & ICC Ricardo Rodríguez (Virtualization co-chair), Universidad de Buenos Aires & ICC Rafael Romero (Virtualization co-chair), Universidad de Buenos Aires & ICC Nora Szasz, Universidad ORT Uruguay Beta Ziliani, Universidad Nacional de Córdoba FSCD STEERING COMMITTEE ----------------------- Zena M. Ariola, University of Oregon Mauricio Ayala-Rincón, University of Brasilia Carsten Fuhs (Publicity Chair), Birkbeck, University of London Herman Geuvers, Radboud University Silvia Ghilezan, University of Novi Sad Stefano Guerrini, University of Paris 13 Delia Kesner (SC Chair), University of Paris Diderot Hélène Kirchner, Inria Cynthia Kop, Radboud University Damiano Mazza, University of Paris 13 Luke Ong, Oxford University Jakob Rehof, TU Dortmund Jamie Vicary (SC Workshop Chair), Oxford University

1 0

Certified Programs and Proofs (CPP) 2022: Call for Papers
by Andrei Popescu 14 Jun '21

14 Jun '21

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>

1 0

Logica Universalis Webinar - June 16 - Sequents and Trees by Andrzej Indrzejczak
by Antje Herbst 14 Jun '21

14 Jun '21

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

1 0