FLOPS 2012: Program
May 23 (Wed)
May 23 (Wed) | |
---|---|
08:30 | Shuttle bus leaves Kobe Tokyu Inn Hotel to conference venue |
09:00–09:50 | Registration |
09:50–10:00 | Opening |
10:00–11:00 | Invited talk (Chair: Naoyuki Tamura) |
Automated Verification of Higher-order Functional Programs | |
Tachio Terauchi | |
11:00–11:30 | Regular talk (Chair: Naoyuki Tamura) |
Mutual Exclusion by Interpolation | |
Jael Kriener and Andy King | |
11:30–13:00 | Lunch |
13:00–15:00 | Regular talks (Chair: Michael Codish) |
A Data Flow Calculus for Hybrid Query and Programming Languages | |
Kristoffer Rose, Lionel Villard and Naoto Sato | |
Exact Flow Analysis by Higher-Order Model Checking | |
Yoshihiro Tobita, Takeshi Tsukada and Naoki Kobayashi | |
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell | |
Makoto Hamana | |
Real-time Persistent Queues and Deques with Logic Variables (Declarative Pearl) | |
Gerlof Bouma | |
15:00–15:30 | Coffee Break |
15:30–17:30 | Regular talks (Chair: Naoki Kobayashi) |
Call-by-value solvability, revisited | |
Beniamino Accattoli and Luca Paolini | |
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom | |
Yoichi Hirai | |
A Call-by-Name CPS Hierarchy | |
Asami Tanaka and Yukiyoshi Kameyama | |
Computing in Cantor's Paradise with λZFC | |
Neil Toronto and Jay McCarthy | |
17:45 | Shuttle bus leaves conference venue to Kobe Tokyu Inn Hotel |
18:30–20:30 | SC/PC Meeting at Rokkomichi |
May 24 (Thu)
May 24 (Thu) | |
---|---|
08:30 | Shuttle bus leaves Kobe Tokyu Inn Hotel to conference venue |
09:00–10:00 | Invited talk (Chair: Tom Schrijvers) |
Programming with Boolean Satisfaction | |
Michael Codish | |
10:00–10:30 | Coffee Break |
10:30–11:30 | Regular talks (Chair: Jacques Garrigue) |
Iteratees: System Description | |
Oleg Kiselyov | |
Explicit binds: effortless efficiency with and without trees | |
Tarmo Uustalu | |
11:30–13:00 | Lunch |
13:00–14:00 | Regular talks (Chair: Zhenjiang Hu) |
Parallel Computation Skeletons with Premature Termination Property | |
Oleg Lobachev | |
Calculational Developements of New Parallel Algorithms for Size-constrained Maximum-Sum Segment Problems | |
Akimasa Morihata | |
14:15 | Bus leaves conference venue to Hyoe Koyokaku in Arima Onsen |
15:00–18:30 | Excursion at Arima Onsen (please enjoy free time by shopping or sightseeing in Arima) |
18:30–20:30 | Banquet at Hyoe Koyokaku in Arima Onsen |
20:45 | Bus leaves Hyoe Koyokaku to Kobe Tokyuu Inn Hotel |
May 25 (Fri)
May 25 (Fri) | |
---|---|
08:30 | Shuttle bus leaves Kobe Tokyu Inn Hotel to conference venue |
09:00–10:00 | Invited talk (Chair: Peter Thiemann) |
Dependently-typed programming in GHC | |
Stephanie Weirich | |
10:00–10:30 | Coffee Break |
10:30–11:30 | Regular talks (Chair: Katsutoshi Hirayama) |
A General Implementation Framework for TCLP | |
Pablo Chico De Guzmán, Manuel Carro, Manuel Hermenegildo and Peter Stuckey | |
Coinductive Constraint Logic Programming | |
Neda Saeedloei and Gopal Gupta | |
11:30–13:00 | Lunch |
13:00–14:30 | Regular talks (Chair: Yukiyoshi Kameyama) |
Normal Form Bisimulations for Delimited-Control Operators | |
Dariusz Biernacki and Sergueï Lenglet | |
Classical call-by-need sequent calculi: The unity of semantic artifacts | |
Zena Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata and Alexis Saurin | |
Declarative Debugging of Wrong and Missing Answers for SQL Views | |
Rafael Caballero, Yolanda García-Ruiz and Fernando Saenz-Perez | |
14:30–15:00 | Coffee Break |
15:00–17:00 | Regular talks (Chair: Hiroshi Hosobe) |
The Finite Domain Constraint Solver of SWI-Prolog | |
Markus Triska | |
Improving the Performance of FD Constraint Solving in a CFLP System | |
Ignacio Castiñeiras and Fernando Sáenz-Pérez | |
Extending the TOY System with the ECLiPSe Solver over Sets of Integers | |
Sonia Estévez-Martín, Jesús Correas Fernández and Fernando Saenz-Perez | |
Compiling a Functional Logic Language: The Basic Scheme | |
Sergio Antoy and Arthur Peters | |
17:00–17:10 | Closing |
17:30 | Shuttle bus leaves conference venue to Kobe Tokyu Inn Hotel |
Date: 2012-05-28 16:26:27 JST
HTML generated by org-mode 6.34c in emacs 22