Past Events

• AISC 2011 17-20 January 2011, Perth, Australia.
• FSE07 - Fast Software Encryption 2007, deadline: December, 11, 2006; March 26-28 Luxembourg;
• JdN07 - Journées de Numération Graz 2007, deadline: March 31, 2007: April 16-20, 2007, Graz;
• CiE07 - Computation and Logic in the Real World 2007, deadline: January, 12, 2007; June, 18-23, 2007, Siena;
• TLCA07 - Typed Lambda Calculi and Applications, deadline: January, 2, 2007; June 26-28, 2007, Paris;
• FCT07 - 16th International Symposium on Fundamentals of Computation Theory, deadline: March, 5, 2007; August 27-30, 2007, Budapest, Hungary
• CMSB07 - Computational Methods in Systems Biology 2007, deadline: May, 7, 2007; September 20-21, 2007, Edinburgh;
• 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,