UniCa UniCa News Communication Avviso

Communication

Autore dell'avviso: Dipartimento di Matematica e informatica

26 March 2025
26/03/2025 (aula III, ore 15:00): “Decision Procedures in SAT and SMT: from basics to applications.”, Enrico Lipparini, Università di Cagliari, (seminario del ciclo Seminari ALOPHIS).

---

26/03/2025 (aula III, ore 15:00): “Decision Procedures in SAT and SMT: from basics to applications.”, Enrico Lipparini, Università di Cagliari, (seminario del ciclo Seminari ALOPHIS).

Last notices

See all the notices

Questionnaire and social

Share on:
Impostazioni cookie