Twitter Feed
@CSatETH ("ETH CS Department") wrote:
Professor @Ralf Jung will receive the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation from the @eatcs_secretary. Congratulations!
The award will be presented at the @ICALPconf in July.
#programlogics #ICALP2023
https://bit.ly/4267wNv