GPU-based parallelism for ASP-solving
Andrea Formisano is an associate professor of computer science in the Department of Mathematics and Computer Science at the University of Perugia, Italy.
He received his Ph.D. in Computer Science from the University `La Sapienza‘ of Rome in 2000. His main research interests include computational logics, automated reasoning, knowledge representation and non-monotonic reasoning, multi-agent systems, GPU-computing.
A Process Calculus for Formally Verifying Blockchain Consensus Protocols
Wolfgang Jeltsch came into contact with functional programming as an undergraduate and has been using it extensively in research, development, and teaching ever since. For many years he pursued research on functional reactive programming (FRP), in particular about its efficient and type-safe implementation, its semantics, and its close connection to temporal logic. Currently he is working on high-assurance implementations of blockchain consensus protocols based on Haskell and Isabelle/HOL.
He earned a PhD in computer science from Brandenburg University of Technology, Cottbus in 2012. He is part of Well-Typed, working as a consultant for blockchain company IOHK.
20:30 Get-together (self-payment)
9:00-10:00 Invited Talk
Wolfgang Jeltsch: A Process Calculus for Formally Verifying Blockchain Consensus Protocols
Tomi Janhunen, Michael Sioutis: Allen’s Interval Algebra Makes the Difference
Ke Liu, Sven Loeffler, Petra Hofstedt: Exploring Properties of Icosoku by Constraint Satisfaction Approach
Sven Loeffler, Ke Liu, Petra Hofstedt: The Regularization of Small Sub-Constraint Satisfaction Problems
Janis Voigtländer: Free Theorems Simply, via Dinaturality
14:30-18:00 Excursion to the Spreewald
9:00-10:00 Invited Talk
Andrea Formisano: GPU-based parallelism for ASP-solving
Mario Wenzel, Stefan Brass: Declarative Programming for Microcontrollers – Datalog on Arduino
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke: Towards Constraint Logic Programming over Strings for Test Data Generation
Armin Wolf: Modular Modeling and Optimized Scheduling of Building Energy Systems based on Mixed Integer Programming
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby: ICurry
Michael Hanus, Finn Teegen: Adding Data to Curry
Jan C. Dageförde, Finn Teegen: Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Daniel Weidner, Martin Atzmueller, Dietmar Seipel: Finding Maximal Non–Redundant Association Rules in Tennis Data
Paulo Quaresma, Vitor Nogueira, Kashyap Raiyani, Roy Bayot: From Textual Information Sources to Linked Data in the Agatha Project
17:00 Guided city tour
Martin Atzmueller, Cicek Guven, Dietmar Seipel: Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations
Al Haider, Dilhan Thilakarathne, Joost Bosman: Solving Financial Regulatory Compliance Using Software Contracts
Juan Carlos Saenz-Carrasco: FunSeqSet: Towards a purely functional data structure for the linearisation case of dynamic trees problem
Baltasar Trancón Y Widemann, Markus Lepper: Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation
Vít Šefl: Performance Analysis of Zippers
Christoph Wernhard: PIE – Proving, Interpolating and Eliminating on the Basis of First-Order Logic
Jana Kittelmann, Christoph Wernhard: KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing