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

Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***
by Rozman, Mihaela 12 May '20

12 May '20

{With apologies for cross-posting, please see below for information and thank you for a possible share among your network nodes} ____________________________________________________________________________________________________________ TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 doctoral candidates for a starting period of 3 years, with a negotiable starting date. Deadline: June 12, 2020 ____________________________________________________________________________________________________________ The PhD program focuses on interdisciplinary research topics covering – computational logic, and applications of logic to – databases and artificial intelligence, – computer-aided verification, – security and privacy, – cyber-physical systems, as well as to – distributed systems. ______________________________________________________ THE PROGRAM ______________________________________________________ Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems. The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers. ______________________________________________________ FACULTY MEMBERS ______________________________________________________ - M. Bartocci - A. Biere - R. Bloem - A. Ciabattoni - T. Eiter - G. Gottlob - R. Grosu - L. Kovacs - M. Maffei - M. Ortiz - U. Schmid - M. Seidl - S. Szeider - G. Weissenbacher - S. Woltran The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college. ______________________________________________________ POSITIONS AND FUNDING ______________________________________________________ * We are looking for 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.000 EUR gross/year) * The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. * The location of the research post is Vienna, Graz or Linz, Austria. ______________________________________________________ SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS ______________________________________________________ At the moment we are particularly looking for candidates interested in the following areas: * Automated Software Verification * Description Logics * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Knowledge Representation and Reasoning * Model Checking * Modeling and analysis of digital integrated circuits * Normative Reasoning * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Study of the Interaction between rules from a knowledge base and rules arising from machine learning * Topology in distributed computing * Quantified Boolean Formulas ______________________________________________________ HOW TO APPLY ______________________________________________________ Detailed information about the application process is available on the LogiCS web-page: https://logic-cs.at/phd/admission/ * The applicants are expected to have completed an excellent diploma or master’s degree in computer science, mathematics, or a related field. * Candidates with comparable achievements will be considered on a case-by-case basis. * Applications by the candidates need to be submitted electronically. Application Deadline: June 12, 2020 ______________________________________________________ LOGIC IN AUSTRIA ______________________________________________________ Austria has a highly active and successful logic in the computer science community. Recent activities include: Austrian Research Network in Rigorous Systems Engineering - http://www.arise.or.at Vienna Center for Logic and Algorithms - http://www.vcla.at International Kurt Goedel Society - http://www.kgs.logic.at ______________________________________________________ HIGHEST QUALITY OF LIFE ______________________________________________________ The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide. ______________________________________________________ ADDITIONAL INFORMATION ______________________________________________________ LogiCS web-page: https://logic-cs.at/phd/admission/ For further information please contact: info(a)logic-cs.at

2 1

6-year PostDoc Position in Algorithms at the Vienna University of Technology (TU Wien), Vienna, Austria *** Application deadline is May 28, 2020 ***
by Rozman, Mihaela 11 May '20

11 May '20

/ Apologies for cross-posting / / Please feel free to distribute among the nodes in your network / The Algorithms and Complexity Group at the Vienna University of Technology (TU Wien), Vienna, Austria, is offering a 6-year PostDoc Position in Algorithms. *** Application deadline is May 28, 2020 *** REQUIREMENTS - Completed doctoral study in Computer Science or a related area - Excellent Knowledge in the field of algorithms and complexity - Excellent publications in top-tier conferences and journals - Very good communication skills and an interest in teaching - Research experience in at least one of the following areas: -- parameterized algorithms and complexity -- algorithmic applications of graph decompositions -- satisfiability and constraint satisfaction - A good command of the German language is desirable - Expected start: 1.10.2020 (negotiable) WE OFFER - A stimulating scientific environment - Continuing support in personal and academic carrier development - Outstanding opportunities for collaboration - Workplace in a central location in one of the most liveable cities in the world - Entry-level salary as a postdoctoral researcher is covered by level B1 of the Austrian Collective Agreement for university staff and receives a minimum of currently EUR 3.889,50/month gross, 14 times/year. Relevant working experiences may increase the monthly income. TU Wien is committed to increasing female employment in leading scientific positions. Female candidates are explicitly encouraged to apply. Preference will be given when equally qualified. APPLICATIONS *** Application deadline is May 28, 2020 *** Applications should be submitted by e-mail to Manuela Reinharter <manuela.reinharter(a)tuwien.ac.at> and should contain: - Letter of motivation - CV - List of publications - Short research statement - Three of the most important publications - Contact information of three referees Expected start: 1.10.2020 (negotiable) CONTACT AND INFORMAL INQUIRES For informal inquiries, please contact Univ.Prof.Dr. Stefan Szeider <sz(a)ac.tuwien.ac.at>. VACANCY ANNOUNCEMENT WEBSITE https://www.ac.tuwien.ac.at/jobs/

1 0

[CfP] ICLP 2020 - Deadline Approaching - *One week left* to submit your abstracts
by Laura Pandolfo 08 May '20

08 May '20

======================================================== *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 <https://iclp2020.unical.it/>* ======================================================== *IMPORTANT HIGHLIGHTS:** ** **Conference online:* The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming. *Deadlines Extension:* Due to the difficult period we are all experiencing and the profound impact that this has been having on our lives and daily work we have decided to extend the submission deadline for ICLP 2020. New schedule of important dates is highlighted below: *Main Conference and Applications Track* Abstract registration (regular papers)*: May 15, 2020* Paper submission (regular paper): *May 22, 2020 * Notification to authors (regular paper): *June 26, 2020* Paper Submission (short papers): *June 30, 2020* Revision submission (TPLP papers): *July 13, 2020* Final notifications (TPLP papers): *July 24, 2020* Camera-ready copy due: *July 29, 2020 * *Research Challenges Track* Abstract registration and paper submission: *June 30, 2020* Final notifications: *July 24, 2020* Camera-ready copy due: *July 29, 2020* *Sister Conferences and Journal Presentation Track* Abstract registration and paper submission: *June 30, 2020* Final notifications: *July 24, 2020* Camera-ready copy due: *July 29, 2020* *Invited Speakers:* Esra Erdem - Sabanci University, Turkey Joao Marquez-Silva - ANITI, University of Toulouse, France Luc De Readt - KU Leuven, Belgium Francesca Rossi - T.J. Watson IBM Research Lab, USA ============================== ========================== *The Conference* The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th September 2020 in Rende (CS), Italy. 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 <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 <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. -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904

1 0

SQUARE'2020 - Leuven - Extended Deadline May 31
by jean-yves beziau 06 May '20

06 May '20

We confirm that the 7th edition of the World Congress on the Square of Opposition will take place in Leuven, Belgium, September, 16-20, 2020. Extended Deadline to send a one page abstract is May 31. Organizing Committee - SQUARE 2020 https://www.square-of-opposition.org/

1 0

CSL 2021: 2nd CFP
by Jean Goubault-Larrecq 04 May '20

04 May '20

===================================== Second call for papers (CSL'21) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'21 will be held on January 25-28, 2021, in Ljubljana, Slovenia, at least in principle; the current sanitary crisis will quite certainly have some impact in this respect. Submission guidelines: ---------------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The CSL 2020 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. At least one of the authors of each accepted paper is expected to register to the conference, and present their papers, whether physically or online, depending on the situation and the available means of organisation in January 2021. Important dates: ---------------- paper submission: July 1, 2020 (AoE) notification: September 25, 2020 conference: January 25-28, 2021 List of topics: --------------- automated deduction and interactive theorem proving constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics modal and temporal logic model checking decision procedures logical aspects of computational complexity finite model theory computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics database theory specification, extraction and transformation of programs logical aspects of quantum computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic nonmonotonic reasoning Program Committee: ------------------ * Andreas Abel, University of Gothenburg, Sweden * Zena M. Ariola, University of Oregon, USA * Jeremy Avigad, Carnegie Mellon University, USA * Christel Baier, Technische Universität Dresden, Germany (co-chair) * Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands * Jean Goubault-Larrecq, ENS Paris-Saclay, France (co-chair) * Masahito Hasegawa, Kyoto University, Japan * Jean-Baptiste Jeannin, University of Michigan, USA * Michael Kaminski, Technion Haifa, Israel * Delia Kesner, Université de Paris, France * Laura Kovács, Vienna University of Technology, Austria * Martin Lange, University of Kassel, Germany * Sławomir Lasota, Warsaw University, Poland * Florin Manea, Georg-August Universität Göttingen, Germany * Stefan Milius, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany * Antoine Mottet, Charles University, Czech Republic * Andrzej Murawski, University of Oxford, UK * Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil * Sophie Pinchinat, IRISA Rennes, France * Simona Ronchi Della Rocca, Università di Torino, Italy * Krishna S, IIT Bombay, India * Peter Selinger, Dalhousie University, Canada * Sebastian Siebertz, Universität Bremen, Germany * Alex Simpson, University of Ljubljana, Slovenia (organizer) * Marie Van Den Bogaard, Université Libre de Bruxelles * Yde Venema, Universiteit van Amsterdam, the Netherlands Organization Committee: ----------------------- Alex Simpson (University of Ljubljana, chair) Andrej Bauer (University of Ljubljana) Daniel Ahman (University of Ljubljana) Contact: -------- Please send all questions about submissions to the PC co-chairs: csl2021(a)easychair.org

1 0

WiL 2020: Final call for contributions
by Sandra Kiefer 03 May '20

03 May '20

Deadline approaching, last chance to submit a contribution! ------------------------------------------------------------------------------------------------ Are you a woman working in logic? Are you planning to participate at FSCD-IJCAR 2020? Please join us at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by May 10, 2020 via EasyChair. This will help us provide an interesting program, with only a light-weight selection procedure. More information below: ------------------------------------------------------------------------------------------------ Call for Contributions WiL 2020: 4th Women in Logic Workshop virtual 30 June 2020 https://sites.google.com/g.uporto.pt/wil2020 <https://sites.google.com/g.uporto.pt/wil2020> ------------------------------------------------------------------------------------------------ Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020" (https://lipn.univ-paris13.fr/summer-of-love-2020/ <https://lipn.univ-paris13.fr/summer-of-love-2020/>), a joint event on LOgic and VErification, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. Following the decisions regarding the Paris Nord Summer of LoVe 2020 event, the organisers of WIL 2020 decided to hold the meeting virtually. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to: - provide a platform for female researchers to share their work and achievements; - increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty; - establish new connections and collaborations; - foster a welcoming culture of mutual support and growth within the logic research community. We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers. Previous versions of Women in Logic (Reykjavik, Iceland 2017, Oxford, UK 2018 and Vancouver, Canada 2019) were very successful in showcasing women's work and as catalysts for recognition of the need for change in the community. Topics of interest include but are not limited to: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. INVITED SPEAKERS * Maribel Fernández (Kings College London) * Alexandra Silva (University College London) IMPORTANT DATES Abstract submission deadline: May 10, 2020 Notification: June 2, 2020 SUBMISSIONS Abstracts should be written in English (1-2 pages), and prepared using the Easychair style (https://easychair.org/publications/for_authors). The abstracts should be uploaded to the WiL 2020 Easychair page as a PDF file (https://easychair.org/conferences/?conf=wil2020) before the submission deadline of May 10, 2020, anywhere on Earth. ORGANIZING AND PROGRAM COMMITTEE * Sandra Alves (Co-chair, University of Porto) * Amy Felty (University of Ottawa) * Delia Kesner (Université de Paris) * Sandra Kiefer (Co-chair, RWTH Aachen University) * Koko Muroya (RIMS Kyoto University) * Daniele Nantes (University of Brasília) * Valeria de Paiva (Samsung Research America) * Brigitte Pientka (McGill University) * Sonja Smets (ILLC - University of Amsterdam) * Ana Sokolova (Co-chair, University of Salzburg)

1 0

Computability in Europe 2020 SECOND CALL FOR INFORMAL PRESENTATIONS
by acie＠acie.eu 27 Apr '20

27 Apr '20

COMPUTABILITY IN EUROPE 2020 SECOND CALL FOR INFORMAL PRESENTATIONS CiE 2020: Virtually in Salerno, Italy Due to the Covid-19 outbreak, this edition will be an online conference. June 29 - July 3, 2020 https://www.acie.eu/cie-conference-series/cie2020 https://www.acie.eu IMPORTANT DATES: Deadline for informal presentations submission: 31 May 2020 (The notifications of acceptance for informal presentations will be sent a few days after submission.) CiE 2020 is the 16th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). TUTORIALS _Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT) _Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of Science and Technology) INVITED TALKS: _Centralities in Network Analysis_ -- Paolo Boldi (University of Milan) _A game-theoretic approach for the automated synthesis of complex systems _-- Véronique Bruyère (University of Mons) On-the-fly classification of structures -- Ekatarina Fokina (Vienna University of Technology) _A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris) _On the Repetitive Structure of Words_ -- Antonio Restivo (University of Palermo) _Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien Woods (Maynooth University) HOSTED BY: Department of Computer Science, University of Salerno Due to the Covid-19 outbreak, this edition will be an online conference. SPECIAL SESSIONS: Algorithmic Learning Theory Combinatorial String Matching Computable Topology HAPOC session on Fairness in Algorithms Large scale Bioinformatics and Computational Sciences Modern aspects of Formal Languages Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Marcella Anselmo University of Salerno (co-chair) Veronica Becher Universidad de Buenos Aires Paola Bonizzoni University of Milano-Bicocca Laura Crosilla University of Oslo Liesbeth De Mol Université de Lille 3 Gianluca Della Vedova University of Milano-Bicocca Jérôme Durand-Lose Université d'Orléans Pawel Gawrychowski University of Wroclaw Mathieu Hoyrup LORIA Juliette Kennedy University of Helsinki Karoliina Lehtinen University of Liverpool Benedikt Loewe Universiteit van Amsterdam Florin Manea Universität Göttingen Timothy McNicholl Iowa State University Klaus Meer BTU Cottbus-Senftenberg Turlough Neary University of Zurich Daniel Paulusma Durham University Arno Pauly Swansea University (co-chair) Karin Quaas University of Leipzig Viola Schiaffonati Politecnico di Milano Markus L. Schmid Humboldt University Berlin Thomas Schwentick Universität Dortmund Marinella Sciortino University of Palermo Victor Selivanov Institute on Informatics Systems Mariya Soskova University of Wisconsin-Madison Peter Van Emde Boas Universiteit van Amsterdam Linda Brown Westrick Pennsylvania State University The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Continuing the tradition of past CiE conferences, the Program Committee cordially invites all researchers (European and non-European) to submit informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2020), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2020 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

1 0

Call for papers - SR 2020, Santiago de Compostela
by Bastien 23 Apr '20

23 Apr '20

Apologies for multiple reception of this message. ******************************************************************************* CALL FOR PAPERS 8TH INTERNATIONAL WORKSHOP ON STRATEGIC REASONING (SR 2020) Satellite workshop of ECAI 2020, Santiago de Compostela, Spain, June 8, 2020 ******************************************************************************* Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation. The SR international workshop series aims at bringing together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2020 will be held with ECAI 2020 in Santiago de Compostela, Spain. TOPICS OF INTEREST: The topics covered by SR include, but are not limited to, the following: - Logics for reasoning about strategic abilities; - Logics for multi-agent mechanism design, verification, and synthesis; - Logical foundations of decision theory for multi-agent systems; - Strategic reasoning in formal verification; - Automata theory for strategy synthesis; - Strategic reasoning under perfect and imperfect information; - Applications and tools for cooperative and adversarial reasoning; - Robust planning and optimisation in multi-agent systems; - Risk and uncertainty in multi-agent systems; - Quantitative aspects in strategic reasoning. SUBMISSIONS: We invite three types of submissions: (A) original contributions, (B) published work, and (C) challenging open problems. Each submission should be clearly identified as belonging to one of these three categories. In all three categories, submissions will be evaluated by the usual high standards of research publications. In particular, they should contain enough detail to allow the program committee to identify the main contribution of the work, to explain its significance, its novelty, its relevance to the strategic-reasoning audience, and its practical or theoretical implications, and include comparisons with and references to relevant literature. Strong preference will be given to contributions on topics of interest to a broad, interdisciplinary audience and all papers should be written so that they are accessible to such an audience. Submissions should be in PDF, preferably using the EPTCS style (http://style.eptcs.org), and not exceed 12 pages (not including bibliography). Authors are invited to submit their manuscript via EasyChair. Submission webpage: https://easychair.org/conferences/?conf=sr20200 IMPORTANT DATES: Paper submission: March 13, 2020 (AoE) Authors notification: April 15, 2020 Camera-ready deadline: May 15, 2020 Workshop: June 8, 2020 ORGANIZERS: Bastien Maubert, University of Naples "Federico II" (bastien.maubert(a)gmail.com) Nir Piterman, University of Gothenburg (nir.piterman(a)gmail.com) WEBSITE: http://bastien-maubert.fr/sr2020/

1 2

Graphical Models for Security (GraMSec 2020) - Deadline extended until May 4
by Barbara Fila (Kordy) 22 Apr '20

22 Apr '20

*The GraMSec submission deadline is extended to Monday, May 4.* Please find below the full CFP. ====================================================================== 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: Monday, May 4, 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

QBF 2020 - updated call for papers
by HUBERT MING CHEN 21 Apr '20

21 Apr '20

CALL FOR PAPERS QBF 2020 -------- International Workshop on Quantified Boolean Formulas and Beyond July 5, 2020 -- to be held virtually https://www.ac.tuwien.ac.at/qbf2020 Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2020) July 5-9, 2020 UPDATES: The workshop will be held virtually. The deadline has been extended by 2 weeks. ------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== IMPORTANT DATES =============== May 8: Submission May 26: Notification of acceptance June 11: Final versions of accepted papers due July 5: Workshop Please see the workshop webpage for any updates: https://www.ac.tuwien.ac.at/qbf2020 ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): Applications, encodings and benchmarks with quantifiers QBF Proof theory and complexity results Experimental evaluations of solvers or related tools Case studies illustrating the power of quantifiers Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. Formats of proofs and certificates Implementations of proof checkers and verifiers Decision procedures Calculi and their relationships Data structures, implementation details and heuristics Pre- and inprocessing techniques Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf2020 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf2020(a)easychair.org ================= PROGRAM COMMITTEE ================= Hubie Chen, Birbeck, University of London (co-chair) Friedrich Slivovsky, Vienna University of Technology (co-chair) Joshua Blinkhorn, Friedrich-Schiller-Universität Jena Mikolas Janota, INESC-ID/IST, University of Lisbon Paqui Lucio, University of the Basque Country Stefan Mengel, CNRS, CRIL Tomáš Peitl, Friedrich-Schiller-Universität Jena Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universität Freiburg

1 0