Event Categories
- Name
- Deadline
- Farbe
- Red
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Deadline for registration in LSF | Scheduled | 25.11.2024 | N/A | Yes |
|
Logical Reasoning for Program Verification and Synthesis
Rayna Dimitrova