finite-model-theory

Download

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

April 2020

10 participants
12 discussions

The Highlights of Logic, Games, and Automata community mailing list
by Nathanaël Fijalkow 04 Apr '20

04 Apr '20

Dear all, A few months ago we created a mailing list for the Highlights of Logic, Games, and Automata community: highlights_community(a)diff.u-bordeaux.fr This is the place to post about job openings (including PhD studentships and research internships), calls for events, and other announcements relevant to the research community working on Logic, Games, and Automata, broadly construed. The list is already more than a hundred members strong. *Please consider signing up here:* https://diff.u-bordeaux.fr/sympa/info/highlights_community or by sending an email to sympa(a)diff.u-bordeaux.fr with subject line: subscribe highlights_community Firstname Lastname The list is moderated to make sure that the emails are pertinent. It is not meant to be a discussion forum, so only "announcements" will be disseminated. There are several features offered by the sympa manager, including: publicly available archives, digests, RSS.

1 0

[Changes to deadline] Graphical Models for Security (GraMSec 2020) - CFP
by Barbara Fila (Kordy) 02 Apr '20

02 Apr '20

GraMSec 2020: The Seventh International Workshop on Graphical Models for Security http://gramsec.uni.lu June 22, 2020 *Online event* Co-located with CSF 2020 *LNCS post-proceedings confirmed* 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 the post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series, published by Springer. Proceedings will be published after the workshop, thus permitting the authors to incorporate feedback. VENUE Due to the current coronavirus outbreak, the IEEE CSF Symposium and its associated workshops, including GraMSec, will be held online this year. Details about registration and participation will be soon made available. IMPORTANT DATES Given the situation and the fact that the workshop will be held online, we will keep only one submission deadline. - Paper submissions due: Friday, April 24, 2020 - Notifications: Friday, May 29, 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