|
|
| About site: Computer Science/People/M - Martini, Simone |
Return to Computers also Computers
|
| About site: http://www.cs.unibo.it/~martini/ |
Title: Computer Science/People/M - Martini, Simone University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
|
|
|
|
|
Boards2Go Offers a free message board. This service is popup-ad supported.
| Alliance_Computer_Systems_Inc New York based retailer specializing in the sales and service of Macintosh and Apple systems; shop online, find tech support, or get contact information.
| Canver,_Ercüment University of Ulm - Object-oriented approaches to formal specification and verification, formal specification and verification of reactive systems, component-based formal development of concurrent sys
| WWW_File_Share File sharing system with a browser-based client allowing sharing amongst closed networks of friends.
| RFC_0936 Another Internet Subnet Addressing Scheme. M.J. Karels. February 1985.
| Barnes_and_Noble Offers books, ebooks and audiobooks. Contains program overview, promotional materials and signup form.
|
|
| Alexa statistic for http://www.cs.unibo.it/~martini/ |
Please visit: http://www.cs.unibo.it/~martini/
|
| Related sites for http://www.cs.unibo.it/~martini/ |
| Acclipse_Web WebXOffice is a productivity tool to manage and build an e-business. | | Bar_Tech_Telecom_Services Voice and network services and products. Located in Irvine, California. | | Marketing_Analytics_Inc_ Software and consulting firm specializing in the analysis of sales and marketing applications. | | CodeCraft_-_Coder\'s_Side Collection programming tutorials, documentation. Sources. | | Affiliate_Program_Tip_Blog Commentary and insight into current happenings in affiliate marketing. | | Liant_RM/COBOL Liant includes a comprehensive portfolio of integrated tools that enables you to maintain a single set of source while deploying applications on the most popular open platforms. | | Project_Place Provides project portfolio, project directory and project archive management softwares. | | RFC_0182 Compilation of List of Relevant Site Reports. J.B. North. June 1971. | | RFC_0843 Who Talks TCP? - Survey of 8 February 83. D. Smallberg. February 1983. | | Howstuffworks_\"How_Routers_Work\" Routers are such a vital component of the Internet that the Internet literally could not exist without them. Find out exactly how routers work and why they are so important! | | SLUG The Singapore Linux user group | | Tenon_Intersystems__Post_Office Mac OS X mail server with online administration, a SPAM prevention tool, and list manager. | | Glaser,_Simon_-_GlaserWeb_com Offers standards compliant web design and programming services in the Philadelphia area. Includes portfolio of work. | | Online_IT_Pro Contains articles for Windows Vista and XP, Firefox and PC Maintenance. | | MOS_Technology_6502_Microprocessor_Family Short technical description, photographs, links to family members. | | Action_IRC Worldwide user base; includes list of staff and mission statement. Also has a java chat and information about the network. | | Digital_Media_Worldwide Offers design, hosting, flash animation, e-commerce, and search engine optimization services. Located in Fort Lauderdale, Florida, United States. | | Net_Theory Design, Java, Ruby on Rails, PHP, JSP, ASP, HTML and CSS, Perl, database development, e-commerce, intranets, consulting, and hosting. Located in New York City (Manhattan, NYC, United States). | | Bent_Tree_Software Mortgage and personal finance shareware. Ideal for financial planners and attorneys. [Windows 3.1/95/98] | | Official_FTP_Server Anonymous server where visitors can download the latest versions of officially supported software. |
|
This is websites2007.org cache of m/ as retrieved on 2008.10.15 websites2007.org's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
|
Simone Martini
home
contact
teaching
publications
talks
EACSL
CONCERTO
CSL 2009
CSL 2008
Longo Symposium
Dottorato di Ricerca
PhD Program in CS
Università di Bologna
Dipartimento di Scienze dell'Informazione
Simone Martini
Simone Martini
Professor of Computer Science
Director of PhD Program in Computer Science
Simone Martini received the Laurea degree in Scienze dell'Informazione
and the Dottorato di Ricerca in Informatica (Ph.D. in Computer Science)
from Università di
Pisa. Before joining Università di Bologna in 2002, he
has been Research Associate and Associate Professor at Università di Pisa
and Professor of Computer Science at Università di Udine.
He has been a visiting scientist at the Systems
Research Center of Digital Equipment Corporation, Palo Alto;
at Stanford University;
at École normale supérieure, Paris;
at Université de Paris Nord; and
at University of California at Santa Cruz .
He is a member of the Executive Boards of the European Association for Computer Science Logic
(EACSL) and of the Associazione Italiana
di Logica e Applicazioni (AILA).
His research interests
are in the logical foundations of programming languages.
He has written papers in lambda-calculus, type theory, linear and resource logics.
His Erdös number is 3.
|
|
| |
University | of | Bologna, | Italy | - | Type | systems | for | programming | languages, | logic | in | computer | science, | lambda-calculus. |
|
http://www.cs.unibo.it/~martini/
Martini, Simone 2008 October
dvd rental
dvd
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
Rules
|
© 2008 Internet Explorer 5+ or Netscape 6+
|
|
Recommended Sites: 1.
Arts -
Business -
Computers -
Games -
Health -
Home -
Kids and Teens -
News -
Recreation -
Reference -
Regional -
Science -
Shopping -
Society -
Sports -
World
Miss Gallery
- Top Anime Hentai
- DVD rental by mail
- Credit - MySpace Layouts - Mortgage Calculator - MPAA - Credit Card
|
