Tel Aviv University research seminar on Programming Languages and Systems.
Joint seminar with
Adam Morrison and
Mooly Sagiv and
Sharon Shoham Buchbinder.
Time: Semesters A and B, Sunday, 12:00–14:00.
Place: Schreiber 309.
Undergraduate course: Compilation.
Time: Semester A, Tuesday, 08:00–11:00.
Place: Dach 002.
Advanced Seminar on Programming Languages and Program Analysis
Topic: Symbolic Execution Tools for Software Testing.
Time: Semester A, Sunday, 09:00–11:00.
Place: Orenstein 102.
Advanced course: Program analysis and verification
Time: Semester B, Monday, 09:00–12:00.
Workshop: Workshop in Programming Languages
Topic: Symbolic Execution.
Time: Semester B, Tuesday, 16:00–18:00.
Place: Kaplun 324.
- © Noam Rinetzky. All rights reserved.