- finite-model-theory - lists.rwth-aachen.de

2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)
by Achim D. Brucker 20 Mar '20

20 Mar '20

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

1 0

Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
by Achim D. Brucker 20 Mar '20

20 Mar '20

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

1 0

ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020
by EACSL Mail-Account 18 Mar '20

18 Mar '20

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.

1 0

Second Call for Papers AiML 2020
by Rineke Verbrugge 12 Mar '20

12 Mar '20

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>

1 1

[CfP] ICLP 2020 - The 36th International Conference on Logic Programming: The Research Challenges Track
by Laura Pandolfo 12 Mar '20

12 Mar '20

[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

1 0

[2nd CfP] ICLP 2020 -The 36th International Conference on Logic Programming
by Laura Pandolfo 12 Mar '20

12 Mar '20

[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

1 0

LCC 2020: Call for Contributions
by Thomas Zeume 10 Mar '20

10 Mar '20

(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

1 0

Graphical Models for Security (GraMSec 2020) - CFP
by Barbara Fila (Kordy) 09 Mar '20

09 Mar '20

***************** 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

1 0

(Extended Deadline) VCLA International Student Awards 2020 for Outstanding Master and Bachelor Theses (Call for (self-)nominations)
by Mihaela Rozman 09 Mar '20

09 Mar '20

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/

1 0

Positions for doctoral researchers at RWTH Aachen University
by Grädel, Erich 05 Mar '20

05 Mar '20

[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>

1 0