https://lara.epfl.ch/w/ 2026-06-09T08:40:43+0200 https://lara.epfl.ch/w/ https://lara.epfl.ch/w/lib/tpl/epflv2/images/favicon.ico text/html 2025-02-17T20:54:06+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/cc?rev=1739822046&do=diff Computer Language Processing ---------- Spring 2025 page is here: <https://gitlab.epfl.ch/lara/cs320/> ---------- Examples of old course pages: * Fall 2022 * Fall 2021 * Fall 2020 text/html 2023-08-28T21:31:57+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/start?rev=1693251117&do=diff Scientific Staff See also the official list of past and current PhD students and automatically generated administrative page of the group. Support Academic Alumni Joining LARA and EPFL IC Information on joining and collaborating with LARA: * About IC * for postdoc positions, email Viktor Kuncak and check EPFL Fellows program ([PDF document]) * PhD Positions and information about EPFL * [Slides from a Seminar for Starting PhD Students] (September 2009, somewhat context-specif… text/html 2021-10-29T19:04:42+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/fv?rev=1635527082&do=diff EPFL Course: Formal Verification, CS-550 ---------- The 2021 onwards page: <https://gitlab.epfl.ch/lara/cs550/> ---------- Old pages: Formal Verification 2020, Formal Verification 2019, and other web pages from 2008 onwards with hidden gems of wisdom. text/html 2021-10-27T11:25:16+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/projects?rev=1635326716&do=diff Available Student Projects in LARA - EPFL Internal Page General LARA Projects Suggestions: <https://gitlab.epfl.ch/kuncak/student-projects/> In Spring 2022 we will accept only a limited number of semester projects of students who took Computer Language Processing or Formal Verification, because Viktor Kuncak is on a sabbatical. text/html 2020-12-06T11:13:05+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Agraalvm-ieee.pdf&ns=cc20&rev=1607249585&tab_details=history&mediado=diff&do=media text/html 2020-11-23T02:02:05+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Alec11-02.pdf&ns=cc20&rev=1606093325&tab_details=history&mediado=diff&do=media text/html 2020-11-23T02:01:35+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Alec11-01.pdf&ns=cc20&rev=1606093295&tab_details=history&mediado=diff&do=media text/html 2020-11-19T01:01:11+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Alec08-01.pdf&ns=fv20&rev=1605744071&tab_details=history&mediado=diff&do=media text/html 2020-11-16T21:24:39+0200 jad (jad@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Alabs04-solutions.tar.gz&ns=fv20&rev=1605558279&tab_details=history&mediado=diff&do=media text/html 2020-11-14T00:21:41+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Aannot-lec10-01.pdf&ns=cc20&rev=1605309701&tab_details=history&mediado=diff&do=media text/html 2020-11-14T00:21:09+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Alec10-01.pdf&ns=cc20&rev=1605309669&tab_details=history&mediado=diff&do=media text/html 2020-11-13T14:11:49+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Ahuffmansalgorithm.pdf&ns=fv20&rev=1605273109&tab_details=history&mediado=diff&do=media text/html 2020-11-12T14:33:40+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Afastsimplexdpllt.pdf&ns=fv20&rev=1605188020&tab_details=history&mediado=diff&do=media text/html 2020-11-12T14:25:43+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Avampirepaper.pdf&ns=fv20&rev=1605187543&tab_details=history&mediado=diff&do=media text/html 2020-11-12T14:24:19+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Afirstordervampire.pdf&ns=fv20&rev=1605187459&tab_details=history&mediado=diff&do=media text/html 2020-11-09T00:23:57+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Aannot-lec09-03.pdf&ns=cc20&rev=1604877837&tab_details=history&mediado=diff&do=media text/html 2020-11-08T16:37:19+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Aannot-lec09-02.pdf&ns=cc20&rev=1604849839&tab_details=history&mediado=diff&do=media text/html 2020-11-08T00:08:00+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=cc20%3Aannot-lec09-01.pdf&ns=cc20&rev=1604790480&tab_details=history&mediado=diff&do=media text/html 2020-11-06T14:28:44+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Asemanticsprogresstm.pdf&ns=fv20&rev=1604669324&tab_details=history&mediado=diff&do=media text/html 2020-11-06T11:41:18+0200 vkuncak (vkuncak@undisclosed.example.com) https://lara.epfl.ch/w/?image=fv20%3Acombiningws1sandhol.pdf&ns=fv20&rev=1604659278&tab_details=history&mediado=diff&do=media