links
people
projects / languages
events
- Service Oriented Architectures and Programming (SOAP'11), TaiChung, Taiwan, 2011
- 20th European Symposium on Programming (ESOP'10), Saarbrücken, Germany, 2010
- 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), Pisa, Italy, 2010
- Workshop on Security Oriented Formal Techniques (WSOFT'10), Pisa, Italy, 2010
- 25th Annual IEEE Symposium on Logic in Computer Science (LICS'10), Edinburgh, Scotland, 2010
- 5th Workshop on Intersection Types and Related Systems (ITRS'10), Edinburgh, Scotland, 2010
- Service Oriented Architectures and Programming (SOAP'10), Sierre, Switzerland, 2010
- 2nd Workshop on Interaction and Concurrency Experience (ICE'09), Bologna, Italy, 2009
- 11th International Workshop on Verification of Infinite-State Systems (INFINITY'09), Bologna, Italy, 2009
- 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), Coimbra, Portugal, 2009
- 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09), Bertinoro, Italy, 2009
- 20th International Conference on Concurrency Theory (CONCUR'09), Bologna, Italy, 2009
- Concurrency, Graphs and Models (Ugo65'08), Pisa, Italy, 2008
- 35th annual symposium on Principles of Programming Languages (POPL'08), San Francisco, California, 2008
- 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, 2008
- 18th International Conference on Concurrency Theory (CONCUR'07), Lisbon, Portugal, 2007
- 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07), Nice, France, 2007
- 9th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), Paphos, Cyprus, 2007
- Distributed Computing Techniques (DISCOTEC'06), Bologna, Italy, 2006
- 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), Vienna, Austria, 2006
- International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), Vienna, Austria, 2006
- 5th International Conference on Mathematical Knowledge Management (MKM'06), Wokingham, UK, 2006
- International Workshop on Web Services and Formal Methods (WS-FM'05), Versailles, France, 2005
- 7th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), Athens, Greece, 2005
- 14th Conference on Compiler Construction (CC'05), Edinburgh, Scotland, 2005
- Types Project Workshop (TYPES'04), Jouy-en-Josas, France, 2004
- 3rd International Conference on Generative Programming and Component Engineering (GPCE'04), Vancouver, British Colombia, Canada, 2004
- 3rd International Conference on Mathematical Knowledge Management (MKM'04), Białowieża, Poland, 2004
- International Conference on TeX, XML, and Digital Typography (TUG'04), Xanthi, Greece, 2004
- 5th Annual GNOME User and Developer European Conference (GUADEC'04), Kristiansand, Norway, 2004
- Italian Conference on Theoretical Computer Science (ICTCS'03), Bertinoro, Italy, 2003
- 24th Annual Meeting and Conference of the TeX Users Group (TUG'03), Kohala Coast of the Big Island, Hawaii, USA, 2003
- Mathematics on the Semantic Web Workshop (MSW'03), Eindhoven, The Netherlands, 2003
- 2nd International Conference on Mathematical Knowledge Management (MKM'03), Bertinoro, Italy, 2003
- MathML International Conference (MathML'02), Chicago, Illinois, USA, 2002
- 2nd Workshop on Web Enabling Technologies for Scientists (WEBENABLING'02), Trieste, Italy, 2002
- East Coast Computer Algebra Day (ECCAD'02), Long Island City, New York, USA, 2002
- W3C Technical Plenary Meeting (W3C'02), Cannes Mandelieu, France, 2002
- 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Edinburgh, Scotland, 2001
- 1st International Workshop on Mathematical Knowledge Management (MKM'01), RISC, A-4232 Schloss Hagenberg, Austria, 2001
- Extreme Markup Languages Conference (EXTREME'01), Montréal, Québec, Canada, 2001
- International Symposium on Symbolic and Algebraic Computation (ISSAC'01), London, Ontario, Canada, 2001
- 8th International Conference `Crimea 2001': Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01), Sudak, Ukraine, 2001
- 1st MathML International Conference (MathML'00), Urbana-Champaign, Illinois, USA, 2000
- 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'00), Portland, Oregon, USA, 2000
- LINEAR International Summer School (Linear Logic and Applications) (LINEAR'00), Azores, Portugal, 2000
- 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00), Santa Barbara, California, USA, 2000
- Annual IEEE Symposium on Logic in Computer Science (LICS'99), Trento, Italy, 1999
- Third CONFER-2 Workshop (CONFER2'99), Brighton, UK, 1999
generated on Darwin ant.local 10.5.0 Darwin Kernel Version 10.5.0: Fri Nov 5 23:20:39 PDT 2010; root:xnu-1504.9.17~1/RELEASE_I386 i386 i386 Macmini3,1 Darwin