http://www2.cs.unibw.de/conf/HCC02/IEEE Symposium on Human-Centric Computing Languages and Environments. Arlington, Virginia, USA; 3aˆ“6 September 2002.20022002 IEEE Symposia on Human-Centric Computing Languages and Environments. This conference focuses on the design, formalization, implementation, and evaluation of computing languages that are easier to learn, easier to use, and easier to group of people.
The IEEE conference series on Human Centric Computing Languages and Environments replaces the
Its mission is design, formalization, implementation, and evaluation of computing languages as well as computing environments that are easier to learn, easier to use, and easier to understand by a broaderconferencehuman-centricvisualprogramminglanguage
IFIP WG 6.1 International Conference on
Formal Techniques for Networked and Distributed
November 11 -- 14 , 2002, Houston, Texas
Department of Computer Science
The University of Warwick
Department of Comp. Science
Alex Petrenko, CRIM, Canada
Mihalis Yannakakis, Avaya Labs, USA
Stanislaw
waiting for hand_moderation
On Conceptual Structure s
(University of South Australia)
SPEAKERS (abstracts and slides):
(Fondazione Ugo Bordoni, Italy),
Linguistic Modelling Department (
Central Laboratory for Parallel Processing (
Bulgarian Academy of Sciences (
(BIS-21 Centre of Excellence)
Conference on Conceptual
waiting for hand_moderation
Computer-Aided Verification
All CAV sessions moved to Auditorium
the fourteenth in a series dedicated to the advancement of the theory and
practice of computer-assisted formal analysis methods for software and
hardware systems. The conference covers the spectrum from theoretical results
to
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.