[Haskell] NFM 2015 - CALL FOR PARTICIPATION

[Michael Gough]

I registered for NFM 2015 and didn't receive any confirmation email. Does
anyone know anything about this?

 http://www.NASAFormalMethods.org/nfm2015
<http://www.nasaformalmethods.org/nfm2015>


On Thu, Feb 19, 2015 at 8:31 AM, Klaus Havelund <
compscience.announcement at gmail.com> wrote:

>
>
> NFM 2015CALL FOR PARTICIPATION
>
> The 7th NASA Formal Methods Symposium
>
>        http://www.NASAFormalMethods.org/nfm2015 <http://www.nasaformalmethods.org/nfm2015>
>
> 27 – 29 April 2015
> Pasadena, California, USA
> THEME
>
> The widespread use and increasing complexity of mission- and
> safety-critical systems require advanced techniques that address their
> specification, verification, validation, and certification. 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. The focus of the symposium is on formal methods,
> and aims to foster collaboration between NASA researchers and engineers and
> the wider aerospace and academic formal methods communities.
> TOPICS
>
> Topics of interest include, but are not limited to:
>
>    - Model checking
>    - Theorem proving
>    - SAT and SMT solving
>    - Symbolic execution
>    - Static analysis
>    - Runtime verification
>    - Systematic testing
>    - Program refinement
>    - Compositional verification
>    - Modeling and specification formalisms
>    - Model-based development
>    - Model-based testing
>    - Requirement engineering
>    - Formal approaches to fault tolerance
>    - Security and intrusion detection
>    - Applications of formal methods
>
> INVITED SPEAKERS
>
> Dino Distefano <http://www.eecs.qmul.ac.uk/~ddino/>
> Software Engineer at Facebook, California, USA and Professor at Queen Mary
> University of London, UK.
>
> Viktor Kuncak <http://lara.epfl.ch/~kuncak/>
> Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne,
> Switzerland.
>
> Rob Manning <https://www.linkedin.com/pub/rob-manning/54/16a/71b>
> Chief Engineer at NASA/JPL.
> LOCATION, COST, REGISTRATION AND HOTEL ROOM BOOKING
>
> The symposium will take place at the Hilton Hotel, Pasadena, California,
> USA, April 27-29, 2015.
>
> There will be no registration fee for participants.
>
> All interested individuals, including non-US citizens, are welcome to
> attend; however, all attendees must register (but please only register if
> you intend to attend). Registration form and hotel booking websites are
> reachable from the main website. A block of rooms at a low price are
> reserved with booking deadline of March 26.
> PC CHAIRS
>
> Klaus Havelund, NASA Jet Propulsion Laboratory, USA
> Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
> Rajeev Joshi, NASA Jet Propulsion Laboratory, USA
> PUBLICITY SUPPORT
>
> Ylies Falcone, Université Joseph Fourier, France
> PROGRAMME COMMITTEE
>
> Erika Abraham, RWTH Aachen University, Germany
> Julia Badger, NASA Johnson Space Center, USA
> Christel Baier, Technische Universität Dresden, Germany
> Saddek Bensalem, VERIMAG/UJF, France
> Dirk Beyer, University of Passau, Germany
> Armin Biere, Johannes Kepler University, Austria
> Nikolaj Bjorner, Microsoft Research, USA
> Borzoo Bonakdarpour, McMaster University, Canada
> Alessandro Cimatti, Fondazione Bruno Kessler, Italy
> Leonardo de Moura, Microsoft Research, USA
> Ewen Denney, NASA Ames Research Center, USA
> Ben Di Vito, NASA Langley Research Center, USA
> Dawson Engler, Stanford University, USA
> Jean-Christophe Filliatre, Université Paris-Sud, France
> Dimitra Giannakopoulou, NASA Ames Research Center, USA
> Alwyn Goodloe, NASA Langley Research Center, USA
> Susanne Graf, VERIMAG, France
> Alex Groce, Oregon State University, USA
> Radu Grosu, Vienna University of Technology, Austria
> John Harrison, Intel Corporation, USA
> Mike Hinchey, University of Limerick/Lero, Ireland
> Bart Jacobs, University of Leuven, Belgium
> Sarfraz Khurshid, The University of Texas at Austin, USA
> Gerwin Klein, NICTA, Australia
> Daniel Kroening, Oxford University, UK
> Orna Kupferman, Hebrew University Jerusalem, Israel
> Kim Larsen, Aalborg University, Denmark
> Rustan Leino, Microsoft Research, USA
> Martin Leucker, University of Lubeck, Germany
> Rupak Majumdar, Max Planck Institute, Germany
> Pete Manolios, Northeastern University, USA
> Peter Mueller, ETH Zurich, Switzerland
> Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
> Corina Pasareanu, NASA Ames Research Center, USA
> Doron Peled, Bar Ilan University, Israel
> Suzette Person, NASA Langley Research Center, USA
> Andreas Podelski, University of Freiburg, Germany
> Grigore Rosu, University of Illinois, USA
> Kristin Yvonne Rozier, NASA Ames Research Center, USA
> Natarajan Shankar, SRI International, USA
> Natasha Sharygina, University of Lugano, Switzerland
> Scott Smolka, Stony Brook University, USA
> Willem Visser, University of Stellenbosch, South Africa
> Mahesh Viswanathan, University of Illinois, USA
> Mike Whalen, University of Minnesota, USA
> Jim Woodcock, University of York, UK
> STEERING COMMITTEE
>
> Julia Badger, NASA Johnson Space Center
> Ewen Denney, NASA Ames Research Center
> Ben Di Vito, NASA Langley Research Center
> Klaus Havelund, NASA Jet Propulsion Laboratory
> Gerard Holzmann, NASA Jet Propulsion Laboratory
> Cesar Munoz, NASA Langley Research Center
> Corina Pasareanu, NASA Ames Research Center
> Suzette Person, NASA Langley Research Center
> Kristin Yvonne Rozier, NASA Ames Research Center
>
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20150223/f243219e/attachment.html>