FM24: 26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Room 3.0.2

Room details (which includes links to a map with the position of the room, instructions on how to reach the room, and photos of the room)

Sessions

  • Session 2C (Sep 09 10:50-12:30) FACS: Opening, Research papers
  • Session 5C (Sep 09 15:50-17:30) FACS: Invited talk, research papers
  • Session 8C (Sep 10 10:50-12:30) FACS: Invited talk
  • Session 11C (Sep 10 15:50-17:30) FACS: Research papers, closing
  • Session 14C (Sep 11 10:50-12:30) FMICS: Neural Networks