October 2007 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Wed Oct 3 13:30:19 CDT 2007
Ending: Wed Oct 31 11:45:57 CDT 2007
Messages: 3

• [Maude-users] 2 PhD positions in Formal Methods at University of Oslo, Deadline: 1. November   Joe Hendrix
• [Maude-users] 2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   Santiago Escobar
• [Maude-users] Postdoc Position at Queen's University in Foundations of MDD   Juergen Dingel

Last message date: Wed Oct 31 11:45:57 CDT 2007
Archived on: Sun Nov 11 17:08:02 CDT 2007

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...