?prevdifflink? - Blame
values
a: FMESOE = mk_FMESOE(
{ "SF" |->
mk_Course(
[ ],
[ ],
"SF",
"bordeaux",
{ "griffaul" },
{ },
{ },
{ } ),
"dt" |->
mk_Course(
"DTS",
[ ],
"dt",
"oucl",
{ "reed" },
{ "PiC",
"ScTD" },
{ },
{ } ),
"lc" |->
mk_Course(
"LC",
[ ],
"lc",
"oucl",
{ "aKer" },
{ "FP",
"LamC" },
{ },
{ } ),
"mi" |->
mk_Course(
"MFP-I",
"4",
"mi",
"umuk",
{ "jno" },
{ "AoP",
"FPT",
"MPC" },
{ "VDMSL" },
{ "VDMT" } ),
"ACT" |->
mk_Course(
"ACT",
"M",
"ACT",
"softengox",
{ "J. Davies" },
{ },
{ "CSP" },
{ "FDR" } ),
"ASD" |->
mk_Course(
"ASD",
"M",
"ASD",
"softengox",
{ "J. Davies" },
{ "RC",
"DRef" },
{ "Z" },
{ } ),
"CDS" |->
mk_Course(
"CDS",
"M",
"CDS",
"softengox",
{ "J. Davies" },
{ },
{ "CSP" },
{ "FDR" } ),
"FPR" |->
mk_Course(
"FPR",
"M",
"FPR",
"softengox",
{ "J. Gibbons" },
{ "FP" },
{ "Haskell" },
{ "Hugs",
"Gofer" } ),
"FS2" |->
mk_Course(
[ ],
[ ],
"FS2",
"unipi",
{ "monta" },
{ "TT",
"LamC" },
{ },
{ } ),
"FSe" |->
mk_Course(
[ ],
[ ],
"FSe",
"unipi",
{ "monta" },
{ "FS" },
{ },
{ } ),
"MAS" |->
mk_Course(
"MAS",
"M",
"MAS",
"softengox",
{ "J. Davies" },
{ },
{ "B" },
{ "Btlk" } ),
"SDE" |->
mk_Course(
"SDE",
"M",
"SDE",
"softengox",
{ "AndrewMartin" },
{ },
{ "Z" },
{ "FuZZ" } ),
"SEM" |->
mk_Course(
"SEM",
"M",
"SEM",
"softengox",
{ "AndrewMartin" },
{ "DMat" },
{ "Z" },
{ } ),
"aop" |->
mk_Course(
"SS03",
[ ],
"aop",
"bremen",
{ "till" },
{ "FP",
"AoP" },
{ "Haskell" },
{ } ),
"asd" |->
mk_Course(
"CO7205",
[ ],
"asd",
"le",
{ "jose" },
{ "SA" },
{ "Unity" },
{ "CommUnity" } ),
"dis" |->
mk_Course(
"CS126",
"1",
"dis",
"war",
{ "russ" },
{ "ADT" },
{ },
{ } ),
"fmi" |->
mk_Course(
"IFM-CA",
"MSc 1-2",
"fmi",
"nantes",
{ "Attiogbe" },
{ "PA",
"MPS" },
{ "B",
"CCS",
"CSP" },
{ } ),
"fmp" |->
mk_Course(
"CSC230",
"2",
"fmp",
"newcastle",
{ "LjSteggles" },
{ },
{ "VDMSL" },
{ "VDMT" } ),
"fpi" |->
mk_Course(
"FP1",
"1",
"fpi",
"gla",
{ "rwi" },
{ "FPT" },
{ },
{ } ),
"fps" |->
mk_Course(
[ ],
[ ],
"fps",
"edinburgh",
{ "dts" },
{ },
{ "SML",
"xML" },
{ } ),
"fss" |->
mk_Course(
"CSC227",
"2",
"fss",
"newcastle",
{ "SteveRiddle" },
{ },
{ "VDMSL" },
{ "VDMT" } ),
"gse" |->
mk_Course(
[ ],
[ ],
"gse",
"muenchen",
{ "wirsing" },
{ "MC",
"ADT",
"FPT",
"LTL",
"TLA" },
{ "Z" },
{ "CASL",
"SPIN" } ),
"mfi" |->
mk_Course(
"MFIEng",
"5",
"mfi",
"valencia",
{ "alpuente" },
{ "MC",
"PV" },
{ },
{ } ),
"mii" |->
mk_Course(
"MFP-II",
"4",
"mii",
"umuk",
{ "jno" },
{ "AoP",
"MPC",
"DRef" },
{ "VPP",
"VDMSL" },
{ "VDMT" } ),
"mpi" |->
mk_Course(
"MP-I",
"2",
"mpi",
"umuk",
{ "jno" },
{ "FP",
"AoP" },
{ "Haskell" },
{ "GHC",
"Hugs" } ),
"rap" |->
mk_Course(
"141@",
"1",
"rap",
"ic",
{ "kb" },
{ "FPT" },
{ },
{ } ),
"sse" |->
mk_Course(
"CS L3",
"S2",
"sse",
"sbu",
{ "ali" },
{ },
{ "Z",
"CSP",
"Haskell" },
{ } ),
"vis" |->
mk_Course(
[ ],
"MSc",
"vis",
"parisVIIetAl",
{ "phs" },
{ "PV",
"Petri" },
{ },
{ } ),
"MFIL" |->
mk_Course(
[ ],
[ ],
"MFIL",
"bordeaux",
{ "griffaul" },
{ },
{ },
{ } ),
"SEMi" |->
mk_Course(
[ ],
"4",
"SEMi",
"polimi",
{ "pierluigi" },
{ "MC",
"Petri" },
{ },
{ "SPIN" } ),
"SEii" |->
mk_Course(
"31P6",
[ ],
"SEii",
"stirling",
{ "sma" },
{ },
{ "Z" },
{ } ),
"aops" |->
mk_Course(
"AOPS",
[ ],
"aops",
"oucl",
{ "jeff" },
{ "FS" },
{ },
{ } ),
"ascg" |->
mk_Course(
"ascg-01",
[ ],
"ascg",
"au",
{ "pdm" },
{ "AS" },
{ },
{ "RAT",
"RML",
"Actress" } ),
"fmks" |->
mk_Course(
[ ],
[ ],
"fmks",
"berlin",
{ "padberg" },
{ "Petri" },
{ },
{ } ),
"fois" |->
mk_Course(
[ ],
[ ],
"fois",
"unito",
{ "dezani" },
{ "FS",
"TT",
"LamC" },
{ },
{ } ),
"fpdi" |->
mk_Course(
"FPD-I",
[ ],
"fpdi",
"oucl",
{ "gJones" },
{ "ARef" },
{ },
{ } ),
"icad" |->
mk_Course(
[ ],
"4",
"icad",
"istUtl",
{ "rgc" },
{ },
{ "Z",
"LOTOS" },
{ } ),
"malg" |->
mk_Course(
[ ],
"2",
"malg",
"uhp",
{ "mery" },
{ "FP",
"FPT" },
{ "SML" },
{ } ),
"mofm" |->
mk_Course(
"MSF-CA",
"MSc",
"mofm",
"nantes",
{ "Attiogbe" },
{ },
{ "B",
"Z" },
{ "ZTC",
"ZANS",
"ZEVES",
"AtelierB" } ),
"mpiv" |->
mk_Course(
"MP-IV",
"3",
"mpiv",
"umuk",
{ "lsb" },
{ "PA",
"PiC" },
{ "CCS" },
{ "CWB",
"PicT" } ),
"msfb" |->
mk_Course(
" ",
" ",
"msfb",
"nantes",
{ "habrias" },
{ },
{ "B" },
{ } ),
"ooti" |->
mk_Course(
"OOTI",
[ ],
"ooti",
"tue",
{ "evink" },
{ "MC",
"PV" },
{ "JML" },
{ "ESCJava" } ),
"rapm" |->
mk_Course(
"CS1112",
"1",
"rapm",
"man",
{ "lau" },
{ "FOL",
"FPT" },
{ },
{ } ),
"seII" |->
mk_Course(
[ ],
[ ],
"seII",
"polimi",
{ "ghezzi" },
{ "MC",
"TFM" },
{ },
{ "SPIN",
"Alloy" } ),
"smsi" |->
mk_Course(
[ ],
"5/ MSc",
"smsi",
"uhp",
{ "mery" },
{ "DMat" },
{ "B" },
{ } ),
"teks" |->
mk_Course(
"TEKS",
[ ],
"teks",
"bremen",
{ "luth" },
{ "MC",
"ADT" },
{ "CSP",
"CASL" },
{ "FDR",
"Isabelle" } ),
"vauc" |->
mk_Course(
"V03",
"MSc",
"vauc",
"auc",
{ "kgl" },
{ "BDD",
"CTL",
"LTL" },
{ },
{ "SPIN",
"UPPAAL" } ),
"2IF40" |->
mk_Course(
"2IF40",
"4.2",
"2IF40",
"tue",
{ "wsinrpn" },
{ "ATP" },
{ },
{ } ),
"2M920" |->
mk_Course(
"2M920",
"2/3",
"2M920",
"tue",
{ "baeten" },
{ "PA" },
{ },
{ } ),
"2R440" |->
mk_Course(
"2R440",
"4",
"2R440",
"tue",
{ "baeten" },
{ },
{ },
{ } ),
"CM140" |->
mk_Course(
"CM140",
"1",
"CM140",
"soton",
{ "mjb" },
{ "PV" },
{ "Z" },
{ "ZTC" } ),
"CM314" |->
mk_Course(
"CM314",
"3",
"CM314",
"soton",
{ "mjb" },
{ "RefB",
"Safety" },
{ "B" },
{ "Btlk" } ),
"CO508" |->
mk_Course(
"CO508",
"BSc 2",
"CO508",
"ukc",
{ "rdl" },
{ },
{ "Z" },
{ "CADiZ" } ),
"CO515" |->
mk_Course(
"CO515",
"BSc 2",
"CO515",
"ukc",
{ "jd" },
{ "FP",
"FOL",
"FPT" },
{ "Z" },
{ } ),
"CO610" |->
mk_Course(
"CO610",
"BSc 3",
"CO610",
"ukc",
{ "EABoiten" },
{ },
{ "SDL",
"ELotos",
"Estelle" },
{ } ),
"CO617" |->
mk_Course(
"CO617",
"BSc 3",
"CO617",
"ukc",
{ "rdl" },
{ "MC" },
{ },
{ "UPPAAL" } ),
"CO861" |->
mk_Course(
"CO861",
"MSc",
"CO861",
"ukc",
{ "hb5" },
{ "MC" },
{ "OZ",
"LOTOS" },
{ "CADP" } ),
"EL208" |->
mk_Course(
"EL208",
"2",
"EL208",
"soton",
{ "mjb" },
{ },
{ "Z" },
{ "ZTC" } ),
"ELINF" |->
mk_Course(
"ELINFO 01A00062",
"1",
"ELINF",
"gent",
{ "boute" },
{ "AoP",
"FPT" },
{ },
{ } ),
"aucSV" |->
mk_Course(
"F01-Dat4",
[ ],
"aucSV",
"auc",
{ "annai" },
{ "PA",
"BDD" },
{ "CCS" },
{ "CWB",
"UPPAAL" } ),
"coalg" |->
mk_Course(
[ ],
[ ],
"coalg",
"bremen",
{ "lschrode" },
{ "PA" },
{ "CCS" },
{ } ),
"elpii" |->
mk_Course(
"702752",
"2",
"elpii",
"umuk",
{ "jba" },
{ "TT",
"LamC" },
{ },
{ } ),
"fmubi" |->
mk_Course(
[ ],
"MSc",
"fmubi",
"ubi",
{ "desousa" },
{ "HL",
"DMat" },
{ "B",
"Ocaml" },
{ "Coq",
"WHY" } ),
"fpdii" |->
mk_Course(
"FPD-II",
[ ],
"fpdii",
"oucl",
{ "bird" },
{ "DRef" },
{ },
{ } ),
"fsdpt" |->
mk_Course(
"FSDPT",
[ ],
"fsdpt",
"dresden",
{ "reichel" },
{ "PA",
"ADT" },
{ "CASL" },
{ } ),
"kees1" |->
mk_Course(
[ ],
"5",
"kees1",
"uleiden",
{ "Jetty Klein" },
{ },
{ },
{ } ),
"kees2" |->
mk_Course(
[ ],
"4",
"kees2",
"uleiden",
{ "---missing4---" },
{ },
{ },
{ } ),
"kees3" |->
mk_Course(
[ ],
"6SP",
"kees3",
"uleiden",
{ "Erik de Vink" },
{ },
{ },
{ } ),
"kees4" |->
mk_Course(
[ ],
"5.7SP",
"kees4",
"uleiden",
{ "Jeanette de Graaf" },
{ },
{ },
{ } ),
"kees5" |->
mk_Course(
[ ],
"7.2SP",
"kees5",
"uleiden",
{ "---missing4---" },
{ },
{ },
{ } ),
"kees6" |->
mk_Course(
"BINLO3",
"3",
"kees6",
"uam",
{ "Y. Venema" },
{ },
{ },
{ } ),
"kees7" |->
mk_Course(
"BINAU3",
"3",
"kees7",
"uam",
{ "Y. Venema" },
{ },
{ },
{ } ),
"kees8" |->
mk_Course(
"BINST3",
"3",
"kees8",
"uam",
{ "I. Bethke" },
{ },
{ },
{ } ),
"kees9" |->
mk_Course(
"MLASC10",
"10",
"kees9",
"uam",
{ "H.W. Zeevat" },
{ },
{ },
{ } ),
"labmf" |->
mk_Course(
"LAB-MF",
"5",
"labmf",
"umuk",
{ "jno" },
{ },
{ "B",
"VPP",
"Alloy" },
{ "VDMT" } ),
"mrsFM" |->
mk_Course(
[ ],
"MSc",
"mrsFM",
"mrs",
{ "abrial" },
{ "MC",
"ASM" },
{ "B" },
{ } ),
"seiic" |->
mk_Course(
"475",
[ ],
"seiic",
"ic",
{ "mrh" },
{ "FPT" },
{ "Alloy" },
{ "Alloy" } ),
"semic" |->
mk_Course(
"302",
[ ],
"semic",
"ic",
{ "mrh" },
{ "FPT" },
{ "Alloy" },
{ "Alloy" } ),
"smluw" |->
mk_Course(
[ ],
"3/4",
"smluw",
"uw",
{ "tarlecki" },
{ "FP",
"FS",
"FOL",
"FPT",
"LamC" },
{ "SML",
"Haskell" },
{ } ),
"ssSem" |->
mk_Course(
[ ],
[ ],
"ssSem",
"uw",
{ "tarlecki" },
{ "FS",
"HL" },
{ },
{ } ),
"sweng" |->
mk_Course(
[ ],
[ ],
"sweng",
"clcam",
{ "lcp" },
{ "ARef" },
{ "Z",
"SML" },
{ } ),
"tcubi" |->
mk_Course(
[ ],
"3",
"tcubi",
"ubi",
{ "desousa" },
{ "FP",
"DMat",
"LamC" },
{ "Ocaml" },
{ "Coq" } ),
"tmlps" |->
mk_Course(
[ ],
[ ],
"tmlps",
"bremen",
{ "lschrode" },
{ "PA",
"TL" },
{ },
{ } ),
"tvauc" |->
mk_Course(
"TOV04",
[ ],
"tvauc",
"auc",
{ "kgl" },
{ "MC",
"PV",
"TFM" },
{ "MSC" },
{ "UPPAAL" } ),
"CS03PV" |->
mk_Course(
"CS03PV",
"3",
"CS03PV",
"kcl",
{ "david" },
{ "MC",
"PV" },
{ "B" },
{ } ),
"CS1ITC" |->
mk_Course(
"CS1ITC",
[ ],
"CS1ITC",
"kcl",
{ "kuag" },
{ },
{ },
{ } ),
"CS2APL" |->
mk_Course(
"CS2APL",
[ ],
"CS2APL",
"kcl",
{ "mz" },
{ "CTL" },
{ },
{ } ),
"CSMMTL" |->
mk_Course(
"CSMMTL",
[ ],
"CSMMTL",
"kcl",
{ "kuag" },
{ "TL" },
{ },
{ } ),
"G53PAL" |->
mk_Course(
"G53PAL",
"3",
"G53PAL",
"nott",
{ "rcb" },
{ "AoP",
"FixP",
"PolyT" },
{ },
{ } ),
"VLSpez" |->
mk_Course(
[ ],
[ ],
"VLSpez",
"olde",
{ "wehrheim" },
{ },
{ "CSP" },
{ "FDR",
"SPIN" } ),
"elpiii" |->
mk_Course(
"ELP-III",
"3",
"elpiii",
"umuk",
{ "jmv" },
{ "MC",
"Petri" },
{ },
{ "INA",
"PEP",
"NuSMV" } ),
"enstMF" |->
mk_Course(
"MF",
"5",
"enstMF",
"enst",
{ "vignes" },
{ },
{ "B",
"Z" },
{ } ),
"faiSPL" |->
mk_Course(
[ ],
"MSc",
"faiSPL",
"parisVIIetAl",
{ "cousot" },
{ "AbsI" },
{ },
{ } ),
"fmroma" |->
mk_Course(
[ ],
[ ],
"fmroma",
"uniroma",
{ "labella" },
{ "ASe",
"FixP",
"ScTD" },
{ },
{ } ),
"infind" |->
mk_Course(
[ ],
"4/5",
"infind",
"polimi",
{ "mezzalira" },
{ "Petri" },
{ },
{ "TRIO" } ),
"kees10" |->
mk_Course(
"MLAAR6",
"6",
"kees10",
"uam",
{ "M. de Rijke" },
{ },
{ },
{ } ),
"kees11" |->
mk_Course(
[ ],
[ ],
"kees11",
"fuams",
{ "J. Rutte" },
{ },
{ },
{ } ),
"kees12" |->
mk_Course(
[ ],
[ ],
"kees12",
"fuams",
{ "F. van Raamsdonk" },
{ },
{ },
{ } ),
"kees13" |->
mk_Course(
[ ],
[ ],
"kees13",
"fuams",
{ "W. Fokkink" },
{ },
{ },
{ } ),
"kees14" |->
mk_Course(
[ ],
[ ],
"kees14",
"fuams",
{ "R. de Vrijer" },
{ },
{ },
{ } ),
"kees15" |->
mk_Course(
[ ],
[ ],
"kees15",
"fuams",
{ "F. van Raamsdonk" },
{ },
{ },
{ } ),
"kees16" |->
mk_Course(
[ ],
[ ],
"kees16",
"fuams",
{ "R. de Vrijer" },
{ },
{ },
{ } ),
"kees17" |->
mk_Course(
[ ],
[ ],
"kees17",
"fuams",
{ "W. Fokkink" },
{ },
{ },
{ } ),
"kees18" |->
mk_Course(
[ ],
[ ],
"kees18",
"fuams",
{ "F. Wiedijk" },
{ },
{ },
{ } ),
"kees19" |->
mk_Course(
[ ],
[ ],
"kees19",
"fuams",
{ "W. Fokkink" },
{ },
{ },
{ } ),
"kees20" |->
mk_Course(
"INFP-3",
"6",
"kees20",
"rugron",
{ "J. Terlauw" },
{ },
{ },
{ } ),
"kees21" |->
mk_Course(
"INPC-03",
"5",
"kees21",
"rugron",
{ "---missing6---" },
{ },
{ },
{ } ),
"kees22" |->
mk_Course(
"INTA-03",
"6",
"kees22",
"rugron",
{ "J. Terlauw" },
{ },
{ },
{ } ),
"kees23" |->
mk_Course(
"INAURUS-03",
"5",
"kees23",
"rugron",
{ "---missing7---" },
{ },
{ },
{ } ),
"kees24" |->
mk_Course(
"INSFCSN-03",
"5 or 10",
"kees24",
"rugron",
{ "---missing8---" },
{ },
{ },
{ } ),
"kees25" |->
mk_Course(
"INFOLV",
"7.5",
"kees25",
"utrecht",
{ "J.J. Meyer" },
{ },
{ },
{ } ),
"kees26" |->
mk_Course(
"INFOGONT",
"7.5",
"kees26",
"utrecht",
{ "J. Fokker" },
{ },
{ },
{ } ),
"kees27" |->
mk_Course(
"INFOAR",
"7.5",
"kees27",
"utrecht",
{ "G. Vreeswijk" },
{ },
{ },
{ } ),
"kees28" |->
mk_Course(
"INFOLAI",
"7.5",
"kees28",
"utrecht",
{ "J. Broersen" },
{ },
{ },
{ } ),
"kees29" |->
mk_Course(
"INFOPC",
"7.5",
"kees29",
"utrecht",
{ "W. Prasetya" },
{ },
{ },
{ } ),
"kees30" |->
mk_Course(
"INFOEIFL",
"7.5",
"kees30",
"utrecht",
{ "A. Dijkstra" },
{ },
{ },
{ } ),
"kees31" |->
mk_Course(
"INFOAPA",
"7.5",
"kees31",
"utrecht",
{ "J. Hage" },
{ },
{ },
{ } ),
"kees32" |->
mk_Course(
"INFOAFP",
"7.5",
"kees32",
"utrecht",
{ "D. Swierstra" },
{ },
{ },
{ } ),
"kees33" |->
mk_Course(
"INFOPV",
"7.5",
"kees33",
"utrecht",
{ "W. Prasetya" },
{ },
{ },
{ } ),
"kees34" |->
mk_Course(
"I00109",
"3",
"kees34",
"nijmegen",
{ "W. Dekkers" },
{ },
{ },
{ } ),
"kees35" |->
mk_Course(
"I00016",
"3",
"kees35",
"nijmegen",
{ "H. Geuvers" },
{ "AL",
"AS" },
{ },
{ } ),
"kees36" |->
mk_Course(
"IDENK1",
"6",
"kees36",
"nijmegen",
{ "H. Wupper" },
{ },
{ },
{ } ),
"kees37" |->
mk_Course(
"I00010",
"6",
"kees37",
"nijmegen",
{ "D. van Leijenhorst" },
{ },
{ },
{ } ),
"kees38" |->
mk_Course(
"I00060",
"6",
"kees38",
"nijmegen",
{ "E. Barendsen" },
{ },
{ },
{ } ),
"kees39" |->
mk_Course(
"I00091",
"6",
"kees39",
"nijmegen",
{ "H. Geuvers" },
{ },
{ },
{ } ),
"kees40" |->
mk_Course(
"I00089",
"6",
"kees40",
"nijmegen",
{ "E. Barendsen" },
{ },
{ },
{ } ),
"kees41" |->
mk_Course(
"I00088",
"6",
"kees41",
"nijmegen",
{ "W. Dekkers" },
{ },
{ },
{ } ),
"kees42" |->
mk_Course(
"I00023",
"6",
"kees42",
"nijmegen",
{ "D. van Leijenhorst" },
{ },
{ },
{ } ),
"kees43" |->
mk_Course(
"I00018",
"6",
"kees43",
"nijmegen",
{ "M. van Eekelen" },
{ },
{ },
{ } ),
"kees44" |->
mk_Course(
"I000111",
"6",
"kees44",
"nijmegen",
{ "W. Dekkers" },
{ },
{ },
{ } ),
"kees46" |->
mk_Course(
"21f80",
"3",
"kees46",
"Tue",
{ "D. Kuiper" },
{ },
{ },
{ } ),
"kees47" |->
mk_Course(
"2z550",
"4",
"kees47",
"Tue",
{ "---missing1---" },
{ },
{ },
{ } ),
"kees48" |->
mk_Course(
"2q205",
"2.9",
"kees48",
"Tue",
{ "L.M.G. Feijs" },
{ },
{ },
{ } ),
"kees49" |->
mk_Course(
"21t20",
"4",
"kees49",
"Tue",
{ "H. Zantema" },
{ },
{ },
{ } ),
"kees50" |->
mk_Course(
"2ia50",
"4",
"kees50",
"Tue",
{ "H.P.J. van k" },
{ },
{ },
{ } ),
"kees51" |->
mk_Course(
"2m240",
"4",
"kees51",
"Tue",
{ "C. Huizing" },
{ },
{ },
{ } ),
"kees52" |->
mk_Course(
"2M920",
"4",
"kees52",
"Tue",
{ "J.C.M. Baeten" },
{ },
{ },
{ } ),
"kees53" |->
mk_Course(
"2iw10",
"4",
"kees53",
"Tue",
{ "D. Kuiper" },
{ },
{ },
{ } ),
"kees54" |->
mk_Course(
"213520",
"5",
"kees54",
"utwente",
{ "R. Langerak" },
{ },
{ },
{ } ),
"kees55" |->
mk_Course(
"211180",
"5",
"kees55",
"utwente",
{ "J. Zwiers" },
{ },
{ },
{ } ),
"kees56" |->
mk_Course(
"213510",
"5",
"kees56",
"utwente",
{ "K.G. van g" },
{ },
{ },
{ } ),
"kees57" |->
mk_Course(
"211109",
"5",
"kees57",
"utwente",
{ "J. Kuper" },
{ },
{ },
{ } ),
"kees58" |->
mk_Course(
"214012",
"5",
"kees58",
"utwente",
{ "J.P. Katoen" },
{ },
{ },
{ } ),
"kees59" |->
mk_Course(
"211028",
"10",
"kees59",
"utwente",
{ "P.M. van de Broek" },
{ },
{ },
{ } ),
"kees60" |->
mk_Course(
"214011",
[ ],
"kees60",
"utwente",
{ "---missing3---" },
{ },
{ },
{ } ),
"metzFM" |->
mk_Course(
[ ],
"MSc",
"metzFM",
"metz",
{ "cansell" },
{ "FPT" },
{ "B" },
{ } ),
"tcdsms" |->
mk_Course(
"4ICT8",
[ ],
"tcdsms",
"tcd",
{ "ArthurHughes" },
{ "MPC" },
{ "IVDM",
"Haskell" },
{ "IVDMH" } ),
"tcfcup" |->
mk_Course(
"TC",
"4",
"tcfcup",
"fcup",
{ "amf" },
{ "FS",
"TT",
"DMat",
"LamC" },
{ "Prolog",
"Haskell" },
{ } ),
"tumPsv" |->
mk_Course(
[ ],
[ ],
"tumPsv",
"tum",
{ "TobiasNipkow" },
{ "ATP",
"FOL",
"FPT" },
{ "SML" },
{ "HOL",
"Isabelle" } ),
"tumSvp" |->
mk_Course(
[ ],
[ ],
"tumSvp",
"tum",
{ "TobiasNipkow" },
{ "FS",
"HL",
"TT",
"ATP" },
{ },
{ "Isabelle" } ),
"SitoFMs" |->
mk_Course(
[ ],
"4",
"SitoFMs",
"polimi",
{ "mandrioli" },
{ "HL",
"TL",
"RefB",
"Petri" },
{ "B" },
{ "TRIO" } ),
"asm02en" |->
mk_Course(
"37-483",
"S1",
"asm02en",
"ethz",
{ "staerk" },
{ "ASM" },
{ },
{ } ),
"brestFM" |->
mk_Course(
"FORMEL",
"S7",
"brestFM",
"brest",
{ "marce" },
{ "MC",
"CTL",
"LTL" },
{ },
{ "Lotrec" } ),
"epflFMs" |->
mk_Course(
[ ],
[ ],
"epflFMs",
"epfl",
{ "DidierBuchs" },
{ "ADT" },
{ },
{ } ),
"metodi1" |->
mk_Course(
[ ],
[ ],
"metodi1",
"unibo",
{ "laneve" },
{ "TT",
"AbsI" },
{ },
{ "TrL" } ),
"nottMPC" |->
mk_Course(
"G51MPC",
"1",
"nottMPC",
"nott",
{ "rcb" },
{ "MPC" },
{ },
{ } ),
"pfplyon" |->
mk_Course(
[ ],
[ ],
"pfplyon",
"lyon",
{ "bertot" },
{ "FP",
"TT",
"LamC" },
{ "Ocaml" },
{ "Coq" } ),
"tcdisII" |->
mk_Course(
"4BA1",
[ ],
"tcdisII",
"tcd",
{ "mmaa" },
{ "FS",
"MPC" },
{ "IVDM" },
{ } ),
"tcdmIII" |->
mk_Course(
"3ICT5",
[ ],
"tcdmIII",
"tcd",
{ "MalcolmTyrrell" },
{ "AL",
"PA",
"PiC",
"LamC" },
{ },
{ } ),
"uniceFM" |->
mk_Course(
[ ],
"MSc",
"uniceFM",
"unice",
{ "auguin" },
{ "MC",
"PV",
"TL",
"BDD" },
{ },
{ } ),
"angliafs" |->
mk_Course(
"MSH1012",
"3",
"angliafs",
"apu",
{ "cdean" },
{ },
{ "Z" },
{ } ),
"asbremen" |->
mk_Course(
[ ],
[ ],
"asbremen",
"bremen",
{ "lschrode" },
{ "ADT" },
{ "CASL" },
{ } ),
"dtufassI" |->
mk_Course(
"02262",
"S4-S7",
"dtufassI",
"dtu",
{ "ah" },
{ },
{ "RSL" },
{ "RAISEtools" } ),
"istugSwt" |->
mk_Course(
"SWT",
"3",
"istugSwt",
"istug",
{ "aichernig" },
{ "FS",
"FPT" },
{ "VDMSL" },
{ "VDMT" } ),
"logverif" |->
mk_Course(
[ ],
[ ],
"logverif",
"liafa",
{ "haberm" },
{ "MC",
"TL",
"BDD" },
{ },
{ "BDDC" } ),
"paraprog" |->
mk_Course(
[ ],
[ ],
"paraprog",
"uniroma",
{ "cenciarelli" },
{ "FS",
"HL",
"TT",
"FPT",
"LamC",
"PolyT" },
{ "SML" },
{ } ),
"TeachingB" |->
mk_Course(
[ ],
"5/ MSc",
"TeachingB",
"bordeaux",
{ "sutre" },
{ "PV",
"ARef" },
{ "B" },
{ "Btlk",
"AtelierB" } ),
"dSprogSem" |->
mk_Course(
"dSprog Sem",
[ ],
"dSprogSem",
"au",
{ "pdm" },
{ "FP",
"FS" },
{ "SML",
"Prolog" },
{ } ),
"dtufassII" |->
mk_Course(
"02268",
"S7-S9",
"dtufassII",
"dtu",
{ "dbjorner" },
{ "FS",
"ASe" },
{ "RSL" },
{ "RAISEtools" } ),
"splbremen" |->
mk_Course(
[ ],
[ ],
"splbremen",
"bremen",
{ "lschrode" },
{ "FS" },
{ },
{ } ),
"strasbgSF" |->
mk_Course(
[ ],
"MSc",
"strasbgSF",
"strasbg",
{ "contactStrasbg" },
{ "PV",
"LamC" },
{ },
{ "Coq" } ),
"istugAkswt" |->
mk_Course(
"AKSWT",
[ ],
"istugAkswt",
"istug",
{ "lucas" },
{ "FPT" },
{ },
{ "PVS" } ),
"poitiersSF" |->
mk_Course(
[ ],
"4/5",
"poitiersSF",
"poitiers",
{ "contactPoitiers" },
{ "FS",
"FPT" },
{ "B" },
{ } ),
"enseignement" |->
mk_Course(
[ ],
[ ],
"enseignement",
"enseeiht",
{ "robert" },
{ "Petri" },
{ },
{ } ),
"FMethodsSwEng" |->
mk_Course(
"213520",
[ ],
"FMethodsSwEng",
"utwente",
{ "brinksma" },
{ "PA" },
{ "Z",
"FSP",
"SDL" },
{ "LTSA",
"ZEVES" } ),
"protocolvalidatie" |->
mk_Course(
"214012",
[ ],
"protocolvalidatie",
"utwente",
{ "katoen" },
{ "PV",
"CTL",
"LTL" },
{ },
{ "SPIN",
"NuSMV",
"UPPAAL" } ) },
{ "B" |->
mk_Url(
"B-Method",
"http://www.afm.sbu.ac.uk/b/",
"B-Method",
[ ],
{ "lang",
"topic" } ),
"Z" |->
mk_Url(
"Z-Notation",
"http://www.afm.sbu.ac.uk/z/",
"Z-Notation",
[ ],
{ "lang",
"topic" } ),
"AL" |->
mk_Url(
"Algorithms and Complexity",
"http://www.acm.org/sigcse/cc2001/AL.html",
"Algorithms and Complexity",
[ ],
{ "topic" } ),
"AS" |->
mk_Url(
"Action Semantics",
"http://www.brics.dk/Projects/AS/",
"Action Semantics",
[ ],
{ "topic" } ),
"FP" |->
mk_Url(
"Functional Programming",
"http://cm.bell-labs.com/cm/cs/who/wadler/guide.html",
"Functional Programming",
[ ],
{ "topic" } ),
"FS" |->
mk_Url(
"Formal Semantics",
"http://www.wikipedia.org/wiki/Denotational_semantics",
"Formal Semantics )",
[ ],
{ "topic" } ),
"HL" |->
mk_Url(
"Hoare Logic",
"http://en.wikipedia.org/wiki/Hoare_logic",
"Hoare Logic",
[ ],
{ "topic" } ),
"MC" |->
mk_Url(
"Model Checking",
"http://www.cs.cmu.edu/~modelcheck/",
"Model Checking",
[ ],
{ "topic" } ),
"OZ" |->
mk_Url(
"Object-Z",
"http://www.csee.uq.oz.au/~smith/objectz.html",
"Object-Z e",
[ ],
{ "lang",
"topic" } ),
"PA" |->
mk_Url(
"Process Algebras",
"http://theory.stanford.edu/~rvg/process.html",
"Process Algebras and c",
[ ],
{ "topic" } ),
"PV" |->
mk_Url(
"Program verification",
"http://www.wikipedia.org/wiki/Program_verification",
"Program verification",
[ ],
{ "topic" } ),
"RC" |->
mk_Url(
"Refinement Calculus",
"http://www.ecs.soton.ac.uk/~mjb/refcalc-tut/home.html",
"Refinement Calculus",
[ ],
{ "topic" } ),
"SA" |->
mk_Url(
"Software architecture",
"http://www2.umassd.edu/SECenter/SAResources.html",
"Software architecture",
[ ],
{ "topic" } ),
"SF" |->
mk_Url(
"Formal Specifications",
"http://dept-info.labri.u-bordeaux.fr/~griffaul/Enseignement/SF/",
"Formal Specifications",
[ ],
{ "course" } ),
"TL" |->
mk_Url(
"Temporal Logic",
"http://plato.stanford.edu/entries/logic-temporal/",
"Temporal Logic",
[ ],
{ "topic" } ),
"TT" |->
mk_Url(
"TT",
"http://www.durham.ac.uk/TYPES/",
"Type theory",
[ ],
{ "topic" } ),
"ah" |->
mk_Url(
"A. Haxthausen",
"http://www.imm.dtu.dk/~ah/",
"Anne Haxthausen",
[ ],
{ "contact" } ),
"au" |->
mk_Url(
"Aarhus",
"http://www.au.dk",
"University of Aarhus",
[ ],
{ "inst" } ),
"dt" |->
mk_Url(
"Domain Theory",
"http://web.comlab.ox.ac.uk/oucl/courses/topics00-01/dt/synopsis.html",
"Domain Theory",
[ ],
{ "course" } ),
"ic" |->
mk_Url(
"Imperial C.",
"http://www.doc.ic.ac.uk",
"Imperial College_ London",
[ ],
{ "inst" } ),
"jd" |->
mk_Url(
"J. Derrick",
"http://www.cs.ukc.ac.uk/people/staff/jd1",
"John Derrick",
[ ],
{ "contact" } ),
"kb" |->
mk_Url(
"K. Broda",
"http://www.doc.ic.ac.uk/~kb",
"Krysia Broda",
"kb@doc.ic.ac.uk ",
{ "contact" } ),
"lc" |->
mk_Url(
"Lambda Calculus",
"http://web.comlab.ox.ac.uk/oucl/courses/topics00-01/lc/index.html",
"Lambda Calculus",
[ ],
{ "course" } ),
"le" |->
mk_Url(
"Leicester",
"http://www.cs.le.ac.uk",
"University of Leicester",
[ ],
{ "inst" } ),
"mi" |->
mk_Url(
"Formal Methods I",
"http://www.di.uminho.pt/~jno/html/mi.html",
"Formal Methods I",
[ ],
{ "course" } ),
"mz" |->
mk_Url(
"M. Zakharyaschev",
"http://www.dcs.kcl.ac.uk/staff/mz/",
"Michael Zakharyaschev",
[ ],
{ "contact" } ),
"uw" |->
mk_Url(
"Warsaw",
"http://www.uw.edu.pl/",
"Warsaw University",
[ ],
{ "inst" } ),
"ACT" |->
mk_Url(
"Advanced Concurrency Tools",
"http://www.softeng.ox.ac.uk:8080/courses",
"Advanced Concurrency Tools",
[ ],
{ "course" } ),
"ADT" |->
mk_Url(
"ADT",
"http://hissa.nist.gov/dads/HTML/abstracdtype.html",
"Abstract Data Types (initial )",
[ ],
{ "topic" } ),
"ASD" |->
mk_Url(
"Advanced t",
"http://www.softeng.ox.ac.uk:8080/courses",
"Advanced t",
[ ],
{ "course" } ),
"ASM" |->
mk_Url(
"Abstract State Machines",
"http://www.eecs.umich.edu/gasm/",
"Abstract State Machines",
[ ],
{ "topic" } ),
"ASe" |->
mk_Url(
"Algebraic Semantics",
"http://www.cs.ucsd.edu/users/goguen/pubs/asbk.html",
"Algebraic Semantics",
[ ],
{ "topic" } ),
"ATP" |->
mk_Url(
"Automated theorem proving",
"http://www.wikipedia.org/wiki/Automated_theorem_proving",
"Automated theorem proving",
[ ],
{ "topic" } ),
"AlS" |->
mk_Url(
"EMPTY URL",
"http://www.di.uminho.pt/~jno/html/notyet.html",
[ ],
[ ],
{ "unknown" } ),
"AoP" |->
mk_Url(
"Algebra of Programming",
"http://web.comlab.ox.ac.uk/oucl/publications/books/algebra/",
"Algebra of s",
[ ],
{ "topic" } ),
"BDD" |->
mk_Url(
"BDD",
"http://en.wikipedia.org/wiki/Binary_decision_diagram",
"Binary decision diagrams",
[ ],
{ "topic" } ),
"CCS" |->
mk_Url(
"CCS",
"http://www.afm.sbu.ac.uk/notations",
"Calculus of Communicating Systems",
[ ],
{ "lang",
"topic" } ),
"CDS" |->
mk_Url(
"Concurrency and Distributed Systems",
"http://www.softeng.ox.ac.uk:8080/courses",
"Concurrency and Distributed Systems",
[ ],
{ "course" } ),
"CSP" |->
mk_Url(
"CSP",
"http://www.afm.sbu.ac.uk/csp/",
"Communicating Sequential Processes",
[ ],
{ "lang",
"topic" } ),
"CTL" |->
mk_Url(
"CTL",
"http://www.cs.auc.dk/~kgl/DTU00/LECTURE3/DTU3/sld003.htm",
"Computation c",
[ ],
{ "topic" } ),
"CWB" |->
mk_Url(
"CWB",
"http://www.dcs.ed.ac.uk/home/cwb/",
"The Edinburgh Concurrency Workbench",
[ ],
{ "tool" } ),
"Coq" |->
mk_Url(
"COQ",
"http://coq.inria.fr/",
"The Coq proof assistant",
[ ],
{ "tool" } ),
"FDR" |->
mk_Url(
"FDR",
"http://www.formal.demon.co.uk/FDR2.html",
"Failures-Divergence Refinement",
[ ],
{ "tool" } ),
"FOL" |->
mk_Url(
"FOL",
"http://www.cs.wisc.edu/~dyer/cs540/notes/fopc.html",
"First-Order Logic",
[ ],
{ "topic" } ),
"FPR" |->
mk_Url(
"Functional Programming",
"http://www.softeng.ox.ac.uk:8080/courses",
"Functional Programming",
[ ],
{ "course" } ),
"FPT" |->
mk_Url(
"Formal program techniques",
"http://www.wikipedia.org/wiki/Design_by_contract",
"Formal program techniques: c",
[ ],
{ "topic" } ),
"FS2" |->
mk_Url(
"Foundations of Informatics: Semantics II",
"http://www.di.unipi.it/~ugo/FS2.html",
"Fondamenti dell'Informatica: Semantica II",
[ ],
{ "course" } ),
"FSP" |->
mk_Url(
"FSP",
"http://www.doc.ic.ac.uk/~jnm/LTSdocumention/FSP-notation.html",
"Finite State Process",
[ ],
{ "lang",
"topic" } ),
"FSe" |->
mk_Url(
"Foundations of Informatics: A",
"http://www.di.unipi.it/~ugo/FSe.html",
"Fondamenti dell'Informatica: A",
[ ],
{ "course" } ),
"GHC" |->
mk_Url(
"GHC",
"http://www.haskell.org/implementations.html",
"Glasgow Haskell Compiler",
[ ],
{ "tool" } ),
"HOL" |->
mk_Url(
"HOL",
"http://www.afm.sbu.ac.uk/hol/",
"HOL m",
[ ],
{ "tool" } ),
"INA" |->
mk_Url(
"Integrated Net Analyzer",
"http://www.informatik.hu-berlin.de/lehrstuehle/automaten/ina",
"Integrated Net Analyzer",
[ ],
{ "tool" } ),
"JML" |->
mk_Url(
"JML",
"http://www.cs.iastate.edu/~leavens/JML/",
"Java Modeling Language",
[ ],
{ "lang",
"topic" } ),
"LTL" |->
mk_Url(
"LTL",
"http://www.brics.dk/MC/94/LinTimeTempLog/",
"Linear Time Temporal Logic",
[ ],
{ "topic" } ),
"MAS" |->
mk_Url(
"Machine-Assisted Software Engineering",
"http://www.softeng.ox.ac.uk:8080/courses",
"Machine-Assisted Software Engineering",
[ ],
{ "course" } ),
"MPC" |->
mk_Url(
"Mathematics of Program Construction",
"http://www.cs.nott.ac.uk/~rcb/papers/",
"Mathematics of Program )",
[ ],
{ "topic" } ),
"MPS" |->
mk_Url(
"Multi-paradigm Specifications",
"http://moncs.cs.mcgill.ca/people/hv/teaching/MBDesign/resources/AIS.paper.pdf",
"Specification paradigms and integration concerns_ multi-paradigm specifications_ etc",
[ ],
{ "topic" } ),
"MSC" |->
mk_Url(
"MSC",
"http://www.sdl-forum.org/MSC/index.htm",
"Message Sequence Charts",
[ ],
{ "lang",
"topic" } ),
"PEP" |->
mk_Url(
"Programming Enviroment based on Petri Nets",
"http://theoretica.informatik.uni-oldenburg.de/~pep",
"Programming Envirohent s",
[ ],
{ "tool" } ),
"PRC" |->
mk_Url(
"EMPTY URL",
"http://www.di.uminho.pt/~jno/html/notyet.html",
[ ],
[ ],
{ "unknown" } ),
"PVS" |->
mk_Url(
"PVS",
"http://pvs.csl.sri.com/",
"The PVS Specification and Verification System",
[ ],
{ "tool" } ),
"PiC" |->
mk_Url(
"Pi-Calculus",
"http://lampwww.epfl.ch/mobility/",
"Pi-Calculus",
[ ],
{ "topic" } ),
"RAT" |->
mk_Url(
"RAT",
"",
"Recife Action Tools",
[ ],
{ "tool" } ),
"RML" |->
mk_Url(
"RML",
"http://wiki.daimi.au.dk:8000/ascg-01/rml.wiki",
"Relational Meta-Language system for natural semantics",
[ ],
{ "tool" } ),
"RSL" |->
mk_Url(
"RSL",
"http://spd-web.terma.com/Projects/RAISE/faq.html",
"RAISE Specification Language",
[ ],
{ "lang",
"topic" } ),
"SDE" |->
mk_Url(
"Specification and Design",
"http://www.softeng.ox.ac.uk:8080/courses",
"Specification and Design",
[ ],
{ "course" } ),
"SDL" |->
mk_Url(
"SDL",
"http://www.sdl-forum.org/",
"SDL (Spec. )",
[ ],
{ "lang",
"topic" } ),
"SEM" |->
mk_Url(
"Software s",
"http://www.softeng.ox.ac.uk:8080/courses",
"Software s",
[ ],
{ "course" } ),
"SML" |->
mk_Url(
"Standard ML",
"http://www.egr.unlv.edu/stock_answers/languages/sml/",
"The Standard ML e",
[ ],
{ "lang",
"topic" } ),
"TFM" |->
mk_Url(
"Software Testing",
"http://en.wikipedia.org/wiki/Software_testing",
"Software Testing",
[ ],
{ "topic" } ),
"TLA" |->
mk_Url(
"TLA",
"http://www.research.compaq.com/SRC/tla/",
"The Temporal Logic of Actions",
[ ],
{ "topic" } ),
"TrL" |->
mk_Url(
"T-Logic",
"http://www.trusted-logic.fr/",
"Trusted Logic",
[ ],
{ "tool" } ),
"Tue" |->
mk_Url(
"EMPTY URL",
"http://www.di.uminho.pt/~jno/html/notyet.html",
[ ],
[ ],
{ "unknown" } ),
"VDM" |->
mk_Url(
"VDM",
"http://www.vienna.cc/evdm.htm",
"Vienna Development Method",
[ ],
{ "topic" } ),
"VPP" |->
mk_Url(
"VDM++",
"http://www.ifad.dk/Products/vdmlangchar.htm",
"VDM++",
[ ],
{ "lang",
"topic" } ),
"WHY" |->
mk_Url(
"WHY",
"http://why.lri.fr/index.en.html",
"Why - a software l",
[ ],
{ "tool" } ),
"ZTC" |->
mk_Url(
"ZTC",
"http://se.cs.depaul.edu/fm/ztc.html",
"Z Type Checker",
[ ],
{ "tool" } ),
"ali" |->
mk_Url(
"A. Abdallah",
"http://www.sbu.ac.uk/~abdallae/",
"Ali E. Abdallah",
"A.Abdallah@sbu.ac.uk",
{ "contact" } ),
"amf" |->
mk_Url(
"M. Florido",
"http://www.dcc.fc.up.pt/~amf",
"M. Florido",
[ ],
{ "contact" } ),
"aop" |->
mk_Url(
"Specification and synthesis of Haskell programs",
"http://www.informatik.uni-bremen.de/agbkb/lehre/ss03/aop/index_e.htm",
"Specification and synthesis of s",
[ ],
{ "course" } ),
"apu" |->
mk_Url(
"Anglia",
"http://www.apu.ac.uk",
"Anglia Polytechnic University",
[ ],
{ "inst" } ),
"asd" |->
mk_Url(
"Advanced System Design",
"http://www.cs.le.ac.uk/~jfiadeiro/CO7205/",
"Advanced System Design",
[ ],
{ "course" } ),
"auc" |->
mk_Url(
"Aalborg",
"http://www.cs.auc.dk",
"Aalborg University",
[ ],
{ "inst" } ),
"dis" |->
mk_Url(
"Design of Information Structures",
"http://www.maths.warwick.ac.uk/undergrad/pydc/blue/blue-CS126.html",
"Design s",
[ ],
{ "course" } ),
"dts" |->
mk_Url(
"D. Sannella",
"http://www.dcs.ed.ac.uk/~dts",
"Don Sannella",
[ ],
{ "contact" } ),
"dtu" |->
mk_Url(
"Lyngby",
"http://www.dtu.dk/",
"Technical University of Denmark",
[ ],
{ "inst" } ),
"fmi" |->
mk_Url(
"Formal Methods Integration",
"http://www.sciences.univ-nantes.fr/info/perso/permanents/attiogbe/MSFORMEL/coursIFM.html",
"Formal n",
[ ],
{ "course" } ),
"fmp" |->
mk_Url(
"Formal Methods in Practice",
"http://coursework.cs.ncl.ac.uk/modules/2002/CSC227",
"Formal Methods e",
[ ],
{ "course" } ),
"fpi" |->
mk_Url(
"Further Programming 1",
"http://www.dcs.gla.ac.uk/courses/teaching/level1/modules/FP1.html",
"Further 1",
[ ],
{ "course" } ),
"fps" |->
mk_Url(
"Functional Programming and Specification",
"http://www.dcs.ed.ac.uk/home/dts/fps/",
"Functional Programming n",
[ ],
{ "course" } ),
"fss" |->
mk_Url(
"Formal Specification of Software",
"http://coursework.cs.ncl.ac.uk/modules/2002/CSC227",
"Formal e",
[ ],
{ "course" } ),
"gla" |->
mk_Url(
"Glasgow",
"http://www.gla.ac.uk",
"University of Glasgow",
[ ],
{ "inst" } ),
"gse" |->
mk_Url(
"Foundations of Systems Development",
"http://www.pst.informatik.uni-muenchen.de/lehre/WS0001/gse/",
"Foundations of Systems Development",
[ ],
{ "course" } ),
"hb5" |->
mk_Url(
"H. Bowman",
"http://www.cs.ukc.ac.uk/people/staff/hb5/",
"Howard Bowman",
[ ],
{ "contact" } ),
"jba" |->
mk_Url(
"J.B. Almeida",
"http://wiki.di.uminho.pt/twiki/bin/view/Main/JoseBacelarAlmeida",
"J.Bacelar Almeida",
"jba@di.uminho.pt",
{ "contact" } ),
"jmv" |->
mk_Url(
"J.M. Valenca",
"http://www.di.uminho.pt/~jmv",
"Jose Manuel Valenca",
"jmv@di.uminho.pt",
{ "contact" } ),
"jno" |->
mk_Url(
"J.N. Oliveira",
"http://www.di.uminho.pt/~jno",
"Jose a",
"jno@di.uminho.pt",
{ "contact" } ),
"kcl" |->
mk_Url(
"London (K.C.)",
"http://www.dcs.kcl.ac.uk/",
"King's College London",
[ ],
{ "inst" } ),
"kgl" |->
mk_Url(
"K.G. Larsen",
"http://www.cs.auc.dk/~kgl",
"Kim G. Larsen",
[ ],
{ "contact" } ),
"lau" |->
mk_Url(
"K. Lau ",
"http://www.cs.man.ac.uk/~kung-kiu/",
"Kung-Kiu Lau ",
"kung-kiu@cs.man.ac.uk",
{ "contact" } ),
"lcp" |->
mk_Url(
"L.C. Paulson",
"http://www.cl.cam.ac.uk/users/lcp/",
"Lawrence C. Paulson",
[ ],
{ "contact" } ),
"lsb" |->
mk_Url(
"L.S. Barbosa",
"http://www.di.uminho.pt/~lsb",
"Luis a",
"lsb@di.uminho.pt",
{ "contact" } ),
"man" |->
mk_Url(
"Manchester",
"http://www.man.ac.uk",
"University of Manchester",
[ ],
{ "inst" } ),
"mfi" |->
mk_Url(
"Formal Methods in Software Engineering",
"http://www.dsic.upv.es/asignaturas/facultad/pdd/MFIEng2001.html",
"Formal g",
[ ],
{ "course" } ),
"mii" |->
mk_Url(
"Formal I",
"http://www.di.uminho.pt/~jno/html/mii.html",
"Formal Methods II",
[ ],
{ "course" } ),
"mjb" |->
mk_Url(
"M.J. Butler",
"http://www.ecs.soton.ac.uk/~mjb/",
"Michael J. Butler",
"mjb@ecs.soton.ac.uk",
{ "contact" } ),
"mpi" |->
mk_Url(
"Programming Methodology I",
"http://www.di.uminho.pt/~jno/html/mpi.html",
"Programming Methodology I",
[ ],
{ "course" } ),
"mrh" |->
mk_Url(
"M. Huth",
"http://www.doc.ic.ac.uk/~mrh/",
"Michael Huth",
[ ],
{ "contact" } ),
"mrs" |->
mk_Url(
"Marseille",
"http://www.univ-mrs.fr/",
"Universite de Marseille",
[ ],
{ "inst" } ),
"pdm" |->
mk_Url(
"P.D. Mosses",
"http://www.brics.dk/~pdm",
"Peter D. Mosses ",
"pdmosses@brics.dk",
{ "contact" } ),
"phs" |->
mk_Url(
"P. Schnoebelen",
"http://www.lsv.ens-cachan.fr/~phs/",
"Philippe Schnoebelen",
[ ],
{ "contact" } ),
"rap" |->
mk_Url(
"Reasoning about Programs",
"http://dse-mac-tcp.doc.ic.ac.uk/Syllabus/141@",
"Reasoning about Programs",
[ ],
{ "course" } ),
"rcb" |->
mk_Url(
"R. Backhouse",
"http://www.cs.nott.ac.uk/~rcb/",
"Roland Backhouse",
"rcb@cs.nott.ac.uk",
{ "contact" } ),
"rdl" |->
mk_Url(
"R. Lemos",
"http://www.cs.ukc.ac.uk/people/staff/rdl/",
"Rogerio de Lemos",
[ ],
{ "contact" } ),
"rgc" |->
mk_Url(
"R.G. Crespo",
"http://digitais.ist.utl.pt/ic-ad/rgc/",
"Rui Gustavo Crespo",
"rgc@digitais.ist.utl.pt",
{ "contact" } ),
"rwi" |->
mk_Url(
"R. Irving",
"http://www.dcs.glasgow.ac.uk/~rwi",
"Rob W. Irving",
"rwi@dcs.gla.ac.uk",
{ "contact" } ),
"sbu" |->
mk_Url(
"London (S.B.)",
"http://www.sbu.ac.uk/",
"South n",
[ ],
{ "inst" } ),
"sma" |->
mk_Url(
"S. Maharaj",
"http://www.cs.stir.ac.uk/~sma/",
"Savi Maharaj",
[ ],
{ "contact" } ),
"sse" |->
mk_Url(
"Systems and Software Engineering",
"http://www.sbu.ac.uk/~abdallae/units/sse.html",
"Systems and Software Engineering",
[ ],
{ "course" } ),
"tcd" |->
mk_Url(
"Dublin",
"http://www.cs.tcd.ie/",
"Trinity College Dublin",
[ ],
{ "inst" } ),
"tue" |->
mk_Url(
"Eindhoven",
"http://www.win.tue.nl/fm/",
"Eindhoven Formal Methods Group",
[ ],
{ "inst" } ),
"tum" |->
mk_Url(
"T.U. Munchen",
"http://www.tum.de",
"Technical University of Munchen",
[ ],
{ "inst" } ),
"uam" |->
mk_Url(
"EMPTY URL",
"http://www.di.uminho.pt/~jno/html/notyet.html",
[ ],
[ ],
{ "unknown" } ),
"ubi" |->
mk_Url(
"Beira-Interior",
"http://www.di.ubi.pt",
"Univ. Beira-Interior",
[ ],
{ "inst" } ),
"uhp" |->
mk_Url(
"Nancy",
"http://www.uhp.u-nancy.fr/",
"Universite Henri Poincare",
[ ],
{ "inst" } ),
"ukc" |->
mk_Url(
"Kent",
"http://www.cs.ukc.ac.uk",
"University of Kent",
[ ],
{ "inst" } ),
"vis" |->
mk_Url(
"Verification of infinite systems",
"http://www.lsv.ens-cachan.fr/~phs/notes-VerSysInf.html",
"Verification of s",
[ ],
{ "course" } ),
"war" |->
mk_Url(
"Warwick",
"http://www.warwick.ac.uk/",
"University of Warwick",
[ ],
{ "inst" } ),
"xML" |->
mk_Url(
"Extended ML",
"http://www.dcs.ed.ac.uk/~dts/eml",
"Extended ML",
[ ],
{ "lang",
"topic" } ),
"ARef" |->
mk_Url(
"Algorithm refinement",
"http://www.di.uminho.pt/~jno/html/notyet.html",
"Algorithm refinement_ loop c",
[ ],
{ "topic" } ),
"AbsI" |->
mk_Url(
"Abstract Interpretation",
"http://www.imm.dtu.dk/~nielson/AbstractInterpretation/AI/",
"Abstract Interpretation",
[ ],
{ "topic" } ),
"BDDC" |->
mk_Url(
"BBDC",
"http://www-verimag.imag.fr/~raymond/tools/bddc-manual/bddc-manual-pages.html",
"BBDC - a r",
[ ],
{ "tool" } ),
"Btlk" |->
mk_Url(
"B-Toolkit",
"http://www.b-core.com/btoolkit.html",
"B-Toolkit",
[ ],
{ "tool" } ),
"CADP" |->
mk_Url(
"CADP",
"http://www.inrialpes.fr/vasy/cadp/",
"CADP (Caesar/Aldebaran )",
[ ],
{ "tool" } ),
"CASL" |->
mk_Url(
"CASL",
"http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/",
"The Common e",
[ ],
{ "lang",
"tool",
"topic" } ),
"DMat" |->
mk_Url(
"DMat",
"http://archives.math.utk.edu/topics/discreteMath.html",
"Discrete )",
[ ],
{ "topic" } ),
"DRef" |->
mk_Url(
"Data refinement",
"http://books.cambridge.org/0521641705.htm",
"Data refinement",
[ ],
{ "topic" } ),
"FixP" |->
mk_Url(
"Fixed Point Calculus",
"http://www.cs.nott.ac.uk/~rcb/MPC/acmmpc.ps.gz",
"Fixed Point Calculus",
[ ],
{ "topic" } ),
"FuZZ" |->
mk_Url(
"FuZZ",
"http://web.comlab.ox.ac.uk/oucl/software/fuzz.html",
"FuZZ printing/type-checking s",
[ ],
{ "tool" } ),
"Hugs" |->
mk_Url(
"Hugs",
"http://www.haskell.org/implementations.html",
"Hugs",
[ ],
{ "tool" } ),
"IVDM" |->
mk_Url(
"Irish VDM",
"http://www.cs.tcd.ie/Andrew.Butterfield/IrishVDM/",
"Irish M",
[ ],
{ "lang",
"topic" } ),
"LTSA" |->
mk_Url(
"LTSA",
"http://www.doc.ic.ac.uk/~jnm/book/ltsa/LTSA.html",
"Labelled Transition System Analyser",
[ ],
{ "tool" } ),
"LamC" |->
mk_Url(
"Lambda Calculus",
"http://www.wikipedia.org/wiki/Lambda-calculus",
"(Typed) Lambda Calculus",
[ ],
{ "topic" } ),
"MFIL" |->
mk_Url(
"Formal Methods in Software Engineering",
"http://dept-info.labri.u-bordeaux.fr/~griffaul/Enseignement/MFIL/",
"Formal g",
[ ],
{ "course" } ),
"PicT" |->
mk_Url(
"PICT",
"http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html",
"PICT",
[ ],
{ "tool" } ),
"RefB" |->
mk_Url(
"Refinement in B",
"http://www3.inrets.fr/estas/petit/Biblio/Pub/CBD2002/cbd002.html",
"Refinement in B",
[ ],
{ "topic" } ),
"SEMi" |->
mk_Url(
"Software engineering II",
"http://www.elet.polimi.it/upload/sanpietr/SE/SE-Mi.html",
"Software engineering II",
[ ],
{ "course" } ),
"SEii" |->
mk_Url(
"Software Engineering II",
"http://www.cs.stir.ac.uk/courses/31P6/",
"Software Engineering II",
[ ],
{ "course" } ),
"SPIN" |->
mk_Url(
"SPIN",
"http://netlib.bell-labs.com/netlib/spin/whatispin.html",
"SPIN",
[ ],
{ "tool" } ),
"ScTD" |->
mk_Url(
"Domains",
"http://lampwww.epfl.ch/mobility/",
"Scott Theory of Domains",
[ ],
{ "topic" } ),
"TRIO" |->
mk_Url(
"TRIO",
"http://www.elet.polimi.it/res/TRIO",
"The l",
[ ],
{ "tool" } ),
"VDMT" |->
mk_Url(
"VDMTools",
"http://www.ifad.dk/Products/vdmtools.htm",
"IFAD VDMTools",
[ ],
{ "tool" } ),
"ZANS" |->
mk_Url(
"ZANS",
"http://se.cs.depaul.edu/fm/ztc.html",
"Z Animation Tool",
[ ],
{ "tool" } ),
"aKer" |->
mk_Url(
"A. Ker",
"http://web.comlab.ox.ac.uk/oucl/people/andrew.ker.html",
"Andrew Ker",
[ ],
{ "contact" } ),
"aops" |->
mk_Url(
"Application-Oriented Program Semantics",
"http://web.comlab.ox.ac.uk/oucl/courses/topics00-01/aops/index.html",
"Application-Oriented Program Semantics",
[ ],
{ "course" } ),
"ascg" |->
mk_Url(
"Action Semantics and Compiler Generation",
"http://wiki.daimi.au.dk:8000/ascg-01",
"Action Semantics and Compiler Generation",
[ ],
{ "course" } ),
"bird" |->
mk_Url(
"R. Bird",
"http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html",
"Richard Bird",
[ ],
{ "contact" } ),
"enst" |->
mk_Url(
"Paris (ENST)",
"http://www.enst.fr/",
"Ecole Nationale Superieure des Telecommunications",
[ ],
{ "inst" } ),
"epfl" |->
mk_Url(
"Lausanne",
"http://lglwww.epfl.ch",
"E.P.F.Lausanne",
[ ],
{ "inst" } ),
"ethz" |->
mk_Url(
"Zuerich",
"http://www.inf.ethz.ch",
"ETH Zuerich",
[ ],
{ "inst" } ),
"fcup" |->
mk_Url(
"Porto",
"http://www.dcc.fc.up.pt",
"University of Porto",
[ ],
{ "inst" } ),
"fmks" |->
mk_Url(
"Formal Modelling and Process-oriented Systems",
"http://tfs.cs.tuberlin.de/~padberg/AktuelleLehre/IVPN0304/indexIVPN.html",
"Formal Modelling s",
[ ],
{ "course" } ),
"fois" |->
mk_Url(
"Foundations of )",
"http://www.di.unito.it/",
"Foundations of Informatics )",
[ ],
{ "course" } ),
"fpdi" |->
mk_Url(
"Formal Program Design I",
"http://web.comlab.ox.ac.uk/oucl/courses/topics00-01/fpdi/index.html",
"Formal I",
[ ],
{ "course" } ),
"gent" |->
mk_Url(
"Gent",
"http://www.intec.rug.ac.be",
"Universiteit Gent",
[ ],
{ "inst" } ),
"icad" |->
mk_Url(
"Software Engineering",
"http://digitais.ist.utl.pt/ic-ad/index-gb.html",
"Software Engineering",
[ ],
{ "course" } ),
"jeff" |->
mk_Url(
"J. Sanders",
"http://web.comlab.ox.ac.uk/oucl/people/jeff.sanders.html",
"J. Sanders",
[ ],
{ "contact" } ),
"jose" |->
mk_Url(
"J. Fiadeiro",
"http://www.cs.le.ac.uk/~jwf4/",
"J.L. Fiadeiro",
[ ],
{ "contact" } ),
"kuag" |->
mk_Url(
"A. Kurucz",
"http://www.dcs.kcl.ac.uk/staff/kuag",
"Agi Kurucz",
[ ],
{ "contact" } ),
"luth" |->
mk_Url(
"C. Luth",
"http://www.informatik.uni-bremen.de/~cxl/",
"Christoph Luth",
[ ],
{ "contact" } ),
"lyon" |->
mk_Url(
"Lyon",
"http://www.ens-lyon.fr/DMI/",
"ENS Lyon",
[ ],
{ "inst" } ),
"malg" |->
mk_Url(
"Models and Algorithms",
"http://www.loria.fr/~mery/malg",
"Models and algorithms",
[ ],
{ "course" } ),
"mery" |->
mk_Url(
"D. Mery",
"http://www.loria.fr/~mery/",
"Dominique Mery",
"mery@loria.fr",
{ "contact" } ),
"metz" |->
mk_Url(
"Metz",
"http://www.univmetz.fr/",
"UFR MIM_ Universite de Metz",
[ ],
{ "inst" } ),
"mmaa" |->
mk_Url(
"M. Airchinnigh",
"http://www.cs.tcd.ie/Micheal.MacanAirchinnigh/Welcome.html",
"Micheal Mac an Airchinnigh",
"mmaa@cs.tcd.ie",
{ "contact" } ),
"mofm" |->
mk_Url(
"Model-Oriented Formal Methods",
"http://www.sciences.univnantes.fr/info/perso/permanents/attiogbe/MSFORMEL/CoursFormel.html",
"ModelOriented Formal Methods",
[ ],
{ "course" } ),
"mpiv" |->
mk_Url(
"Programming )",
"http://lmf.di.uminho.pt/mp4/",
"Programming Method. )",
[ ],
{ "course" } ),
"msfb" |->
mk_Url(
"Methode de specification ",
"http://www.iut-nantes.univ-nantes.fr/~habrias/coursb/",
"Methode de ",
[ ],
{ "course" } ),
"nott" |->
mk_Url(
"Nottingham",
"http://www.cs.nott.ac.uk",
"University of Nottingham",
[ ],
{ "inst" } ),
"olde" |->
mk_Url(
"Oldenburg",
"http://www.informatik.uni-oldenburg.de",
"Carl von g",
[ ],
{ "inst" } ),
"ooti" |->
mk_Url(
"Formal e",
"http://www.cs.kun.nl/~martijno/ooti/index.html",
"Formal Methods in the Software e",
[ ],
{ "course" } ),
"oucl" |->
mk_Url(
"Oxford",
"http://www.comlab.ox.ac.uk/oucl",
"Oxford University Computing Laboratory",
[ ],
{ "inst" } ),
"rapm" |->
mk_Url(
"Reasoning about Programs",
"http://www.cs.man.ac.uk/ugrad/syllabus2000latest/1/CS111.html",
"Reasoning about Programs",
[ ],
{ "course" } ),
"reed" |->
mk_Url(
"G.M. Reed",
"http://web.comlab.ox.ac.uk/oucl/people/mike.reed.html",
"G.M. Reed",
[ ],
{ "contact" } ),
"russ" |->
mk_Url(
"S. Russ",
"http://www.dcs.warwick.ac.uk/pub/people/staff/Steve.Russ/",
"Steve Russ",
"Steve.Russ@dcs.warwick.ac.uk",
{ "contact" } ),
"seII" |->
mk_Url(
"Software I",
"",
"Software Engineering II",
[ ],
{ "course" } ),
"smsi" |->
mk_Url(
"Inform. Syst. g",
"http://www.loria.fr/~mery/smsi",
"Information g",
[ ],
{ "course" } ),
"teks" |->
mk_Url(
"Techniques of Correct Software Development",
"http://www.informatik.unibremen.de/mmiss/TEKS/index.html",
"Techniques of Correct Software Development",
[ ],
{ "course" } ),
"till" |->
mk_Url(
"T. Mossakowski",
"http://www.informatik.uni-bremen.de/~till",
"Till Mossakowski",
[ ],
{ "contact" } ),
"uams" |->
mk_Url(
"Amsterdam",
"http://onderwijsgids.uva.nl/",
"Universiteit van Amsterdam",
[ ],
{ "inst" } ),
"umuk" |->
mk_Url(
"Minho",
"http://www.uminho.pt/english/",
"University of Minho",
[ ],
{ "inst" } ),
"vauc" |->
mk_Url(
"Verification",
"http://www.cs.auc.dk/~kgl/VERIFICATION03/Plan.html",
"Verification",
[ ],
{ "course" } ),
"2IF40" |->
mk_Url(
"Proving with Computer Assistance",
"http://www.win.tue.nl/~wsinrpn/courses-2if40.htm",
"Proving with e",
[ ],
{ "course" } ),
"2M920" |->
mk_Url(
"Process Algebra",
"http://owinfo.tue..nl",
"Process Algebra",
[ ],
{ "course" } ),
"2R440" |->
mk_Url(
"Introduction to Formal Methods",
"http://owinfo.tue..nl",
"Introduction to Formal Methods",
[ ],
{ "course" } ),
"Alloy" |->
mk_Url(
"Alloy",
"http://sdg.lcs.mit.edu/alloy",
"Alloy",
[ ],
{ "lang",
"tool",
"topic" } ),
"CADiZ" |->
mk_Url(
"CADiZ",
"http://www-users.cs.york.ac.uk/~ian/cadiz/",
"Computer Aided Z",
[ ],
{ "tool" } ),
"CM140" |->
mk_Url(
"Introduction to Formal Methods",
"http://www.ecs.soton.ac.uk/ucas/syllabus.php",
"Introduction to Formal Methods",
[ ],
{ "course" } ),
"CM314" |->
mk_Url(
"Critical Systems",
"http://www.ecs.soton.ac.uk/ucas/syllabus.php",
"Critical Systems",
[ ],
{ "course" } ),
"CO508" |->
mk_Url(
"Software and Systems Design",
"http://www.cs.ukc.ac.uk/teaching/02/modules/CO/5/08/",
"Software and Systems Design",
[ ],
{ "course" } ),
"CO515" |->
mk_Url(
"Theory of Computer Science",
"http://www.cs.ukc.ac.uk/teaching/02/modules/CO/5/15/",
"Theory of Computer Science",
[ ],
{ "course" } ),
"CO610" |->
mk_Url(
"Distributed Systems",
"http://www.cs.ukc.ac.uk/teaching/02/modules/CO/6/10/",
"Distributed Systems",
[ ],
{ "course" } ),
"CO617" |->
mk_Url(
"Software Failure and Risk",
"http://www.cs.ukc.ac.uk/teaching/02/modules/CO/6/17/",
"Software Failure and Risk",
[ ],
{ "course" } ),
"CO861" |->
mk_Url(
"Formal Methods",
"http://www.cs.ukc.ac.uk/teaching/02/modules/CO/8/61/",
"Formal Methods",
[ ],
{ "course" } ),
"EL208" |->
mk_Url(
"Z Specification Design Exercise",
"http://www.ecs.soton.ac.uk/~mjb/EL208/",
"Z Specification Design Exercise",
[ ],
{ "course" } ),
"ELINF" |->
mk_Url(
"Formal Methods in Systems Modeling",
"http://www.intec.rug.ac.be/courses/form/FoSysPart/Fosyspart.htm",
"Formal g",
[ ],
{ "course" } ),
"Gofer" |->
mk_Url(
"Gofer",
"http://web.comlab.ox.ac.uk/internal/PACK/gofer/",
"Gofer",
[ ],
{ "tool" } ),
"IVDMH" |->
mk_Url(
"IVDM Library",
"http://www.cs.tcd.ie/Andrew.Butterfield/IrishVDM/software",
"Irish VDM Haskell Library",
[ ],
{ "tool" } ),
"LOTOS" |->
mk_Url(
"LOTOS",
"http://wwwtios.cs.utwente.nl/lotos/",
"LOTOS",
[ ],
{ "lang",
"topic" } ),
"NuSMV" |->
mk_Url(
"NuSMV",
"http://nusmv.irst.itc.it/",
"NuSMV",
[ ],
{ "tool" } ),
"Ocaml" |->
mk_Url(
"The CAML Language",
"http://caml.inria.fr/",
"The CAML Language",
[ ],
{ "lang",
"topic" } ),
"Petri" |->
mk_Url(
"Petri Nets",
"http://www.daimi.au.dk/PetriNets/",
"Petri Nets",
[ ],
{ "topic" } ),
"PolyT" |->
mk_Url(
"Polytypism",
"http://www.cs.uu.nl/~johanj/wgp2000/wgp2000cfp.html",
"Polytypism and genericity",
[ ],
{ "topic" } ),
"Unity" |->
mk_Url(
"Unity",
"http://www.cs.utexas.edu/users/psp/welcome.html",
"Unity",
[ ],
{ "lang",
"topic" } ),
"VDMSL" |->
mk_Url(
"VDM-SL",
"http://www.csr.ncl.ac.uk/modelling-book/",
"VDM ISO Standard Language",
[ ],
{ "lang",
"topic" } ),
"ZEVES" |->
mk_Url(
"Z/EVES",
"http://www.ora.on.ca/zeves/welcome.html",
"Z/EVES",
[ ],
{ "tool" } ),
"annai" |->
mk_Url(
"A. Ingolfsdottir",
"http://www.cs.auc.dk/~annai/",
"Anna Ingolfsdottir",
[ ],
{ "contact" } ),
"aucSV" |->
mk_Url(
"Semantics and Verification 2002",
"http://www.cs.auc.dk/~kgl/DAT4F02/plan.html",
"Semantics and Verification 2002",
[ ],
{ "course" } ),
"boute" |->
mk_Url(
"R.T. Boute",
"http://www.intec.rug.ac.be/groupsites/formal/BoutHome.htm",
"Raymond T. Boute",
"boute@intec.rug.ac.be",
{ "contact" } ),
"brest" |->
mk_Url(
"Brest",
"http://deptinfo.univ-brest.fr",
"Departement de d'informatique_ Universite de Brest",
[ ],
{ "inst" } ),
"cdean" |->
mk_Url(
"N. Dean",
"http://www.apu.ac.uk/appsci/maths/staff/ndean.htm",
"Neville Dean",
"c.n.dean@anglia.ac.uk",
{ "contact" } ),
"clcam" |->
mk_Url(
"Cambridge",
"http://www.cl.cam.ac.uk",
"University of Cambridge",
[ ],
{ "inst" } ),
"coalg" |->
mk_Url(
"Systems_ Automata_ and Coalgebras",
"http://www.informatik.unibremen.de/~lschrode/teaching/Systems_e.htm",
"Systems_ Automata_ and Coalgebras",
[ ],
{ "course" } ),
"david" |->
mk_Url(
"D. Clark",
"http://www.dcs.kcl.ac.uk/staff/david/",
"David Clark",
[ ],
{ "contact" } ),
"elpii" |->
mk_Url(
"Programming Logics II",
"http://wiki.di.uminho.pt/twiki/bin/view/Education/ELP2",
"Programming Logics II",
[ ],
{ "course" } ),
"evink" |->
mk_Url(
"E. Vink",
"http://www.win.tue.nl/~evink/",
"Erik de Vink",
[ ],
{ "contact" } ),
"fmubi" |->
mk_Url(
"Formal Methods",
"http://www.di.ubi.pt/~desousa/MF",
"Formal Methods",
[ ],
{ "course" } ),
"fpdii" |->
mk_Url(
"Formal Program Design II",
"http://web.comlab.ox.ac.uk/oucl/courses/topics00-01/fpdii/index.html",
"Formal I",
[ ],
{ "course" } ),
"fsdpt" |->
mk_Url(
"Formal Specification of s",
"http://www.cl.inf.tudresden.de/compulog/lectures/summer04/fsdpt2004.html",
"Formal Specification of s",
[ ],
{ "course" } ),
"fuams" |->
mk_Url(
"V.U. Amsterdam",
"http://www.cs.vu.nl",
"Vrije Universiteit Amsterdam",
[ ],
{ "inst" } ),
"istug" |->
mk_Url(
"Graz",
"http://www.ist.tu-graz.ac.at/",
"Institute for Softwaretechnology_ z",
[ ],
{ "inst" } ),
"kees1" |->
mk_Url(
"Fundamentale Informatica 2 )",
"http://www.liacs.nl/home/kleijn/fi2.html",
"Fundamentale )",
[ ],
{ "course" } ),
"kees2" |->
mk_Url(
"Programmeren en correctheid",
"",
"Programmeren en correctheid",
[ ],
{ "course" } ),
"kees3" |->
mk_Url(
"Formele Methoden(wordt dit jaar niet meer gegeven)",
"http://www.liacs.nl",
"Formele Methoden(wordt dit )",
[ ],
{ "course" } ),
"kees4" |->
mk_Url(
"Analyse van )",
"http://www.liacs.nl/",
"Analyse van Algoritmen )",
[ ],
{ "course" } ),
"kees5" |->
mk_Url(
"Seminar a",
"http://www.liacs.nl/",
"Seminar Capita Selecta a",
[ ],
{ "course" } ),
"kees6" |->
mk_Url(
"Logica",
"http://onderwijsgids.uva.nl/web/2004-2005/nl/c/1955.html",
"Logica",
[ ],
{ "course" } ),
"kees7" |->
mk_Url(
"Automaten",
"http://onderwijsgids.uva.nl/web/2004-2005/nl/c/1945.html",
"Automaten",
[ ],
{ "course" } ),
"kees8" |->
mk_Url(
"Specificatietheorie",
"http://onderwijsgids.uva.nl/web/2004-2005/nl/c/1971.html",
"Specificatietheorie",
[ ],
{ "course" } ),
"kees9" |->
mk_Url(
"Computational Syntax",
"http://onderwijsgids.uva.nl/web/2004-2005/nl/c/2032.html",
"Computational Syntax",
[ ],
{ "course" } ),
"labmf" |->
mk_Url(
"Formal Methods Laboratory",
"http://www.di.uminho.pt/~jno/html/labmf.html",
"Formal Methods Laboratory",
[ ],
{ "course" } ),
"liafa" |->
mk_Url(
"Paris VII",
"http://www.liafa.jussieu.fr",
"LIAFA_ )",
[ ],
{ "inst" } ),
"lucas" |->
mk_Url(
"P. Lucas",
"mailto:lucas@ist.tu-graz.ac.at",
"Peter Lucas",
"lucas@ist.tu-graz.ac.at",
{ "contact" } ),
"marce" |->
mk_Url(
"L. Marce",
"http://doelan-gw.univ-brest.fr:8080/~marce/",
"Lionel Marce",
[ ],
{ "contact" } ),
"monta" |->
mk_Url(
"U. Montanari",
"http://www.di.unipi.it/~ugo/ugo.html",
"Ugo Montanari",
"monta@di.unipi.it",
{ "contact" } ),
"mrsFM" |->
mk_Url(
"Techniques de preuve et verification formelle",
"http://www.dil.univ-mrs.fr/dea/Pages/coursDea2000.html",
"Techniques de preuve et e",
[ ],
{ "course" } ),
"seiic" |->
mk_Url(
"Software Engineering Environments",
"http://www.doc.ic.ac.uk/~mrh/475/home.html",
"Software s",
[ ],
{ "course" } ),
"semic" |->
mk_Url(
"Software s",
"http://www.doc.ic.ac.uk/~mrh/302/home.html",
"Software s",
[ ],
{ "course" } ),
"smluw" |->
mk_Url(
"Functional L",
"http://www.mimuw.edu.pl/~tarlecki/teaching/2002/sml.html",
"Functional L",
[ ],
{ "course" } ),
"soton" |->
mk_Url(
"Southampton",
"http://www.ecs.soton.ac.uk",
"Electronics and Computer Science_ n",
[ ],
{ "inst" } ),
"ssSem" |->
mk_Url(
"Semantics and Specifications",
"http://www.mimuw.edu.pl/~tarlecki/teaching/ss-sem.html",
"Semantics and Specifications",
[ ],
{ "course" } ),
"sutre" |->
mk_Url(
"G.Sutre",
"http://www.labri.fr/~sutre",
"Gregoire Sutre",
[ ],
{ "contact" } ),
"sweng" |->
mk_Url(
"Software Engineering II",
"http://www.cl.cam.ac.uk/DeptInfo/CST/node22.html",
"Software Engineering II",
[ ],
{ "course" } ),
"tcdmI" |->
mk_Url(
"Mathematics I",
"http://www.cs.tcd.ie/courses/baict/bam/jf/",
"Mathematics I",
[ ],
{ "course" } ),
"tcubi" |->
mk_Url(
"Theory of Computation",
"http://www.di.ubi.pt/~desousa/Tcomp/index.html",
"Theory of Computation",
[ ],
{ "course" } ),
"tmlps" |->
mk_Url(
"Temporal and Modal Logics for Parallelism and security",
"http://www.informatik.uni-bremen.de/~lschrode/teaching/TMLPS_e.htm",
"Temporal and Modal Logics for Parallelism and security",
[ ],
{ "course" } ),
"tvauc" |->
mk_Url(
"Testing and Verification",
"http://www.cs.auc.dk/~kgl/TOV04/Plan.html",
"Testing and Verification",
[ ],
{ "course" } ),
"unibo" |->
mk_Url(
"Bologna",
"http://www.cs.unibo.it",
"DCS Univ. Bologna",
[ ],
{ "inst" } ),
"unice" |->
mk_Url(
"Nice",
"http://www.i3s.unice.fr",
"Lab. I3S_ Univ. of Nice",
[ ],
{ "inst" } ),
"unipi" |->
mk_Url(
"Pisa",
"http://www.unipi.it/",
"University of Pisa",
[ ],
{ "inst" } ),
"unito" |->
mk_Url(
"Torino",
"http://www.unito.it/",
"Univ. Torino",
[ ],
{ "inst" } ),
"CS03PV" |->
mk_Url(
"Program Verification and Specification",
"http://www.dcs.kcl.ac.uk/teaching/units/cs03pv/index.html",
"Program Verification n",
[ ],
{ "course" } ),
"CS1ITC" |->
mk_Url(
"Introduction to the n",
"http://www.dcs.kcl.ac.uk/teaching/units/cs1itc/index.html",
"Introduction to the Theory of Computation",
[ ],
{ "course" } ),
"CS2APL" |->
mk_Url(
"Applied Logic",
"http://www.dcs.kcl.ac.uk/teaching/archive/2002/units/descriptions/CS2APL.html",
"Applied Logic",
[ ],
{ "course" } ),
"CSMMTL" |->
mk_Url(
"Modal and Temporal Logics",
"http://www.dcs.kcl.ac.uk/local/teaching/units/csmmtl/index.html",
"Modal s",
[ ],
{ "course" } ),
"ELotos" |->
mk_Url(
"E-LOTOS",
"http://www.inrialpes.fr/vasy/elotos/",
"Enhanced LOTOS",
[ ],
{ "lang",
"topic" } ),
"G53PAL" |->
mk_Url(
"Programming Algebra",
"http://www.cs.nott.ac.uk/~rcb/G53PAL/G53PAL.html",
"Programming Algebra",
[ ],
{ "course" } ),
"Lotrec" |->
mk_Url(
"LOTREC",
"http://www.irit.fr/ACTIVITES/LILaC/Lotrec",
"Lotrec tableaux theorem prover",
[ ],
{ "tool" } ),
"Prolog" |->
mk_Url(
"Prolog",
"http://www.afm.sbu.ac.uk/logicprog/",
"Prolog",
[ ],
{ "lang",
"tool",
"topic" } ),
"Safety" |->
mk_Url(
"Safety s",
"http://sunnyday.mit.edu/safety.html",
"Safety Analysis Techniques",
[ ],
{ "topic" } ),
"UPPAAL" |->
mk_Url(
"UPPAAL",
"http://www.docs.uu.se/docs/rtmv/uppaal/index.shtml",
"UPPAAL",
[ ],
{ "tool" } ),
"VLSpez" |->
mk_Url(
"Specification of Reactive Systems",
"http://semantik.informatik.uni-oldenburg.de/~wehrheim/VLSpez/index.html",
"Specification of Reactive Systems",
[ ],
{ "course" } ),
"abrial" |->
mk_Url(
"J.-R. Abrial",
"http://vl.fmnet.info/whos-who/",
"Jean-Raymond Abrial",
[ ],
{ "contact" } ),
"auguin" |->
mk_Url(
"M. Auguin (contact)",
"mailto:auguin@i3s.unice.fr",
"Michel Auguin",
"auguin@i3s.unice.fr",
{ "contact" } ),
"baeten" |->
mk_Url(
"J. Baeten",
"http://www.win.tue.nl/~josb/",
"Jos Baeten",
[ ],
{ "contact" } ),
"berlin" |->
mk_Url(
"Berlin",
"http://tfs.cs.tu-berlin.de/",
"Technische Universitat Berlin",
[ ],
{ "inst" } ),
"bertot" |->
mk_Url(
"Y. Bertot",
"http://www-sop.inria.fr/lemme/Yves.Bertot",
"Yves Bertot",
[ ],
{ "contact" } ),
"bremen" |->
mk_Url(
"Bremen",
"http://www.informatik.unibremen.de/agbkb/forschung/formal_methods/index_e.htm",
"Universitat Bremen",
[ ],
{ "inst" } ),
"cousot" |->
mk_Url(
"P. Cousot",
"http://www.di.ens.fr/~cousot/cours.shtml",
"Patrick Cousot",
[ ],
{ "contact" } ),
"csIIIt" |->
mk_Url(
"Formal Methods",
"http://www.cs.reading.ac.uk/cs/teaching/units.html 2/CS/3T",
[ ],
[ ],
{ "course" } ),
"csVIIa" |->
mk_Url(
"Applied Formal Methods",
"http://www.cs.reading.ac.uk/cs/teaching/units.html 3/CS/7A",
[ ],
[ ],
{ "course" } ),
"dezani" |->
mk_Url(
"M. Ciancaglini",
"http://www.di.unito.it/~dezani/index.html",
"Mariangiola Dezani Ciancaglini",
[ ],
{ "contact" } ),
"elpiii" |->
mk_Url(
"Programming Logics III",
"http://wiki.di.uminho.pt/twiki/bin/view/Education/ELP3",
"Programming Logics III",
[ ],
{ "course" } ),
"enstMF" |->
mk_Url(
"Methodes Formelles de specification s",
"http://www.infres.enst.fr/enseignement/modules/mf.html",
"Methodes Formelles de s",
[ ],
{ "course" } ),
"faiSPL" |->
mk_Url(
"Foundations of Abtract Interpretation",
"http://deaspp.pps.jussieu.fr/ SECTION00083000000000000000",
"Foundations of n",
[ ],
{ "course" } ),
"fmroma" |->
mk_Url(
"Formal methods in informatics",
"http://www.dsi.uniroma1.it/ita/did/corsi/108.html",
"Formal methods in informatics",
[ ],
{ "course" } ),
"gJones" |->
mk_Url(
"G. Jones",
"http://web.comlab.ox.ac.uk/oucl/people/geraint.jones.html",
"Geraint Jones",
"Geraint.Jones@comlab.ox.ac.uk",
{ "contact" } ),
"ghezzi" |->
mk_Url(
"C. Ghezzi",
"http://www.elet.polimi.it/upload/ghezzi/",
"C. Ghezzi",
[ ],
{ "contact" } ),
"haberm" |->
mk_Url(
"P. Habermehl",
"http://www.liafa.jussieu.fr/~haberm",
"Peter Habermehl",
[ ],
{ "contact" } ),
"infind" |->
mk_Url(
"Industrial automation II",
"http://www.elet.polimi.it/upload/mezzalir/InfInd_VO",
"Industrial automation II",
[ ],
{ "course" } ),
"istUtl" |->
mk_Url(
"Lisbon",
"http://www.ist.utl.pt",
"I.S.T. Lisbon",
[ ],
{ "inst" } ),
"katoen" |->
mk_Url(
"J.-P. Katoen",
"http://fmt.cs.utwente.nl/~katoen",
"Joost-Pieter Katoen",
[ ],
{ "contact" } ),
"kees10" |->
mk_Url(
"Automated Reasoning",
"http://onderwijsgids.uva.nl/web/20042005/nl/c/2031.html",
"Automated Reasoning",
[ ],
{ "course" } ),
"kees11" |->
mk_Url(
"Algebraische Specificaties",
"http://www.cs.vu.nl/~tcs/as/0304/index.html",
"Algebraische Specificaties",
[ ],
{ "course" } ),
"kees12" |->
mk_Url(
"Formele Structuren",
"http://www.cs.vu.nl/~tcs/fs/",
"Formele Structuren",
[ ],
{ "course" } ),
"kees13" |->
mk_Url(
"Formele Talen",
"http://www.cs.vu.nl/~tcs/ft/",
"Formele Talen",
[ ],
{ "course" } ),
"kees14" |->
mk_Url(
"Inleiding Logica",
"http://www.cs.vu.nl/~tcs/il/",
"Inleiding Logica",
[ ],
{ "course" } ),
"kees15" |->
mk_Url(
"Inleiding Theoretische Informatica",
"http://www.cs.vu.nl/~tcs/iti/",
"Inleiding Theoretische Informatica",
[ ],
{ "course" } ),
"kees16" |->
mk_Url(
"Voortgezette Logica",
"http://www.cs.vu.nl/~tcs/vl/",
"Voortgezette Logica",
[ ],
{ "course" } ),
"kees17" |->
mk_Url(
"Distributed Algorithms",
"http://www.cs.vu.nl/~tcs/da/02-03/index.html",
"Distributed Algorithms",
[ ],
{ "course" } ),
"kees18" |->
mk_Url(
"Logical Varification: Applied Logic",
"http://www.cs.vu.nl/~tcs/al/",
"Logical Varification: Applied Logic",
[ ],
{ "course" } ),
"kees19" |->
mk_Url(
"Protocol Verification",
"http://www.cs.vu.nl/~tcs/fm/0304/index.html",
"Protocol Verification",
[ ],
{ "course" } ),
"kees20" |->
mk_Url(
"Functioneel Programmeren",
"http://www.rug.nl/informatica/onderwijs/vakkenOverzicht/ba/2/1/INFP_3",
"Functioneel Programmeren",
[ ],
{ "course" } ),
"kees21" |->
mk_Url(
"Programmacorerctheid",
"http://onderwijscatalogus.fwn.rug.nl/ stid=13 sstid=83 vakid=1323 jaarid=2 ",
"Programmacorerctheid",
[ ],
{ "course" } ),
"kees22" |->
mk_Url(
"Talen en Automaten",
"http://onderwijscatalogus.fwn.rug.nl/ stid=13 sstid=83 vakid=1334 jaarid=2 ",
"Talen en Automaten",
[ ],
{ "course" } ),
"kees23" |->
mk_Url(
"Automated Reasoning",
"http://onderwijscatalogus.fwn.rug.nl/ stid=13 sstid=84 vakid=1368 jaarid=1 ",
"Automated Reasoning",
[ ],
{ "course" } ),
"kees24" |->
mk_Url(
"Seminar e",
"http://onderwijscatalogus.fwn.rug.nl/ stid=13 sstid=84 vakid=1347 jaarid=1 ",
"Seminar Fundamental Computing Science",
[ ],
{ "course" } ),
"kees25" |->
mk_Url(
"Logica en verzamelingen",
"http://www.cs.uu.nl/education/vak.php vak=INFOLV jaar=2004",
"Logica en verzamelingen",
[ ],
{ "course" } ),
"kees26" |->
mk_Url(
"Grammatica's en ontleden",
"http://www.cs.uu.nl/education/vak.php vak=INFOGONT jaar=2004",
"Grammatica's en ontleden",
[ ],
{ "course" } ),
"kees27" |->
mk_Url(
"Automatisch redeneren",
"http://www.cs.uu.nl/education/vak.php vak=INFOAR jaar=2004",
"Automatisch redeneren",
[ ],
{ "course" } ),
"kees28" |->
mk_Url(
"Logica voor AI",
"http://www.cs.uu.nl/education/vak.php vak=INFOLAI jaar=2004",
"Logica voor AI",
[ ],
{ "course" } ),
"kees29" |->
mk_Url(
"Programmeren en Correctheid",
"http://www.cs.uu.nl/education/vak.php vak=INFOPC jaar=2004",
"Programmeren d",
[ ],
{ "course" } ),
"kees30" |->
mk_Url(
"Efficient Implementation s",
"http://www.cs.uu.nl/education/vak.php vak=INFOEIFL jaar=2004",
"Efficient s",
[ ],
{ "course" } ),
"kees31" |->
mk_Url(
"Automatische Programma Analyse",
"http://www.cs.uu.nl/education/vak.php vak=INFOAPA jaar=2004",
"Automatische e",
[ ],
{ "course" } ),
"kees32" |->
mk_Url(
"Advanced Functional Programming",
"http://www.cs.uu.nl/education/vak.php vak=INFOAFP jaar=2004",
"Advanced Functional Programming",
[ ],
{ "course" } ),
"kees33" |->
mk_Url(
"Programmaverificatie",
"http://www.cs.uu.nl/education/vak.php vak=INFOPV jaar=2004",
"Programmaverificatie",
[ ],
{ "course" } ),
"kees34" |->
mk_Url(
"Talen en Automaten",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00109 jaar=2003 doelgroep=STUD",
"Talen en Automaten",
[ ],
{ "course" } ),
"kees35" |->
mk_Url(
"Berekenbaarheid",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00016 jaar=2003 doelgroep=STUD",
"Berekenbaarheid",
[ ],
{ "course" } ),
"kees36" |->
mk_Url(
"Beweren en Bewijzen",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=IDENK1 jaar=2003 doelgroep=STUD",
"Beweren en Bewijzen",
[ ],
{ "course" } ),
"kees37" |->
mk_Url(
"Analyse van Algoritmen/Complexiteit",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00010 jaar=2004 doelgroep=STUD",
"Analyse van Algoritmen/Complexiteit",
[ ],
{ "course" } ),
"kees38" |->
mk_Url(
"Semantiek en Logica 1",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00090 jaar=2004 doelgroep=STUD",
"Semantiek en Logica 1",
[ ],
{ "course" } ),
"kees39" |->
mk_Url(
"Semantiek en Logica 2",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00091 jaar=2005 doelgroep=STUD",
"Semantiek en Logica 2",
[ ],
{ "course" } ),
"kees40" |->
mk_Url(
"Semantiek en Correctheid",
"http://www.niii.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00089 jaar=2003 doelgroep=STUD",
"Semantiek en Correctheid",
[ ],
{ "course" } ),
"kees41" |->
mk_Url(
"Semantiek",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00088 jaar=20D",
"Semantiek",
[ ],
{ "course" } ),
"kees42" |->
mk_Url(
"Complexiteitstheory",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00023 jaar=20D",
"Complexiteitstheory",
[ ],
{ "course" } ),
"kees43" |->
mk_Url(
"Betrouwbaarheids",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00018 jaar=20D",
"Betrouwbaarheids",
[ ],
{ "course" } ),
"kees44" |->
mk_Url(
"Typetheorie",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00111 jaar=20D",
"Typetheorie",
[ ],
{ "course" } ),
"kees45" |->
mk_Url(
"Proof Assistants",
"http://www.cs.kun.nl/dynamic/db/info/vakdetail.cfm vakafkorting=I00139 jaar=20D",
"Proof Assistants",
[ ],
{ "course" } ),
"kees46" |->
mk_Url(
"Inleiding formele methoden",
"https://venus.tue.nl/owinfocgi/owi_0695.opl vakcode=2IF80",
"Inleiding formele methoden",
[ ],
{ "course" } ),
"kees47" |->
mk_Url(
"Formele methoden in de informatica",
"https://venus.tue.nl/owinfo-cgi/owi_0695.opl vakcode=2Z550",
"Formele methoden a",
[ ],
{ "course" } ),
"kees48" |->
mk_Url(
"formel methods in the e",
"https://venus.tue.nl/owinfo-cgi/owi_0695.opl vakcode=2Q205",
"formel methods in the software life cycle",
[ ],
{ "course" } ),
"kees49" |->
mk_Url(
"Automatentheorie en formele talen",
"https://venus.tue.nl/owinfocgi/owi_0695.opl vakcode=2IT20",
"Automatentheorie en formele talen",
[ ],
{ "course" } ),
"kees50" |->
mk_Url(
"functioneel programmeren",
"https://venus.tue.nl/owinfo-cgi/owi_0695.opl vakcode=2IA50 actkomend=A",
"functioneel programmeren",
[ ],
{ "course" } ),
"kees51" |->
mk_Url(
"aspecten van programmeertalen",
"https://venus.tue.nl/owinfocgi/owi_0695.opl vakcode=2M240 actkomend=A",
"aspecten van programmeertalen",
[ ],
{ "course" } ),
"kees52" |->
mk_Url(
"procesalgebra",
"https://venus.tue.nl/owinfo-cgi/owi_0695.opl",
"procesalgebra",
[ ],
{ "course" } ),
"kees53" |->
mk_Url(
"programming and modal logic",
"https://venus.tue.nl/owinfocgi/owi_0695.opl",
"programming and modal logic",
[ ],
{ "course" } ),
"kees54" |->
mk_Url(
"Formal methods for software engineering",
"http://webapps.civ.utwente.nl/vist/en/vistservlet node=VistVakinfoResultNode det4",
"Formal methods for software engineering",
[ ],
{ "course" } ),
"kees55" |->
mk_Url(
"Basic models in computer science",
"http://webapps.civ.utwente.nl/vist/en/vistservlet node=VistVakinfoResultNode det4",
"Basic models in computer science",
[ ],
{ "course" } ),
"kees56" |->
mk_Url(
"software engineering models",
"http://webapps.civ.utwente.nl/vist/en/vistservlet node=VistVakinfoResultNode det4",
"software engineering models",
[ ],
{ "course" } ),
"kees57" |->
mk_Url(
"advanced logic",
"http://webapps.civ.utwente.nl/vist/en/vistservlet node=VistVakinfoResultNode det4",
"advanced logic",
[ ],
{ "course" } ),
"kees58" |->
mk_Url(
"System validation",
"http://webapps.civ.utwente.nl/vist/en/vistservlet node=VistVakinfoResultNode det4",
"System validation",
[ ],
{ "course" } ),
"kees59" |->
mk_Url(
"advanced programming concepts",
"http://webapps.civ.utwente.nl/vist/en/vistservlet node=VistVakinfoResultNode det4",
"advanced programming concepts",
[ ],
{ "course" } ),
"kees60" |->
mk_Url(
"toolarchitecture",
"http://fmt.cs.utwente.nl/courses/toolarch/",
"toolarchitecture",
[ ],
{ "course" } ),
"laneve" |->
mk_Url(
"C. Laneve",
"http://www.cs.unibo.it/~laneve",
"Cosimo Laneve",
[ ],
{ "contact" } ),
"metzFM" |->
mk_Url(
"Methodes Formelles",
"http://www.loria.fr/~cansell/cv2000005.html",
"Methodes Formelles",
[ ],
{ "course" } ),
"nantes" |->
mk_Url(
"Nantes",
"http://www.sciences.univnantes.fr/info/",
"Faculte des Sciences - Universite de Nantes",
[ ],
{ "inst" } ),
"polimi" |->
mk_Url(
"Milan Poli.",
"http://www.elet.polimi.it",
"Dipartimento di o",
[ ],
{ "inst" } ),
"robert" |->
mk_Url(
"Robert Valette",
"http://www.laas.fr/~robert",
"Robert Valette",
[ ],
{ "contact" } ),
"rugron" |->
mk_Url(
"Groningen",
"http://www.rug.nl/",
"Rijks n",
[ ],
{ "inst" } ),
"staerk" |->
mk_Url(
"R.F. Staerk",
"http://www.inf.ethz.ch/~staerk",
"Robert F. Staerk",
[ ],
{ "contact" } ),
"tcdmII" |->
mk_Url(
"Mathematics II",
"http://www.cs.tcd.ie/courses/baict/bam/sf/",
"Mathematics II",
[ ],
{ "course" } ),
"tcdsms" |->
mk_Url(
"System Modelling and Specification",
"http://www.cs.tcd.ie/courses/baict/bass/4ict8/",
"System Modelling n",
[ ],
{ "course" } ),
"tcfcup" |->
mk_Url(
"Theory of Computation",
"http://www.dcc.fc.up.pt/~amf/aulas/tc/0203/tc.html",
"Theory of Computation",
[ ],
{ "course" } ),
"tumPsv" |->
mk_Url(
"Specification and Verification",
"http://www4.in.tum.de/lehre/praktika/psv/PSV2001/README.html",
"Specification n",
[ ],
{ "course" } ),
"tumSvp" |->
mk_Url(
"Programming Language Semantics",
"http://www4.in.tum.de/lehre/vorlesungen/semantik/WS0203/",
"Programming Language Semantics",
[ ],
{ "course" } ),
"vignes" |->
mk_Url(
"S. Vignes",
"http://www.infres.enst.fr/~vignes/",
"Sylvie VIGNES",
[ ],
{ "contact" } ),
"Actress" |->
mk_Url(
"Actress",
"http://wiki.daimi.au.dk:8000/ascg01/actress.wiki cmd=get anchor=Actress",
"Actress system for action semantics",
[ ],
{ "tool" } ),
"ESCJava" |->
mk_Url(
"ESC/Java 2",
"http://www.cs.kun.nl/sos/research/escjava/",
"Extended Static Checker for Java",
[ ],
{ "tool" } ),
"Estelle" |->
mk_Url(
"Estelle",
"http://www.estelle.org/",
"Estelle",
[ ],
{ "lang",
"topic" } ),
"Haskell" |->
mk_Url(
"Haskell",
"http://www.haskell.org",
"Haskell",
[ ],
{ "lang",
"topic" } ),
"J. Hage" |->
mk_Url(
"J. Hage",
"mailto:",
"J. Hage",
[ ],
{ "contact" } ),
"SitoFMs" |->
mk_Url(
"Formal methods for concurrent s",
"http://www.elet.polimi.it/upload/mandriol/Didattica/sitofms.html",
"Formal methods s",
[ ],
{ "course" } ),
"asm02en" |->
mk_Url(
"Introd. to high-level system design and analysis",
"http://www.inf.ethz.ch/~staerk/inhalt/asm02.en.html",
"Introd. to high-level system s",
[ ],
{ "course" } ),
"brestFM" |->
mk_Url(
"Methodes formelles_ g",
"http://dept-info.univbrest.fr/lmd2004/Master/methodes_formelles.htm",
"Methodes formelles_ g",
[ ],
{ "course" } ),
"cansell" |->
mk_Url(
"D. Cansell",
"http://www.loria.fr/~cansell",
"Dominique Cansell",
[ ],
{ "contact" } ),
"desousa" |->
mk_Url(
"S.M. Sousa",
"http://www.di.ubi.pt/~desousa/",
"Simao Melo de Sousa",
[ ],
{ "contact" } ),
"dresden" |->
mk_Url(
"T.U. Dresden",
"http://www.cl.inf.tudresden.de/",
"T.U. Dresden",
[ ],
{ "inst" } ),
"epflFMs" |->
mk_Url(
"Formal Methods",
"http://lglwww.epfl.ch/teaching/formal_methods/",
"Formal Methods",
[ ],
{ "course" } ),
"habrias" |->
mk_Url(
"H. Habrias",
"http://www.iut-nantes.univnantes.fr/~habrias",
"Henri Habrias",
[ ],
{ "contact" } ),
"labella" |->
mk_Url(
"A. Labella",
"http://www.dsi.uniroma1.it/personal/labella/eng/",
"Anna Labella",
[ ],
{ "contact" } ),
"metodi1" |->
mk_Url(
"Program Quality Verification",
"http://www.cs.unibo.it/~laneve/html/metodi1/programma.html",
"Program Quality Verification",
[ ],
{ "course" } ),
"nottMPC" |->
mk_Url(
"Mathematics of Program Construction",
"http://www.cs.nott.ac.uk/~rcb/G51MPC/G51MPC.html",
"Programming Algebra",
[ ],
{ "course" } ),
"padberg" |->
mk_Url(
"J. Padberg",
"http://tfs.cs.tu-berlin.de/",
"Julia Padberg",
[ ],
{ "contact" } ),
"pfplyon" |->
mk_Url(
"Programmation fonctionnelle et preuves",
"http://www.enslyon.fr/DMI/MIM/Modules/francais/webFr043.html",
"Programmation fonctionnelle s",
[ ],
{ "course" } ),
"reading" |->
mk_Url(
"Reading",
"http://www.reading.ac.uk",
"The University of Reading",
[ ],
{ "inst" } ),
"reichel" |->
mk_Url(
"Horst Reichel",
"http://wwwtcs.inf.tu-dresden.de/",
"Horst Reichel",
[ ],
{ "contact" } ),
"strasbg" |->
mk_Url(
"Strasbourg",
"http://www-mathinfo.ustrasbg.fr",
"UFR Mathematiques et Informatique de l'Universite Louis Pasteur",
[ ],
{ "inst" } ),
"tcdisII" |->
mk_Url(
"Information Systems (part II)",
"http://www.cs.tcd.ie/courses/ba/ssba.html 4BA1",
"Information Systems (part II)",
[ ],
{ "course" } ),
"tcdmIII" |->
mk_Url(
"Mathematical Modelling",
"http://www.cs.tcd.ie/courses/baict/bam/js/",
"Mathematical Modelling",
[ ],
{ "course" } ),
"uleiden" |->
mk_Url(
"Leiden",
"http://www.liacs.nl/",
"Universiteit leiden",
[ ],
{ "inst" } ),
"uniceFM" |->
mk_Url(
"Methodes Formelles et Fiabilite des s",
"http://www.i3s.unice.fr/systemesembarques/html/unites.html",
"Methodes Formelles et Fiabilite des Systemes Embarques",
[ ],
{ "course" } ),
"uniroma" |->
mk_Url(
"Roma",
"http://www.uniroma1.it",
"Roma (La Sapienza)",
[ ],
{ "inst" } ),
"utrecht" |->
mk_Url(
"Utrecht University",
"http://www.cs.ruu.nl/",
"Utrecht University",
[ ],
{ "inst" } ),
"utwente" |->
mk_Url(
"Twente",
"http://www.utwente.nl",
"University of Twente",
[ ],
{ "inst" } ),
"wirsing" |->
mk_Url(
"M. Wirsing",
"http://www.pst.informatik.uni-muenchen.de/personen/wirsing/wirsing-e.html",
"Martin Wirsing",
"wirsing@informatik.uni-muenchen.de",
{ "contact" } ),
"wsinrpn" |->
mk_Url(
"R. Nederpelt",
"http://www.win.tue.nl/~wsinrpn",
"Rob Nederpelt",
[ ],
{ "contact" } ),
"AtelierB" |->
mk_Url(
"Atelier-B",
"http://www.atelierb.societe.com/index_uk.html",
"Atelier-B",
[ ],
{ "tool" } ),
"Attiogbe" |->
mk_Url(
"J.C. Attiogbe",
"http://www.sciences.univnantes.fr/info/perso/permanents/attiogbe/",
"J. Christian Attiogbe",
"Christian.Attiogbe@irin.univ-nantes.fr",
{ "contact" } ),
"EABoiten" |->
mk_Url(
"E.A. Boiten",
"http://www.cs.kent.ac.uk/people/staff/eab2/",
"Eerke Boiten",
"E.A.Boiten@ukc.ac.uk",
{ "contact" } ),
"Isabelle" |->
mk_Url(
"Isabelle",
"http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
"Isabelle",
[ ],
{ "tool" } ),
"J. Rutte" |->
mk_Url(
"J. Rutte",
"mailto:",
"J. Rutte",
[ ],
{ "contact" } ),
"alpuente" |->
mk_Url(
"M. Alpuente",
"http://www.dsic.upv.es/users/elp/alpuente.html",
"Maria Alpuente",
[ ],
{ "contact" } ),
"angliafs" |->
mk_Url(
"Formal Specification",
"http://bridge.anglia.ac.uk/~cdean/fm/fmguide.pdf",
"Formal Specification",
[ ],
{ "course" } ),
"asbremen" |->
mk_Url(
"Algebraic Specification",
"http://www.informatik.uni-bremen.de/~lschrode/teaching/AlgSpec_e.htm",
"Algebraic Specification",
[ ],
{ "course" } ),
"bordeaux" |->
mk_Url(
"Bordeaux",
"http://www.u-bordeaux1.fr/",
"U. Bordeaux 1",
[ ],
{ "inst" } ),
"brinksma" |->
mk_Url(
"E. Brinksma",
"http://www.utwente.nl/~brinksma",
"Ed Brinksma",
[ ],
{ "contact" } ),
"dbjorner" |->
mk_Url(
"D. Bjorner",
"http://www.imm.dtu.dk/~db/",
"Dines Bjorner",
[ ],
{ "contact" } ),
"dtufassI" |->
mk_Url(
"Formal Aspects of I",
"http://shb.dtu.dk/default.asp detail=f page=3 kurser=02262 lang=uk retning=*",
"Formal Aspects of Software Engineering I",
[ ],
{ "course" } ),
"enseeiht" |->
mk_Url(
"Toulouse",
"http://www.enseeiht.fr/",
"Ecole Nationale Superieure e",
[ ],
{ "inst" } ),
"griffaul" |->
mk_Url(
"A. Griffault",
"http://deptinfo.labri.u-bordeaux.fr/~griffaul",
"Alain Griffault",
[ ],
{ "contact" } ),
"istugSwt" |->
mk_Url(
"Software Technology",
"http://www.ist.tu-graz.ac.at/courses/swt00",
"Software Technology",
[ ],
{ "course" } ),
"logverif" |->
mk_Url(
"Logics and Verification",
"http://www.liafa.jussieu.fr/~haberm/cours/logverif/",
"Logics and Verification",
[ ],
{ "course" } ),
"lschrode" |->
mk_Url(
"L. Schroder",
"http://www.informatik.uni-bremen.de/~lschrode/",
"Lutz Schroder",
[ ],
{ "contact" } ),
"muenchen" |->
mk_Url(
"L-M-U Munchen",
"http://www.uni-muenchen.de/",
"Die Ludwig-Maximilians-Universitat Munchen",
[ ],
{ "inst" } ),
"nijmegen" |->
mk_Url(
"Nijmegen",
"http://www.cs.kun.nl/fnds/",
"Radbout Universiteit Nijmegen",
[ ],
{ "inst" } ),
"paraprog" |->
mk_Url(
"Paradigmi di Programmazione",
"http://cesare.dsi.uniroma1.it/~paraprog/index.html",
"Paradigmi di Programmazione",
[ ],
{ "course" } ),
"poitiers" |->
mk_Url(
"Poitiers",
"http://enseignement.informatique.univ-poitiers.fr",
"Dep. Inf. of Univ. Poitiers",
[ ],
{ "inst" } ),
"stirling" |->
mk_Url(
"Stirling",
"http://www.cs.stir.ac.uk",
"University of Stirling",
[ ],
{ "inst" } ),
"tarlecki" |->
mk_Url(
"A. Tarlecki",
"http://www.mimuw.edu.pl/~tarlecki/",
"Andrzej Tarlecki",
"tarlecki@mimuw.edu.pl",
{ "contact" } ),
"valencia" |->
mk_Url(
"Univ. Polit. Valencia",
"http://www.dsic.upv.es",
"Univ. Polit. Valencia",
[ ],
{ "inst" } ),
"wehrheim" |->
mk_Url(
"H. Wehrheim",
"http://www.informatik.unioldenburg.de/~wehrheim/index-eng.html",
"Heike Wehrheim",
"wehrheim@informatik.uni-oldenburg.de",
{ "contact" } ),
"CommUnity" |->
mk_Url(
"CommUnity",
"http://www.fiadeiro.org/jose/CommUnity/",
"CommUnity",
[ ],
{ "tool" } ),
"D. Kuiper" |->
mk_Url(
"D. Kuiper",
"mailto:",
"D. Kuiper",
[ ],
{ "contact" } ),
"H. Wupper" |->
mk_Url(
"H. Wupper",
"mailto:",
"H. Wupper",
[ ],
{ "contact" } ),
"I. Bethke" |->
mk_Url(
"I. Bethke",
"mailto:",
"I. Bethke",
[ ],
{ "contact" } ),
"J. Kuper" |->
mk_Url(
"J. Kuper",
"mailto:",
"J. Kuper",
[ ],
{ "contact" } ),
"J. Davies" |->
mk_Url(
"J. Davies",
"http://web.comlab.ox.ac.uk/oucl/people/jim.davies.html",
"J. Davies",
[ ],
{ "contact" } ),
"J. Fokker" |->
mk_Url(
"J. Fokker",
"mailto:",
"J. Fokker",
[ ],
{ "contact" } ),
"J. Zwiers" |->
mk_Url(
"J. Zwiers",
"mailto:",
"J. Zwiers",
[ ],
{ "contact" } ),
"TeachingB" |->
mk_Url(
"Specification and Formal Verification in B",
"http://www.labri.fr/~sutre/Teaching/B",
"Specification and Formal Verification in B",
[ ],
{ "course" } ),
"Y. Venema" |->
mk_Url(
"Y. Venema",
"mailto:",
"Y. Venema",
[ ],
{ "contact" } ),
"aichernig" |->
mk_Url(
"B.K. Aichernig",
"http://www.iist.unu.edu/~bka",
"Bernhard K. Aichernig",
"bka@iist.unu.edu",
{ "contact" } ),
"dSprogSem" |->
mk_Url(
"Programming Languages and Formal Semantics",
"http://www.daimi.au.dk/dSprogSem/",
"Programming Languages and s",
[ ],
{ "course" } ),
"dtufassII" |->
mk_Url(
"Formal Aspects of I",
"http://shb.dtu.dk/default.asp detail=f page=3 kurser=02268 lang=uk retning=*",
"Formal Aspects of Software Engineering II",
[ ],
{ "course" } ),
"edinburgh" |->
mk_Url(
"Edinburgh",
"http://www.dcs.ed.ac.uk",
"Department of Computer h",
[ ],
{ "inst" } ),
"mandrioli" |->
mk_Url(
"D. Mandrioli",
"http://www.elet.polimi.it/~mandriol",
"Dino Mandrioli",
"mandrioli@elet.polimi.it",
{ "contact" } ),
"mezzalira" |->
mk_Url(
"L. Mezzalira",
"http://www.elet.polimi.it/page1.do dau1.oid=140 UserCtxParam=0 GroupCtxPara0",
"Lorenzo Mezzalira",
[ ],
{ "contact" } ),
"newcastle" |->
mk_Url(
"Newcastle",
"http://www.cs.ncl.ac.uk/",
"University of Newcastle",
[ ],
{ "inst" } ),
"pierluigi" |->
mk_Url(
"P. San Pietro",
"http://www.elet.polimi.it/upload/sanpietr/index.html",
"Pierluigi San Pietro",
[ ],
{ "contact" } ),
"softengox" |->
mk_Url(
"Oxford",
"http://www.softeng.ox.ac.uk",
"Oxford",
[ ],
{ "inst" } ),
"splbremen" |->
mk_Url(
"Semantics of Programming Languages",
"http://www.informatik.unibremen.de/~lschrode/teaching/Semantics_e.htm",
"Semantics of Programming Languages",
[ ],
{ "course" } ),
"strasbgSF" |->
mk_Url(
"Specifications formelles_ t",
"http://www-mathinfo.ustrasbg.fr/mod_ens/index.php module=168 filiere=25",
"Specifications formelles_ t",
[ ],
{ "course" } ),
"C. Huizing" |->
mk_Url(
"C. Huizing",
"mailto:",
"C. Huizing",
[ ],
{ "contact" } ),
"F. Wiedijk" |->
mk_Url(
"F. Wiedijk",
"mailto:",
"F. Wiedijk",
[ ],
{ "contact" } ),
"H. Geuvers" |->
mk_Url(
"H. Geuvers",
"mailto:",
"H. Geuvers",
[ ],
{ "contact" } ),
"H. Zantema" |->
mk_Url(
"H. Zantema",
"mailto:",
"H. Zantema",
[ ],
{ "contact" } ),
"J. Gibbons" |->
mk_Url(
"J. Gibbons",
"http://web.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html",
"J. Gibbons",
[ ],
{ "contact" } ),
"J. Terlauw" |->
mk_Url(
"J. Terlauw",
"mailto:",
"J. Terlauw",
[ ],
{ "contact" } ),
"J.J. Meyer" |->
mk_Url(
"J.J. Meyer",
"mailto:",
"J.J. Meyer",
[ ],
{ "contact" } ),
"LjSteggles" |->
mk_Url(
"J. Steggles",
"http://www.cs.ncl.ac.uk/people/l.j.steggles/",
"Jason Steggles",
"L.J.Steggles@ncl.ac.uk",
{ "contact" } ),
"RAISEtools" |->
mk_Url(
"RAISE tools",
"http://www.iist.unu.edu/newrh/III/3/1/page.html",
"RAISE tools",
[ ],
{ "tool" } ),
"W. Dekkers" |->
mk_Url(
"W. Dekkers",
"mailto:",
"W. Dekkers",
[ ],
{ "contact" } ),
"W. Fokkink" |->
mk_Url(
"W. Fokkink",
"mailto:",
"W. Fokkink",
[ ],
{ "contact" } ),
"istugAkswt" |->
mk_Url(
"Selected Topics on Software Technology",
"http://www.ist.tu-graz.ac.at/courses/akswt00",
"Selected Topics on Software Technology",
[ ],
{ "course" } ),
"poitiersSF" |->
mk_Url(
"Specifications Formelles",
"http://enseignement.informatique.univ-poitiers.fr/maitrise/programmes.php",
"Specifications Formelles",
[ ],
{ "course" } ),
"A. Dijkstra" |->
mk_Url(
"A. Dijkstra",
"mailto:",
"A. Dijkstra",
[ ],
{ "contact" } ),
"DidierBuchs" |->
mk_Url(
"D. Buchs",
"mailto:Didier.Buchs@epfl.ch",
"D. Buchs",
"Didier.Buchs@epfl.ch",
{ "contact" } ),
"H.W. Zeevat" |->
mk_Url(
"H.W. Zeevat",
"mailto:",
"H.W. Zeevat",
[ ],
{ "contact" } ),
"J. Broersen" |->
mk_Url(
"J. Broersen",
"mailto:",
"J. Broersen",
[ ],
{ "contact" } ),
"Jetty Klein" |->
mk_Url(
"Jetty Klein",
"mailto:kleijn@liacs.nl",
"Jetty Klein",
"kleijn@liacs.nl",
{ "contact" } ),
"M. de Rijke" |->
mk_Url(
"M. de Rijke",
"mailto:",
"M. de Rijke",
[ ],
{ "contact" } ),
"R. Langerak" |->
mk_Url(
"R. Langerak",
"mailto:",
"R. Langerak",
[ ],
{ "contact" } ),
"SteveRiddle" |->
mk_Url(
"S. Riddle",
"http://www.cs.ncl.ac.uk/people/steve.riddle/",
"Steve Riddle",
"Steve.Riddle@ncl.ac.uk",
{ "contact" } ),
"W. Prasetya" |->
mk_Url(
"W. Prasetya",
"mailto:",
"W. Prasetya",
[ ],
{ "contact" } ),
"cenciarelli" |->
mk_Url(
"P. Cenciarelli",
"http://www.dsi.uniroma1.it/personal/cenciarelli/eng/",
"Pietro Cenciarelli",
[ ],
{ "contact" } ),
"AndrewMartin" |->
mk_Url(
"A. Martin",
"http://web.comlab.ox.ac.uk/oucl/people/andrew.martin.html",
"Andrew Martin",
"Andrew.Martin@comlab.ox.ac.uk",
{ "contact" } ),
"ArthurHughes" |->
mk_Url(
"A. Hughes",
"http://www.cs.tcd.ie/Arthur.Hughes",
"Arthur Hughes",
"Arthur.Hughes@cs.tcd.ie",
{ "contact" } ),
"D. Swierstra" |->
mk_Url(
"D. Swierstra",
"mailto:",
"D. Swierstra",
[ ],
{ "contact" } ),
"E. Barendsen" |->
mk_Url(
"E. Barendsen",
"mailto:",
"E. Barendsen",
[ ],
{ "contact" } ),
"Erik de Vink" |->
mk_Url(
"Erik de Vink",
"mailto:devink@liacs.nl",
"Erik de Vink",
"devink@liacs.nl",
{ "contact" } ),
"G. Vreeswijk" |->
mk_Url(
"G. Vreeswijk",
"mailto:",
"G. Vreeswijk",
[ ],
{ "contact" } ),
"J.P. Katoen" |->
mk_Url(
"J.P. Katoen",
"mailto:",
"J.P. Katoen",
[ ],
{ "contact" } ),
"L.M.G. Feijs" |->
mk_Url(
"L.M.G. Feijs",
"mailto:",
"L.M.G. Feijs",
[ ],
{ "contact" } ),
"R. de Vrijer" |->
mk_Url(
"R. de Vrijer",
"mailto:",
"R. de Vrijer",
[ ],
{ "contact" } ),
"TobiasNipkow" |->
mk_Url(
"T. Nipkow",
"http://wwwbroy.informatik.tu-muenchen.de/~nipkow/",
"Tobias Nipkow",
"Tobias.Nipkow@informatik.tu-muenchen.de",
{ "contact" } ),
"enseignement" |->
mk_Url(
"Modelisation et analyse des systemes a evenements discrets",
"http://www.laas.fr/~robert/enseignement.d/",
"Modelisation et analyse des s",
[ ],
{ "course" } ),
"parisVIIetAl" |->
mk_Url(
"Paris )",
"http://mpri.master.univ-paris7.fr/partenaires.html",
"Paris (Master )",
[ ],
{ "inst" } ),
"FMethodsSwEng" |->
mk_Url(
"Formal Methods for g",
"http://fmt.cs.utwente.nl/courses/fmse/",
"Formal Methods for g",
[ ],
{ "course" } ),
"J.C.M. Baeten" |->
mk_Url(
"J.C.M. Baeten",
"mailto:",
"J.C.M. Baeten",
[ ],
{ "contact" } ),
"MerielHuggard" |->
mk_Url(
"M. Huggard",
"http://www.cs.tcd.ie/Meriel.Huggard",
"Meriel Huggard",
[ ],
{ "contact" } ),
"---missing1---" |->
mk_Url(
"---missing1---",
"mailto:",
"---missing1---",
[ ],
{ "contact" } ),
"---missing3---" |->
mk_Url(
"---missing3---",
"mailto:",
"---missing3---",
[ ],
{ "contact" } ),
"---missing4---" |->
mk_Url(
"---missing4---",
"mailto:klein@liacs.nl",
"---missing4---",
"klein@liacs.nl",
{ "contact" } ),
"---missing7---" |->
mk_Url(
"---missing7---",
"mailto:",
"---missing7---",
[ ],
{ "contact" } ),
"---missing8---" |->
mk_Url(
"---missing8---",
"mailto:",
"---missing8---",
[ ],
{ "contact" } ),
"M. van Eekelen" |->
mk_Url(
"M. van Eekelen",
"mailto:",
"M. n",
[ ],
{ "contact" } ),
"MalcolmTyrrell" |->
mk_Url(
"M. Tyrrell",
"mailto:Malcolm.Tyrrell@cs.tcd.ie",
"Malcolm Tyrrell",
"Malcolm.Tyrrell@cs.tcd.ie",
{ "contact" } ),
"contactStrasbg" |->
mk_Url(
"P. )",
"mailto:Pierre.Gancarski@dpt-info.u-strasbg.fr",
"Pierre Gancarski",
"Pierre.Gancarski@dpt-info.u-strasbg.fr",
{ "contact" } ),
"---missing6---" |->
mk_Url(
"---missing6---",
"mailto:",
"---missing6---",
[ ],
{ "contact" } ),
"contactPoitiers" |->
mk_Url(
"E. Andres (contact)",
"mailto:Eric.Andres@sic.univpoitiers.fr",
"Eric Andres",
"Eric.Andres@sic.univ-poitiers.fr",
{ "contact" } ),
"F. van Raamsdonk" |->
mk_Url(
"F. van Raamsdonk",
"mailto:",
"F. van Raamsdonk",
[ ],
{ "contact" } ),
"Jeanette de Graaf" |->
mk_Url(
"Jeanette de Graaf",
"mailto:graaf@liacs.nl",
"Jeanette de Graaf",
"graaf@liacs.nl",
{ "contact" } ),
"P.M. van de Broek" |->
mk_Url(
"P.M. van de Broek",
"mailto:",
"P.M. van de Broek",
[ ],
{ "contact" } ),
"protocolvalidatie" |->
mk_Url(
"Protocol Validation",
"http://fmt.cs.utwente.nl/courses/protocolvalidatie/",
"Protocol Validation",
[ ],
{ "course" } ),
"D. van Leijenhorst" |->
mk_Url(
"D. van Leijenhorst",
"mailto:",
"D. van Leijenhorst",
[ ],
{ "contact" } ),
"K.G. g" |->
mk_Url(
"K.G. van den Berg",
"mailto:",
"K.G. van den Berg",
[ ],
{ "contact" } ),
"H.P.J. van Geldropvan Eijk" |->
mk_Url(
"H.P.J. van Geldrop-van Eijk",
"mailto:",
"H.P.J. van Geldropvan Eijk",
[ ],
{ "contact" } ) },
{ "FM01" |->
mk_Topic(
"Set-theoretic/topological s",
{ "DMat",
"FixP",
"ScTD" } ),
"FM02" |->
mk_Topic(
"Logical foundations of Formal Methods",
{ "HL",
"TL",
"CTL",
"FOL",
"LTL",
"TLA",
"LamC" } ),
"FM03" |->
mk_Topic(
"Typetheoretic foundations of Formal Methods",
{ "TT",
"PolyT" } ),
"FM04" |->
mk_Topic(
"Algebraic foundations of Formal Methods",
{ "AlS",
"MPC",
"PRC" } ),
"FM05" |->
mk_Topic(
"Property oriented Specification",
{ "ADT",
"CASL" } ),
"FM06" |->
mk_Topic(
"Model oriented specification",
{ "B",
"Z",
"OZ",
"ASM",
"FPT",
"RSL",
"VDM",
"VPP",
"IVDM",
"Alloy",
"VDMSL" } ),
"FM07" |->
mk_Topic(
"Multi-paradigm specification",
{ "MPS" } ),
"FM08" |->
mk_Topic(
"Correct by construction",
{ "AoP" } ),
"FM09" |->
mk_Topic(
"Correct by verification",
{ "PV",
"BDD" } ),
"FM10" |->
mk_Topic(
"Correct by machine checking",
{ "MC",
"ATP",
"TFM" } ),
"FM11" |->
mk_Topic(
"Refinement techniques",
{ "RC",
"ARef",
"DRef",
"RefB" } ),
"FM12" |->
mk_Topic(
"Programming Language Semantics",
{ "AS",
"FS",
"ASe",
"AbsI" } ),
"FM13" |->
mk_Topic(
"Formalizing distribution_ concurrency and mobility",
{ "PA",
"CCS",
"CSP",
"FSP",
"MSC",
"PiC",
"SDL",
"LOTOS",
"Petri",
"Unity",
"ELotos",
"Estelle" } ),
"FM14" |->
mk_Topic(
"Declarative programming",
{ "FP",
"SML",
"xML",
"Ocaml",
"Prolog",
"Haskell" } ),
"FM15" |->
mk_Topic(
"Other topics",
{ "AL",
"SA",
"JML",
"Safety" } ) },
{ "au" |-> "dk",
"ic" |-> "uk",
"le" |-> "uk",
"uw" |-> "pl",
"apu" |-> "uk",
"auc" |-> "dk",
"dtu" |-> "dk",
"gla" |-> "uk",
"kcl" |-> "uk",
"man" |-> "uk",
"mrs" |-> "fr",
"sbu" |-> "uk",
"tcd" |-> "ie",
"tue" |-> "nl",
"tum" |-> "de",
"ubi" |-> "pt",
"uhp" |-> "fr",
"ukc" |-> "uk",
"war" |-> "uk",
"enst" |-> "fr",
"epfl" |-> "ch",
"ethz" |-> "ch",
"fcup" |-> "pt",
"gent" |-> "be",
"lyon" |-> "fr",
"metz" |-> "fr",
"nott" |-> "uk",
"olde" |-> "de",
"oucl" |-> "uk",
"uams" |-> "nl",
"umuk" |-> "pt",
"brest" |-> "fr",
"clcam" |-> "uk",
"fuams" |-> "nl",
"istug" |-> "at",
"liafa" |-> "fr",
"soton" |-> "uk",
"unibo" |-> "it",
"unice" |-> "fr",
"unipi" |-> "it",
"unito" |-> "it",
"berlin" |-> "de",
"bremen" |-> "de",
"istUtl" |-> "pt",
"nantes" |-> "fr",
"polimi" |-> "it",
"rugron" |-> "nl",
"dresden" |-> "de",
"strasbg" |-> "fr",
"uleiden" |-> "nl",
"uniroma" |-> "it",
"utwente" |-> "nl",
"bordeaux" |-> "fr",
"enseeiht" |-> "fr",
"muenchen" |-> "de",
"nijmegen" |-> "nl",
"poitiers" |-> "fr",
"stirling" |-> "uk",
"valencia" |-> "es",
"edinburgh" |-> "uk",
"newcastle" |-> "uk",
"softengox" |-> "uk",
"parisVIIetAl" |-> "fr" },
{ "Admin" |->
mk_User(
"Administrador",
[ ] ),
"Marco" |->
mk_User(
"Marco Coelho",
[ ] ),
"Barbara" |->
mk_User(
"Barbara Vieira",
[ ] ),
"a38588@alunos.uminho.pt" |->
mk_User(
"Barbara Vieira",
"a38588" ) } )
|