|
Our apologies if you have received multiple copies. ###################################################################### FSEN 2015: CALL FOR PAPERS Sixth International Conference on Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15) http://fsen.ir/2015 Tehran, Iran 22 - 24 April, 2015 ###################################################################### -- About FSEN -- FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. -- Important Dates -- Abstract Submission: October 24, 2014 Paper Submission: October 31, 2014 Notification: December 26, 2014 Camera Ready: January 16, 2015 Conference: April 22-24, 2015 -- Keynote Speakers -- Holger Giese, Hasso Plattner Institute, Germany John Hughes, Chalmers University of Technology, Sweden Paola Inverardi, University of L'Aquila, Italy -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Self-adaptive software systems * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format, and not be submitted simultaneously for publication elsewhere. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. -- Proceedings and Special Issues -- The post-proceedings of FSEN'15 will be published by Springer Verlag in the LNCS series (official approval in process). There will also be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of the past editions, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'15 (to be confirmed). -- General Chair -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Mehdi Dastani - Utrecht University, The Netherlands Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran -- Publicity Chair -- Hossein Hojjat - Cornell University, USA -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran (chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran Christel Baier - TU Dresden, Germany Ezio Bartocci, Vienna University of Technology, Austria Borzoo Bonakdarpour - University of Waterloo, Canada Marcello Bonsangue - Leiden University, Netherlands Mario Bravetti - University of Bologna, Italy Fabiano Dalpiaz - Utrecht University, Netherlands Mehdi Dastani - Utrecht University, Netherlands Erik De Vink - Technical University of Eindhoven, Netherlands Klaus Dräger - University of Oxford, UK Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands Masahiro Fujita - University of Tokyo, Japan Maurizio Gabbrielli - University of Bologna, Italy Fatemeh Ghassemi - University of Tehran, Iran Jan Friso Groote - Technical University of Eindhoven, Netherlands Hassan Haghighi - Shahid Beheshti University, Iran Hossein Hojjat - Cornell University, USA Mohammad Izadi - Sharif University of Technology, Iran Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of University of Amsterdam, Netherlands Einar Broch Johnsen - University of Oslo, Norway Joost-Pieter Katoen - RWTH Aachen University, Germany Narges Khakpour - KTH, Sweden Ramtin Khosravi - University of Tehran, Iran Zhiming Liu - Birmingham City University, UK Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran Ugo Montanari - University of Pisa, Italy Peter Mosses - Swansea University, UK Mohammad Reza Mousavi - Halmstad University, Sweden Ali Movaghar - Sharif University of Technology, Iran Peter Olveczky - University of Oslo, Norway Jose Proenca - K.U.Leuven, Belgium Niloofar Razavi - University of Toronto, Canada Philipp Ruemmer - Uppsala University, Sweden Gwen Salaun - Grenoble INP, Inria, France Cesar Sanchez - IMDEA Software Institute, Spain Wendelin Serwe - INRIA, France Marjan Sirjani - Reykjavik University, Iceland Meng Sun - Peking University, China Carolyn Talcott - SRI International, USA Samira Tasharofi - Microsoft, USA Tayssir Touili - LIAFA, France Danny Weyns - Linnaeus University, Sweden |
------------------------------------------------------------------------------ Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer http://p.sf.net/sfu/Zoho
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
