{"id":403,"date":"2020-08-27T19:18:58","date_gmt":"2020-08-27T19:18:58","guid":{"rendered":"http:\/\/www.cs.ubbcluj.ro\/from2020\/?page_id=403"},"modified":"2020-09-25T21:31:30","modified_gmt":"2020-09-25T21:31:30","slug":"conference-programme","status":"publish","type":"page","link":"https:\/\/www.cs.ubbcluj.ro\/from2020\/conference-programme\/","title":{"rendered":"Conference Programme"},"content":{"rendered":"\n

Conference programme, together with talk abstracts and live recordings for most of the invited talks are available below.<\/p>\n\n\n\n

Day 1: Friday, 4 September 2020<\/h2>\n\n\n\n
10:00 – 10:30 EEST <\/td> Opening Ceremony:
Daniel David<\/em><\/strong>, Rector of Babes-Bolyai University, Cluj-Napoca<\/td><\/tr>
10:30 – 11:10 EEST <\/td>Invited Talk: Specification and Automated Verification for Some Concurrency Mechanisms<\/a><\/strong> (abstract<\/a>, video<\/a>)
Chin Wei Ngan<\/em><\/strong> (short bio<\/a>, webpage<\/a>), National University of Singapore, Singapore<\/td><\/tr>
11:10 – 11:50 EEST <\/td>Invited Talk: Next Generation Lagrangian Reachtubes <\/strong> (abstract<\/a>)
Radu Grosu<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Vienna University of Technology , Austria <\/td><\/tr>
11:50 – 12:30 EEST <\/td> Invited Talk: Deductive Synthesis of Heap-Manipulating Programs: Sound, Expressive, Fast<\/a><\/strong> (abstract<\/a>, video<\/a>)
Ilya Serghei<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Yale-NUS College, Singapore <\/td><\/tr>
12:30 – 13:10 EEST <\/td>Invited Talk: Financial Derivatives as Smart Contracts: challenges, adoption and trust<\/a><\/strong> (abstract<\/a>, video<\/a>)
Andrei Arusoaie<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Alexandru Ioan Cuza University of Iasi, Romania <\/td><\/tr>
13:10 – 13.30 EEST <\/td>Social break<\/em><\/td><\/tr>
13:30 – 14:10 EEST <\/td>Invited Talk: Non-linear interpolant synthesis and its application to program verification<\/a><\/strong> (abstract<\/a>, video<\/a>)
Naijun Zhan<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Institute of Software, Chinese Academy of Sciences, China <\/td><\/tr>
14:10 – 14:50 EEST <\/td>Invited Talk: Modelling for Software Defined Human-Cyber-Physical Systems<\/a><\/strong> (abstract<\/a>, video<\/a>)
Zhiming Liu<\/strong><\/em> (short bio<\/a>, webpage<\/a>), Centre for Research and Innovation in Software Engineering (RISE), Southwest University, Chongqing, China <\/td><\/tr>
14:50 – 15:30 EEST <\/td>Invited Talk: Decidability Problems in Logic-based Knowledge Representation<\/a><\/strong> (abstract<\/a>, video<\/a>)
Sebastian Rudolph<\/strong><\/em> (short bio<\/a>, webpage<\/a>), TU Dresden, Germany<\/td><\/tr>
15:30 – 15:55 EEST <\/td>Regular Paper: Towards a Mechanisation of Polymorphic Lambda Calculus with References in Agda<\/strong>
Radu Ometita<\/em><\/strong> <\/td><\/tr>
15:55 – 16:30 EEST <\/td>Virtual coffee break<\/em><\/td><\/tr>
16:30 – 17:10 EEST <\/td> Invited Talk: Dependable View Update Strategies on Relations<\/a><\/strong> (abstract<\/a>, video<\/a>)
Zhenjiang Hu<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Peking University, China <\/td><\/tr>
17:10 – 17:50 EEST <\/td>Invited Talk: Towards Safety in Learning-enabled Systems: Verification and Design<\/a><\/strong> (abstract<\/a>, video<\/a>)
Chao Huang<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Northwestern University, US <\/td><\/tr>
17:50 – 18:30 EEST <\/td>Invited Talk: Local Reasoning about Parametric and Reconfigurable Component-based systems<\/a><\/strong> (abstract<\/a>, video<\/a>)
Marius Bozga<\/em><\/strong> (short bio<\/a>, webpage<\/a>), VERIMAG, CNRS, France <\/td><\/tr>
18:30 – 18:55 EEST <\/td>Regular Paper: Visual Programming Tools for Increased Productivity in Textual Based Programming Languages<\/strong>
Bogdan-Daniel Balanescu<\/em><\/strong> and Ioan Lazar<\/em><\/strong> <\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Day 2: Saturday, 5 September 2020<\/h2>\n\n\n\n
09:00 – 09:40 EEST<\/td>Invited Talk: Towards Verified Stochastic Variational Inference for Probabilistic Programs<\/a><\/strong> (abstract<\/a>, video<\/a>)
Hongseok Yang<\/em><\/strong> (short bio<\/a>, webpage<\/a>), KAIST, South Korea <\/td><\/tr>
09:40 – 10:20 EEST <\/td>Invited Talk: Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems <\/strong>(abstract<\/a>)
Yang Liu<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Nanyang Technological University, Singapore <\/td><\/tr>
10:20 – 11:00 EEST <\/td>Invited Talk: Towards Verifying Neural Network Fairness<\/a> <\/strong> (abstract<\/a>, video<\/a>)
Jun Sun<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Singapore Management University, Singapore <\/td><\/tr>
11:00 – 11:40 EEST <\/td>Invited Talk: Security of Internet-of-Things Systems: A Perspective of Integration<\/strong> (abstract<\/a>)
Guangdong Bai<\/em><\/strong> (short bio<\/a>, webpage<\/a>), University of Queensland, Australia <\/td><\/tr>
11:40 – 12:00 EEST <\/td> Social break<\/em> <\/td><\/tr>
12:00 – 12:40 EEST <\/td>Invited Talk: Modeling and Verification of Concurrent and Distributed Systems in Mediator<\/a><\/strong> (abstract<\/a>, video<\/a>)
Meng Sun<\/em><\/strong> (short bio<\/a>, webpage<\/a>), Peking University, China <\/td><\/tr>
12:40 – 13:20 EEST <\/td>Invited Talk: Scalable Analysis and Control of Boolean Networks<\/a><\/strong> (abstract<\/a>, video<\/a>)
Jun Pang<\/em><\/strong> (short bio<\/a>, webpage<\/a>), University of Luxembourg, Luxembourg <\/td><\/tr>
13:20 – 14:00 EEST <\/td>Invited Talk: Cyclic Satisfiability Proofs in Separation Logic<\/strong> (abstract<\/a>)
Quang Loc Le<\/em><\/strong> (short bio<\/a>, webpage<\/a>), University College London, UK <\/td><\/tr>
14:00 – 14:40 EEST <\/td>Invited Talk: TBA<\/strong> (abstract<\/a>)
Grigore Rosu<\/em><\/strong> (short bio<\/a>, webpage<\/a>), University of Illinois at Urbana-Champaign, US <\/td><\/tr>
14:40 – 15:20 EEST <\/td>Invited Talk: Software validation: Challenges and opportunities raised by the AI effervescence<\/strong> (abstract<\/a>)  
Ileana Ober<\/em><\/strong> (short bio<\/a>, webpage<\/a>), University Paul Sabatier, Toulouse, France <\/td><\/tr>
15:20 – 15:45 EEST <\/td>Regular Paper: Applying MDE to ROS systems: A comparative analysis<\/strong>
Mickael Trezzy<\/em><\/strong>, Ileana Ober<\/em><\/strong> and Iulian Ober<\/em><\/strong> <\/td><\/tr>
15:45 – 16:10 EEST <\/td>Regular Paper: AlCons: A Synthesizer in Theorema for Sorting Algorithms<\/strong>
Isabela Dramnesc<\/em><\/strong> and Tudor Jebelean<\/em><\/strong> <\/td><\/tr>
16:10 – 16:35 EEST <\/td>Regular Paper: Type Inference for Python Programs<\/strong>
Andrei Nacu<\/em><\/strong> <\/td><\/tr>
16:35 – 17:40 EEST <\/td> Concluding Discussions <\/strong><\/em> <\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"

Conference programme, together with talk abstracts and live recordings for most of the invited talks are available below. Day 1:… <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/403"}],"collection":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/comments?post=403"}],"version-history":[{"count":76,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/403\/revisions"}],"predecessor-version":[{"id":620,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/403\/revisions\/620"}],"wp:attachment":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/media?parent=403"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}