121. Gian Luca Cattani's Home Page Applications of category theory to computer science, semantics of concurrent process languages. http://www.daimi.au.dk/~luca/

NOTICE I am currently working for DS Data Systems . This is a snapshot of my web-page as it was when I left Cambridge and it is still available mainly to allow people to have access to my research papers. The Computer Science Department at Aarhus is warmly thanked for hosting this page. In fact I also still receive emails sent to either my Aarhus or Cambridge addresses. November 2000 Gian Luca Cattani I am a Research Associate at Cambridge University Computer Laboratory and a Fellow of Wolfson College . I did my doctorate at BRICS under the supervision of Glynn Winskel Research My main research interests are in Logics and Semantics of Computation. In particular Models of Concurrent Computation and applications of Category Theory to Computer Science especially in connection with Domain Theory, Denotational and Operational Semantics. Presently I am supported by an EPSRC grant, whose title is `Calculi for Interactive Systems: Theory and Experiment' and whose principal investigator is Robin Milner. On-line papers and a bibtex database of my publications.

122. Alex Simpson: Home Page University of Edinburgh - Category theory, domain theory, logic, type theory. http://homepages.inf.ed.ac.uk/als/

Alex Simpson: Home Page Alex Simpson Professor of Foundations of Computer Science Laboratory for Foundations of Computer Science (LFCS) School of Informatics, University of Edinburgh Informatic Forum 10 Crichton Street Edinburgh EH8 9AB, UK. Email: Alex.Simpson@ed.ac.uk Phone: Fax: My research interests include: semantic models of computation, especially domain-theoretic and topological models; type theories and their models, especially type theories for computational effects; logic and proof theory in general, and proof systems for program logics in particular; intuitionistic set theories, their models and applications; constructive mathematics and its computational content; foundational models of probability and randomness. Recent: 10 July 2010: Proof Systems for Program Logics LICS -affiliated workshop at FLoC 2010 9 July 2010: LOLA 2010 LICS -affiliated workshop at FLoC 2010 29 June 2010: Scott in Scotland , Informatics Forum, University of Edinburgh. 21 May 2010: Second Scottish Category Theory Seminar , Informatics Forum, University of Edinburgh. 6-7 May 2010: Set Theory, Classical and Constructive ... Linearly-used Continuations and Self-duality July 2009: Slides for my CCC talk: The Locale of Random Sequences January 2009: Slides for my POPL talk: Linear Types for Computational Effects January 2009: Slides for my talk at New Interactions Between Analysis, Topology and Computation:

123. Ian Stark - University Of Edinburgh University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages. http://homepages.inf.ed.ac.uk/stark/

Ian Stark Senior Lecturer in Computer Science Laboratory for Foundations of Computer Science School of Informatics The University of Edinburgh Edinburgh EH8 9AB, Scotland Email: Ian.Stark@ed.ac.uk Phone: +44 131 650 5143 (Work) +44 131 228 4101 (Home) Fax: Office: Informatics Forum Research Papers Talks My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and mobile code . Below are some recent papers, talks and events; for more follow the links above. . Kwiatkowski and Stark, October 2008. ( PDF Safety Guarantees from Explicit Resource Management . Aspinall, Maier and Stark, August 2008. . Stark, January 2008. The Continuous π-Calculus: A Process Algebra for Biochemical Modelling Theoretical Computer Science Seminar, University of Birmingham, February 2010. ( Slides Reasons to Believe: Digital Evidence to Guarantee Trustworthy Mobile Code. fet 09, Prague, April 2009. ( Slides Some Hedge Mazes. LFCS lab lunch, March 2009. ( Slides, 19M

124. Untitled Document Pace University. Problem decomposition and theory reformulation, integrated cognitive architectures for autonomous robots, distributed constraint satisfaction problems, semigroup theory and dynamical systems, category theory in software design. http://csis.pace.edu/~benjamin/

125. Ccard V2.0 - A Category Theory Card Game The official site for this abstract mathematical card game. You can download the deck as a gzipped postscript. http://www.verify-it.de/sub/ccard/index.html

This page is part of the Mozilla Open Directory project Ccard 2.0 or: How to make fun out of something highly abstract. Ccard is a card game. You can download the cards as gzipped postscript here (to be printed 2-sided) or here (single sided) with extra backside It was born in an area of distress in May 1999, kicked of by the Summer School in Semantics (at BRICS, Aarhus University, Denmark) and in particular the course about category theory there. How to play? There are some simple "rules" I made up for two or more players (but you are of course free to change them). The seven suits are organized by a increasing number of "circles" which are meant to reflect the "difficulty" of the facts within. The number of circles/triangles of the suite symbol determines the rank of this suite. Every suite has nine cards. The highest card of one suit is the "aleph"_lambda (resembles a shaky N), followed by "omega", "infinity", then 11, 7, 5, 3, 2 (I like to stick with prime numbers) and finally the empty set (or "naught"). Each of 2 (or possibly more) players gets six cards, the rest is left as a pile on the table.

126. Mahdavi SUNY Potsdam, NY, USA; 26 June 2003. http://www2.potsdam.edu/mahdavk/Conf.htm

Math. Dept. Registration Financial Support SUNY Potsdam ... Map of Parking Lots Interactions between Representation Theories, Knot Theory, Topology, Quantum Field Theory, Category Theory, and Mathematical Physics. SUNY Potsdam June 2-6, 2003 Speakers S CHEDULES ABSTRACTS This workshop investigates the interactions between Representation Theories, Knot Theory, Topology, quantum Field Theory, Category Theory, and Mathematical Physics. This conference will be of great benefit to the researchers, recent Ph.Ds, and graduate students. Some financial support is available for graduate students, recent Ph.Ds, and others who are qualified. REGISTRATION Total cost of room and board, on Campus, is $206.50 Participants who choose to stay on campus will be housed in Draime Hall SUNY Potsdam Map) Off Campus housing Hotel listing (you need to make your own reservation) a block of rooms has been reserved at Clarkson Inn. For reservation please call 1 800 790 6970, before May 15, 2003($89.00 for single, and$99.00 for double, per night). you need to mention SUNY Potsdam math. conference.

127. Computer Laboratory - Andrew Pitts University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties. http://www.cl.cam.ac.uk/~amp12/

Computer Laboratory Andrew Pitts Computer Laboratory Andrew Pitts Professor of Theoretical Computer Science Fellow of Darwin College , Cambridge FBCS CITP Contact Professor Andrew M Pitts University of Cambridge Computer Laboratory William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD, UK Office: FC08 Tel: +44 1223 334629 Fax: +44 1223 334678 Email: Andrew.Pitts at cl cam ac uk PGP Key Research I am interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two). My research makes use of techniques from mathematical logic, type theory and category theory to advance the foundations of programming language semantics. The aim is to develop mathematical models and methods which aid language design and the development of formal logics for specifying and reasoning about programs, with an emphasis on higher order, typed programming languages, such as ML and Haskell. I have a long-standing interest in the semantics and logic of names, locality and binding. Nominal Sets: I am currently researching nominal sets Fresh O'Caml ) and metalogics that underly systems for machine-assisted reasoning about programming language semantics.

128. Theory And Semantics Group Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department. http://www.cl.cam.ac.uk/Research/TSG/

The Cambridge Theory and Semantics Group is now part of the Programming, Logic, and Semantics group . (This page should redirect in 3 seconds.)

Page 7     121-128 of 128    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7