room Arrabida
Alfândega Porto Congress Centre (APCC)
Sessions
- Session 1 (Oct 08 10:30-11:00) Opening and Homage
- Session 2 (Oct 08 11:00-11:15) Software Engineering
- Session 3 (Oct 08 11:15-12:30) Formal Methods and Tools
- Session 4 (Oct 08 14:00-14:30) Requirements Engineering / Natural Language Processing
- Session 5 (Oct 08 14:30-15:00) Software Product Lines
- Session 6 (Oct 08 15:30-16:45) Formal Verification
- Session 7 (Oct 08 17:15-17:45) Applications
- Session 8 (Oct 08 17:45-18:15) Homages and Closing