• No matches found
  • No matches found
  • No matches found
Thumbnail

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

Start date: 03.08.2023 15:00 16:00

Speaker: Prof. Meng Xu, Cheriton School of Computer Science, University of Waterloo, Canada Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Call for Applications - PhD Workshop - Beyond Search: Opening Up Audiovisual Content for Humanities Studies

Start date: 03.08.2023 End date: 31.08.2023

Speaker: Prof. Marina Hassapopoulou (New York University), Ingrid Mason (National Film and Sound Archive of Australia), … Location: Category: Call for proposal
Target audience: Informed public

Thumbnail

Machine Learning Methods for Solving Partial Differential Equations

Start date: 04.08.2023 10:00 12:00

Speaker: Anand George Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Fulbright Foreign Student Program 2024/2025

Start date: 04.08.2023

Category: Call for proposal
Target audience: General public

Thumbnail

Fulbright Visiting Scholar Program 2024/2025

Start date: 04.08.2023

Category: Call for proposal
Target audience: General public

Thumbnail

Collaborative Estimation

Start date: 07.08.2023 10:00 12:00

Speaker: Yunzhen Yao Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Algorithms for Online and Stochastic Combinatorial Problems

Start date: 08.08.2023 15:00 17:00

Speaker: Miltiadis Stouras Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Information & Networking Event: Call for Joint Initiatives in the Strategic Area "Advanced Materials & Key Technologies"

Start date: 09.08.2023

Category: Conferences - Seminars
Target audience: General public

Thumbnail

Decoding Strategies for Large Language Models

Start date: 10.08.2023 14:00 16:00

Speaker: Saibo Geng Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Symbolic representation learning

Start date: 11.08.2023 13:00 15:00

Speaker: Mohammad Hossein Amani Location: Category: Conferences - Seminars
Target audience: General public