IMDEA initiative
Abstract: As the adoption of SOA grows in enterprises and businesses and more and more complex information systems are reworked or...
Abstract: Coding rules are often used in industry to codify software best practises and avoid the many hazardous constructions pre...
Abstract: Co-Logic Programming (co-LP) is a paradigm recently introduced that combines both inductive and coinductive logic progra...
Abstract: Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model c...
Abstract: Church numerals are a functional encoding of natural numbers. In the pure (untyped) lambda calculus, the definition of c...
Abstract: Machine learning (ML) is essentially the field of identifying functions from observed data. For example, we can model re...
Abstract: Program verification environments increasingly rely on hybrid methods that combine static analyses and verification cond...
Abstract: Specification and Verification of imperative programs that manipulate mutable data structures has always been a challeng...
Abstract: The G12 project aims to allow one to model a combinatorial optimization problem in a high level way, independent of the ...
Abstract: Many constraint problems have a considerable number of symmetries. Detecting and breaking these symmetries is a very act...
Abstract: I will be presesting the paper “Discovering Properties about Arrays in Simple Programs” by Nicolas Halbwachs...
Abstract: Due to lack of speaker, I’ll try to improvise a short talk about functional programming and the algebra of program...
Abstract: The standard method to prove confluence of term rewriting system (TRS) is based on the study of joinability of critical ...
Abstract: Writing a language processor from scratch is a daunting task; it requires knowledge of specialised techniques and a cons...
Abstract: Classic techniques for proving termination of a given loop require the identification of a measure (ranking function) th...
Abstract: Existing algorithms for on-line partial evaluation (PE) of logic programs, given an initial program and a description of...
Abstract: Originating from the work of De Morgan (150 years ago!), CSS Peirce and Schröder, and getting its present equational for...
Abstract: Type arithmetic (or type-level computations) are calculations over types. Haskell lacks type-level lambdas and thus, one...
Abstract: In this presentation I will start by giving a brief introduction to the field of Diagrammatic Reasoning. Then I will pre...
Abstract: As two Manuels recently said, Wikipedia pages are never as precise as you want. Yet, probably, most of Wikipedia accesse...
Abstract: In this talk we will report on our experience on using the so-called model-driven security approach in an MDA industrial...
Abstract: Garbage collection (GC) is a form of automatic memory management. The garbage collector, or just collector, attempts to ...
Abstract: Wadler coined the name Expression Problem for the problem of extending data and functions on that data in modular and ty...
Abstract: I will talk about regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability ...
