The Verified Software Repository

2006:	_Jan	_Feb	_Mar	_Apr	_May	_Jun	_Jul	_Aug	_Sep	_Oct (5)	_Nov (4)	_Dec
2007:	_Jan (1)	_Feb	_Mar	_Apr	_May	_Jun	_Jul	_Aug	_Sep	_Oct	_Nov	_Dec

Topic	Topic Starter	Thread Posts	Last Post
[Vsr-users] Mondex Talk - 31st Jan	Leo Freitas <leo@cs...>	1	2007-01-12 10:20
[Vsr-users] Mondex papers - reminder + update	Leo Freitas <leo@cs...>	1	2006-11-30 10:44
Re: [Vsr-users] Mondex paper deadline is approaching - 5 weeks	<leo@cs...>	3	2006-11-24 14:39
[Vsr-users] SPAM filtering problem	Leo Freitas <leo@cs...>	1	2006-10-17 08:36
[Vsr-users] Mondex workshop 5-6 October: slides	Paul P Boca <Paul.Boca@vi...>	1	2006-10-16 21:48
[Vsr-users] Digital curation	<leo@cs...>	1	2006-10-09 16:17
[Vsr-users] Uploading to the repository	<leo@cs...>	1	2006-10-09 15:30
Re: [Vsr-users] Welcome to the "Vsr-users" mailing list	Bicarregui, JC \(Juan\) <J.Bicarregui@rl...>	1	2006-10-09 14:04