Research output per year
Research output per year
Marcelo Fiore, Philip Saville
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
Subtitle of host publication | 24-27 June 2019 - Vancouver |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 1-13 |
Number of pages | 13 |
ISBN (Electronic) | 978-1-7281-3608 |
ISBN (Print) | 978-1-7281-3609-7 |
DOIs | |
Publication status | Published - 5 Aug 2019 |
Event | Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science - Vancouver, Canada Duration: 24 Jun 2019 → 27 Jun 2019 http://lics.siglog.org/lics19/index.php |
Conference | Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science |
---|---|
Abbreviated title | LICS 2019 |
Country/Territory | Canada |
City | Vancouver |
Period | 24/06/19 → 27/06/19 |
Internet address |
Research output: Contribution to conference › Abstract
Saville, P. (Invited speaker) & Fiore, M. (Contributor)
Activity: Academic talk or presentation types › Invited talk
Saville, P. (Invited speaker) & Fiore, M. (Contributor)
Activity: Academic talk or presentation types › Invited talk