avocs06.loria.fr
Sixth International Workshop on Automated Verification ofCritical Systems (AVoCS '06)
http://avocs06.loria.fr/index_fr.html
Nancy, 18-19 Septembre 2006. TU Munich, Germany). Formal Systems, UK). Imperial College, UK). Düsseldorf, Germany). Wales Swansea, UK). Le programme technique se composera des exposés invités et contribués et tiendra compte également des présentations courtes de travail continu. Le workshop sera relativement informel, une importance particulière sera accordée aux discussions. L' appel à contributions. Est disponible en PDF ici. Le poster d'AVoCS '06. Format A3 en couleur) est disponible en PDF ici. Ils d...
nantespec1.blogspot.com
Spec 1 (Spécifications 1) Software Specifications: janvier 2008
http://nantespec1.blogspot.com/2008_01_01_archive.html
Spec 1 (Spécifications 1) Software Specifications. Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method). Jeudi 31 janvier 2008. Filocours, riboulware et croquargent. C'était en sept 1969, l'année chantée par Serge Gainsbourg. Qui aujourd'hui poserait une telle question? Message reçu ce jour :.
ldta.info
LDTA
http://ldta.info/2009/index.html
Workshop on Language Descriptions Tools and Applications. Abstracts Nov 28th, 2008. Papers Dec 5th, 2008. Notification Feb 6th, 2009. Please find the pre-proceedings here. We are very happy to announce that Don Syme. Will be the invited speaker at LDTA 2009. His invited talk is tentatively titled "An Overview of Language Oriented Programming in F# - from ML to Monads to Reflective Schema Compilation". LDTA 2009 is organized in cooperation with ACM Sigplan. E Scott and A. Johnstone. GLL Parsing. J Boyland...
hylocore.ruc.dk
HyLo 2010
http://hylocore.ruc.dk/HyLo2010.html
Official HyLo 2010 homepage. International Workshop on Hybrid Logic and Applications (HyLo 2010). Saturday July 10, 2010, Edinburgh, Scotland, UK. Affiliated with LOGIC IN COMPUTER SCIENCE (LICS 2010). And part of the Federated Logic Conference (FLoC 2010). Hybrid logic is now a mature field with significant impact on a range of other fields, including. Applied modal logics,. Labelled deduction, and. Which both were held as part of FLoC. Technical University of Denmark) Email: tb@imm.dtu.dk. Abstract: Th...
itar.iis.nsk.su
Dr. Igor Valerievich Tarasyuk | A.P.Ershov Institute of Informatics Systems
http://itar.iis.nsk.su/itar_pub
Skip to main content. Dr Igor Valerievich Tarasyuk. In the following list, there is also an information (abbreviated below the items) about foundations supported the research with numbers of the corresponding grants, see Scientific Projects. List of Publications structured by kind of publication, see PDF. Selected publications in Zentralblatt Math. DBLP Computer Science Bibliography. Thomson Reuters Web of Science. German National Library of Science and Technology. The Petri Nets Bibliography. 92 pages, ...
disi.unige.it
DIBRIS - Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei SIstemi
http://www.disi.unige.it/person/MoggiE
Computer Science and Systems Engineering. Eugenio Moggi, Professor in Computer Science. Via Dodecaneso 35,. 16146 Genova, Italy. Moggi "at" unige.it. Office and office Tel. number have change. 2nd floor; Fax: 39-010-3536699. CellPhone: 370-1021309 (almost always off). Member of the editorial board of: ENTCS. Member of the advisory board of: Proofs and Programs. 1200-13.00 nei giorni di Lun e Mar. ASSENTE dal 28/07/2016 al 29/08/2016. 2015-16 Introduzione alla Programmazione. 2016-17 1o 2o sem. OC), IMLA ...
bracha.org
Selected Papers
http://www.bracha.org/Site/Papers.html
Felix Geller, Robert Hirschfeld and Gilad Bracha,. Pattern Matching for an Object-Oriented Dynamically Typed Programming Language. Hasso Plattner Institute Technical Report 36, University of Potsdam, June 2010. Describes an experimental extension of Newspeak that supports pattern matching with first class patterns and data abstraction. Gilad Bracha, Peter Ahe, Vassili Bykov, Yaron Kashai, William Maddox and Eliot Miranda. Modules as Objects in Newspeak. The Newspeak Programming Platform. Describes a pars...