Mathematics

Delzanno, Giorgio Delzanno, Giorgio- University of Genova, Italy. Cervesato, Lliano Cervesato, Lliano- ITT Industries, Inc., USA. Benton, Nick Benton, Nick- Microsoft Research, USA. Asperti, Andrea Asperti, Andrea- University of Bologna, Italy. Abramsky, Samson Abramsky, Samson- Oxford University Computing Laboratory, UK. Japaridze, Giorgi Japaridze, Giorgi- Villanova University, USA. Pitts, Andrew Pitts, Andrew- University of Cambridge, UK. Ong, Luke Ong, Luke- Oxford University Computing Laboratory, UK. Honsell, Furio Honsell, Furio- University of Udine, Italy. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998) The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)- (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal a… A Non Functional Calculus: Linear Logic and Concurrency (2000) A Non Functional Calculus: Linear Logic and Concurrency (2000)- (CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach w… Completeness Results for Linear Logic on Petri Nets (1993) Completeness Results for Linear Logic on Petri Nets (1993)- (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is com… A Curry-Howard Foundation for Functional Computation with Control (1997) A Curry-Howard Foundation for Functional Computation with Control (1997)- Article by C.-H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu ca… Computational Isomorphisms in Classical Logic Computational Isomorphisms in Classical Logic- Article by V. Danos, J. B. Joinet and H. Schellinx examining the categorical semantics of classical logic from a perspective inspire… Computational Content of Classical Logic (1996) Computational Content of Classical Logic (1996)- Lecture notes from a research seminar series by Thierry Coquand covering double-negation translations, game semantics of classical… On the computational content of the Axiom of Choice (1995) On the computational content of the Axiom of Choice (1995)- Article by S. Berardi, M. Bezem and T. Coquand presenting a possible computational content of the negative translation … CPS Translations and Applications: the Cube and Beyond (1996) CPS Translations and Applications: the Cube and Beyond (1996)- Article by G. Barthe, J. Hatcliff, and M.H. Sørensen which presents a CPS translation to Barenderegt's `cube' of pur… A Semantic View of Classical Proofs (1996) A Semantic View of Classical Proofs (1996)- Article by C.-H. Luke Ong presenting the semantics of classical proof theory from three perspectives: a formulae-as-types characterisat… A Notion of Classical Pure Type System (1997) A Notion of Classical Pure Type System (1997)- Article by Gilles Barthes. EcoCybernetics EcoCybernetics- Daisyworld and other ecological models by Dave McShaffrey. Earth Systems Project for Global Models Earth Systems Project for Global Models- Hypercard program for modelling Daisyworld. Planet Ocean-Cloud or Daisy World? Planet Ocean-Cloud or Daisy World?- Text of a lecture regarding the relationship between Earth and Daisyworld. Selected Areas in Cryptography 2002 Selected Areas in Cryptography 2002- 9th Annual International Workshop. Summary of results from the meeting at St John's, Newfoundland, Canada, 15--16 August 2002. ICICS 2001 ICICS 2001- Third International Conference on Information and Communications Security. Xian, China; 13--16 November 2001. WEWoRC 2007 WEWoRC 2007- Western European Workshop on Research in Cryptology 2007, July 4-6, Bochum (Germany) Indocrypt 2004 Indocrypt 2004- 5th International Conference on Cryptology in India. Chennai (Madras), India; 20--22 December 2004. TCC 2006 Home TCC 2006 Home- The third Theory of Cryptography conference. Columbia University, New York, NY, USA; 5--7 March 2006. PQCrypto 2006 PQCrypto 2006- International Workshop on Post-Quantum Cryptography. Katholieke Universiteit Leuven, Belgium; 24--26 May 2006. ECC 2006 ECC 2006- 10th Workshop on Elliptic Curve Cryptography. Fields Institute, Toronto, Canada; 18--20 September 2006. CHES 2003 CHES 2003- Hardware and embedded systems. Implementation issues. Cologne, Germany. September 7-10, 2003. FSE 2005 FSE 2005- 12th Fast Software Encryption workshop. ENSTA, Paris, France; 21--23 February 2005. ECC 2005 ECC 2005- The 9th Workshop on Elliptic Curve Cryptography. Technical University of Denmark, Copenhagen; 19--21 September 2005. PKC 2003 PKC 2003- International Workshop on Practice and Theory in Public Key Cryptography. Miami, Florida, USA; 6--8 January 2003. ECC 2002 ECC 2002- The 6th Workshop on Elliptic Curve Cryptography. University of Essen, Germany; 23--25 September 2002. FC'05 FC'05- Ninth international conference on Financial Cryptography and Data Security. Roseau, Dominica; 28 February -- 3 March 2005. SMP 2004 SMP 2004- Workshop on Secure Multiparty Protocols. Amsterdam, The Netherlands; 7--8 October 2004. ECC'04 ECC'04- Workshop on Elliptic Curve Cryptography. Bochum, Germany; 20--22 September 2004. Cryptography and Lattices Conference 2001 Cryptography and Lattices Conference 2001- Brown University, RI, USA; 29--30 March 2001. 2nd Midwest Arithmetical Geometry in Cryptography Workshop 2nd Midwest Arithmetical Geometry in Cryptography Workshop- University of Illinois at Urbana-Champaign, IL, USA; 17--19 November 2000. Tatracrypt '03 Tatracrypt '03- The 3rd Central European Conference on Cryptology. Bratislava, Slovakia; 26--28 June 2003. MPKC 2003 MPKC 2003- Workshop on the mathematics of public-key cryptography. University of Illinois, Chicago, IL, USA; 7--9 November 2003. ECC 2001 ECC 2001- The 5th workshop on elliptic curve cryptography. University of Waterloo, Ontario, Canada; 17--19 September 2001. ECC '99 ECC '99- The 3rd workshop on Elliptic Curve Cryptography. University of Waterloo, Canada; 1--3 November 1999. ECC 2000 ECC 2000- 4th Workshop on Elliptic Curve Cryptography. University of Essen, Germany; 4--6 October 2000. WARTACRYPT '04 WARTACRYPT '04- The 4th Central European Conference on Cryptology. Bedlewo/Poznan, Poland; 1--3 July 2004. TatraCrypt01 TatraCrypt01- Conference held in Liptovsky Jan, Slovak Republic; June 21--23 2001. SCN'02 - Third Conference on Security in Communication Networks SCN'02 - Third Conference on Security in Communication Networks- Topics include forward security, foundations, key management, cryptoanalysis, system security, signature schemes, … Midwest Arithmetical Geometry in Cryptography, 3rd Midwest Arithmetical Geometry in Cryptography, 3rd- University of Illinois at Urbana-Champaign, 2--4 November 2001. Mathematics of Public Key Cryptography Mathematics of Public Key Cryptography- KIAS, Seoul, Korea ; 25--27 June 2001. On-line registration. FSE 2004 FSE 2004- The Fast Software Encryption Workshop 2004, New Delhi, India; 5--7 February 2004.