[Haskell] FACS'05: Call for Participation

[apologies for cross-posting] - Please find attached the Call for Participation on FACS'05 2nd International Workshop on Formal Aspects of Component Software to be held at UNU-IIST, Macao, 24-2

[Haskell] FACS'05: Deadline Extended 29 July

[apologies for cross-posting] FACS'05 II International Workshop on Formal Aspects of Component Software Maca

[Haskell] FACS'05: Second Call for Papers

003, collocated with FM'03. ORGANIZATION: UNU-IIST (Macao) PROGRAM COMMITTEE: Farhad Arbab (CWI, The Netherlands) Luis Barbosa (PC Chair, Universidade do Minho, Portugal) Marcello Bonsangue (LIACS-Leiden University, The Netherlands) Christiano Braga (Universidade Federal Flumin

[Haskell] FACS'05 Call for Papers

CS workshop was held in Pisa, Italy, in September 2003, collocated with FM'03. ORGANIZATION: UNU-IIST (Macao) PROGRAM COMMITTEE: Farhad Arbab (CWI, The Netherlands) Luis Barbosa (PC Chair, Universidade do Minho, Portugal) Marcello Bonsangue (LIACS-Leiden University, The Netherl