"Verifying and Synthesizing Software with Recursive Functions" 2nd invited talk from the ICALP 2014 conference hosted by the IT University of Copenhagen. This live talk aired the 9th of July, 2014. <a href="http://video.itu.dk/photo/10044793/icalp-2014-viktor-kuncak"><img src="http://video.itu.dk/9826383/10044793/64173a4030399d88263eba192f6d370f/standard/download-3-thumbnail.jpg" width="600" height="338"/></a>

"Verifying and Synthesizing Software with Recursive Functions" 2nd invited talk from the ICALP 2014 conference hosted by the IT University of Copenhagen. This live talk aired the 9th of July, 2014.

"Verifying and Synthesizing Software with Recursive Functions" 2nd invited talk from the ICALP 2014 conference hosted by the IT University of Copenhagen. This live talk aired the 9th of July, 2014. <a href="http://video.itu.dk/photo/10044793/icalp-2014-viktor-kuncak" rel="noopener noreferrer"></a>

ICALP 2014: Viktor Kuncak

Be inspired and get a sense of the diversity of research conducted at the IT University of Copenhagen by subscribing to this podcast.

Share ICALP 2014: Viktor Kuncak

Sign up to save your podcasts

ICALP 2014: Viktor Kuncak

ICALP 2014: Viktor Kuncak