From Kristin.Y.Rozier at nasa.gov Tue Nov 5 17:43:26 2013 From: Kristin.Y.Rozier at nasa.gov (Kristin Yvonne Rozier) Date: Tue, 5 Nov 2013 08:43:26 -0800 Subject: [fg-arc] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014 Message-ID: <5279202E.1050700@nasa.gov> ************************************************** The Sixth NASA Formal Methods Symposium http://www.NASAFormalMethods.org/ 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA ************************************************** Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in safety-critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages carrying throughout system development. Topics of Interest: ------------------- * Model checking * Theorem proving * Static analysis * Model-based development * Runtime monitoring * Formal approaches to fault tolerance * Applications of formal methods to aerospace systems * Formal analysis of cyber-physical systems, including hybrid and embedded systems * Formal methods in systems engineering, modeling, requirements, and specifications * Requirements generation, specification debugging, formal validation of specifications * Use of formal methods in safety cases * Use of formal methods in human-machine interaction analysis * Formal methods for parallel hardware implementations * Use of formal methods in automated software engineering and testing * Correct-by-design, design for verification, and property-based design techniques * Techniques and algorithms for scaling formal methods; e.g. abstraction and symbolic methods, compositional techniques, parallel and distributed techniques * Application of formal methods to emerging technologies Important Dates: ---------------- Abstract Submission: 14 Nov 2013 Paper Submission: 21 Nov 2013 Paper Notifications: 14 Jan 2014 Camera-ready Papers: 11 Feb 2014 Symposium: 29 April - 1 May 2014 Location & Cost: ---------------- The symposium will take place at the Gilruth Center, NASA Johnson Space Center, Houston, Texas, USA, 29 April to 1 May 2013. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. Submission Details: ------------------- There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (15 pages) 2. Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer's Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. Keynote Speakers: ----------------- * Larry Paulson, University of Cambridge, UK * Moshe Y. Vardi, Rice University, USA * Special Guest Talk: "NASA Future Challenges in Formal Methods" by Bill McAllister, Chief, Safety and Mission Assurance, International Space Station Safety Panels, Avionics and Software Branch Panel Feature: "Future Directions of Specifications for Formal Methods" ----------------------------------------------------------------------- Panelists: Matt Dwyer, University of Nebraska, USA Hadas Kress-Gazit, Cornell University, USA Moshe Y. Vardi, Rice University, USA Panel Description: Specifications are required for all applications of formal methods yet extracting specifications for real-life safety critical systems often proves to be a huge bottleneck or even an insurmountable hurdle to the application of formal methods in practice. This is the state for safety-critical systems today and as these systems grow more complex, more pervasive, and more powerful in the future, there is not a clear path even for maintaining the bleak status quo. Therefore, we propose highlighting this issue in the home of an important critical system, the Mission Control Center of NASA's most famous critical systems, and asking our panelists where we can go from here. Organizers: ----------- Mike Hinchey (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Program Committee: ------------------ Domagoj Babic, Google Research, USA Calin Belta, Boston University, USA Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Jonathan P. Bowen, Museophile Limited, UK Guillaume Brat, CMU/NASA Ames Research Center, USA Gianfranco Ciardo, Iowa State University, USA Frederic Dadeau, FEMTO-ST/INRIA, France Ewen Denney, SGT/NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA James Disbrow, NASA Dryden Flight Research Center, USA Steven Drager, Air Force Research Laboratory, USA Alexandre Duret-Lutz, LRDE/EPITA, France Cindy Eisner, IBM Research-Haifa, Israel ?ric F?ron, Georgia Institute of Technology, USA Shalini Ghosh, SRI, USA Alwyn Goodloe, NASA Langley Research Center, USA Arie Gurfinkel, Carnegie Mellon University Software Engineering Institute, USA John Harrison, Intel Corporation, USA Klaus Havelund, NASA/Jet Propulsion Laboratory, USA Connie Heitmeyer, Naval Research Laboratory, USA Gerard Holzmann, NASA/Jet Propulsion Laboratory, USA Hadas Kress-Gazit, Cornell University, USA Joe Leslie-Hurd, Intel Corporation, USA David R. Lester, University of Manchester, UK Kenneth McMillan, Microsoft Research, USA Steven Miller, Rockwell Collins, USA Sheena Judson Miller, Barrios Technology/NASA Johnson Space Center, USA Cesar Munoz, NASA Langley Research Center, USA Suzette Person, NASA Langley Research Center, USA Lee Pike, Galois, Inc., USA Andr? Platzer, Carnegie Mellon University, USA Neha Rungta, NASA Ames Research Center, USA Johann Schumann, SGT/NASA Ames Research Center, USA Cristina Seceleanu, M?lardalen University, Sweden Sandeep K. Shukla, Virginia Tech, USA Radu Siminiceanu Oksana Tkachuk, NASA Ames Research Center, USA Stefano Tonetta, FBK-irst, Italy Helmut Veith, Vienna University of Technology, Austria Arnaud Venet, CMU/NASA Ames Research Center, USA Mike Whalen, University of Minnesota Software Engineering Center, USA Nok Wongpiromsarn, Singapore-MIT Alliance for Research and Technology, Singapore Karen Yorav, IBM Haifa Research Lab, Israel Steering Committee: ------------------- Ewen Denney, SGT/NASA Ames Ben Di Vito, NASA Langley Klaus Havelund, NASA/JPL Gerard Holzmann, NASA/JPL Cesar Munoz, NASA Langley Corina Pasareanu, CMU/NASA Ames Suzette Person, NASA Langley Kristin Y. Rozier, NASA Ames -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From pmt6sbc at maths.leeds.ac.uk Sat Nov 2 13:19:46 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Sat, 2 Nov 2013 12:19:46 GMT Subject: [fg-arc] CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 -1st CfP Message-ID: <201311021219.rA2CJkKZ004012@maths.leeds.ac.uk> ******************************************************************* FIRST CALL FOR PAPERS: CiE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://cie2014.inf.elte.hu IMPORTANT DATES: Submission Deadline for LNCS: 10 January 2014 Notification of authors: 3 March 2014 Deadline for final revisions: 31 March 2014 CiE 2014 is the tenth 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), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013). The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural and biological computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches. As with previous CiE conferences the allover glueing perspective is to strengthen the mutual benefits of analyzing traditional and new computational paradigms in their corresponding frameworks both with respect to practical applications and a deeper theoretical understanding. TUTORIAL SPEAKERS: Wolfgang Thomas (RWTH Aachen) Peter Gruenwald (CWI, Amsterdam) INVITED SPEAKERS: Lev Beklemishev (Steklov Mathematical Institute, Moscow) Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez (King's College London) Przemyslaw Prusinkiewicz (University of Calgary) Eva Tardos (Cornell University) Albert Visser (Utrecht University) SPECIAL SESSIONS: History and Philosophy of Computing (organizers: Liesbeth de Mol, Giuseppe Primiero) Computational Linguistics (organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky) Computability Theory (organizers: Karen Lange, Barbara Csima) Bio-inspired Computation (organizers: Marian Gheorghe, Florin Manea) Online Algorithms (organizers: Joan Boyar, Csan??d Imreh) Complexity in Automata Theory (organizers: Markus Lohrey, Giovanni Pighizzini) CiE 2014 conference topics include, but not exclusively: * Admissible sets * Algebraic models of computation * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics and Bio-inspired computation * Bounded arithmetic * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and non-standard models of computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Membrane computing * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Gerard Alberts (Amsterdam) * Sandra Alves (Porto) * Hajnal Andreka (Budapest) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau) * Vasco Brattka (Munich) * Bruno Codenotti (Pisa) * Barry Cooper (Leeds) * Erzsebet Csuhaj-Varju (Budapest, co-chair) * Michael J. Dinneen (Auckland) * Erich Gr??del (Aachen) * Marie Hicks (Chicago IL) * Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku) * Elham Kashefi (Edinburgh) * Viv Kendon (Leeds) * Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest) * Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA) * Georg Moser (Innsbruck) * Benedek Nagy (Debrecen) * Sara Negri (Helsinki) * Thomas Schwentick (Dortmund) * Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam) * Xizhong Zheng (Glenside PA) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014. The submission site https://www.easychair.org/conferences/?conf=cie2014 is open. For submission instructions consult http://cie2014.inf.elte.hu/?Submission_Instructions We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu Website: http://cie2014.inf.elte.hu/ ************************************************************************ __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu CiE Membership Application Form http://www.lix.polytechnique.fr/CIE AssociationCiE on Twitter http://twitter.com/AssociationCiE ALAN TURING YEAR http://www.turingcentenary.eu AlanTuringYears on Twitter http://twitter.com/AlanTuringYear __________________________________________________________________________ From kapova at ipd.uka.de Wed Nov 13 12:56:19 2013 From: kapova at ipd.uka.de (Lucia Happe) Date: Wed, 13 Nov 2013 12:56:19 +0100 Subject: [fg-arc] FESCA@ETAPS 2014: CfP for 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2014, Grenoble, France In-Reply-To: Message-ID: *** Please accept our apologies should you receive multiple copies of this call from different lists. *** INVITATION: ================= Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FESCA 2014. ================= Call for Papers - FESCA 2014 - 11th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS April 12th, 2014, Grenoble, France http://fesca.ipd.kit.edu/fesca2014/ WORKSHOP AIM In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity of today's software systems, FESCA aims at addressing two research questions: (1) what role the software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively to make the issues easier to address automatically, with lower human intervention. ************************************************************************** PROGRAM HIGHLIGHTS: We are pleased to announce invited speaker: Prof. Dr. Colin Atkinson, Chair of Software Engineering at University of Mannheim (Germany), has agreed to deliver the FESCA 2014 keynote speech on the topic: "Facilitating Formal Views in View-Driven (Orthographic) Software Engineering" and tutorial on the topic: "Orthographic and Deep Modeling with Melanee" ************************************************************************** TOPICS We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, including the techniques in the realm of Model-Driven Development. In this context, the topics include (but are not limited to): * Modelling - Modelling formalisms; - Models, metamodels and model transformations; * Correctness checking - Temporal properties and their formal verification; - Interface compliance and contractual use of components; * Correctness of models, metamodels and model transformations * Analysis and prediction of quality attributes - Formal prediction and analysis; - Static and dynamic analysis; - Instrumentation and monitoring approaches; * Industrial case studies and experience reports. Besides general software systems, FESCA is interested in methods focusing on a specific application domain, such as: * Cloud environment * Mobile and embedded systems * Information systems * Hardware infrastructures We encourage not only mature research results, submissions presenting innovative ideas and early results are also of interest. SUBMISSIONS Three kinds of submissions are solicited: * regular papers (up to 15 pages) presenting original and unpublished work related to the workshop topics, * position papers (up to 10 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and * tool demonstration papers (up to 8 pages) presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors). PROCEEDINGS * Final versions of accepted regular and position papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). * The tool demonstration papers will not appear in the EPTCS proceedings, but will be included in the electronic pre-proceedings (distributed at the workhop) and made available on the workshop website. IMPORTANT DATES * Paper registration: December 6, 2013 * Submission deadline: December 13, 2013 * Notification of acceptance: January 20, 2014 * Final versions due: February 10, 2014 * Workshop date: April 12, 2014 PROGRAMME COMMITTEE * Ivana ?ern? (Masaryk University, Czech Republic) * Antinisca Di Marco (Universit? dell'Aquila, Italy) * Petr Hnetynka (Charles University in Prague, Czech Republic) * Samuel Kounev (Karlsruhe Institute of Technology, Germany) * Ralf K?sters (Universit?t Trier, Germany) * Markus Lumpe (Swinburne University of Technology, Australia) * Daniel Menasche (UFRJ, Brazil) * Raffaela Mirandola (Politecnico di Milano, Italy) * Dorina Petriu (Carleton Univesity, USA) * Nadia Polikarpova (ETH Z?rich, Switzerland) * Ralf Reussner (Karlsruhe Institute of Technology, Germany) * Cristina Seceleanu (M?lardalen University, Sweden) * Kishor Trivedi (Duke University, USA) * Catia Trubiani (Universit? dell'Aquila, Italy) * Steffen Zschaler (King's College London, UK) PC CO-CHAIRS * Barbora Buhnova (Masaryk University, Czech Republic) * Lucia Happe (Karlsruhe Institute of Technology, Germany) * Jan Kofron (Charles University in Prague, Czech Republic) -------------- next part -------------- An HTML attachment was scrubbed... URL: From cesar.a.munoz at nasa.gov Wed Nov 13 19:13:24 2013 From: cesar.a.munoz at nasa.gov (MUNOZ, CESAR (LARC-D320)) Date: Wed, 13 Nov 2013 18:13:24 +0000 Subject: [fg-arc] [fm-announcements] Formal Methods Positions at NASA Langley Message-ID: *** I apologize for reposting these announcements. Due to the government shutdown, previous announcements have been cancelled and they are being re-advertised; All applicants who applied under the previous announcements must reapply to these announcements in order to be considered. Cesar *** The Formal Methods team at NASA Langley Research Center, Hampton, Virginia, U.S., has opened the following positions (U.S. citizenship is required to apply). ANNOUNCEMENT NO: LA14D0003 POSITION: Research Computer Scientist, AST, Computer Research and Development, GS-1550-12/13, Promotion Potential GS-13 LOCATION: Org D320, Safety-Critical Avionics Systems Branch CLOSING DATE: November 20, 2013 AREA OF CONSIDERATION: This announcement is open to all qualified U.S. citizens. This position is located in the Safety-Critical Avionics Systems Branch within the Research Directorate. This position involves conducting research to develop formal verification methods for the analysis, design, and implementation of advanced future aircraft and spacecraft safety-critical systems. Additional details are available at the following websites prior to the closing date: https://www.usajobs.gov/GetJob/ViewDetails/354736700 *** ANNOUNCEMENT NO: LA14R0001 POSITION: NASA's Pathways Program Recent Graduate, Research Computer Scientist, GS-1550-12 Promotion Potential GS-13 LOCATION: D320, Safety-Critical Avionics Systems Branch CLOSING DATE: November 20, 2013 AREA OF CONSIDERATION: Current students from education institutions interested in paid opportunities with Federal agencies or recent Graduates from qualifying institutions within two years of degree or certification (Veterans precluded by their military service obligation, will have up to six years to apply) or Presidential Management Fellowships for individuals who have received a qualifying advanced degree within the preceding two years. This position is located in the Safety-Critical Avionics Systems Branch within the Research Directorate. This position involves conducting research to develop formal verification methods for the analysis, design, and implementation of advanced future aircraft and spacecraft safety-critical systems. Additional details are available at the following websites prior to the closing date: https://www.usajobs.gov/GetJob/ViewDetails/354673100 *** For more information on NASA's application process, go to http://nasajobs.nasa.gov --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From lina.ye at inria.fr Fri Nov 15 15:00:28 2013 From: lina.ye at inria.fr (lina.ye at inria.fr) Date: Fri, 15 Nov 2013 15:00:28 +0100 (CET) Subject: [fg-arc] Call for Workshop Proposals: SEFM 2014 Message-ID: <201311151400.rAFE0SQi027465@ubac.inrialpes.fr> Our apologies if you have received multiple copies. #################################################################### SEFM 2014 ??? CALL FOR WORKSHOP PROPOSALS 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) http://sefm2014.inria.fr/ Grenoble, France September 1-5, 2014 #################################################################### SEFM brings together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Satellite workshops provide further opportunities for collaborating and exchanging ideas about specific topics of Formal Methods and Software Engineering, from conceptual to practical aspects. To this end, researchers and practitioners are invited to submit proposals for workshops on topics in the fields of the conference. -------------------------------------------------------------------- Important Dates - Workshops will take place on September 1-2, 2014 - Submission deadline for workshop proposals is January 31, 2014 - Notification: February 7, 2014 -------------------------------------------------------------------- Submission Workshop proposals should consist of one pdf file and should be submitted by email at sefm14-workshops at inria.fr by the end of January, 2014. -------------------------------------------------------------------- Proposals Workshop proposals should consist of the following items: - name and acronym of the workshop - motivations: short (up to 1 page) scientific justification of the proposed topic and scope, its significance and relevance to SEFM, and the particular benefits of the workshop to both Formal Methods and Software Engineering communities - name, affiliation, and short (up to 10 lines) bio of the workshop organizers - contact organizer - desired length of the workshop, (half day, full day, 2 days) - estimate of the audience size - proposed format and agenda (e.g., demo sessions, tutorials, etc.) - potential invited speakers - any specific requirement the workshop may have - procedures for selecting papers and participants - plans for dissemination, if any (e.g., workshop proceedings, or special issues of journals) - preliminary call for papers (list of topics, preliminary PC, deadlines, etc.) and link to the workshop website (if possible) - information about previous editions (if applicable) -------------------------------------------------------------------- Organization details In order to make SEFM workshops appealing for participants, we plan to keep the fares as low as possible. Precise figures have not been decided yet, but we estimate that the workshop fee will be about 80??? per day, with a full fee of around 500??? for the whole week (SEFM conference + workshops). We also understand that having a good proceedings publication will attract submissions. For that, we plan to organize a joint LNCS proceedings volume. Nevertheless, if you have your own agreements for proceedings or special issue publication, you can maintain them. All accepted workshops would be asked to produce a Webpage and a call for papers. Both workshop organizers and participants will be required to register through the SEFM 2014 registration Webpage and attend their workshop. Carlos Canal, Marc Frappier, Akram Idani The Workshop Chairs From jbishop at microsoft.com Tue Nov 19 05:36:01 2013 From: jbishop at microsoft.com (Judith Bishop) Date: Tue, 19 Nov 2013 04:36:01 +0000 Subject: [fg-arc] CFP POPL Workshop on Data-Centric Programming (Extension) In-Reply-To: <85f01c93efb646cdaca81fee71103975@BLUPR03MB328.namprd03.prod.outlook.com> References: <85f01c93efb646cdaca81fee71103975@BLUPR03MB328.namprd03.prod.outlook.com> Message-ID: <85ee83050faf4c7a9dbeac7b5b15ed03@DM2PR03MB333.namprd03.prod.outlook.com> ACM SIGPLAN Workshop on Data-Centric Programming 2014 ------------------------------------------------------------------------------- DEADLINE EXTENDED TO FRIDAY NOVEMBER 22 - CONTRIBUTIONS ARE 2 PAGES Please consider submitting to this great workshop Co- located with POPL, January 25, 2014 | San Diego, USA http://research.microsoft.com/DCP2014 Submission: November 22, 2013 Notification: December 4, 2013 This workshop invites submissions that explore the gap between today's data management challenges, particularly the ones related to dealing with large amounts of semantically rich data, and the lack of adequate tools. We are looking for contributions that discuss, promote and further advance the programming of semantically-rich data including the development of new languages, extension of existing ones, and the inclusion of semantic-enabled capabilities into existing IDEs. In this forum, we will discuss, promote, and advance the use of data-centric programming in information-rich data spaces - including the development of new programming and data-manipulation systems as well as the extension of existing ones. By devising methods for handling data from the programming level, we can promote the research and development of better data-centric programming technologies as a whole, as well as facilitate the shift towards both principled and effective data-centric computing. Talk Proposals -------------- We want DCP to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on the workshop website. We invite proposals for talks in any area related to the connection between programming and data, including, but not limited to: * Formal systems that capture the essential theoretical elements of data-centric programming * Experimental systems that demonstrate novel data-centric programming techniques * Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs * Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data * Programming-related aspects of knowledge representation techniques including database theory, ontology techniques, and linked data * Impact of specific application areas (e.g. e-science, e-gov, sensors) on information-rich application design * Data exploration and visualization * Evaluation of data quality * Plugins and IDEs for information-rich application development * Cleaning and provenance of data, services, and processes Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address dcp.2014 at lambda-calcul.us . We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format. We plan to allocate 30-minute talk slots; but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. Organization ------------ Program Chairs Jeremy Gibbons, University of Oxford, United Kingdom Evelyne Viegas, Microsoft Research, United States Program Committee (others to be confirmed) Soren Auer, University of Bonn, Germany Nate Foster, Cornell University, United States Juliana Freire, Polytechnic Institute of New York University, United States Erik Meijer, Applied Duality, United States Steffen Staab, University of Koblenz, Germany Don Syme, Microsoft Research Cambridge, United Kingdom Hadley Wickham, Rice University, United States Judith Bishop PhD Director Computer Science | Microsoft Research Connections | Phone: +1 425 706 2004 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Jeremy.Gibbons at cs.ox.ac.uk Wed Nov 20 16:09:04 2013 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Wed, 20 Nov 2013 15:09:04 +0000 Subject: [fg-arc] ACM SIGPLAN Workshop on Data-Centric Programming (at POPL) - talk proposal deadline extended to 22nd Nov Message-ID: <201311201509.rAKF94tb030111@linux2.cs.ox.ac.uk> ACM SIGPLAN Workshop on Data-Centric Programming 2014 ----------------------------------------------------- DEADLINE EXTENDED TO FRIDAY NOVEMBER 22 - CONTRIBUTIONS ARE 2 PAGES Please consider submitting to this great workshop Colocated with POPL, January 25, 2014 | San Diego, USA http://research.microsoft.com/DCP2014 Submission: November 22, 2013 Notification: December 4, 2013 We're very pleased to announce DCP 2014, an exciting workshop which builds on the success of the Data-Driven Functional Programming (DDFP) workshop at POPL 2013. This workshop is for anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains. Please consider submitting to the workshop - whatever your flavor of data, whatever your flavor of data-centric programming. We want this to be a great event that opens up opportunities at the intersection of data and programming. Functional programming techniques are increasingly important in data-centric programming: languages like Haskell, Scala, and C# draw heavily on a range of functional techniques and find application in numerous data-driven domains; paradigms like map/reduce and its extensions lie at the core of modern scalable data processing; and "information-rich" languages like Ur, F#, and Gosu use meta-programming to integrate type-safe queries, web-based APIs, and scalable data sources - along with associated semantically-rich metadata - into the programming language. In principle, the expressiveness, strong typing, and core functional paradigm of these languages make them an ideal choice for expressing robust and scalable data-centric programming. On the other end, the web of data is growing at an enormous pace, with few dedicated software applications capable of dealing efficiently in information-rich spaces. Reasons for that include one (or more) of the following research issues: lack of integrated development environments (IDEs, such as Visual Studio and Eclipse), poor programming language support, lack of standard testbeds and/or benchmarks, inadequate training, and perhaps the need for curriculum revision. Properly addressing these issues requires interdisciplinary skills, and the collaboration between academia and industry. Many challenges remain. Workshop Goals -------------- This workshop invites submissions that explore the gap between today's data management challenges, particularly the ones related to dealing with large amounts of semantically rich data, and the lack of adequate tools. We are looking for contributions that discuss, promote and further advance the programming of semantically-rich data including the development of new languages, extension of existing ones, and the inclusion of semantic-enabled capabilities into existing IDEs. In this forum, we will discuss, promote, and advance the use of data-centric programming in information-rich data spaces - including the development of new programming and data-manipulation systems as well as the extension of existing ones. By devising methods for handling data from the programming level, we can promote the research and development of better data-centric programming technologies as a whole, as well as facilitate the shift towards both principled and effective data-centric computing. Talk Proposals -------------- We want DCP to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on the workshop website. We invite proposals for talks in any area related to the connection between programming and data, including, but not limited to: * Formal systems that capture the essential theoretical elements of data-centric programming * Experimental systems that demonstrate novel data-centric programming techniques * Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs * Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data * Programming-related aspects of knowledge representation techniques including database theory, ontology techniques, and linked data * Impact of specific application areas (e.g. e-science, e-gov, sensors) on information-rich application design * Data exploration and visualization * Evaluation of data quality * Plugins and IDEs for information-rich application development * Cleaning and provenance of data, services, and processes Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address dcp.2014 at lambda-calcul.us . We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format. We plan to allocate 30-minute talk slots; but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. Organization ------------ Program Chairs Jeremy Gibbons, University of Oxford, United Kingdom Evelyne Viegas, Microsoft Research, United States Program Committee Soren Auer, University of Bonn, Germany Nate Foster, Cornell University, United States Juliana Freire, Polytechnic Institute of New York University, United States Erik Meijer, Applied Duality, United States Steffen Staab, University of Koblenz, Germany Don Syme, Microsoft Research Cambridge, United Kingdom Hadley Wickham, Rice University, United States From klaus.havelund at jpl.nasa.gov Thu Nov 21 18:26:17 2013 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Thu, 21 Nov 2013 09:26:17 -0800 Subject: [fg-arc] =?windows-1252?q?=5Bfm-announcements=5D_1st_CFP=3A_14th_?= =?windows-1252?q?International_Conference_on_Runtime_Verification=2C_Sept?= =?windows-1252?q?ember_22_=96_25_2014=2C_Toronto=2C_Canada?= Message-ID: <59AB0690-F5B6-4DF9-A36D-3F64119851F2@jpl.nasa.gov> 14th International Conference on Runtime Verification September 22 ? 25, 2014 Toronto, Canada http://rv2014.imag.fr/ Scope: Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages specification mining program instrumentation monitor construction techniques logging, recording, and replay fault detection, localization, containment, recovery and repair program steering and adaptation metrics and statistical information gathering combination of static and dynamic analyses program execution visualization monitoring techniques for safety/mission-critical systems monitoring distributed systems, cloud services, and big data applications monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV?14 to present the paper. Papers must be submitted electronically using theEasyChair system. Regular papers (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour (University of Waterloo, Canada), co-chair Scott Smolka (Stony Brook Universtiy, USA), co-chair Gul Agha (University of Illinois at Urbana-Champaign, USA) Thomas Ball (Microsoft Research, Redmond, USA) Howard Barringer (The University of Manchester, UK) Ezio Bartocci (TU Wien, Austria) David Basin (ETH Zurich, Switzerland) Saddek Bensalem (Verimag, France) Eric Bodden (TU ? Darmstadt, Germany) Ivona Brandic (TU Wien, Austria) Marsha Chechik (University of Toronto, Canada) Michael Clarkson (George Washington University, USA) Laura Dillon (Michigan State University, USA) Shlomi Dolev (Ben Gurion University, Israel) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Vijay Garg (University of Texas at Austin, USA) Steve Goddard (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu (TU- Wien, Austria) Klaus Havelund (NASA/JPL, USA) Mats Heimdahl (University of Minnesota, USA) Laurie Hendren (McGill University, Canada) Gerard Holzmann (NASA/JPL, USA) Daniel Keren (Haifa University, Israel) Sandeep Kulkarni (Michigan State University, USA) Marta Kwiatkowska (University of Oxford, UK) Insup Lee (University of Pennsylvania, USA) Axel Legay (IRISA/INRIA, France) Martin Leucker (University of L?beck, Germany) Leonardo Mariani (University of Milano Bicocca, Italy) Patrick Meredith (University of Illinois at Urbana-Champaign, USA) David Naumann (Stevens Institute of Technology, USA) Doron Peled (Bar Ilan University, Israel) Mauro Pezze (University of Lugano, Switzerland) Lee Pike (Galois Inc., USA) Zvonimir Rakamaric (University of Utah, USA) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko (TU-Munich, Germany) Andre Schiper (EPFL, Switzerland) Oleg Sokolsky (University of Pennsylvania, USA) Scott Stoller (Stony Brook University, USA) Serdar Tasiran (Koc University, Turkey) Michael Whalen (University of Minnesota, USA) Lenore Zuck (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV?14 to present the paper. Papers must be submitted electronically using the EasyChair system. Tool papers should meet the following criteria: A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. Each tool paper must include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool?s capabilities, highlighting the main characteristics and the usage. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: the presentation quality the availability (possibly in a open-source format) of the software. the relevance for the Runtime Verification audience the technical soundness of the presented tool the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), Chair Eric Bodden (TU ? Darmstadt, Germany) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: Abstract deadline: April 8, 2014 Full paper deadline: April 15, 2014 Rebuttal phase: May 18-20, 2014 Acceptance notification: June 10, 2014 Camera ready submission: June 25, 2014 Conference dates: 22-25 September, 2014 Competition on Software for Runtime Verification (CSRV-2014) A satellite event of RV?14 is the first International Competition on Software for Runtime Verification (CRVS?14). The main aims of CSRV-2014 competition are to: Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones. Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. Discuss the metrics employed for comparing the tools. Provide a comparison of the tools running with different benchmarks and evaluating using different criteria. Enhance the visibility of presented tools among the different communities (software engineering, formal methods and automated verification, distributed computing, security, and safety-critical systems) involved in software monitoring. CRVS?14 will follow the following time line: Declaration of intent: December 15, 2013 Deadline for submission of benchmarks: March 1, 2014 Monitoring tool submission: June 1, 2014 Notification: July 1, 2014 For more information, visit http://rv2014.imag.fr/monitoring-competition or contact the event organizers: Ezio Bartocci (TU-Wien, Austria), ezio.bartocci at tuwien.ac.at Borzoo Bonakdarpour (U. Waterloo, Canada), borzoo at cs.uwaterloo.ca Ylies Falcone (U. Joseph Fourier, France), ylies.falcone at ujf-grenoble.fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: pdf.jpg Type: image/jpeg Size: 4731 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From klaus.havelund at jpl.nasa.gov Mon Nov 25 22:23:19 2013 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Mon, 25 Nov 2013 13:23:19 -0800 Subject: [fg-arc] [fm-announcements] 1st Intl. Competition of Software for Runtime Verification: call for participation Message-ID: <7AA2B006-DCAF-45A2-B9E6-09984760D022@jpl.nasa.gov> [Apologizes for duplicates] 1st Intl. Competition of Software for Runtime Verification (CSRV-2014) held with RV 2014 in Toronto, Canada http://rv2014.imag.fr/monitoring-competition CSRV-2014 is the 1st International Software Runtime Verification Competition as a part of the 14th International Conference on Runtime Verification. The event will be held in September 2014, in Toronto, Canada. CSRV-2014 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software. Runtime Verification is a verification technique for the analysis of software at execution time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need to compare such tools and techniques, since we currently lack of a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools. The main aims of CSRV-2014 competition are to: - Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones. - Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. - Discuss the metrics employed for comparing the tools. - Provide a comparison of the tools running with different benchmarks and evaluating using different criteria. - Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring. Please direct any enquiries to the competition co-organizers (csrv14.chairs at imag.fr): Ezio Bartocci (Vienna University of Technology, Austria), ezio.bartocci at tuwien.ac.at; Borzoo Bonakdarpour (University of Waterloo, Canada), borzoo at cs.uwaterloo.ca; Yli?s Falcone (Universit? Joseph Fourier, France), ylies.falcone at ujf-grenoble.fr. CSRV-2014 Jury The CSRV Jury will include a representative for each participating team and some representatives of the Demonstration Tools Committee of Runtime Verification Conference. Call for Participation The main goal of CSRV-2014 competition is to compare tools for runtime verification. We invite and encourage the participation with benchmarks and tools for the competition.The competition will consist of three main tracks based on the input language used: Track on monitoring Java programs (online monitoring); Track on monitoring C programs (online monitoring); Track on monitoring of traces (offline monitoring). The competition will follow three phases: - Benchmarks/Specification collection phase - the participants are invited to submit their benchmarks (C or Java programs and/or traces). The organizers will collect them in a common repository (publicly available). The participants will then train their tools using the shared benchmarks; - Monitor collection phase - the participants are invited to submit their monitors. The participants with the tools/monitors (see more information in the following section) that meet the qualification requirements will be qualified for the evaluation phase; - Evaluation phase - the qualified tools will be evaluated running the benchmarks and they will be ranked using different criteria (i.e., memory utilization/overhead, CPU utilization/overhead, ...). The final results will be presented at RV 2014 conference. Please refer to the dedicated pages for more details on the three phases. Important Dates Dec. 15, 2013 - Declaration of intent (by email csrv14.chairs at imag.fr). March 1, 2014 - Submission deadline for benchmark programs and the properties to be monitored. March 15, 2014 - Tool training starts by participants. June 1, 2014 - Monitor submission. July 1, 2014 - Notifications and reviews. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: cleardot.gif Type: image/gif Size: 43 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From Pieter.Philippaerts at cs.kuleuven.be Tue Nov 26 22:32:58 2013 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Tue, 26 Nov 2013 22:32:58 +0100 Subject: [fg-arc] (CFP) SmartGridSec '14 Message-ID: <011b01ceeaef$134e8780$39eb9680$@cs.kuleuven.be> SmartGridSec14 Second Open EIT ICT Labs Workshop on Smart Grid Security Munich, Feb 26th, 2014 Call for Contributions (Papers, Talks, and Posters) >> Forward to colleagues who may be interested. << The Second Open NESSoS / EIT ICT Labs Workshop on Smart Grid Security will take place in the Technical University of Munich, in the centre of the city, on the 26th of Feb, 2014 in the context of the International Symposium on Engineering Secure Software and Systems (ESSoS'14). The Workshop is sponsored jointly by the Network of Excellence on Engineering Secure Future Internet SW, www.nessos-project.eu/ (NESSoS) and the action line smart energy systems of the EIT ICT Labs. Context and Motivation The need for a reliable, efficient, and sustainable energy supply is steadily increasing. The Smart Grid is proposed as an innovative, flexible, adaptable system which revolutionizes the current interconnection architecture and creates new services and offering new management and business opportunities for many stakeholders. Real-time communication between the consumer and the utility will allow the consumer to optimize local energy production, storage and usage; power will flow in different directions, depending on where generation takes place; buildings will actively participate of in the grid as consumers, producers, and energy storage facilities; electro-cars can be charged during low-demand periods and used as short-term energy storage. Components will communicate with each other and will provide operational and non-operational information to users and administrators. This will require the use of global communication networks, like the Internet, and will open the door to conventional hacking and to cyber attacks. Not only will it be necessary to carefully assess the threads and risks, but also to have a consensus on the definition and implementation of measures and mechanisms to cope with them, or to recover from them. The infrastructure, workflows, processes and systems must be protected against unauthorized modification, required information should be accessible in the right place at the right time, the sensitive personally identifiable information (PII) related to the consumption of energy, the location of the electric car, but also confidential business information etc must remain secure from unauthorized access. There is a clear need in Europe to integrate the fragmented research and development efforts in securing the Smart Grid. This workshop will be a venue to share and consolidate results, plan joint work, and create networks to accomplish these ambitioned goals. The organizers welcome proposals for contributions on any topics related to: * Attackers, Threats, Risk Analysis * Security of Smart Grid protocols * IDS / IPS / SIEM for Smart Grids / SCADA systems * Security related Smart Grid test beds and simulators * Security for long term deployment * Securing the Smart Grids from the business and market perspective: Products, Stakeholders, Models * Cross organizational security aspects * Real-time monitoring and recovery * Privacy issues * Standardization * Certification, Regulatory issues Submissions Full paper submissions, extended abstracts and short papers are welcome. Full papers should be 10-12 pages, while extended abstracts and short papers should be 2-5 pages. Invited paper may be up to 25 pages. The authors of extended abstracts should submit a full version to be published in the post-proceedings. Short papers can be presented as poster presentations. All papers will be reviewed by the program committee, and a balanced program will be selected based on relevance and technical soundness. Short paper contributions may be selected as "Poster Presentations". Follow the instructions at the submission web page: https://www.easychair.org/conferences/?conf=smartgridsec14 Publication After the success of the previous SmartGrid Security Workshop (see LNCS 7823 and http://www.springeronline.com/978-3-642-38029-7), we are planning again to publish the papers in LNCS (//www.springer.com/computer/lncs), as post-proceedings. Important Dates: Submission Full paper (10-12 pages), abstract (2-5 pages) or short paper (2-5 pages) 15 Dec Notification to authors: 10 Jan Workshop: 26 Feb Final version for post-proceedings 31 Mar Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm -------------- next part -------------- An HTML attachment was scrubbed... URL: