***************** 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/
[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.