December 2018 - finite-model-theory

LICS 2019 Final call for papers and workshops announcement
by Sam Staton 10 Dec '18

10 Dec '18

FINAL CALL FOR PAPERS AND WORKSHOPS ANNOUNCEMENT Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Conference 24-27 June 2019, Vancouver Workshops 22-23 June 2019 https://lics.siglog.org/lics19/ IMPORTANT DATES FOR CONFERENCE SUBMISSIONS Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the full extended abstract of the paper. The exact deadline time on these dates is given by anywhere on earth (AoE). Titles and Short Abstracts Due: 4 January 2019 Full Papers Due: 11 January 2019 Author Feedback/Rebuttal Period: 4-8 March 2019 Author Notification: 29 March 2019 Deadlines are firm; late submissions will not be considered. All submissions will be electronic via https://www.easychair.org/conferences/?conf=lics2019. Format instructions and scope advice are on the conference website, together with the full programme committee: https://lics.siglog.org/lics19/cfp.php WORKSHOPS LICS will be affiliated with the following workshops which will be organized 22-23 June 2019. LearnAut: Learning and Automata (organized by Rémi Eyraud, Tobias Kappé, Guillaume Rabusseau and Matteo Sammartino) LFMTP: Logical Frameworks and Metalanguages: Theory and Practice (organized by Dale Miller and Ivan Scagnetto) LMW: Logic Mentoring Workshop (organized by Filip Mazowiecki and Sandra Kiefer) LOLA: Syntax and semantics of Low level Languages (organized by Patricia Johann and Rasmus Eijlers Møgelberg) MoRe: Multi-objective reasoning in verification and synthesis (organized by Mickael Randour and Jeremy Sproston) WiL: Women in Logic (organized by Valeria de Paiva and Amy Felty) https://lics.siglog.org/lics19/

1 0

Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science
by Walter Guttmann 10 Dec '18

10 Dec '18

OPEN CALL FOR PAPERS FOR JOURNAL SPECIAL ISSUE Relational and Algebraic Methods in Computer Science Special Issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) http://www.ramics-conference.org/ramics-2018-jlamp-cfp.pdf IMPORTANT DATES: Submission Deadline: 31 March 2019 Notification of Acceptance: late 2019/early 2020 TOPICS: Relational and algebraic methods belong to the core of computer science. This special issue aims to showcase the variety and relevance of recent developments in this field ranging from theory to applications. We invite submissions of high-quality original research articles in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their formalisation with theorem provers - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications While we welcome substantially extended versions of papers published in the proceedings of the RAMiCS 2018 conference (Springer LNCS 11194, https://www.springer.com/gp/book/9783030021481), this call is open to anyone interested in the field of relational and algebraic methods. SUBMISSION INSTRUCTIONS: All submissions will be evaluated solely with respect to their novelty, significance and technical quality according to the high standards of JLAMP. They must be in PDF format, adhere to the standard JLAMP guide for authors https://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-… and be uploaded on Elsevier's online EVISE system https://www.evise.com/profile/#/JLAMP/login selecting the issue type VSI: RAMiCS 2018 Deviation from these requirements may lead to immediate rejection. GUEST EDITORS: Jules Desharnais (Université Laval, Québec, Canada) Walter Guttmann (University of Canterbury, New Zealand) Stef Joosten (Open University of the Netherlands)

1 0

[fm-announcements] SPIN 2019 in Beijing - Call for Papers and Participation
by Havelund, Klaus (348B) 08 Dec '18

08 Dec '18

SPIN 2019 24th International Symposium on Model Checking of Software Beijing, China, July 15-19, 2019 https://conf.researchr.org/home/spin-2019 Co-located with ISSTA 2019 ________________________________ The 26th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material via formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis tools * Benchmark and comparative studies for formal verification and analysis tools * Formal methods education and training * Insightful surveys or historical accounts on topics of relevance to the symposium ________________________________ Invited Speakers ________________________________ Kim G. Larsen, Aalborg University Kuldeep S. Meel, National University of Singapore Call for Papers The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, empirical evaluation, and education. History: The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia. SPIN 2019 will be organized as an ACM SIGSOFT event, colocated with the International Symposium on Software Testing and Analysis (ISSTA 2019): https://conf.researchr.org/home/issta-2019. ________________________________ Submission Guidelines ________________________________ The contributions to SPIN 2019 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template (please use the sigconf template). Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions. * We are soliciting three categories of papers: * Full Research Papers describing fully developed work and complete results (16 pages – references are not included in this limit); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages – references are not included in this limit). * Tool Demo Papers presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (4 pages to describe the tool foundations, features and use examples, plus an appendix explaining the content of the demo). Papers should be submitted via the EasyChair SPIN 2019 submission website: https://easychair.org/conferences/?conf=spin19. A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). ________________________________ Important Dates ________________________________ * Please keep in mind the following dates for submission: * Paper Submission: April 5th, 2019 (23:59:59 Anywhere on Earth) * Author Notification: April 27th, 2019 * Camera-Ready Paper: May 2019 * Symposium: July 15-19, 2019 --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science at TU Wien - November 30, 2019
by Mihaela Rozman 06 Dec '18

06 Dec '18

Helmut Veith Stipend for Women in Computer Science Deadline: November 30, 2019 Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the masters programs in Computer Science at the Vienna University of Technology TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The annually awarded Helmut Veith Stipend for female master students is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. Professor Helmut Veith (1971-2016). The Helmut Veith Stipend was established with generous support of TU Wien, Wolfgang Pauli Institute and with contributions by family and friends of the late Helmut Veith. BENEFITS -EUR 6000 per year -Waiver of tuition fees at TU Wien LOCATION OF MASTER STUDY For study in Austria, at Vienna University of Technology TU Wien FOR FIELD OF STUDY Applicants must be eligible for admission to one of the masters programs in computer science at Vienna University of technology - TU Wien that are taught in English. In 2018/2019 and 2019/2020 those are: Master in Logic and Computation Master in Business Informatics European Master in Computational Logic Master in Computer Engineering (Technische Informatik) Master in Data Science Master in Media and Human-Centered Computing APPLICATION Applications for funding can be filed after, before or in parallel with the admissions process. Your application must be submitted electronically to master(a)logic-cs.at as a single PDF document, by November 30, 2019. DEADLINE November 30, 2018. INQUIRES Electronically to master(a)logic-cs.at WEBSITE http://www.vcla.at/helmut-veith-stipend/

1 0