SYNASC2021: 23RD INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Room FROM

Virtual room for Working Formal Methods Symposium (FROM)

Sessions

  • Session 9 (Dec 08 11:00-11:50) FROM Invited Talk (1)
  • Session 11 (Dec 08 12:10-12:50) FROM Workshop (1)
  • Session 13B (Dec 08 15:10-16:00) FROM Invited Talk (3)
  • Session 14 (Dec 08 16:20-17:00) FROM Session (2)
  • Session 18B (Dec 09 14:00-14:50) FROM Invited Talk (4)
  • Session 19 (Dec 09 15:10-16:00) FROM Invited Talk (5)
  • Session 21 (Dec 09 16:20-17:00) FROM Session (3) + Round Table
  • Session 24A (Dec 10 11:10-12:30) DIPMAI Workshop