We use cookies to collect statistics

We start using cookies when you continue to another page. You can decline data collection by clicking here. We will use a cookie to remember your choice.

If you wish to avoid cookies altogether, you must disable cookies in your browser settings. However, rejecting all cookies will result in losing some of the functionalities of the website.

Read more about the IT University's use of cookies.

ICALP logo
Skip to content

Last updated on 2014-07-14Conference > Program > Invited Talks > Viktor Kuncak

Viktor Kuncak 

Wednesday 9 July 2014, 8.30–9.30 in AUD1

Viktor Kuncak (EPFL Lausanne). Verifying and Synthesizing Software with Recursive Functions
Chair: Javier Esparza

 

Find this page Online

http://icalp2014.itu.dk/Conference/Program/Invited-Talks/Viktor-Kuncak