Back to Results
First PageMeta Content
Model theory / Logic in computer science / Non-classical logic / Mathematical constructivism / Philosophy of mathematics / Intuitionistic logic / Kripke semantics / Denotational semantics / Propositional calculus / Logic / Mathematical logic / Mathematics


Logic in Milan an informal workshop When: March[removed], 15:00 – 18:00 Where: DSI, Aula Riunioni 2 Piano
Add to Reading List

Document Date: 2010-03-16 04:32:08

Open Document

File Size: 79,30 KB

Share Result on Facebook

City

Milan / Edinburgh / /

IndustryTerm

recognition algorithm / language prototyping tools / type systems / semantic web service compositions / possible applications / search space / fault tolerant protocol / tableau systems / proof search space / /

Person

Guido Fiorino (Bicocca) / Alessandro Avellone (Bicocca) / Marco Gaboardi (Bologna) / Loris Bozzato (Insubria) / Francesco Alberti / Silvio Ghilardi / Camillo Fiorentini / Ben Kavanaugh / /

Position

MCMT Speaker / Speaker / /

ProgrammingLanguage

Lambda Calculus / /

Technology

functional programming / fault tolerant protocol / recognition algorithm / /

URL

http /

SocialTag