[Apologies for multiple postings.]
======================================================================
Various Research Assistants/Associates
in the post-graduate program UnRAVeL
“Uncertainty and Randomness in Algorithms, Verification and Logic”
at RWTH Aachen University, Aachen, Germany
======================================================================
Context.
The RWTH Aachen University is looking for enthusiastic and highly
qualified doctoral researchers. Various positions are available within
the interdisciplinary Research Training Group (RTG) UnRAVeL founded by
Deutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is on
the qualification of doctoral researchers with a focused research
program and a structured training strategy. The RTG UnRAVeL aims to
significantly advance probabilistic modelling and analysis for
uncertainty by developing new theories, algorithms, and tool-supported
verification techniques, and to apply them to core problems from
security (e.g., probabilistic protocols), planning (robotics and railway
engineering), and safety and performance analysis (railway systems). To
tackle these research challenges, theoretical computer scientists from
computer-aided verification, logic and games, algorithms and complexity,
together with experts from management science (robust optimization),
applied computer science (robotics and security), and railway
engineering intensively cooperate within the RTG UnRAVeL.
Required profile.
Candidates must have (or soon obtain) a master degree in Computer
Science, Mathematics or related area and have completed their studies
with excellent grades. You should have interest in performing original,
highly competitive scientific research, publishing your results in top
conferences and scientific journals. Self-motivation and the ability to
work both independently and as a team player in local and international
research groups are expected. Fluency in English is required;
proficiency in German is helpful but not compulsory.
How to apply?
Your written application should contain:
- a curriculum vitae
- a transcript of records (list of courses and grades)
- a cover letter including a statement of interest in (some of) the
RTG topics (Algorithms and Complexity, Verification, Logic, or
Application Scenarios) that can be found on our web-site, and
- a recommendation letter e.g., by your master thesis supervisor(s).
All documents should be formatted as a single pdf-file. You should send
your application ultimately by ** March 31, 2020 (AoE) ** to the e-mail
address: unravel-appl(a)cs.rwth-aachen.de<mailto:unravel-appl@cs.rwth-aachen.de>
What do we offer?
We offer a stimulating international research environment, the
possibility to participate in highly competitive and interdisciplinary
research and the opportunity to involve students in your research
through project work. Doctoral researchers have a status as employee
with a salary according to the German federal employee scale TV-L E13;
the exact salary is subject to your family situation. The duration of
the positions is three years. RWTH Aachen University offers excellent
facilities for professional and personal development. Starting date of
the positions: between October 1, 2020 and January 1, 2021.
More information about the RTG UnRAVeL can be found at:
unravel.rwth-aachen.de<http://unravel.rwth-aachen.de>
Enquiries can be directed to Prof. Joost-Pieter Katoen (e-mail:
katoen(a)cs.rwth-aachen.de<mailto:katoen@cs.rwth-aachen.de>).
RWTH Aachen University is certified as a “Family-Friendly University”.
We particularly welcome and encourage applications from women, disabled
persons and ethnic minority groups, recognizing they are
underrepresented across RWTH Aachen University. The principles of fair
and open competition apply and appointments will be made on merit.
_______________________________________________
Unravel-prof mailing list -- unravel-prof(a)lists.rwth-aachen.de<mailto:unravel-prof@lists.rwth-aachen.de>
To unsubscribe send an email to unravel-prof-leave(a)lists.rwth-aachen.de<mailto:unravel-prof-leave@lists.rwth-aachen.de>
ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
Final Call for Nominations
Nominations are now invited for the 2020 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 2018 and 31 December 2019 are eligible for nomination for the award.
The deadline for submission is 1 April 2020. Submission details follow below.
*** The Award
The 2020 Ackermann award will be presented to the recipient(s) at CSL 21, the annual conference of the EACSL, in Ljubljana, January 25-28, 2021.
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);
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 chair of
the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de
The e-mail should have the following subject line and text:
* Subject: Ackermann Award 20 Submission
* Text: Name of candidate, list of attachments
Submissions can be sent via several e-mail messages. If this is the case,
please indicate it in the text.
********************************************************************************
VerifyThis Verification Competition 2020
CALL FOR PARTICIPATION -- TRAVEL GRANTS
Competition to be held at ETAPS 2020
http://verifythis.ethz.ch
********************************************************************************
IMPORTANT DATES
Grant application deadline: March 11, 2020
Competition: April 25 and 26, 2020
ABOUT THE COMPETITION
VerifyThis 2020 is a program verification competition taking place as
part of the European Joint Conferences on Theory and Practice of
Software (ETAPS 2020) on 25 and 26 April 2020. It is the 9th event in
the VerifyThis competition series. Information on previous events and
participants can be found at http://verifythis.ethz.ch.
The aims of the competition are:
- to bring together those interested in formal verification, and to
provide an engaging, hands-on, and fun opportunity for discussion, and
- to evaluate the usability of logic-based program verification tools
in a controlled experiment that could be easily repeated by others.
The competition will offer a number of challenges presented in natural
language and pseudo code. Participants have to formalize the
requirements, implement a solution, and formally verify the
implementation for adherence to the specification.
There are no restrictions on the programming language and verification
technology used. The correctness properties posed in problems will
have the input-output behaviour of programs in focus. Solutions will
be judged for correctness, completeness and elegance.
PARTICIPATION
Participation is open for anybody interested. Teams of up to two
people are allowed. Registration for ETAPS workshops and physical
presence on site is required.
We particularly encourage participation of:
- student teams (this includes PhD students)
- non-developer teams using a tool someone else developed
- several teams using the same tool
To facilitate planning, please also send an email to
verifythis(a)googlegroups.com stating your planned team composition and
verification system(s) you plan to use. Informal inquiries are
welcome at the same address.
TRAVEL GRANTS
The competition is trying to obtain funds for a limited number of
travel grants. A grant covers the incurred travel and accommodation
costs up to a certain limit. We will announce more details at
http://verifythis.ethz.ch shortly.
To apply for a travel grant, send an email to verifythis(a)googlegroups.com
by March 11, 2020. The application should include:
- your name
- your affiliation
- the verification system(s) you plan to use at the competition
- the planned composition of your team (and whether you are developers
of
the tools you'll be using)
- a short letter of motivation explaining your involvement with formal
verification so far
- if you are a student, please state the academic degree you are seeking
and have your supervisor send a brief letter of support to
verifythis(a)googlegroups.com
ORGANIZERS
* Siddharth Krishna, Microsoft Research Cambridge, UK
* Wytse Oortwijn, ETH Zurich, Switzerland
STEERING COMMITTEE
* Marieke Huisman, University of Twente, the Netherlands
* Rosemary Monahan, Maynooth University, Ireland
* Peter Müller, ETH Zurich, Switzerland
* Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
CONTACT
Email: verifythis(a)googlegroups.com
Web: http://verifythis.ethz.ch
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2020
36th International Conference on Logic Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
https://iclp2020.unical.it
ICLP 2020, the 36th International Conference on Logic Programming,
will be held at the University of Calabria, Rende, Italy, from
September 18 to September 24, 2020.
The ICLP conference series has a long standing tradition of hosting
a rich set of co-located workshops. ICLP workshops provide a unique
opportunity for the presentation and discussion of work that can be
preliminary in nature, novel ideas, and new open problems to a wide
and interested audience.
Co-located workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops co-located with
ICLP 2020 can cover any areas related to logic programming (e.g.,
theory, implementation, environments, language issues, alternative
paradigms, applications), including cross-disciplinary areas. However,
any relevant workshop proposal will be considered.
The format of the workshop will be decided by the workshop organizers,
but ample time should be allowed for general discussion. Workshops can
vary in length, but the optimal duration will be half a day or a full
day.
Workshop Proposal:
==================
Those interested in organizing a workshop at ICLP 2020 are invited to
submit a workshop proposal. Proposals should be in English and about
two pages in length. They should contain:
* The title of the workshop.
* A brief technical description of the topics covered by the workshop.
* A discussion of the timeliness and relevance of the workshop.
* A list of some related workshops held in the last years.
* The estimated length of the workshop and an estimate of the number
of expected attendees.
* The names, affiliation and contact details (email, web page,
phone) of the workshop organizers together with a designated
contact person.
* Previous experience of the workshop organizers in
workshop/conference organization.
Proposals are expected in text or PDF format. All proposals should be
submitted to the Workshop Chair by email by April 13, 2020.
Reviewing Process:
==================
Each submitted proposal will be reviewed by the Workshop, Program and
General Chairs. Proposals that appear well-organized and that fit the
goals and scope of ICLP will be selected. The decision will be
notified by email to the responsible organizer by April 27, 2020.
The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
room. The workshops and the conference organizers will collaborate in
establishing a uniform approach to produce proficient and accessible
proceedings for the workshops.
Workshop Organizers' Tasks:
===========================
* Producing a "Call for Papers" for the workshop and posting it
on the Internet and other means. A web page URL should be provided
by May 25, 2020, and will be published on the ICLP 2020 home page.
* Providing a brief description of the workshop for the conference
program.
* Reviewing/accepting submitted papers.
* Scheduling workshop activities in collaboration with the local
organizers and the Workshop Chair.
* Providing a workshop program in a format specified by the
conference organizers for posting by August 31, 2020.
* Coordinating the preparation of the workshop proceedings according
to the specifications provided by the Workshop Chair.
Location:
=========
Workshops will be collocated with ICLP 2020 at the University of
Calabria, Rende, Italy. See the ICLP 2020 web site
(https://iclp2020.unical.it/) for location details.
Important Dates (Tentative):
============================
April 13, 2020:Proposal submission deadline
April 27, 2020:Notification
May 25, 2020:Deadline for receipt of CfP and workshop web page URL
August 18, 2020: Deadline for acceptance notification of paper authors
August 31, 2020: Deadline for workshop program
Submissions:
============
Please submit your workshop proposals by email to the Workshop Chair.
Workshop Chair:
===============
Martin Gebsermartin.gebser(a)aau.at
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
COMPUTABILITY IN EUROPE 2020 FIRST CALL FOR INFORMAL PRESENTATIONS:
CiE 2020:
Salerno, Italy
June 29 - July 3, 2020
https://www.acie.eu/cie-conference-series/cie2020https://www.acie.eu
IMPORTANT DATES:
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).
TUTORIALS
_Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT)
_Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of
Science and Technology)
INVITED TALKS:
_Centralities in Network Analysis_ -- Paolo Boldi (University of Milan)
_A game-theoretic approach for the automated synthesis of complex
systems _-- Véronique Bruyère (University of Mons)
On-the-fly classification of structures -- Ekatarina Fokina (Vienna
University of Technology)
_A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris)
_On the Repetitive Structure of Words_ -- Antonio Restivo (University of
Palermo)
_Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien
Woods (Maynooth University)
HOSTED BY:
Department of Computer Science, University of Salerno
SPECIAL SESSIONS:
Algorithmic Learning Theory
Combinatorial String Matching
Computable Topology
HAPOC session on Fairness in Algorithms
Large scale Bioinformatics and Computational Sciences
Modern aspects of Formal Languages
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
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.
Continuing the tradition of past CiE conferences, the Program Committee
cordially invites all researchers (European and non-European) to submit
informal presentations of their recent work. A proposal for an informal
presentation must be submitted via
EasyChair (https://easychair.org/conferences/?conf=cie2020), using the
LNCS style file (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…)
and be 1 page; a brief description of the results suffices and an
abstract is not required. Informal presentations will not be published
in the LNCS conference proceedings. Results presented as informal
presentations at CiE 2020 may appear or may have appeared in other
conferences with formal proceedings and/or in journals.
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.
ASSOCIATION OF SYMBOLIC LOGIC TRAVEL GRANTS
The Association for Symbolic Logic is graciously sponsoring CiE 2020.
Hence student members of the ASL may apply for student travel awards.
Further information can be found on the ASL website. Applications must
be received by March 28th.
It is our pleasure to announce the call for the SIGLOG/VCLA/ILLC Travel Awards for attendees of Women in Logic Workshop 2020.
Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020.
The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.
APPLICATION PROCESS
To submit a nomination for the SIGLOG/VCLA/ILLC Travel Awards please submit:
1.Basic information about the applicant
2.Information about her/their accepted WiL 2020 contribution
3.A statement about how attendance at WiL 2020 will impact the applicant
4.Resume/CV of the applicant
5.A nomination consists of a recommendation letter of up to 300 words by the applicant's supervisor/advisor
Please submit using the subject “WiL 2020 – Travel Awards” to the WiL Program Co-chairs at <wil2020(a)easychair.org>
IMPORTANT DATES
-Nominations must arrive no later than May 15, 2020
-The winners will be notified by May 25, 2020
Website: https://sites.google.com/g.uporto.pt/wil2020/home?authuser=0
Contact: WiL2020 wil2020(a)easychair.org <mailto:wil2020@easychair.org>
------------------------------------------------------------------------------------------------
Call for Contributions
WiL 2020: 4th Women in Logic Workshop
Paris, France
30 June 2020
sites.google.com/g.uporto.pt/wil2020/home?authuser=0
------------------------------------------------------------------------------
IMPORTANT DATES
Abstract submission deadline: April 22, 2020
Notification: May 21, 2020
WEBSITE: https://sites.google.com/g.uporto.pt/wil2020/submission?authuser=0
ORGANIZING AND PROGRAM COMMITTEE
* Sandra Alves (Co-chair, University of Porto)
* Amy Felty (University of Ottawa)
* Delia Kesner (Université de Paris)
* Sandra Kiefer (Co-chair, RWTH Aachen University)
* Koko Muroya (RIMS Kyoto University)
* Daniele Nantes (University of Brasília)
* Valeria de Paiva (Samsung Research America)
* Brigitte Pientka (McGill University)
* Sonja Smets (ILLC - University of Amsterdam)
* Ana Sokolova (Co-chair, University of Salzburg)
---------------------------------------------------------------------------------
**********************************************************************
LPAR-23: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning
Abstract submission: 18 February, 2020
Paper submission: 22 February, 2020
Author notification: 8 April, 2020
Conference dates: 22-27 May, 2020
Location: Alicante, Spain
**********************************************************************
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
The 23rd LPAR will be held will be held in Alicante, Spain, 22-27 May 2020. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.
Submission Guidelines
=====================
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are
welcome:
Regular papers describing solid new research results. They can be up to 15 pages long in EasyChair style, including figures but excluding
references and appendices (that reviewers are not required to
read). Where applicable, regular papers are supported by experimental validation. Experimental and tool papers describing implementations of systems, report experiments with implemented systems, or compare implemented systems. Experimental and tool papers should be supported by a link to the artifact/experimental evaluation available to the reviewers.
The length of regular papers is limited to 15 pages in the EasyChair style (excluding the blibliography and appendices). The length of experimental and tool papers is limited to 8 pages in the EasyChair style (excluding the bibliography and appendices).
Both types of papers must be electronically submitted in PDF via
EasyChair:
https://easychair.org/conferences/?conf=lpar23
Authors of accepted papers are required to ensure that at least one of them will be present at the conference.
List of Topics
==============
New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to:
Abduction and interpolation methods
Answer set programming
Automated reasoning
Constraint programming
Contextual reasoning
Decision procedures
Description logics
Foundations of security
Hardware verification
Implementations of logic
Inconsistency- and exception tolerant reasoning
Interactive theorem proving
Knowledge representation and reasoning
Logic and computational complexity
Logic and databases
Logic and games
Logic and machine learning
Logic and the web
Logic and types
Logic in artificial intelligence
Logic of distributed systems
Logic of knowledge and belief
Logic programming
Logical aspects of concurrency
Logical foundations of programming
Modal and temporal logics
Model checking
Non-monotonic reasoning
Ontologies and large knowledge bases
Paraconsistent logics
Probabilistic and fuzzy reasoning
Program analysis
Rewriting
Satisfiability checking
Satisfiability modulo theories
Software verification
Specification using logic
Unification theory
Program Committee Chairs
========================
Elvira Albert, Complutense University of Madrid
Laura Kovacs, TU Wien
Publication
===========
The LPAR-23 proceedings will be published by EasyChair Publication, in the EasyChair EPiC Series in Computing.
Contact
=======
For more details about the conference, venue and organization, see the conference webpage
https://easychair.org/smart-program/LPAR23/index.html
** You received this mail via the description logic mailing list; for more **
** information, visit the description logic homepage at http://dl.kr.org/. **
** SUBSCRIBE or UNSUBSCRIBE: **
** https://mailman.zfn.uni-bremen.de/cgi-bin/mailman/listinfo/dl **
30 Years of Finite Model Theory in Finland
Hanaholmen, Espoo, Finland, August 15-17, 2020
https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f…
This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of FMT research in Finland and elsewhere around the world.
The meeting will consist of two keynote lectures and several contributed talks spread in a three day period. The workshop inspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. The meeting will take place in a secluded conference hotel Hanaholmen on the coast of the Baltic Sea(https://www.hanaholmen.fi/en/<https://www.hanaholmen.fi/en/>). While secluded, the hotel is also conveniently located just outside Helsinki city center, and can be reached from the main railway station in 20 minutes using the metro.
Keynote speakers:
Phokion G. Kolaitis<https://users.soe.ucsc.edu/~kolaitis/> (University of California, Santa Cruz and IBM Almaden Research Center)
Jouko Väänänen<http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (University of Helsinki)
Registration for the workshop will be opened later in the spring at https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f… but we ask you to send a (non-binding) message to fmt-30(a)helsinki.fi<mailto:fmt-30@helsinki.fi> informing the organizers of your plans to participate and also whether you are interested in giving a talk at the workshop.
Note that the workshop is immediately followed by the conference Advances in Modal Logic (AiML) that also takes place in Helsinki 17-21 August:
https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
=Outstanding Master Thesis Award
=Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)
----------------------------------The main areas of interest are: ----------------------------------
*Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).
*Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms.
*Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
*Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.
*Formal Methods for Security ad Privacy, covering design and analysis techniques for security and privacy critical systems, such as cryptographic protocols, software, hardware and so on. The category of formal methods is to be meant in a broad sense, including related questions in logic, model checking, static analysis, dynamic monitoring, theorem proving, and artificial intelligence.
----------------------------------In Memory of Helmut Veith----------------------------------
The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.
----------------------------------Awards----------------------------------
*The Outstanding Master Thesis Award: 1200 EUR *The Outstanding Undergraduate Thesis Award: 800 EUR *The winners will be invited to present their work at an award ceremony in Vienna.
----------------------------------Eligibility----------------------------------
*The degree must have been awarded between November 15th, 2018 and December 31st, 2019 (inclusive).
*Students who obtained their degree at TU Wien are not eligible.
----------------------------------Nomination Requirements----------------------------------
Nominations must include:
*A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university *An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest *The CV of the nominated person, including publication list (if applicable *An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at.
*The full thesis
All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work.
----------------------------------Instructions for submitting nominations----------------------------------
*Nominations should be submitted electronically using the following link to EasyChair here *Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis *The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at *The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords.
*The nominated student must be listed as the first and corresponding author in the submission form.
----------------------------------Important dates----------------------------------
*Submission deadline: March 25, 2020 (anywhere on Earth) *Notification of decision: end of June 2020 *Award ceremony: TBA
----------------------------------Contact----------------------------------
Please send all inquiries to award (AT) logic-cs.at
----------------------------------Previous Awardees----------------------------------
https://logic-cs.at/vcla-awards-2020/
The following is a fresh call for workshop proposals for ICALP and LICS 2020, following the change in location. The conferences and workshops will now be held in Saarbrücken, Germany instead of Beijing. The new deadline for workshop proposals is 26 Feb 2020.
--
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 11th of July 2020 in Saarbrücken, Germany. 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
*** February 26 2020 ***
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.
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