Atlas home || Conferences | Abstracts | about Atlas
Host: Jagiellonian University
Homepage: http://www.ii.uj.edu.pl/zpi/tlca2001/
Email: tlca2001@ii.uj.edu.pl
Organizers: Institute of Computer Science of Jagiellonian, University, and, Institute of Informatics of Warsaw University.
Deadline for abstracts: October 09, 2000
Description:
Typical areas include, but are not limited to:
Proof theory: Natural Deduction and Sequent Calculi, Cut elimination and Normalization, Computational interpretations of Classical Logic, Linear Logic and Proof Nets, Bounded systems capturing complexity classes
Semantics: Denotational semantics, Operational semantics, Game semantics, Realizability, Categorical models, Logical Relations
Implementation: Abstract machines, Parallel execution, Optimal Reduction
Types: Polymorphism, Dependent types, Subtypes
Programming: Foundational aspects of functional programming, Proof search and logic programming, Connections between and combinations of functional and logic programming, Type checking
Submitted by: Marek Zaionc
Date received: September 21, 2000, revised December 21, 2000
© 2008 Atlas Conferences Inc.