(PN) ChWFM 2008 – Second Call for Paper
[Please distribute to your colleagues, apologies for multiple copies] +========= ChWFM 2008 ==============+ | First International Workshop on Formal Methods | | November 10-15, Punta Arenas Chile | | | | http://wfm.usach.cl | +===================================+ Held in conjunction with XXVII International Conference of the Chilean Computer Science Society, it will be hosted by the Universidad de [...]