Past Events

• SASC07 - State of the Art of Stream Ciphers, deadline: January, 2, 2007; January 31 - February 1, 2007, Bochum;
• Bioinformatics Annual Meeting (BITS) 2005 17 - 19 March, Milan, Italy.
• Annual Conference of the European Association for Computer Science Logic, deadline: April 1, 2005 (eoi: March 25, 2005).
• Computational Methods in Systems Biology 2005.
• IEEE Symposium on Logic in Computer Science 2005, deadlines titles and short abstracts due: 5th January 2005; extended abstracts due: 10th January 2005.
• Foundations of Software Science and Computation Structures, FOSSACS 2005, deadline: October, 15, 2004; Edinburgh Apr 2-8, 2005. La logica lineare e i suoi sviluppi: aspetti procedurali e quantistici della logica. A partire dall' 8 ottobre 2004, J.-Y. Girard tiene la cattedra Ennio De Giorgi dell'Universita' Italo-Francese a Roma Tre;
• Bioinformatics and Computational Biology ACCADEMIA NAZIONALE DEI LINCEI, Convegno internazionale, 1 - 3 OTTOBRE 2004, ROMA;
• Bernoulli Convolutions and Beta-Expansions. Workshop in Manchester, UK; September 8 - September 10, 2004;
• 6th Conference on Real Numbers and Computers, Deadline: May 1, 2004,