Satellite workshops at ETAPS'03:

Special Event to Honour Professor W.M. Turski's 65th Birthday

SE-WMT - Structured Programming: The Hard Core of Software Engineering

Time

Sunday, April 6

Location

Faculty of Mathematics, Room 5440

Web page

http://www.mimuw.edu.pl/etaps03/Workshops/se-wmt.html

Contact

Jan Madey - madey@mimuw.edu.pl

AVIS'03 - Second International Workshop on Automated Verification of Infinite-State Systems

This workshop builds upon the success of AVIS'01 which was held in Berlin, Germany in conjunction with Formal Methods Europe 2001 (FME'01). It is a forum for researchers, students, and practitioners interested in the application of formal methods and tools for the automatic verification of large practical systems. Formal methods, in particular model checking, is increasingly being used in industry to automatically establish the correctness of (and to find flaws in) finite-state systems, such as descriptions of hardware and protocols. However, model checking is limited in scope due to the state explosion problem. Most practical system descriptions, notably that of software, are therefore not directly amenable to finite-state verification methods since they have very large or infinite state spaces. For such systems, theorem proving -- a process that requires manual effort and mathematical sophistication to use -- has so far been the only viable alternative.

More recently, we have seen the emergence of hybrid techniques that combine the ease-of-use of model checkers with the power of theorem provers. Tools based on these techniques afford users with full automation, and are less sensitive to the size of the state space (which may be infinite or arbitrarily large). There is a growing body of knowledge in this field which has a very exciting future. The intention of this workshop is to build a forum for exchanging ideas and experiences by bringing together theoreticians, tool builders, as well as practitioners who are interested in this emerging area of research in formal verification.

Time

Saturday, April 12

Location

Faculty of Biology, Room 103B

Web page

http://chacs.nrl.navy.mil/AVIS03

Contact

Ramesh Bharadwaj - ramesh@itd.nrl.navy.mil

Center for High Assurance Computing Systems Naval Research Laboratory Washington DC

CMCS - Coalgebraic Methods in Computer Science

A great variety of state-based dynamical systems, such as transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications.

Time

Saturday and Sunday, April 5-6

Location

Faculty of Biology, Room 9B

Web page

http://www.mathematik.uni-marburg.de/~cmcs

Contact

H. Peter Gumm - gumm@mathematik.uni-marburg.de

Universität Marburg

COCV 2003 - Compiler Optimization Meets Compiler Verification

COCV provides a forum for researchers and practitioners working on optimizing and verifying compilation, and on related fields such as translation validation, certifying and credible compilation, programming language design and programming language semantics for exchanging their latest findings, and for plumbing the mutual impact of these fields on each other. By encouraging discussions and co-operations across different, yet related fields, the workshop strives for bridging the gap between the communities, and for stimulating synergies and cross-fertilizations among them. Submission of papers at the joint of all these fields is solicited.

Time

Saturday, April 12

Location

Faculty of Biology, Room 9B

Web page

http://sunshine.cs.uni-dortmund.de/~knoop/COCV2003/cocv2003.html

Contact

Jens Knoop - knoop@ls5.cs.uni-dortmund.de

University of Dortmund

FAMAS - Formal Approaches to Multi-Agent Systems

In recent years, multi-agent systems have come to form one of the key technologies for software development. This workshop aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. Suggested, but not exclusive, topics of interest for the workshop are:

Time

Saturday, April 12

Location

Faculty of Biology, Room 102B

Web page

http://www.ai.rug.nl/conf/famas

Contact

Barbara Dunin-Kêplicz - keplicz@mimuw.edu.pl

Institute of Informatics, Warsaw University

Feyerabend - Feyerabend - Redefining Computing

Fifty years into the First Computing Era some of us in the computing arena have come to realize we have made a false start that cannot be fixed, and for us to finally be able to produce lasting, correct, beautiful, usable, scalable, enjoyable software that stands the tests of time and moral human endeavor, we need to start over. Perhaps we will be able to salvage some of what we have learned from the First Era, but we expect almost everything except the most mathematical and philosophical fundamentals to be brushed aside.

This workshop will focus on diverse approaches to programming, both with and without programming languages, and both new and old, while putting an emphasis on the existing diversity in computing which might have become hidden or ignored due to a quest for the one `right', `general-purpose' solution.

Time

Saturday, April 12

Location

Faculty of Mathematics, Room 5790

Web page

http://www.dreamsongs.com/Feyerabend/ETAPS03/

Contact

Pascal Costanza - costanza@web.de

University of Bonn

FICS03 - Fixed Points in Computer Science

The aim of the workshop is to provide a forum for researchers who study or apply the theory of fixed points. The topics of the workshop concern applications and development of the theory of fixed points in many different frameworks such as: design and implementation of programming languages, program logics, databases.

Previous workshops where held in Brno (1998, MFCS workshop), Paris (2000, LC2000 workshop), Florence (2001, PLI 01 workshop). In 2002, FICS will be organized in Copenhagen as a satellite workshop to LICS 02.

Time

Saturday and Sunday, April 12-13

Location

Faculty of Mathematics, Room 2180

Web page

http://www.labri.fr/~igw/fics

Contact

Igor Walukiewicz - igw@labri.fr

LaBRI, Bordeaux University

LDTA - Third Workshop on Language Descriptions, Tools and Applications

The aim of this one day workshop is to bring together researchers from academia and industry interested in the field of formal language definitions and the use of these definitions for the derivation of tools and software applications. The absence of a standard formal method for language descriptions creates opportunities to study the benefits, drawbacks, enhancements and relationship between various formal language definitions. The workshop welcomes contributions on all aspects of formal language definitions, with special emphasis on applications and tools developed for or with these language definitions.

Time

Sunday, April 6

Location

Faculty of Biology, Room 103B

Web page

http://www-sop.inria.fr/LDTA2003

Contact

Isabelle Attali - ia@sophia.inria.fr

INRIA Sophia Antipolis, France

RSKD - International Workshop on Rough Sets in Knowledge Discovery and Soft Computing

Rough Set theory has reached a level of high visibility and maturity. In recent years, we have witnessed diverse, as well as, widespread research in rough set theory and its applications worldwide. A considerable number of applications of rough sets in medicine, economics, finance, business, environment, electrical and computer engineering, a number of sciences, software engineering, and information science have been introduced in recent years. In addition, many rough set case studies and more than a dozen commercial, as well as, research rough set tools are currently available. The proposed workshop is intended as a place for researchers from universities, laboratories and industry to present state-of-the-art in rough set theory and its applications. The aim of this workshop is to bring together researchers from diverse fields of expertise to facilitate dialogue and cooperation. Relevant topics include, but are not limited to:

Time

Saturday and Sunday, April 12-13

Location

Faculty of Mathematics, Room 5440

Web page

http://alfa.mimuw.edu.pl/workshop/

Contact

Marcin S. Szczuka - szczuka@mimuw.edu.pl

Warsaw University, Institute of Mathematics

SC - Software Composition

The component-based approach to produce software from smaller units has attracted increasing attention of both research and industry. Software composition extends this approach because it does not only reason about component models but investigates into technology to compose components. Hence, this workshop collects new approaches to software composition, e.g., novel composition operators, composition languages, merging techniques, adaptation techniques, verification and validation techniques, view- and aspect composition techniques, dynamic composition techniques, or uniform composition techniques for XML dialects.

Time

Sunday, April 6

Location

Faculty of Mathematics, Room 5820

Web page

http://www.ida.liu.se/~uweas/sc2003

Contact

Uwe Assmann - Uwe.Assmann@ida.liu.se

Linköpings Universitet

TACoS - Test and Analysis of Component Based Systems

Component based systems are increasingly used in software development. The lack of information about internals at different development stages and the need of optimizing verification and validation require new approaches to test and analysis. The complexity of the problems requires the synergy of various analysis, testing and design for testability approaches. Main focus of the workshop is on techniques, tools, and experiences on testing, analysis and design for testability of components, component based systems, and configurable products. Special attention will be given to heterogeneous, modular and configurable embedded systems that share hardware and software resources and are available in several versions. Contributions about techniques, tools and research results, as well as contributions on experiences, problems and failures that can help in focusing discussion and research are welcome.

Time

Sunday, April 13

Location

Faculty of Mathematics, Room 4420

Web page

http://www.lta.disco.unimib.it/tacos

Contact

Mauro Pezzè - pezze@disco.unimib.it

Milano

UniGra'03 - Uniform Approaches to Graphical Process Specification Techniques

The aim of this workshop is to bring together people working especially in the following three areas:

In each of these areas there is a large variety of different approaches and first attempts for uniform approaches have been made already. In this workshop we look for new contributions concerning uniform approaches for each of these areas and for unifying or comparative approaches across the borders of these three and related areas.

Time

Saturday and Sunday, April 5-6

Location

Heavy Ion Laboratory, Room B

Web page

http://tfs.cs.tu-berlin.de/workshops/unigra03/

Contact

Roswitha Bardohl - rosi@cs.tu-berlin.de

TU Berlin

USE2003 - Workshop on Unanticipated Software Evolution

Many studies of complex software systems have shown that more than 80% of the total cost of software development is devoted to software maintenance. In particular, evolution in response to unanticipated changes of requirements accounts for most technical problems and related costs. Therefore, support for unanticipated software evolution becomes a key issue for programming languages, component models and related runtime infrastructures.

This one-day workshop will address the issues inherent in unanticipated static and dynamic evolution of software. Topics of interest include, but are not limited to:

Time

Saturday and Sunday, April 5-6

Location

Faculty of Mathematics, Room 4420

Web page

http://joint.org/use2003/

Contact

Günter Kniesel - Guenter.Kniesel@cs.uni-bonn.de

University of Bonn

WITS'03 - 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security

WITS is the official workshop organized by the IFIP WG 1.7 on `Theoretical Foundations of Security Analysis and Design', established to promote the investigation on the theoretical foundations of security, discovering and promoting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security related applications.

Suggested submission topics include:

Time

Saturday and Sunday, April 5-6

Location

Heavy Ion Laboratory, Room A

Web page

http://www.dsi.unive.it/IFIPWG1_7/wits2003.html

Contact

Roberto Gorrieri - gorrieri@cs.unibo.it

Dipartimento di Scienze dell'Informazione

WOOD - Workshop on Object-Oriented Developments

Object-oriented programming languages have been and still are the source of extensive foundational and applicative research in several fields including semantics, calculi, type theory, and program verification. The new advances in network technology and distributed systems have recently created world-wide revived interest in object-oriented languages and calculi as effective tools for structuring, composing and coordinating concurrent, distributed, and mobile code.

This workshop intends to offer a forum for discussion about theoretical work on models and type systems, as well as presentation of experience reports on, and novel techniques for, program analysis and verification. Submissions are solicited on all the above subjects and areas.

Time

Saturday, April 12

Location

Faculty of Mathematics, Room 4420

Web page

http://www.dsi.unive.it/wood2003

Contact

Viviana Bono - bono@di.unito.it

University of Torino

Information maintained by Slawomir Leszczynski