finite-model-theory

Download

finite-model-theory@lists.rwth-aachen.de

May 2024

11 participants
12 discussions

NFM 2024 — Call for Participation
by Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC] 06 May '24

06 May '24

NFM 2024 — Call for Participation 16th NASA Formal Methods Symposium (NFM) June 4–6, 2024 NASA Ames Research Center, Moffett Field, California, United States https://conf.researchr.org/home/nfm-2024 ---------------------------------------------------------------------------- * There is no registration fee! * The NASA Formal Methods (NFM) Symposium is an annual forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for safety critical systems. NFM 2024 will be held June 4—6, 2024 at the NASA Ames Research Center in Moffett Field, California, USA. The symposium features presentation sessions on Advances in Solver technology, Formal Methods for Program Analysis and Verification, SMT-based Assurance of Behavioral Specifications, Formal Methods for Learning-enabled Systems, Formal Methods for Automotive Systems, Formal Methods for Robotics, and Formal Methods for Software Engineering. There will also be a tool demonstration session and panel discussion on trusted autonomy. Keynote Speakers "Autonomy Challenges for Future NASA Science and Exploration Missions." Dr. Butler Hine, Project Manager for the HelioSwarm mission, NASA "Formal Verification and Run-time Monitoring for Learning-Enabled Autonomous Systems." Dr. Corina Pasareanu, ACM Distinguished Scientist, NASA Ames and CMU "Safety under uncertainty: Automotive standards for AI safety and research perspectives." Dr. Simon Burton, Chair of Systems Safety at University of York Panel Session The topic of the discussion will be Trusted Autonomy, chaired by Dr. Guillaume Brat, NASA Ames Research Center. Panelists: Dr. Huafeng Yu (Senior Scientist from US Department of Transport) Dr. Jean-Guillaume Durand (Applied Scientist from Xwing) Dr. Marco Pavone (Director of Autonomous Vehicle Research at NVIDIA) Dr. Darren Cofer (Principal Fellow at Collins Aerospace) For more information about the program, please see https://conf.researchr.org/home/nfm-2024#program. Registration There is no registration fee charged to participants. All interested individuals are welcome to attend. However, all attendees must register here: https://conf.researchr.org/info/nfm-2024/registration ---------------------------------------------------------------------------- Conference Chairs: Nathan Benz, Divya Gopinath, Nija Shi Contact: nfm24-chairs(a)lists.nasa.gov

1 0

Lecturer or Senior Lecturer in Algorithms at the University of
by Jonni T Virtema 03 May '24

03 May '24

This is an exciting opportunity for a Lecturer or Senior Lecturer in Algorithms at the University of Sheffield. Working in the Department of Computer Science, you will join our Foundations of Computation (FOX) Group. Its research topics range from the theoretical mathematical foundations that underpin computer science to their applications in real world contexts. Website: https://www.jobs.ac.uk/job/DHG612/lecturer-senior-lecturer-in-algorithms

1 0