32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026)

View Statistics Email Alert RSS Feed

Description

Event name
32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026)
 
Event type
Event for scientific audience
 
Start date
13-04-2026
End date
16-04-2026
 
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Randone, Francesca ; Doz, Romina ; Tribastone, Mirco ; Bortolussi, Luca DeGAS: Gradient-Based Optimization of Probabilistic Programs without SamplingInproceedings Konferenzbeitrag 2026