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.announcem...@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@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > >
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell