[Apologies for multiple copies] FROM 2018 - Second Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ New! Special Issue: Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania Deadline for extended abstract submissions: 29 April 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania Aims and Scope Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks. FROM 2018 is organized by the Faculty of Computer Science at the Alexandru Ioan Cuza University in Iasi, The Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest. FROM 2018 is the second event in a a yearly workshop series. The first edition was held in 2017 in Bucharest (see http://unibuc.ro/~conference/from2017) and it included sixteen invited talks, delivered by top researchers in field, and seven contributed talks. Starting with the current edition, the goal is to increase the weight of the contributed talks. The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation might be available upon request. The program of the symposium will include invited lectures and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Logical frameworks - Mathematical structures in computer science - Models of computation - Semantics of programming languages - Type systems Methods of interest include: - Automated reasoning and model generation - Automated induction - Certified programs - Data-flow and control-flow analysis - Deductive verification - Mechanized proofs - Model checking - Proof mining - Symbolic computation - Term rewriting Applications of interest include: - Computational logic - Computer mathematics - Knowledge representation, ontology reasoning, deductive databases - Program analysis - Verification and synthesis of software and hardware - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of maximum 4 pages, except references, formatted according to the Springer LNCS guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The extended abstracts should be submitted before 29 April 2018, via EasyChair: https://easychair.org/conferences/?conf=from2018 The notification of acceptance will be received by 21 May 2018. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018