‹Programming› 2019 (series) / Student Research Competition /
Reading logic as code or as natural language text (short presentation)
Wed 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 11:00 | Oral PresentationStudent Research Competition at Bellini Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden | ||
09:30 15mTalk | Cantor pairing in a reversible programming language (short presentation) Student Research Competition Francesco Rossini University of Turin, Italy | ||
09:45 15mTalk | Reading logic as code or as natural language text (short presentation) Student Research Competition Patrick Rein Hasso Plattner Institute, Germany | ||
10:00 15mTalk | A framework for big-step semantics (short presentation) Student Research Competition Francesco Dagnino DIBRIS, University of Genova, Italy | ||
10:15 15mTalk | RML: Runtime monitoring language (short presentation) Student Research Competition Luca Franceschini DIBRIS, University of Genova, Italy | ||
10:30 15mTalk | BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation) Student Research Competition Yusuke Izawa Tokyo Institute of Technology | ||
10:45 15mTalk | Magritte: A modern shell language (short presentation) Student Research Competition Jeanine Miller Adkisson Tokyo Institute of Technology | ||
