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

Call for Participation: Logic, Quantum Computing, and Artificial Intelligence (LQCAI 2021)
by Ali Sadegh Daghighi 12 Jun '21

12 Jun '21

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…> ۰۰/۰۳/۲۱،‏ ۲۲:۰۱:۰۵

1 0

LICS 2021 Call for Participation
by Sam Staton 10 Jun '21

10 Jun '21

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

1 0

Call for Position Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)
by Seyed H. HAERI (Hossein) 09 Jun '21

09 Jun '21

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/ --------------------------------------------------------------------------------------------------------------

1 0

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

08 Jun '21

[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

1 0

ACKERMANN AWARD 2021: 2nd and final Call for Nominations
by EACSL Mail-Account 04 Jun '21

04 Jun '21

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.

1 0

CSL 2022 - call for papers
by Manea, Florin 02 Jun '21

02 Jun '21

==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

1 0