Arrabida
Sessions
- Session 2B (Oct 09 10:30-12:30) Synthesis Techniques
- Session 4A (Oct 09 15:30-17:00) Concurrency
- Session 8B (Oct 10 10:30-12:30) Analysis Techniques 1
- Session 11B (Oct 11 10:30-12:30) Specification Languages
- Session 12A (Oct 11 14:00-15:30) Reasoning Techniques
- Session 14A (Oct 11 16:00-17:30) Learning-Based Techniques and Applications