|
Ref
|
Y/S
|
Module
|
Institution
|
Contact
|
Topics/Langs/Tools
|
|---|
|
ascg-01
|
|
Action Semantics and Compiler Generation
|
Aarhus
|
P.D. Mosses
|
AS
,
Actress
,
RAT
,
RML
|
|
dSprog Sem
|
|
Programming Languages and Formal Semantics
|
Aarhus
|
P.D. Mosses
|
FP
,
FS
,
Prolog
,
SML
|
|
|
|
Program Quality Verification
|
Bologna
|
C. Laneve
|
AbsI
,
TT
,
TrL
|
|
|
|
Semantics of Programming Languages
|
Bremen
|
L. Schröder
|
FS
|
|
4BA1
|
|
Information Systems (part II)
|
Dublin
|
M. Airchinnigh
|
FS
,
IVDM
,
MPC
|
|
SWT
|
3
|
Software Technology
|
Graz
|
B.K. Aichernig
|
FPT
,
FS
,
VDMSL
,
VDMT
|
|
02268
|
S7-S9
|
Formal Aspects of Software Engineering II
|
Lyngby
|
D. Bjørner
|
ASe
,
FS
,
RAISEtools
,
RSL
|
|
|
|
Programming Language Semantics
|
T.U. München
|
T. Nipkow
|
ATP
,
FS
,
HL
,
Isabelle
,
TT
|
|
AOPS
|
|
Application-Oriented Program Semantics
|
Oxford
|
J. Sanders
|
FS
|
|
TC
|
4
|
Theory of Computation
|
Porto
|
M. Florido
|
DMat
,
FS
,
Haskell
,
LamC
,
Prolog
,
TT
|
|
|
MSc
|
Foundations of Abtract Interpretation
|
Paris VII (et al)
|
P. Cousot
|
AbsI
|
|
|
|
Foundations of Informatics: Semantics A
|
Pisa
|
U. Montanari
|
FS
|
|
|
4/5
|
Spécifications Formelles
|
Poitiers
|
E. Andres (contact)
|
B
,
FPT
,
FS
|
|
|
|
Formal methods in informatics
|
Roma
|
A. Labella
|
ASe
,
FixP
,
ScTD
|
|
|
|
Paradigmi di Programmazione
|
Roma
|
P. Cenciarelli
|
FPT
,
FS
,
HL
,
LamC
,
PolyT
,
SML
,
TT
|
|
|
|
Foundations of Informatics (semantics)
|
Torino
|
M. Ciancaglini
|
FS
,
LamC
,
TT
|
|
|
3/4
|
Functional programming in Standard ML
|
Warsaw
|
A. Tarlecki
|
FOL
,
FP
,
FPT
,
FS
,
Haskell
,
LamC
,
SML
|
|
|
|
Semantics and Specifications
|
Warsaw
|
A. Tarlecki
|
FS
,
HL
|
