October 2008 Archives by subject

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

Starting: Sat Oct 11 22:16:26 CEST 2008
Ending: Fri Oct 31 00:57:12 CET 2008
Messages: 5

• [Om] [Deadline extension] MACIS 2008   Lee Wen-Shin
• [Om] Hexadecimal integers?   Lars Hellström
• [Om] ICTAC'09: Call for Workshop Proposals   Martin Leucker
• [Om] Symbols for formal terms   Lars Hellström
• [Om] Symbols for formal terms   Professor James Davenport

Last message date: Fri Oct 31 00:57:12 CET 2008
Archived on: Fri Oct 31 08:49:41 CET 2008

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