After the adoption of January 14 as the World Logic Day by the Executive
Council of UNESCO on October 17, 2019, January 14 was officially
proclaimed as the World Logic Day at the 40th session of the General
Conference of UNESCO in Paris, November 12-27, 2019.
See below extracts of the text, related to the paper reporting the first
edition celebrated in about 60 localities all around the world:
1st World Logic Day: 14 January 2019
https://link.springer.com/article/10.1007/s11787-019-00221-5
We encourage everybody to organize a celebration of the World Logic Day on
January 14 2020 under the auspices of UNESCO.
Info about all the celebrations will be gathered in a single webpage with
links to all the celebrations in the world as it was done for the 1st
edition.
http://logica-universalis.org/wld
Here one of them already announced:
https://epimenides.usal.es/?q=en/programa-2020
Best Wishes
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
President of the Brazilian Academy of Philosophy
---------------------------------------------------------------------------------------------------------------------------------------------
1. The ability to think is one of the most defining features of humankind.
In different cultures, the definition of humanity is associated with
concepts such as consciousness, knowledge and reason. According to
the classic western tradition, human beings are defined as “rational” or
“logical animals”. Logic, as the investigation on the principles of
reasoning, has been studied by many civilizations throughout
history and, since its earliest formulations, logic has played an
important role in the development of philosophy and the sciences.
2. Despite its undeniable relevance to the development of knowledge,
sciences and technologies, there is little public awareness on the
importance of logic. The proclamation of World Logic Day by
UNESCO, in association with the International Council for Philosophy and
Human Sciences (CIPSH), intends to bring the intellectual history,
conceptual significance and practical implications of logic to the
attention of interdisciplinary science communities and the broader public.
3. A dynamic and global annual celebration of World Logic Day
aims at fostering international cooperation, promoting the
development of logic, in both research and teaching, supporting
the activities of associations, universities and other institutions
involved with logic, and enhancing public understanding of logic and
its implications for science, technology and innovation.
Furthermore, the celebration of World Logic Day can also contribute to
the promotion of a culture of peace, dialogue and mutual understanding,
based on the advancement of education and science
4. On 14 January 2019, the first World Logic Day was celebrated
as an initiative of universities, research institutes, foundations
and associations active in the fields of mathematics, philosophy,
computer sciences, engineering, economics and cognitive sciences. The
existence of these networks, and their commitment to future annual
celebrations of World Logic Day, offer credible assurance that the
proclamation of the Day by UNESCO, in association with the relevant member
organizations of the CIPSH, will lead to a solid action plan towards impact
and added value. UNESCO’s commitment to World Logic Day will ensure
that it has a broader and more geographically diverse orientation
and connects organically to established programme priorities in the
humanities.
Full text here
https://unesdoc.unesco.org/ark:/48223/pf0000371483
COMPUTABILITY IN EUROPE 2020 SECOND CALL FOR PAPERS:
CiE 2020:
Salerno, Italy
June 29 - July 3, 2020
https://www.acie.eu/cie-conference-series/cie2020https://www.acie.eu
IMPORTANT DATES:
Deadline for abstract registration: 3 January 2020 AOE
Deadline for article submission: 17 January 2020 AOE
Notification of acceptance: 29 February 2020
Final versions due: 15 March 2020
Deadline for informal presentations submission: 10 April 2020
(The notifications of acceptance for informal presentations will be sent
a few days after submission.)
Early registration before: 1 May 2020
CiE 2020 is the 16th conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019).
TUTORIAL SPEAKERS:
- Virginia Vassilevska Williams (MIT)
- Martin Ziegler (Korea Advanced Institute of Science and Technology)
INVITED SPEAKERS:
Paolo Boldi (University of Milan)
Véronique Bruyère (University of Mons)
Ekatarina Fokina (Vienna University of Technology)
Amaury Pouly (CNRS Paris)
Antonio Restivo (University of Palermo)
Damien Woods (Maynooth University)
HOSTED BY:
Department of Computer Science, University of Salerno
SPECIAL SESSIONS:
Algorithmic Learning Theory
Combinatorial String Matching
Computable Topology
History and Philosophy of Computing
Large scale Bioinformatics and Computational Sciences
Modern aspects of Formal Languages
CONTRIBUTED PAPERS:
Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE consisting of:
Marcella Anselmo University of Salerno (co-chair)
Veronica Becher Universidad de Buenos Aires
Paola Bonizzoni University of Milano-Bicocca
Laura Crosilla University of Oslo
Liesbeth De Mol Université de Lille 3
Gianluca Della Vedova University of Milano-Bicocca
Jérôme Durand-Lose Université d'Orléans
Pawel Gawrychowski University of Wroclaw
Mathieu Hoyrup LORIA
Juliette Kennedy University of Helsinki
Karoliina Lehtinen University of Liverpool
Benedikt Loewe Universiteit van Amsterdam
Florin Manea Universität Göttingen
Timothy McNicholl Iowa State University
Klaus Meer BTU Cottbus-Senftenberg
Turlough Neary University of Zurich
Daniel Paulusma Durham University
Arno Pauly Swansea University (co-chair)
Karin Quaas University of Leipzig
Viola Schiaffonati Politecnico di Milano
Markus L. Schmid Humboldt University Berlin
Alexander Schoenhuth Bielefeld University
Thomas Schwentick Universität Dortmund
Marinella Sciortino University of Palermo
Victor Selivanov Institute on Informatics Systems
Mariya Soskova University of Wisconsin-Madison
Peter Van Emde Boas Universiteit van Amsterdam
Linda Brown Westrick Pennsylvania State University
The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics.
THE PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to the above
for presentation at the conference and inclusion in the proceedings of
CiE 2020 at https://easychair.org/conferences/?conf=cie2020.
Papers must be submitted in PDF format, using the LNCS style (available
at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…)
and must have a maximum of 12 pages, including references but excluding
a possible appendix in which one can include proofs and other additional
material. Papers building bridges between different parts of the
research community are particularly welcome.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
WOMEN IN COMPUTABILITY TRAVEL GRANTS
We are very happy to announce that within the framework of the Women in
Computability programme sponsored by ACM-W we are able to offer four
grants of up to 250 EUR for junior female researchers who want to
participate in CiE 2020.
Applications for this grant should be sent to
johanna.franklin(a)gmail.com, before APRIL 30, 2020 and include a short cv
(at most 2 pages) and contact information for an academic reference.
Preference will be given to junior female researchers who are presenting
a paper (including informal presentations) at CiE 2020.
TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for
our joint doctoral program Logical Methods in Computer Science (logiCS). The
LogiCS doctoral college focuses on interdisciplinary research topics
covering
- computational logic, and applications of logic to
- databases and artificial intelligence,
- computer-aided verification,
- security and privacy,
- cyber-physical systems, as well as to
- distributed systems.
THE PROGRAM
Our PhD program LogiCS is focusing on logic and its applications in computer
science. Successful applicants will work with and be mentored by leading
researchers in the fields of computational logic, databases and knowledge
representation, computer-aided verification, security and privacy,
cyber-physical systems, and distributed systems.
FACULTY MEMBERS
M. Bartocci / A. Biere / R. Bloem / A. Ciabattoni / T. Eiter / G. Gottlob /
R. Grosu / L. Kovacs / M.Maffei / M. Ortiz / U. Schmid / M.Seidl / S.
Szeider / G. Weissenbacher / S.Woltran
The LogiCS faculty comprises 15 renowned researchers with strong records in
research, teaching and advising, complemented by 15 associated members who
further strengthen the research and teaching activities of the college.
POSITIONS AND FUNDING
*We are looking for 11 very strong doctoral students.
*We offer internationally competitive salaries funded for at least 3 years
according to the funding scheme of the Austrian Science Fund (with full
health benefits)
*The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.
CURRENT RESEARCH AREAS
Students can pursue doctoral research within the following areas:
* Automated Software Verification
* Description Logics
* Epistemic logic in distributed computing
* Game-based Semantics
* Fixed-Parameter Algorithms and Complexity
* Formal Verification of hybrid systems
* Knowledge Representation and Reasoning
* Model Checking
* Modeling and analysis of digital integrated circuits
* Ontology-based Data Access
* Security and Privacy
* Scheduling and logic programming
* Topology in distributed computing
* Quantified Boolean Formulas
HOW TO APPLY
For more information about the PhD program and application process, as well
as faculty profiles, please visit our website at:
https://logic-cs.at/phd/admission/
*The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related field.
*Candidates with comparable achievements will be considered on a
case-by-case basis.
*Applications by the candidates need to be submitted electronically.
Next application deadline: January 11, 2020.
LOGIC IN AUSTRIA
Austria has a highly active and successful logic in the computer science
community. Recent activities include:
www.arise.or.at (Austrian Research Network in Rigorous Systems Engineering)
www.vcla.at (Vienna Center for Logic and Algorithms)
www.kgs.logic.at (International Kurt Goedel Society)
HIGHEST QUALITY OF LIFE
The Austrian cities Vienna, Graz, and Linz, located close to the Alps and
surrounded by beautiful nature, provide an exceptionally high quality of
life, with a vibrant cultural scene, numerous cultural events, world-famous
historical sites, a large international community, a varied cuisine and
famous coffee houses.
If you have any questions, feel free to get in touch: info(a)logic-cs.at
WEBSITE:
http://www.vcla.at/2019/12/several-open-phd-positions-in-the-doctoral-progra
m-on-logical-methods-in-computer-science-logics/
[Please distribute]
The Presburger Award for Young Scientists 2020
Call for Nominations
Deadline: 15 February 2020
Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers.
The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (today called Presburger arithmetic) as a student in 1929.
Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community except the nominee and his/her advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be at most 35 years old on January 1st of the year of the nomination (i.e., for the Presburger Award of 2020 the birth year should be 1984 or later). The Presburger Award Committee of 2020 consists of Thore Husfeldt (Lund University and IT University of Copenhagen), Meena Mahajan (The Institute of Mathematical Sciences, Chennai) and Anca Muscholl (LaBRI, Bordeaux, chair). Nominations, consisting of a two page justification and (links to) the respective papers, as well as additional supporting letters, should be sent by e-mail to:
presburger-award(a)eatcs.org
The subject line of every nomination should start with Presburger Award 2020, and the message must be received
before February 15th, 2020.
The award includes an amount of 1000 Euro and an invitation to ICALP 2020 for a lecture.
_____________________________________________
Previous Winners:
Mikolaj Bojanczyk, 2010
Patricia Bouyer-Decitre, 2011
Venkatesan Guruswami, Mihai Patrascu 2012
Erik Demaine, 2013
David Woodruff, 2014
Xi Chen, 2015
Mark Braverman, 2016
Alexandra Silva, 2017
Aleksander Madry, 208
Karl Bringmann, Kasper Green Larsen 2019
Official website: http://www.eatcs.org/index.php/presburger
FULL DOCTORAL POSITION IN THE DATABASE GROUP
OF UNIVERSITY OF BREMEN
The research group "Databases" of Department 3 (Mathematics and Computer
Science) of the University of Bremen is offering -- conditional to the
release of budgetary funds -- a position for a
Doctoral Researcher (m/f/d)
– Salary according to German federal pay scale 13 TV-L (100%)
for the duration of three years.
The employment is fixed-term and governed by the Act of Academic Fixed-Term
Contracts (Wissenschaftszeitvertragsgesetz). Therefore, candidates may only
be considered for employment if they still have the respective
qualification periods available in accordance with §2 (1) WissZeitVG.
The research group "Database Theory" is headed by Prof. Sebastian Maneth
and works among others on
- automata theory and its applications
- databases for heterogeneous data (JSON, XML, RDF, etc.) and
- compression of heterogeneous data
The position includes a teaching load of 4 hours per week (SWS) and
provides the opportunity for scientific qualification within the framework
of a doctoral degree. The candidate should assist the research group in its
teaching and should conduct research on the topics mentioned above with the
other group members.
Essential qualifications are a completed Master’s degree or Diplom in
Computer Science (or equivalent, e.g. in Mathematics) and proficient basic
knowledge in at least one of the areas relevant to the research group.
As the University of Bremen wants to increase the proportion of female
employees in science, women are particularly encouraged to apply. In case
of equal qualification, disabled persons will be given priority.
International applications as well as applications of academics with a
migration background are explicitly welcome.
Please address your complete and informative application documents
(Curriculum Vitae, Master’s Degree certificate, etc.) stating the reference
number A359/19 by January 3, 2020 to:
Universitaet Bremen
Fachbereich 3 Informatik/Mathematik
Prof. Dr. Sebastian Maneth
Bibliothekstrasse 5
28359 Bremen
or electronically in a single PDF-file to maneth(a)uni-bremen.de
Applications will also considered after the deadline
until the position is filled.
We request that you only send document copies and not originals as we
cannot return them; all application materials will be destroyed after the
selection process.
CALL FOR PAPERS
Natural Language Processing in Artificial Intelligence - NLPinAI 2020
22 - 24 February 2020 - Valletta, Malta
http://www.icaart.org/NLPinAI.aspx?y=2020http://www.icaart.org/NLPinAI.aspx
Special Session within the 12th International Conference on Agents and
Artificial Intelligence - ICAART 2020
http://www.icaart.org
-------------------------------------------------------------
SCOPE
Computational and technological developments that incorporate natural
language are proliferating. Adequate coverage encounters difficult problems
related to partiality, underspecification, and context-dependency, which
are signature features of information in nature and natural languages.
Furthermore, agents (humans or computational systems) are information
conveyors, interpreters, or participate as components of informational
content. Generally, language processing depends on agents' knowledge,
reasoning, perspectives, and interactions.
The session covers theoretical work, applications, approaches, and
techniques for computational models of information and its presentation by
language (artificial, human, or natural in other ways). The goal is to
promote intelligent natural language processing and related models of
thought, mental states, reasoning, and other cognitive processes.
TOPICS
We invite contributions relevant to the following topics, without being
limited to them:
- Type theories for applications to language and information processing
- Computational grammar
- Computational syntax
- Computational semantics of natural languages
- Computational syntax-semantics interface
- Interfaces between morphology, lexicon, syntax, semantics, speech, text,
pragmatics
- Parsing
- Multilingual processing
- Large-scale grammars of natural languages
- Interfaces between morphology, lexicon, syntax, semantics, speech, text,
pragmatics
- Models of computation and algorithms for natural language processing
- Computational models of partiality, underspecification, and
context-dependency
- Models of situations, contexts, and agents, for applications to language
processing
- Information about space and time in language models and processing
- Models of computation and algorithms for linguistics
- Data science in language processing
- Machine learning of language
- Interdisciplinary methods
- Integration of formal, computational, model theoretic, graphical,
diagrammatic, statistical, and other related methods
- Logic for information extraction or expression in written and spoken
language
- Language processing based on biological fundamentals of information and
languages
- Computational neuroscience of language
IMPORTANT DATES
Paper Submission: December 19, 2019
Authors Notification: January 9, 2020
Camera Ready and Registration: January 17, 2020
PAPER SUBMISSION
Prospective authors are invited to submit papers in any of the topics
listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are
available on the ICAART pages.
Paper Templates:
http://www.icaart.org/Templates.aspx
Guidelines:
http://www.icaart.org/Guidelines.aspx
Papers must be submitted electronically via the web-based submission system
using the button SUBMIT PAPER on the pages of NLPinAI 2020 at ICAART 2020.
PUBLICATIONS
After thorough reviewing by the special session program committee, all
accepted papers will be published in a special section of the conference
proceedings book - under an ISBN reference and on digital support - and
submitted for indexation by Thomson Reuters Conference Proceedings Citation
Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus,
Semantic Scholar and Google Scholar.
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every
paper is given a DOI (Digital Object Identifier).
All papers presented at the conference venue will be available at the
SCITEPRESS Digital Library
We expect a post-conference, post-proceedings Special Issue with extended
publications based on selected papers presented at NLPinAI 2020.
-------------------------------------------------------------
CHAIR:
Roussanka Loukanova
Sweden and Bulgaria
CONTACT:
Roussanka Loukanova (rloukanova the special symbol gmaildotcom)
-------------------------------------------------------------
TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for
our joint doctoral program Logical Methods in Computer Science (logiCS). The
LogiCS doctoral college focuses on interdisciplinary research topics
covering
- computational logic, and applications of logic to
- databases and artificial intelligence,
- computer-aided verification,
- security and privacy,
- cyber-physical systems, as well as to
- distributed systems.
THE PROGRAM
Our PhD program LogiCS is focusing on logic and its applications in computer
science. Successful applicants will work with and be mentored by leading
researchers in the fields of computational logic, databases and knowledge
representation, computer-aided verification, security and privacy,
cyber-physical systems, and distributed systems.
FACULTY MEMBERS
M. Bartocci / A. Biere / R. Bloem / A. Ciabattoni / T. Eiter / G. Gottlob /
R. Grosu / L. Kovacs / M.Maffei / M. Ortiz / U. Schmid / M.Seidl / S.
Szeider / G. Weissenbacher / S.Woltran
The LogiCS faculty comprises 15 renowned researchers with strong records in
research, teaching and advising, complemented by 15 associated members who
further strengthen the research and teaching activities of the college.
POSITIONS AND FUNDING
*We are looking for 8 very strong doctoral students.
*We offer internationally competitive salaries funded for at least 3 years
according to the funding scheme of the Austrian Science Fund (with full
health benefits)
*The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.
CURRENT RESEARCH AREAS
Students can pursue doctoral research within the following areas:
* Automated Software Verification
* Epistemic logic in distributed computing
* Game-based Semantics
* Fixed-Parameter Algorithms and Complexity
* Formal Verification of hybrid systems
* Model Checking
* Modeling and analysis of digital integrated circuits
* Security and Privacy
* Scheduling and logic programming
* Topology in distributed computing
HOW TO APPLY
For more information about the PhD program and application process, as well
as faculty profiles, please visit our website at:
https://logic-cs.at/phd/admission/
*The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related field.
*Candidates with comparable achievements will be considered on a
case-by-case basis.
*Applications by the candidates need to be submitted electronically.
Next application deadline: January 11, 2020.
LOGIC IN AUSTRIA
Austria has a highly active and successful logic in the computer science
community. Recent activities include:
www.arise.or.at (Austrian Research Network in Rigorous Systems Engineering)
www.vcla.at (Vienna Center for Logic and Algorithms)
www.kgs.logic.at (International Kurt Goedel Society)
HIGHEST QUALITY OF LIFE
The Austrian cities Vienna, Graz, and Linz, located close to the Alps and
surrounded by beautiful nature, provide an exceptionally high quality of
life, with a vibrant cultural scene, numerous cultural events, world-famous
historical sites, a large international community, a varied cuisine and
famous coffee houses.
If you have any questions, feel free to get in touch: info(a)logic-cs.at
==============================================================
Call for Participation
==============================================================
Computer Science Logic 2020
Barcelona, Catalonia, Spain
January 13 - 16, 2020
http://www.cs.upc.edu/csl2020
==============================================================
The European Association for Computer Science Logic, the department of
Computer Science of the Universitat Politècnica de Catalunya, and the
Institut de Matemàtiques de la Universitat de Barcelona kindly invite
you to participate in the 2020 edition of CSL that will be held in
Barcelona from Mon Jan 13 to Thu Jan 16, 2020.
# The Conference
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an
interdisciplinary conference spanning across both basic and
application oriented research in mathematical logic and computer
science. CSL 2020 will be the 28th edition in the series. Please note
that CSL has moved from its former August/September slot and that CSL
2020 is the first conference in the series that takes place in
January.
## Invited Speakers
Véronique Cortier, LORIA, France
Anuj Dawar, University of Cambridge, UK
Artur Jeż, University of Wroclaw, Poland
Delia Kesner, University Paris Diderot, France
Iddo Tzameret, Royal Holloway, UK
## Programme
Thirty-two contributions were selected for presentation at CSL 2020. A
full list is available at http://www.cs.upc.edu/csl2020/program.html .
## Registration
To register, please follow the link and information provided on the
CSL website http://www.cs.upc.edu/csl2020/registration.html .
Note the early registration deadline: THURSDAY, DECEMBER 5, 2019.
For any questions please contact Albert Atserias (atserias at-sign
cs.upc.edu) or Juan Carlos Martínez (jcmartinez at-sign ub.edu).
==============================================================
The Gödel Prize 2020 - Call for Nominations
Deadline: February 15, 2020
The Gödel Prize for outstanding papers in the area of theoretical
computer science is sponsored jointly by the European Association for
Theoretical Computer Science (EATCS) and the Association for Computing
Machinery, Special Interest Group on Algorithms and Computation Theory
(ACM SIGACT). The award is presented annually, with the presentation
taking place alternately at the International Colloquium on Automata,
Languages, and Programming (ICALP) and the ACM Symposium on Theory of
Computing (STOC). The 28th Gödel Prize will be awarded at the 47th
International Colloquium on Automata, Languages, and Programming to be
held during 8-12 July, 2020 in Beijing. The Prize is named in honour
of Kurt Gödel in recognition of his major contributions to
mathematical logic and of his interest, discovered in a letter he
wrote to John von Neumann shortly before von Neumann’s death, in what
has become the famous “P versus NP” question. The Prize includes an
award of USD 5,000.
Award Committee: The 2020 Award Committee consists of Samson Abramsky
(University of Oxford), Anuj Dawar (Chair, University of Cambridge),
Joan Feigenbaum (Yale University), Robert Krauthgamer (Weizmann
Institute), Daniel Spielman (Yale University) and David Zuckerman
(University of Texas, Austin).
Nominations: Nominations for the award should be submitted by email to
the Award Committee Chair: anuj.dawar(a)cl.cam.ac.uk. Please make sure
that the Subject line of all nominations and related messages begin
with “Goedel Prize 2020.” To be considered, nominations for the 2020
Prize must be received by February 15, 2020.
Those intending to submit a nomination should contact the Award
Committee chair by email well in advance to discuss it.
For full details on eligibility and requirements, please see
http://eatcs.org/index.php/goedel-prizehttp://www.sigact.org/prizes/gödel.html
or contact the Award Committee chair, Anuj Dawar <anuj.dawar(a)cl.cam.ac.uk>
--
Anuj.Dawar(a)cl.cam.ac.uk
Professor of Logic and Algorithms
Department of Computer Science and Technology
University of Cambridge Phone: +44 1223 334408
15 J.J. Thomson Avenue Fax: +44 1223 334678
Cambridge CB3 0FD, UK. http://www.cl.cam.ac.uk/users/ad260
ICALP 2020 (http://econcs.pku.edu.cn/icalp2020/) and LICS 2020 (https://lics.siglog.org/lics20/) will take place in co-location from 8th till 12th of July 2020 in Beijing, China. The conferences will be preceded by two days of joint workshops, held on July 6th and 7th. We invite proposals of workshops affiliated with ICALP-LICS 2020 on all topics covered by ICALP and LICS, as well as other areas of theoretical computer science.
Proposals should be submitted no later than
*** November 30th, 2019 ***
by sending an email to frederic.blanqui(a)inria.fr. Due to limited space of the venue we might not be able to accommodate all the proposed workshops. You should expect notification on the acceptance of your proposal by mid December 2019.
A workshop proposal submission should consist of:
- workshop's name and URL (if already available)
- workshop's organizers together with their email addresses and web pages;
- short description of the area covered by the workshop and the motivation behind it;
- expected number of participants (if available, please include the data of previous years);
- planned format of the event;
- date preference (July 6th or 7th).
As for the format, a standard option is a one-day workshop consisting of invited talks by leading experts and of shorter contributed talks, either directly invited by the organizers or selected among submissions. Deviations from this standard are also warmly welcome, including a shorter or a longer time span than a full day, or other elements of the schedule like open problem sessions, discussion panels, or working sessions.
If you plan to have invited speakers, please specify their expected number and, if possible, tentative names. If you plan a call for papers or for contributed talks followed by a selection procedure, the submission date should be scheduled after ICALP 2020 and LICS 2020 notification, while the notification should take place considerably before the early registration deadline. In your submission please include details, in particular the time schedule, of the planned procedure of selecting papers and/or contributed talks. If you plan to have published proceedings of your workshop, please provide the name of the publisher. Please be advised that ICALP-LICS 2020 is not able to provide any financial support for publishing workshop proceedings.
We expect the workshops to be financially independent. The expenses related to the participation of invited speakers, production of workshop materials, etc. should be covered from independent sources. On top of standard ICALP/LICS registration fee there will be a moderate registration fee for the workshops that will cover coffee breaks. This workshop fee will be waived for maximum two invited speakers for each workshop.
Workshop selection committee:
Frédéric Blanqui
Naoki Kobayashi
Yuqin Kong
Michał Pilipczuk
Zhilin Wu
Lijun Zhang