[Hol-info] LFM 2008 Call for Participation

2008-03-21 Thread Kristin Yvonne Rozier
Williamsburg, can be found here: http://shemesh.larc.nasa.gov/LFM2008/local_info.html -- Please visit the official LFM 2008 web site for further information: http://shemesh.larc.nasa.gov/LFM2008/LFM2008.html. Cheers, Kristin Yvonne Rozier LFM 2008

[Hol-info] CFP: Third NASA Formal Methods Symposium (NFM 2011)

2010-08-09 Thread Kristin Yvonne Rozier
[We apologize if you receive multiple copies of this announcement. Please distribute.] FIRST CALL FOR PAPERS NFM 2011 Third NASA Formal Methods Symposium Pasadena, California, USA

[Hol-info] NFM-2013 Call for Papers

2012-10-19 Thread Kristin Yvonne Rozier
, USA Corina Pasareanu CMU/NASA Ames Research Center, USA Charles Pecheur, UC Louvain, Belgium Suzette Person, NASA Langley Research Center, USA Franco Raimondi, Middlesex University, UK John Regehr, University of Utah, USA Kristin Yvonne Rozier, NASA Ames, USA Sriram Sankaranarayanan, University

[Hol-info] [fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review

2013-07-11 Thread Kristin Yvonne Rozier
-- __ /\ \ \_ / \ ###[==_ /\ /_/ __ / __ \ \ \_ | ( ) | ###[==_ /| /\/\ |\/_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D

[Hol-info] [fm-announcements] Call for Papers: NFM 2014

2013-08-09 Thread Kristin Yvonne Rozier
Talk: NASA Future Challenges in Formal Methods Organizers: --- Mike Hinchey (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Steering Committee: --- Ewen Denney, SGT/NASA Ames Ben Di Vito, NASA Langley Klaus Havelund, NASA/JPL Gerard Holzmann, NASA

[Hol-info] [fm-announcements] ICFEM 2013 Call for Participation

2013-08-22 Thread Kristin Yvonne Rozier
-- __ /\ \ \_ / \ ###[==_ /\ /_/ __ / __ \ \ \_ | ( ) | ###[==_ /| /\/\ |\/_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. /| | | |\ Research Computer Scientist

[Hol-info] [fm-announcements] Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014

2013-08-22 Thread Kristin Yvonne Rozier
. -- __ /\ \ \_ / \ ###[==_ /\ /_/ __ / __ \ \ \_ | ( ) | ###[==_ /| /\/\ |\/_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D

[Hol-info] [fm-announcements] Second Call for Papers: NFM 2014

2013-09-10 Thread Kristin Yvonne Rozier
Talk: NASA Future Challenges in Formal Methods 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

[Hol-info] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014

2013-11-05 Thread Kristin Yvonne Rozier
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

[Hol-info] [fm-announcements] NFM 2014 Call for Participation

2014-02-26 Thread Kristin Yvonne Rozier
Yvonne Rozier, Ph.D. /| | | |\ Research Computer Scientist / USA | ~||~ |NASA \NASA Ames Research Center |__| ~~ |__| Phone: (650) 604-3197 (__||__)Fax: (650) 604-3594

[Hol-info] [fm-announcements] NFM 2014: Second Call for Participation

2014-03-20 Thread Kristin Yvonne Rozier
Yvonne Rozier, Ph.D. /| | | |\ Research Computer Scientist / USA | ~||~ |NASA \NASA Ames Research Center |__| ~~ |__| Phone: (650) 604-3197 (__||__)Fax: (650) 604-3594

[Hol-info] NFM 2019 Preliminary Call For Papers- 11th Annual NASA Formal Methods Symposium

2018-08-22 Thread Kristin Yvonne Rozier
pate in discussions; however, all attendees must register. Organizers: --- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC C

[Hol-info] NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium

2018-09-17 Thread Kristin Yvonne Rozier
2019. Keynote Speakers: - * Virginie Wiels, ONERA, France * Richard Murray, CalTech, USA * NASA Panel: Challenges for Future Exploration Organizers: --- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Programme Commi

[Hol-info] [fm-announcements] NFM 2019: Call for Participation (Hotel Block Closing Shortly)

2019-03-18 Thread Kristin Yvonne Rozier
hair) Kristin Yvonne Rozier (PC Chair) Programme Committee: Erika Ábrahám, RWTH Aachen University, Germany Dirk Beyer, LMU Munich, Germany Armin Biere, Johannes Kepler University Linz, Austria Nikolaj Bjorner, Microsoft, USA Sylvie Boldo, INRIA, France Jonathan Bowen, London S

[Hol-info] NFM 2019: Call for Participation (Hotel Block Closing Shortly)

2019-03-18 Thread Kristin Yvonne Rozier
hair) Kristin Yvonne Rozier (PC Chair) Programme Committee: Erika Ábrahám, RWTH Aachen University, Germany Dirk Beyer, LMU Munich, Germany Armin Biere, Johannes Kepler University Linz, Austria Nikolaj Bjorner, Microsoft, USA Sylvie Boldo, INRIA, France Jonathan Bowen, London S

[Hol-info] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium

2019-04-14 Thread Kristin Yvonne Rozier
tems Engineering and Integration Lead -- Bill Othon, Gateway Verification and Validation Lead Organizers: --- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Programme Committee: Erika Ábrahám, RWTH Aachen University, Germany

[Hol-info] iFM 2019: Deadline Extension

2019-07-15 Thread Kristin Yvonne Rozier
, Norway) Kristin Yvonne Rozier (Iowa State University, US) = Local Organisation Chair = Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) Fazle Rabbi (Western Norway University of Applied Sciences, Norway) = Program committee = Erika Abraham (RWTH Aachen University, Germany

[Hol-info] [fm-announcements] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium

2019-04-23 Thread Kristin Yvonne Rozier
tems Engineering and Integration Lead -- Bill Othon, Gateway Verification and Validation Lead Organizers: --- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Programme Committee: Erika Ábrahám, RWTH Aachen University, Germany