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

[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

, 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

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

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

-- __ /\ \ \_ / \ ###[==_ /\ /_/ __ / __ \ \ \_ | ( ) | ###[==_ /| /\/\ |\/_/ / | | | | \ / |=|==|=| \ 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

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

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

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

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

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

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

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

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)

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)

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

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

, 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

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] Postdoc and PhD Positions @ Iowa State University

  Postdoc & PhD positions available:    Laboratory for Temporal Logic, directed by Kristin Yvonne Rozier http://laboratory.tempoallogic.org    Iowa State University, Ames, Iowa,

[Hol-info] Call for Model-Checking Community Feedback

uture workshop on the website and provide your timezone when asked. Research Leads: ------- Kristin Yvonne Rozier, Iowa State University Natarajan Shankar, SRI Cesare Tinelli, University of Iowa Moshe Y. Vardi, R

[Hol-info] Call for Presentations: VardiFest22

/?conf=vardifest22 ORGANIZERS: Giuseppe De Giacomo (Sapienza Univ. Rome, Italy) Kuldeep S. Meel (National University of Singapore) Kristin Yvonne Rozier (Iowa State University, Ames, Iowa) View this Call in EasyChair: https://easychair.org/cfp/vardifest22