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 degree must have been awarded between November 15th, 2018 and December
31st, 2019 (inclusive).
----------------------------------
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 and 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.
----------------------------------
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 (extended): April 9, 2020 (anywhere on Earth)
-Notification of decision: end of June 2020
-Award ceremony: TBA
----------------------------------
Contact
----------------------------------
Please send all inquiries to award(a)logic-cs.at
----------------------------------
Website with the information on the award committee, and the previous awardees
----------------------------------
https://logic-cs.at/vcla-awards-2020
Two fully funded PhD scholarships for EU/UK applicants are available
in the Security and Trust of Advanced Systems Group [1] (Prof. Achim
Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer
Science of the University of Exeter, UK [4].
We are looking for enthusiastic and outstanding Computer Science or
Mathematics students with a strong background in some of the following
topics:
- safety or security of (software) systems,
- formal modelling or formal reasoning/verification,
- program analysis or program verification,
- language-based security
- semantics of programming languages,
- theorem proving, model checking,
- cryptographic protocols,
- distributed systems (e.g., blockchain),
- specification-based testing, and
- design and implementation of security architectures.
This award provides annual funding to cover UK/EU tuition fees and a
tax-free stipend. For students who pay UK/EU tuition fees the award
will cover the tuition fees in full, plus at least £15,009 per year
tax-free stipend. The studentship will be awarded on the basis of
merit for 3.5 years of full-time study.
For more details, please consult the official advertisement:
http://www.exeter.ac.uk/studying/funding/award/?id=3887
The closing date for applications is midnight on 1 May 2020.
Project-specific queries should be directed to the supervisors, Prof
Achim Brucker (A.Brucker(a)exeter.ac.uk) or Dr Diego Marmsoler
(D.Marmsoler(a)exeter.ac.uk).
Best,
Achim and Diego
[1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/
[2] https://www.brucker.uk/
[3] https://marmsoler.com/
[4] http://emps.exeter.ac.uk/computer-science/
--
Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog
*We are hiring:*
* Lecturer (Assistant Professor) - Deadline 2020-04-08:
https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-an…
* Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01:
http://www.exeter.ac.uk/studying/funding/award/?id=3887
Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
As part of the expansion of the Department of Computer Science at the
University of Exeter [1], we are recruiting for a Lecturer in
Cybersecurity. The lecturer will be part of the newly formed Security
and Trust of Advanced Systems Group [2].
We are looking for a candidate with an outstanding research record
in any area related to cyber security (information security) such as
(but not limited to):
- access control
- usable security
- software/application security
- formal methods for security
- language-based security/privacy
- secure programming
- information flow
- security protocols
- network security
- security of distributes systems
- human aspects of security
- hardware security
- security economics
- security-by-design
- applied cryptography
- privacy-enhancing technologies
- threat hunting, security analytics
- threat modelling
- forensics, reverse engineering
- trustworthy AI/ML
- security/penetration testing
You will have a PhD or equivalent in Cybersecurity, Computer Science,
Mathematics, Engineering or a related area. Please refer to the job
description for full details.
We understand **security and safety entangled concepts**: in most
modern systems one cannot be achieved without the other. Hence, we
encourage also candidates working in related domains such as **safety,
dependability, resilience, or reliability** to apply.
Please apply by 8th of April 2020! See the full announcement and
application details at
https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACAN…
We are happy to do online/remote interviews. Feel free to contact me
for informal inquiries about the post.
Best,
Achim
[1] https://www.exeter.ac.uk/computer-science/
[2] https://emps.exeter.ac.uk/computer-science/research/cyber-security/
--
Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog
*We are hiring:*
* Lecturer (Assistant Professor) - Deadline 2020-04-08:
https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-an…
* Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01:
http://www.exeter.ac.uk/studying/funding/award/?id=3887
ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
*** Due to the current health situation, the submission deadline for nominations has been postponed to July, 1. ***
-----------------------------------------------------
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 new deadline for submission is 1 July 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.
13TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
HELSINKI, 17 AUGUST -- 21 AUGUST 2020
https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 <https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020>
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net <http://www.aiml.net/>
AiML 2020 is the 13th conference in the series.
TOPICS
We invite submissions on all aspects of modal logic, including:
- history of modal logic
- philosophy of modal logic
- applications of modal logic
- automated reasoning for modal logics
- computational aspects of modal logic
(complexity and decidability of modal and temporal logics, model checking, model generation)
- theoretical aspects of modal logic
(topological/algebraic/categorical perspectives on modal logic, co-algebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed-point logics, model theory of modal logic, proof theory of modal logic)
- specific instances and variations of modal logic
(description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, conditional logics, spatial and temporal logics, hybrid logic, intuitionistic (modal) logics, intermediate logics, bunched implication and separation logics)
Papers on related subjects will also be considered.
PAPER SUBMISSIONS
There will be two types of submissions for AiML 2020:
(1) Full papers for publication in the proceedings and presentation at the conference.
(2) Short presentations intended for presentation at the conference but not for the published proceedings.
Both types of papers should be submitted electronically using the EasyChair submission page at: https://easychair.org/conferences/?conf=aiml2020 <https://easychair.org/conferences/?conf=aiml2020>
At least one author of each accepted paper or short presentation must register for and attend the conference.
(1) FULL PAPERS
Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML 2020 will be published by College Publications (http://www.collegepublications.co.uk <http://www.collegepublications.co.uk/>) in a volume to be made available at the conference.
The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML 2020 website:
https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 <https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020> in due time.
Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper.
The presentations of accepted full papers will be 30 minutes long.
(2) SHORT PRESENTATIONS.
These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them.
INVITED SPEAKERS
Bahareh Afshari (University of Amsterdam and Gothenburg University)
Nick Behanishvilii (University of Amsterdam)
Melvin Fitting (City University of New York)
Nina Gierasimczuk (Danish Techical University, Copenhagen)
PROGRAM COMMITTEE
- Natasha Alechina, Utrecht University
- Maria Aloni, University of Amsterdam
- Philippe Balbiani, CNRS, IRIT Toulouse
- Guram Bezhanishvili, New Mexico State University
- Marta Bílková, Charles University Prague
- Patrick Blackburn, University of Roskilde
- Agata Ciabattoni, TU Wien
- Giovanna Corsi, University of Bologna
- Giovanna D'Agostino, University of Udine
- Stéphane Demri, CNRS, LSV, ENS Paris-Saclay
- Hans van Ditmarsch, CNRS, LORIA, University of Lorraine
- David Fernández-Duque, Ghent University
- David Gabelaia, TSE Razmadze Mathematical Institute
- Didier Galmiche, CNRS, LORIA, University of Lorraine
- Silvio Ghilardi, University of Milan
- Valentin Goranko, Stockholm University
- Rajeev Goré, The Australian National University
- Davide Grossi, University of Groningen
- Helle Hvid Hansen, Delft University of Technology
- Wesley Holliday, UC Berkeley
- Agi Kurucz, King's College London
- Roman Kuznets, TU Wien
- Carsten Lutz, University of Bremen
- George Metcalfe, University of Bern
- Larry Moss, Indiana University
- Cláudia Nalon, University of Brasilia
- Sara Negri, University of Helsinki
- Eric Pacuit, University of Maryland
- Xavier Parent, University of Luxembourg
- Valeria De Paiva, Samsung Research America, Birmingham University
- Sophie Pinchinat, IRISA, University of Rennes I
- Mark Reynolds, The University of Western Australia
- Renate Schmidt, University of Manchester
- Ilya Shapirovsky, Institute for the Information Transmission Problems
- Valentin Shehtman, Institute for the Information Transmission Problems
- Thomas Studer, University of Bern
- Sara L. Uckelman, Durham University
- Yde Venema, University of Amsterdam
- Yanjing Wang, Peking University
- Michael Zakharyashev, Birbeck University of London.
PROGRAMME COMMITTEE CHAIRS
Nicola Olivetti, LIS, Aix-Marseille University
Rineke Verbrugge, University of Groningen
LOCAL ORGANIZING COMMITTEE
Sara Negri, University of Helsinki (chair)
Gabriel Sandu, University of Helsinki (co-chair)
Fausto Barbero
Annika Kanckos
Eugenio Orlandelli
Edi Pavlovic
IMPORTANT DATES
Abstracts of full papers submission deadline: 11 March 2020
Full papers submission deadline: 18 March 2020
Full papers acceptance notification: 18 May 2020
Short presentations submission deadline: 25 May 2020
Short presentations acceptance notification: 8 June 2020
Final version of full papers and short presentations due: 11 June 2020
Conference: 17 August -- 21 August 2020
FURTHER INFORMATION
Please see https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 <https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020>
ENQUIRIES
E-mail enquiries should be directed to the PC chairs, sent to
aiml2020(a)easychair.org <mailto:aiml2020@easychair.org>
[Apologies for cross-posting]
*IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation
from local authorities and the World Health Organization. ICLP 2020 is
half a year away, and we are confident that COVID-19 emergency will pass
over and the conference will be held in September, as planned. And, if
necessary, alternative solutions, such as postponement, remote
presentations, etc will be looked into and identified.*
*** CALL FOR PAPERS - THE RESEARCH CHALLENGES TRACK ***
ICLP 2020
The 36th International Conference on Logic Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
https://iclp2020.unical.it
Are you a researcher in logic programming working on a problem that appears
to be particularly challenging? Perhaps you feel a little stuck? Or, are you
facing a problem that needs some LP technology you are not familiar with?
Would you like to open a discussion for collaboration? The goal of the
Research Challenges Track is to help researchers overcome their
challenges by
providing a venue to invite input from the broader community.
Contributors to
this less formal track will be given an opportunity to exchange ideas with
other researchers who may have come up against, or are currently working on,
similar problems. We hope the track will foster discussion and possibly even
new collaborations.
Expected contributions:
=======================
The Research Challenges Track at ICLP 2020 invites submissions describing LP
research challenges in a wide range of areas, including but not limited to:
⁃ Industry-level application of logic programming
⁃ Applications of logic programming to other sciences and AI
(bioinformatics,
natural language processing, digital forensics, etc.)
⁃ Logic programming and big data
⁃ Machine learning and logic programming
⁃ Logic programming and other computational paradigms
⁃ Theoretical foundations of logic programming
Evaluation and Feedback:
========================
In this track, the selection process will be less formal. While authors will
receive some feedback, the review process will not be typical. We do not
expect contributions only from seasoned researchers. Ph.D. students and
junior
researchers are more than welcome to contribute. Also, contributors
outside the
LP community will be given special attention. Any contribution that clearly
describes a research problem relevant to logic programming will be
evaluated
positively. The chance to interact with other researchers during the
conference
will provide additional feedback and hopefully lead to a longer-term
discussion/collaboration.
Important Dates:
================
Abstract registration (regular papers): May 8, 2020
Paper submission (regular paper): May 15, 2020
Notification to authors (regular paper): June 19, 2020
Paper Submission (short papers): June 30, 2020
Revision submission (TPLP papers): July 6, 2020
Final notifications (TPLP papers): July 17, 2020
Camera-ready copy due: July 27, 2020
Main Conference starts: September 19, 2020
Submission Details:
===================
All submissions must be written in English. Submissions should be no
more than
4 pages in EPTCS format (http://info.eptcs.org/), including references, and
should describe a research problem or challenge. Accepted papers will be
presented during the conference. Authors of accepted papers are expected to
register to ICLP and present their work.
Any additional questions can be directed towards the Research Challenges
Track Chairs
Research Challenges Track Chairs:
=================================
Gerhard Friedrich, Universität Klagenfurt, Austria
Fabrizio Riguzzi, Università di Ferrara, Italy
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
[Apologies for cross-posting]
*IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation
from local authorities and the World Health Organization. ICLP 2020 is
half a year away, and we are confident that COVID-19 emergency will pass
over and the conference will be held in September, as planned. And, if
necessary, alternative solutions, such as postponement, remote
presentations, etc will be looked into and identified.*
*** Call for Papers ***
ICLP 2020
The 36th International Conference on Logic Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
https://iclp2020.unical.it
The 36th International Conference on Logic Programming (ICLP 2020) will
take place from the 18th to the 24nd of September 2020 in Rende (CS),
Italy, with the main program starting immediately after the sister
conference KR 2020. Since the first conference held in Marseille in 1982,
ICLP has been the premier international event for presenting research in
logic programming.
Scope
=====
Contributions are solicited in all areas of logic programming and related
areas, including but not restricted to:
• Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic
Reasoning, Knowledge Representation.
• Declarative Programming: Inference engines, Analysis, Type and mode
inference, Partial evaluation, Abstract interpretation, Transformation,
Validation, Verification, Debugging, Profiling, Testing, Logic-based
domain-specific languages, constraint handling rules.
• Related Paradigms and Synergies: Inductive and Co-inductive Logic
Programming, Constraint Logic Programming, Interaction with SAT, SMT and
CSP solvers, Logic programming techniques for type inference and theorem
proving, Argumentation, Probabilistic Logic Programming, Relations to
object-oriented and Functional programming, Description logics,
Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic
Reasoning.
• Implementation: Concurrency and distribution, Objects, Coordination,
Mobility, Virtual machines, Compilation, Higher Order, Type systems,
Modules, Constraint handling rules, Meta-programming, Foreign interfaces,
User interfaces.
• Applications: Databases, Big Data, Data Integration and Federation,
Software Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Education, Computational
life sciences, Education, Cybersecurity, and Robotics.
Tracks and Special Sessions
===========================
Besides the main track, ICLP 2020 will host additional tracks and special
sessions:
• Applications Track: This track invites submissions of papers on emerging
and deployed applications of LP, describing all aspects of the
development,
deployment, and evaluation of logic programming systems to solve
real-world
problems, including interesting case studies and benchmarks, and
discussing
lessons learned.
• Sister Conferences and Journal Presentation Track: This track provides a
forum to discuss important results related to logic programming that
appeared
recently (from January 2017 onwards) in selective journals and
conferences
but have not been previously presented at ICLP.
• Special Session: Women in Logic Programming: This special session will
include
invited talks and presentations by women in logic programming.
• Research Challenges in Logic Programming Track: This track invites
submissions
of papers describing research challenges that an individual
researcher or a
research group is currently attacking. The goal of the track is to
promote
discussions, exchange of ideas, and possibly stimulate new
collaborations.
Papers submitted to this track do not go through the usual review and
will not
be published in the proceedings – they will be distributed at the
conference as
a technical report.
Every of the above four tracks will have its own dedicated chairs, PC,
evaluation
criteria, and CFP with related submission details (see the specific call
for papers).
In addition to the presentations of accepted papers, the technical
program will
include invited talks, advanced tutorials, the doctoral consortium, and
several
workshops.
Submission Details
==================
All submissions must be made via the EasyChair conference system:
https://easychair.org/conferences/?conf=iclp20200.
Regular papers must be in the condensed TPLP format (template here) and
not exceed
14 pages including bibliography. Regular papers may be supplemented with
appendices
for proofs and details of datasets which do not count towards the page
limit and
which will not be made available as appendices to the published paper.
Three kinds of regular papers will be accepted:
• Technical papers for technically sound, innovative ideas that can
advance the
state of logic programming;
• Application papers that impact interesting application domains;
• System and tool papers which emphasize novelty, practicality,
usability, and
availability of the systems and tools described.
Application, system, and tool papers need to be clearly marked in their
title.
All submissions must be written in English and describe original,
previously
unpublished research, and must not simultaneously be submitted for
publication
elsewhere. These restrictions do not apply to previously accepted
workshop papers
with a limited audience and/or without archival proceedings.
Papers of the highest quality will be selected to be published in the
journal of
Theory and Practice of Logic Programming (TPLP), Cambridge University
Press (CUP).
In order to ensure the quality of the final version, papers may be
subject to more
than one round of refereeing (within the decision period).
The program committee may recommend some regular papers to be published
as Technical
communications in EPTCS format (http://info.eptcs.org). Technical
communications must
not exceed 14 pages, including the bibliography. The authors of the
technical
communications can also elect to convert their submissions into extended
abstracts,
of 2 or 3 pages, for inclusion in the EPTCS proceedings. This should
allow authors
to submit a long version elsewhere.
All regular papers and technical communications will be presented during
the
conference. So, at least one author per accepted paper is expected to
register and
attend the conference. Authors of accepted papers will, by default, be
automatically
included in the list of ALP members, who will receive quarterly updates
from the
Logic Programming Newsletter at no cost.
Important Dates
===============
Abstract registration (regular papers): May 8, 2020
Paper submission (regular paper): May 15, 2020
Notification to authors (regular paper): June 19, 2020
Paper Submission (short papers): June 30, 2020
Revision submission (TPLP papers): July 6, 2020
Final notifications (TPLP papers): July 17, 2020
Camera-ready copy due: July 27, 2020
Main Conference starts: September 19, 2020
Autumn School on Logic Programming
==================================
A school on logic programming will be held before the conference. More
up to date
information is available at the school web page.
Doctoral Consortium
===================
The 16th Doctoral Consortium (DC) on Logic Programming provides students
with the
opportunity to present and discuss their research directions, and to
obtain feedback
from both peers and experts in the field. Accepted participants will
receive partial
financial support to attend the event and the main conference. The best
paper from
the DC will be given the opportunity to make a presentation in a session
of the main
ICLP conference.
The DC will have its own CFP, including the submission details. For
information,
please visit the DC Web Page.
Workshops
=========
The ICLP 2020 program will include several workshops. They are perhaps
the best places
for the presentation of preliminary work, underdeveloped novel ideas,
and new open
problems to an interested audience with opportunities for intensive
discussions and
project collaborations.
Tutorials
=========
The ICLP 2020 program will include several tutorials. They offer the
participants,
reviews of specific subfields as well as hands-on sessions by leading
experts.
Conference Organization
=======================
General Chairs:
• Sergio Greco, University of Calabria, Italy
• Nicola Leone, University of Calabria, Italy
Program Chairs:
• Francesco Ricca, University of Calabria, Italy
• Alessandra Russo, Imperial College London
Organizing Chairs:
• Marco Calautti, University of Calabria, Italy
• Carmine Dodaro, University of Calabria, Italy
Publicity Chair:
• Laura Pandolfo, University of Sassari, Italy
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
(Apologies for cross posting.)
===========================================================
First Call for Contributions
LCC 2020
21th International Workshop on Logic and Computational Complexity
July 7, 2020, Saarbruecken, Germany
Collocated with LICS/ICALP 2020
http://www.cs.swansea.ac.uk/lcc/
===========================================================
LCC meetings 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. The
program will consist of invited lectures as well as contributed talks
selected by the Program Committee.
IMPORTANT DATES:
* submission April 22, 2020 (AoE)
* notification May 13, 2020
* workshop July 7, 2020
SUBMISSION:
Submissions must be in English and in the form of an abstract of about
3-4 pages. All submissions should be submitted through Easychair at:
https://easychair.org/conferences/?conf=lcc20
We also welcome submissions of abstracts based on work submitted or
published elsewhere, provided that all pertinent information is
disclosed at submission time. There will be no formal reviewing as is
usually understood in peer-reviewed conferences with published
proceedings. The program committee checks relevance and may provide
additional feedback.
PROGRAM COMMITTEE:
Martin Avanzini (INRIA Sophia Antipolis Méditerranée, France, co-chair)
Diego Figueira (CNRS Bordeaux, France)
Joanna Ochremiak (CNRS Bordeaux, France)
Magdalena Ortiz (TU Wien, Austria)
Thomas Seiller (CNRS Paris, France)
Jakob Grue Simonsen (University of Copenhagen, Denmark)
Thomas Zeume (TU Dortmund, Germany, co-chair)
CONTACT:
To contact the workshop organizers, please send an e-mail to lcc20(a)easychair.org
--
Thomas Zeume
Lehrstuhl Informatik 1 - Logik in der Informatik
Technische Universität Dortmund
Otto-Hahn-Str. 12, Raum 3.016
D-44227 Dortmund
Tel.: +49 231 755 6374
Mein PGP Public Key ist hier zu finden:
https://ls1-www.cs.tu-dortmund.de/de/kontakt-thomas-zeume
***************** CALL FOR PAPERS *****************
GraMSec 2020: The Seventh International Workshop on Graphical Models for
Security
Boston, MA, United States of America - June 22, 2020
http://gramsec.uni.lu
Co-located with CSF 2020
SCOPE
The use of graphical security models to represent and analyse the
security of systems has gained an increasing research attention over the
last two decades. Formal methods and computer security researchers, as
well as security professionals from the industry and government, have
proposed various graphical security models, metrics, and measurements.
Graphical models are used to capture different security facets and
address a range of challenges including security assessment, automated
defence, secure services composition, security policy validation, and
verification. The International Workshop on Graphical Models for
Security is an established scientific event dedicated to study and
exchange of experiences on graphical security and safety modelling.
TOPICS
This year, we encourage excellent submissions related, but not
restricted, to the following broad headings:
1. Graph representations: mathematical, conceptual, and implemented
tools for describing and reasoning about security and safety
2. Logical approaches: formal logical tools for representing and
reasoning about graphs and their use as modelling tools in security
3. Machine learning: modelling and reasoning about the role of big data
and machine learning in security operations
4. Networks in national security: terrorist networks, counter-terrorism
networks; safety in national infrastructure (e.g., utilities and
transportation)
5. Risk analysis and management: models and graphical methodologies for
security and privacy risk management in business and organisational
architectures
6. Social networks: using and reasoning about social graphs, network
analysis, network protocols, social mapping, sociometry.
7. Semantics: developing or studying semantic approaches to graph-based
models used in security like set theoretic models, categorical models,
logical models, etc.
8. Threat modelling: modelling and analysing software systems security,
models for DevSecOps, etc.
9. Security requirements: models and tools for describing and analysing
requirements on system security and privacy.
10. Visual security: modelling and analytics for security visualisations.
11. Secure systems: safe and secure system design, quantification of
security/safety, models for system security/safety evaluation.
We welcome a broad range of contributions: from theory to tools and
experience reports. Preference will be given to papers likely to
stimulate high-quality debate at the Workshop.
SUBMISSION GUIDELINES
We solicit two types of submissions:
- Regular papers (up to 18 pages, excluding the bibliography and
well-marked appendices) describing original and unpublished work within
the scope of the workshop.
- Short papers (up to 10 pages, excluding the bibliography and
well-marked appendices) describing original and unpublished work in
progress.
The reviewers are not required to read the appendices, so the papers
should be intelligible without them. All submissions must be prepared
using the LNCS style. Each paper will undergo a thorough review process.
Submissions should be made using the GraMSec 2020 EasyChair website:
https://easychair.org/conferences/?conf=gramsec2020.
PUBLICATION
As in previous editions, we plan for the post-proceedings to be made
available in the Lecture Notes in Computer Science (LNCS) series,
published by Springer (acceptance pending). This will be published after
the workshop, thus permitting the authors to incorporate feedback.
IMPORTANT DATES
We will have two rounds of submissions with different submission and
notification deadlines.
First round submissions (priority in program and notifications):
- Submissions due: Friday, April 1, 2020
- Notifications: Friday, May 1, 2020
Second round submissions (after CSF notification):
- Submissions due: Friday, April 24, 2020
- Notifications: May 18, 2020
- Workshop: Monday, June 22, 2020
- Camera ready versions due: Friday, August 7, 2020
PROGRAM CHAIRS
Harley Eades III, Augusta University, United States of America
Olga Gadyatskaya, Leiden Institute of Advanced Computer Science,
Leiden University, The Netherlands
STEERING COMMITTEE
Sushil Jajodia, George Mason University, United States of America
Barbara Fila, INSA Rennes, IRISA, France
Sjouke Mauw, University of Luxembourg, Luxembourg
Christian W. Probst, Unitec, New Zealand
Ketil Stølen, SINTEF Digital and University of Oslo, Norway
PUBLICITY CHAIR
Barbara Fila, INSA Rennes, IRISA, France
WEB CHAIR
Reynaldo Gil Pons, University of Luxembourg, Luxembourg
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 and 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 (extended): April 9, 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
----------------------------------
Website and Previous Awardees
----------------------------------
https://logic-cs.at/vcla-awards-2020/