SEMANTIC TYPES AND COMPUTER SCIENCE APPLICATIONS OF SEMIGROUPS (XXII Tarragona Seminar on Formal Syntax and Semantics, FS&S)
Vladimir Borschev (Russian Academy of Sciences and University of Massachusetts Amherst)
Barbara Partee (University of Massachusetts Amherst)
Dragos Vaida (University of Bucharest)
April 11-15, 2005
Organized by the Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University, Tarragona, Spain
Sponsored by:
Fulbright Commission
Spanish Ministry for Education and Science
Rovira i Virgili University
PROGRAMME
Monday 11:
11-13: Vaida, Revisiting "Exotic" Structures
Tuesday 12:
11-13: Vaida, Parallel Processes: Algebraic and Formal Languages Approach
Wednesday 13:
11-13: Partee & Borschev, Introduction to Formal Semantics and Compositionality
17-19: Vaida, Partially Additive Semantics of Processes
Thursday 14:
11-13: Partee & Borschev, A Fragment of English. Types and Type Shifting.
More Applications of the Lambda Calculus
17-19: Vaida, Algebra of Guards: A More General Setting
Friday 15:
11-13: Partee & Borschev, Semantic Types and Type-Shifting: NP Interpretations
17-19: Vaida, Guarded Commands Constitute a Boolean Algebra
ADDRESS
Plaza Imperial Tarraco, 1
43005 Tarragona, Spain
CONTACT: carlos.martin@urv.net
WEBSITE: http://www.grlmc.com