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