- Haskell - Haskell.org

CFP APLAS'05
by Kwangkeun Yi 28 Dec '04

28 Dec '04

[apologies if you receive this CFP multiple times] ------------------------------------------------------------------------------- CALL FOR PAPERS The Third Asian Symposium on Programming Languages and Systems (APLAS 2005) November 3-5, 2005 Tsukuba, Japan Submission deadline: 10 June, 2005 http://ropas.snu.ac.kr/aplas05 APLAS seeks original papers on all topics of programming languages and systems. APLAS aims at stimulating programming language research by providing an international forum for the presentation of original results and the exchange of ideas and experience. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The first two formal APLAS symposiums were successfully held in Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). TOPICS The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. Submissions are invited on, but not limited to, the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments for embedded and mobile codes PROGRAM APLAS technical program consists of paper presentations, invited talks, and a dedicated session for posters. During the poster session students and professionals can present their works-in-progress or very recent results and can get feedback from other colleagues. Before the symposium, all the poster authors are asked to read other posters' abstracts and give feedbacks beforehand. IMPORTANT DATES Paper Abstract & title: 28 May, 2005 Full paper submission: 10 Jun, 2005 Author notification: 05 Aug, 2005 Camera-ready copy: 26 Aug, 2005 Poster Abstract & title: 16 Sep, 2005 Feedback: 07 Oct, 2005 SUBMISSIONS INFORMATION - All submissions be submitted electronically online via the symposium web page http://ropas.snu.ac.kr/aplas05. Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. - Paper or poster abstract submissions should not exceed 300 words. - Paper submissions should not exceed 15 pages in LNCS format, excluding bibliography and figures. - Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. - The work described should not have been previously published in a journal and conference proceedings. Authors must indicate if a closely related paper is also being considered for another conference or journal. - The proceedings of the symposium (papers and invited talks) will be published by Springer-Verlag's Lecture Notes in Computer Science series. GENERAL CHAIR Tetsu Ida (U. of Tsukuba, Japan) tetsuo.ida(a)acm.org PROGRAM CHAIR Kwangkeun Yi (Seoul National U., Korea) kwang(a)ropas.snu.ac.kr PROGRAM COMMITTEE Radhia Cousot (Ecole Polytechnique, France) Manuel Fahndrich (Microsoft Research, USA) Masami Hagiya (U. of Tokyo, Japan) Luddy Harrison (U. of Illinois at Urbana-Champaign, USA) Siau-Cheng Khoo (National U. of Singapore, Singapore) Naoki Kobayashi (Tohoku U., Japan) Oukseh Lee (Hanyang U., Korea) Peter Lee (Carnegie Mellon U., USA) Huimin Lin (Chinese Academy of Science, China) Soo-Mook Moon (Seoul National U., Korea) Alan Mycroft (U. of Cambridge, UK) Atsushi Ohori (Japan Advanced Inst. of Sci.& Tech., Japan) David Schmidt (Kansas State U., USA) Harald Sondergaard (U. of Melbourne, Australia) Martin Sulzmann (National U. of Singapore, Singapore) Wuu Yang (National Chiao-Tung U., Taiwan) Wang Yi (Uppsala U., Sweden) Kwangkeun Yi (chair) (Seoul National U., Korea) POSTER CHAIR Hongseok Yang (Seoul National U., Korea) LOCAL ARRANGEMENT Mircea Marin (U. of Tsukuba, Japan) -------------------------------------------------------------------------------

1 0

Debugging in Haskell?
by Peter Rosenbeck 25 Dec '04

25 Dec '04

I am a seasoned Smalltalk programmer (> 15 years experience) with a strong background in Lisp, Scheme and Prolog. I discovered Haskell because it is used in a computer science class of my daughter and she needed some help fom me. Let me first tell you that I am very much excited by the concepts and the elegance of the language. At he same time, I'm quite disappointed about the development environment that comes with GHCI and Hugs (the only systems which I had a closer look at). Compared to PLT Scheme (not to mention Smalltalk) this feels very antiquated. No trace, no symbolic debugging, no breakpoints. I admit that all necessary error information is contained in what the type checker gives you, but there is no way to understand these before one has mastered the language, which is quite hard for me and almost impossible for a beginner. Although, I am a fervent advicate of test driven development. I understand that a Haskell believer would prefer proof over test and I agree in principle, but how would a Haskell developer prove properties of a graphical user interface? Is therer something I missed? Is there an implementation of the UnitTest-Framework which is so popular in the OO community. Where can I get help? Thanks in advance Peter

2 1

re:please help!haskell
by M.I.Azad1＠Bradford.ac.uk 25 Dec '04

25 Dec '04

hi could somebody please explain how everything works in this function? and why is 'list' there? any help will be much apprecited Regards Imran all_rotations :: [a] -> [[a]] all_rotations xs = take (length xs) (iterate list xs) list xs = tail xs ++ [head xs] ------------------------------------------------------------ This mail sent through IMP: http://webmail.brad.ac.uk To report misuse from this email address forward the message and full headers to misuse(a)bradford.ac.uk ------------------------------------------------------------

2 1

Ph D position available at University Utrecht
by jur 22 Dec '04

22 Dec '04

Hello, we have a Ph D position available, to be filled as soon as possible, but May 1st at the latest. The topic is the Top library and its use in making program analyses, like type inferencing, scriptable. Send this e-mail on to anyone you think might apply. This is a link to a more complete description, http://www.cs.uu.nl/vacatures/62411.html regards, Jurriaan Hage

1 0

Why Does This Typecheck?
by Dominic Steinitz 21 Dec '04

21 Dec '04

Main> :t baz baz :: Foo a => Char' a -> a Main> :t v v :: Char' BW Main> :t test1 test1 :: Bool Main> :t (baz v) baz v :: Foo a => a Why doesn't the typechecker unify Char' BW with a and therefore the type of test1 = baz v becomes Char' BW resulting in a type error by not being able to unify Char' BW with Char' Bool? Dominic. class Foo a where foo :: Char -> a instance Foo Bool where foo 'F' = False foo 'T' = True data BW = Black | White deriving Show instance Foo BW where foo 'B' = Black foo 'W' = White type Char' a = Char baz :: Foo a => Char' a -> a baz x = foo x v :: Char' BW v = 'B' test1 :: Bool test1 = baz v

1 1

Two Research Fellowships at St Andrews
by Kevin Hammond 21 Dec '04

21 Dec '04

I am looking for two research fellows at St Andrews to work on bounded computation in Hume. Hume is a strict concurrent functional language, whose implementation is written in Haskell. http://www.hume-lang.org The closing date is January 31st. I would be happy to answer informal inquiries. Best Wishes, Kevin SCHOOL OF COMPUTER SCIENCE RESEARCH FELLOWS IN RESOURCE-BOUNDED COMPUTATION (2 POSTS) SALARY: £19,460 - £29,128 PA These posts (one EU-sponsored, one EPSRC-sponsored) are available for up to three years in resource-bounded computation for real-time embedded systems. You will join the internationally recognised Functional Programming Group (http://www-fp.dcs.st-and.ac.uk) as part of the 5A-rated School of Computer Science. You should have a good background in the theory and practice of resource-bounded computation or functional programming. Knowledge of static analysis, staged meta-programming, type theory and/or real-time embedded systems would be an advantage. The research involves international collaboration with Universities and companies in France, Germany and the USA as well as within the UK. For informal enquiries please contact Kevin Hammond (kh(a)dcs.st-and.ac.uk) Further information about the School of Computer Science may be found at http://www.dcs.st-and.ac.uk Please quote ref: JB101/04 Closing Date: 31 January 2004 Application forms and further particulars are available from http://www.st-andrews.ac.uk/hr/recruitment/vacancies or from Human Resources, University of St Andrews, College Gate, North Street, St Andrews, Fife KY16 9AJ, (tel: 01334 462571, by fax 01334 462570 or by e-mail Jobline(a)st-andrews.ac.uk) The University is committed to equality of opportunity.

1 0

CFP: MATES 2005 Conference on Multi-Agent Systems Technologies
by Matthias Klusch 21 Dec '04

21 Dec '04

+++ Apologies for multiple copies due to cross postings +++ First CALL FOR PAPERS ********************************************* Third German Conference on Multi-Agent System Technologies (MATES 05) September 11 - 13, 2005 Koblenz, Germany ********************************************* http://www.mates2005.de/ Incorporating the 9th International Workshop on Cooperative Information Agents (CIA 2005) Co-located With 28th German Conference on Artificial Intelligence (KI 2005) September 12 - 14, 2005 ------------------------------------------- IMPORTANT DATES Submission of papers: APRIL 1, 2005 Notification of authors: June 3, 2005 Camera-ready papers: June 20, 2005 Conference: September 11-13, 2005 ------------------------------------------- AIMS & SCOPE ============ The German conference on Multi-Agent System TEchnologieS (MATES) provides an interdisciplinary forum for researchers, users and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems. The conference aims to promote theory and application and covers the whole range of agent- and multi-agent technologies. For the third time the German special interest group on Distributed Artificial Intelligence jointly with the steering committee of MATES organizes this international conference in order to promote theory and application of agents and multi-agent systems. Building on the two successful predecessors in 2003 and 2004, MATES 2005 is co-located with the 28th German Conference on Artificial Intelligence (KI 2005, http://ki2005.uni-koblenz.de/) In addition, the MATES 2005 conference is incorporating the 9th international workshop on cooperative information agents (CIA 2005, http://www.dfki.de/~klusch/IWS-CIA-home.html) Thus, the topics of interest of MATES 2005 also cover the domain of information agents and agent-based information systems for the Internet, Web, and semantic Web. An information agent is a special kind of intelligent agent that has access to one or multiple, heterogeneous and geographically dispersed data and information, pro-actively searches for and maintains relevant information on behalf of its human user, or other agents preferably just-in-time. One key challenge of developing agent-based information systems is to balance the autonomy of networked data, information and knowledge sources with the potential payoff of leveraging them by the appropriate use of intelligent information agents. We solicit papers that report on recent advances in the domain of intelligent agents and multi-agent systems in general, and information agents and agent-based information systems in particular. We also specifically encourage elaborated vision and challenge papers that lay out mid-term and long-term directions for these domains. TOPICS ====== Areas of interest include, but are not limited to: * Coordination and conflict resolution * Negotiation and argumentation * Artificial social systems: conventions, norms, institutions; trust and reputation * Hybrid human and agent societies * Advanced theories of collaboration: Modelling and formation of teams, coalitions, groups, and organizations * Multi-agent planning and scheduling * Adaptive agents and multi-agent learning * Complex systems and their management * Agent and multi-agent architectures * Agent communication languages * Agent-oriented software engineering * Multi-agent platforms and tools * Architectures, prototypes, and fielded systems of information agents for the Web, and semantic Web * Agent-based recommender systems * Agent-Based distributed knowledge discovery and data mining * Agent-based semantic Web service discovery and composition planning * Agent-based service matchmaking and brokering in the semantic Web * Agent-based distributed ontology management * Mobile information agents * Human-agent interaction for (systems of) information agents * Interface agents, believable agents and user modelling * Information agents for/applied to digital cities. * Advanced, personalized 3-d visualizations of information spaces. * Agent-based Web usage mining * Deployed agent-based business applications * Agents and Grid Computing * Agents and Autonomic Computing * Agents and Pervasive Computing * Agents and Quantum Computing * Agents in novel application domains, e.g., Bioinformatics, and health care * Autonomous robots and robot teams * Practical aspects of programming agent systems: Robustness, scalability and performance measurement * Multi-agent simulation and modelling AWARDS ====== MATES and CIA 2005 jointly issue a "MATES/CIA 2005 Best Paper Award". In addition, CIA 2005 issues a "CIA 2005 System Innovation Award" to acknowledge and stimulate development of highly innovative systems of intelligent information agents. DOCTORAL MENTORING PROGRAM ========================== MATES 2005 intends to include a doctoral mentoring program, aimed at PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. PROCEEDINGS =========== The proceedings of MATES 2005 will be published as volume 3550 in the Springer series of Lecture Notes on Artificial Intelligence (LNAI). These proceedings are considered as joint proceedings with CIA 2005. SUBMISSION DETAILS ================== For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: <http://www.springer.de/comp/lncs/authors.html>. For those not using the Springer LNCS style files: The paper must be formatted in A4 size using 10 point Times. (If Times is not available, please use one of the similar fonts widely used in phototypesetting.) Printing area should be 12.2 x 19.3 cm, and the interline distance should be arranged in such a way that some 42 to 45 lines occur on a full-text page. The length of each paper including figures and references should not exceed 12 pages. All papers must be written in English and submitted either in postscript or PDF format. Papers that have been accepted or are under review by other conferences or journals are not eligible for submission. However, we encourage interdisciplinary contributions submitted or presented in part to a forum outside of agent technology. Submissions not conforming to the above requirements may be rejected without review. You may submit your paper via E-Mail to submission(a)mates2005.de (strongly preferred). Please send zipped PS, PDF or WinWord files only! In case you submit a postscript file please check whether it is printable on a standard postscript-level-2 printer. ORGANISATION ============ General Co-Chairs: Matthias Klusch (DFKI Saarbruecken, D) Michael Huhns (U South Carolina, USA) Program Co-Chairs: Torsten Eymann (U Bayreuth, D) Franziska Kluegl (U Wuerzburg, D) Winfried Lamersdorf (U Hamburg, D) Steering Committee: Hans-Dieter Burkhard (HU Berlin, D) Stefan Kirn (U Hohenheim, D) Matthias Klusch (DFKI, D) Jörg Müller (Siemens AG, D) Rainer Unland (Universität Duisburg-Essen, D) Gerhard Weiss (TU München, D) Program Committee: Karl Aberer, EPF Lausanne, Switzerland Elisabeth Andre, U Augsburg, D Bernhard Bauer, U Augsburg, D Wolfgang Benn, TU Chemnitz, D Cristiano Castelfranchi , CNR, Italy Thomas Christaller, Fraunhofer AIS, D Rosaria Conte, NRC Rome, IT Stephen Cranefield, U Otago, New Zealand Mehdi Dastani, U Utrecht, The Netherlands Yves Demazeau, LEIBNIZ/IMAG, France Jörg Denziger, U Calgary, Canada Klaus Fischer, DFKI Saarbrücken, D Ana Garcia Serrano, TU Madrid, Spain Fausto Giunchiglia, U Trento, Italy Marie-Pierre Gleizes, IRIT Toulouse, France Rune Gustavsson, Blekinge TH, Sweden Heikki Helin, TeliaSonera Helsinki, Finland Heinrich Hussmann, TU Dresden, D Toru Ishida, U Kyoto, Japan Stefan Kirn, U Hohenheim, D Ryszard Kowalczyk, TU Swinburne, Australia Daniel Kudenko, U York, UK Gabriela Lindemann, HU Berlin, D Jiming Liu, Hongkong Baptist U, China Stefano Lodi, U Bologna, Italy Beatriz Lopez, U Girona, Spain Jörg Müller, Siemens, D Heinz-Jürgen Müller, Berufsakademie Mannheim, D Werner Nutt, Heriot-Watt U Edinburgh, UK Andrea Omicini, U Bologna, Italy Sascha Ossowski, U Rey Juan Carlos Madrid, Spain Michal Pechoucek, TU Prague, Czech Republic Paolo Petta, OEFAI Vienna, Austria Stefan Poslad , Queen Mary U London, UK Frank Puppe, U Würzburg, D Alois Reitbauer, ProFACTOR, Austria Franz Rothlauf, U Mannheim, D Marie-Christine Rousset, U Paris-Sud, France Heiko Schuldt, UMIT Innsbruck, Austria Onn Shehory, IBM Research, Israel John Shepherdson, British Telecom, UK Steffen Staab, U Koblenz, D Rudi Studer, U Karlsruhe, D Robert Tolksdorf, TU Berlin, D Lin Uhrmacher, U Rostock, D Rainer Unland, U Duisburg-Essen, D Thomas Uthmann , Johannes-Gutenberg U Mainz, D Wiebe Van der Hoek, U Liverpool, UK Laszlo Zsolt Varga, MTA SZTAKI, Hungary Daniel Veit, U Karlsruhe, D Ning Zhong, Maebashi IT, Japan CONTACT ======= Torsten Eymann Chair of Information Systems (BWL VII) University of Bayreuth 95440 Bayreuth, Germany Tel. +49 (921) 552807 torsten.eymann<AT>uni-bayreuth.de Franziska Kluegl University of Wuerzburg Department for Artificial Intelligence and Applied Computer Science 97074 Wuerzburg, Germany kluegl<AT>informatik.uni-wuerzburg.de Winfried Lamersdorf Distributed and Information Systems Group (VSIS) Computer Science Department, Hamburg University 22527 Hamburg, Germany lamersd<AT>informatik.uni-hamburg.de

1 0

10th Estonian Winter School in Comp. Sci., 2nd call for partic.
by ewscs05＠cs.ioc.ee 21 Dec '04

21 Dec '04

[Lecturers: Danvy, Mehlhorn, Miltersen, Morrisett, Pinkas. Place/time: Palmse, Estonia, 27 Feb-4 March 2005. Deadline for registration and submission of abstracts for student talks/posters: ** 14 Jan 2005 **.] Call for Participation 10th Estonian Winter School in Computer Science EWSCS'05 Palmse, Estonia, 27 February-4 March 2005 Under the auspices of European Educational Forum http://www.cs.ioc.ee/yik/schools/win2005/ Background and objectives EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by CIDEC, a joint initiative of Institute of Cybernetics (Tallinn), Tallinn University of Technology and University of Tartu for the advancement of higher education in computer science and information technology. EWSCS'05 is the tenth event of the series. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, incl. cryptography, and semantics, logic and programming theory. The working language of the schools is English. Programme The schools' scientific programme consists of short courses by renowned specialists and a student session. The course list for EWSCS'05 is the following: Olivier Danvy (University of Aarhus, Denmark: A Vade Mecum to Continuations Kurt Mehlhorn (MPI Saarbrücken, Germany): Implementing Algorithms Peter Bro Miltersen (University of Aarhus, Denmark: Universal Methods for Derandomization Greg Morrisett (Harvard University, Cambridge, MA, USA): Topics in Language-Based Security Benny Pinkas (HP Labs, Haifa, Israel): Privacy-Preserving Data Mining The purpose of the student session is to give students an opportunity to present their work (typically, thesis work) and get feedback. Registrants are invited to propose short talks (20 min) or posters. The selection will be based on abstracts of 150-400 words. The social programme consists of an excursion and a conference dinner. Venue Palmse is a small settlement 80 kms to the east from Tallinn in the county of Lääne-Viru. It is renowned for a large manor that used to belong to the von Pahlen family, today hosting the visitors' center of the Lahemaa National Park, a museum, and a hotel. Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn from London, Paris, Milan, Amsterdam, Brussels, Frankfurt, Munich, Hamburg, Berlin, Prague, Warsaw, Moscow, Kiev, Copenhagen, Oslo, Stockholm, Gothenburg, Helsinki, Vilnius, Riga, ferries from Stockholm and Helsinki. From Vilnius, Riga, the Eurolines coach service is the practical travel option. Registration and cost The deadline for registration and submission of abstracts is 14 January 2005. All registrants will be notified of acceptance to school and acceptance of their talks/posters by 28 January 2005. The participation fee 4000 EEK (260 EUR) includes course materials, full boarding at Palmse, transportation from Tallinn to Palmse, excursion and conference dinner. For some students, we can partially waive the fee. Programme committee / organizing committee Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger Lipmaa (Helsinki U. of Techn.), Peeter Laud (U. of Tartu), Jaan Penjam (IoC), Heli Uibo (U. of Tartu), Jüri Vain (Tallinn U. of Techn.), Varmo Vene (U. of Tartu) Sponsors Tiigriülikool Programme, Centers of Excellence in Research Programme of Ministry of Education and Research of Estonia, FP5 IST project eVikings II Further information Details on the submission of abstracts, registration procedure and cost, application for fee reduction are available from the school webpage, http://www.cs.ioc.ee/yik/schools/win2005/. Questions should be sent to ewscs05(a)cs.ioc.ee.

1 0

SEFM 2005 call for papers (Koblenz, Germany)
by Bernhard K. Aichernig 21 Dec '04

21 Dec '04

Call for Papers SEFM 2005 Third IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS Koblenz, Germany 7-9 September 2005 http://sefm2005.uni-koblenz.de The Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005) will be held in Koblenz, Germany, 7-9 September 2005. Affiliated workshops and tutorials will be organized on 5th and 6th September 2005, and calls for workshops and tutorials will be circulated separately by the Workshop/Tutorial Chair. SCOPE AND OBJECTIVES The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. LOCATION The 2000-year-old town of Koblenz is situated in the picturesque landscape of the Rhine and Moselle and surrounded by four low mountain ranges. In 2002 the UNESCO ranked the upper Middle Rhine valley one of the most beautiful and oldest man-made landscapes, among the world cultural heritages. The chain of castles and palaces along the steep slopes, where the famous Rhine wines are grown, stretches from Koblenz to the legendary Loreley and continues to the cities of Ruedesheim and Bingen. TOPICS SEFM 2005 solicits research papers related to, but not limited to, the following principal topics: * requirement analysis and specification * software architectures and their description languages * software specification, validation and verification * software design and refinement * models of programs and systems * object and multi-agent systems * coordination and feature interaction * integration of formal and informal methods * integration of different formal methods * component-based development * service-oriented development * aspect-oriented development * formal aspects of security and mobility * model checking and theorem proving * program analysis * fault-tolerant, real-time and hybrid systems * analysis of safety-critical systems * formal aspects of software evolution and maintenance * formal methods for testing, re-engineering and reuse * light-weight formal methods * prototyping and visualisation * CASE tools and tool integration * application to industrial cases * formal methods for industrial standardisation * socio-economic implications of the use of formal methods substantial experience reports/case studies are particularly welcome. SUBMISSION AND PUBLICATION Submissions must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 10 pages in IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. Latex formatting macros can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Further information and instructions about submissions can be found on the conference website. Authors are strongly encouraged to use this website to submit their papers in electronic form. The best papers will be selected to be published in revised and extended version in the International Journal on Software and Systems Modelling published by Springer http://www.sosym.org. TOOLS SESSION Authors are encouraged to submit papers describing tools suitable for off-line presentation and/or on-line demonstration. Tool papers will undergo a regular review process and will be published in the conference proceedings. Authors willing to give a demonstration are required to bring all needed equipment and software. SCHOLARSHIPS The International Institute for Software Technology of the United Nations (UNU-IIST) will support a limited number of SEFM attendees from developing countries by providing a scholarship to cover their full registration fees at SEFM 2005 (the scholarship will not cover airfare/transportation and accommodation costs). Further information is available on the conference web page. IMPORTANT DATES Submission deadline for abstract: 18 March 2005 Submission deadline for papers: 1 April 2005 Notification of acceptance: 26 May 2005 Camera-ready version due: 24 June 2005 Tutorials and workshops: 5-6 Sept 2005 SEFM 2005 in Koblenz, Germany: 7-9 Sept 2005 INVITED SPEAKERS - TBA - COMMITTEES General Chair Peter H. Schmitt, U. of Karlsruhe, Germany Program Committee Chairs Bernhard K. Aichernig, UNU-IIST, Macao SAR China Bernhard Beckert, U. of Koblenz, Germany Publicity Chair Wolfgang Ahrendt, Chalmers U., Gothenburg, Sweden Tutorial and Workshop Chair Werner Stephan, DFKI Saarbrücken, Germany Organisation Chair Bernhard Beckert, U. of Koblenz, Germany Finance Chair Steffen Schlager, U. of Karlsruhe, Germany Steering Committee Manfred Broy, Technische U. Muenchen, Germany Antonio Cerone, UNU-IIST, Macao SAR China Geoff Dromey, Griffith U., Brisbane, Australia Mike Hinchey, NASA GSFC, Greenbelt, MD, USA Mathai Joseph, TRDDC, Pune, India Zhiming Liu, UNU-IIST, Macao SAR China Andrea Maggiolo-Schettini, U. of Pisa, Italy Program Committee Jean-Raymond Abrial, ETH Zurich, Switzerland Ralph-Johan Back, Abo Akademi U., Turku, Finland Gabriel Baum, National U. of La Plata, Argentina Mohamed Bettaz, Philadelphia U., Jordan Tommaso Bolognesi, CNR/ISTI, Pisa, Italy Marcello M. Bonsangue, Leiden U., The Netherlands Jonathan Bowen, London South Bank U., UK Manfred Broy, Technische U. Muenchen, Germany Patrice Chalin, Concordia U., Montreal, Canada Jorge R. Cuellar, Siemens, CT IC, Germany Frank S. de Boer, CWI, Amsterdam, The Netherlands Werner Damm, OFFIS / U. of Oldenburg, Germany David Deharbe, Federal U. of Rio Grande do Norte, Brazil Jin Song Dong, National U. of Singapore, Singapore Juergen Ebert, U. of Koblenz, Germany Bernhard Gramlich, Vienna U. of Technology, Austria Nicolas Halbwachs, Verimag/CNRS, Grenoble, France Reiner Haehnle, Chalmers U., Gothenburg, Sweden Teruo Higashino, Osaka U., Japan Mike Hinchey, NASA Goddard Space Flight Center, USA Mathai Joseph, Tata Consultancy Services, India Padmanabhan Krishnan, Bond U., Gold Coast, Australia Gunter Lassmann, T-Systems, ITC-Security, Berlin, Germany K. Rustan M. Leino, Microsoft Research, Redmond, WA, USA Zhiming Liu, UNU-IIST, Macao SAR China Jian Lu, Nanjing U., China Tom Maibaum, McMaster U., Hamilton, Canada Jose Carlos Maldonado, U. of Sao Paulo, Brazil Tiziana Margaria, U. of Göttingen, Germany Jonathan S. Ostroff, York U., Toronto, Canada Paritosh Pandya, Tata Institute of Fundamental Research, Mumbay, India Andreas Podelski, MPI for Informatics, Saarbrücken, Germany Alexander Pretschner, ETH Zurich, Switzerland Anders P. Ravn, Aalborg U., Denmark Harald Ruess, SRI International, Menlo Park, CA, USA Augusto Sampaio, Federal U. of Pernambuco, Recife, Brazil Werner Stephan, German Research Center for AI, Saarbrücken, Germany Shmuel Tyszberowicz, Tel Aviv U., Israel Mark Utting, U. of Waikato, New Zealand Martin Wirsing, Ludwig-Maximilians-U. Munich, Germany Jim Woodcock, U. of York, UK Wang Yi, Uppsala U., Sweden Gianluigi Zavattaro, U. of Bologna, Italy -- Bernhard Aichernig, Research Fellow of UNU-IIST www.iist.unu.edu/~bka ---------------------------------------------------------------------- SEFM 2005: 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 7.- 9. Sept. 2005

1 0

CFP: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)
by Santiago Escobar 20 Dec '04

20 Dec '04

-- We apologize for multiple copies -- ******************************************************************* 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05) March 14-15 2005, Valencia, SPAIN http://www.dsic.upv.es/workshops/wwv05 ******************************************************************* ( Submission is now open ) ( Invited speakers are confirmed ) ( Hotel and travel info is available ) SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit paper on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web WWV'05 provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. Participants are encouraged to present work in progress, overviews of more extensive work, position papers and reports of practical experiences. LOCATION WWV'05 will be held in Valencia, Spain (http://www.turisvalencia.es) at the Department of Information Systems and Computation of the Technical University of Valencia (http://www.dsic.upv.es) SUBMISSION PROCEDURE Submission will be web-based via the conference web-site: http://www.dsic.upv.es/workshops/wwv05 Submissions must be received by January 10, 2005. In addition, an ASCII version of the title and abstract must be submitted by January 4, 2005. These are strict deadlines. Submitted papers can fit into one of these categories: (1) Regular contribution (15 pages maximum) (2) System demonstration / Report of practical experiences / Work in progress (4 pages maximum) (3) Position paper / Overview of more extensive work (15 pages maximum) Submitted papers should be written using the Electronic Notes in Theoretical Computer Science (ENTCS) style available at the conference web-site: http://www.dsic.upv.es/workshops/wwv05 Submitted papers should include an abstract and the author's information. See the author's instructions of ENTCS style at http://math.tulane.edu/~entcs. PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings will be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). Accepted papers of categories (1) and (2) will be published in the ENTCS final proceedings. However, ENTCS publication of papers in category (3) will be decided on the basis of their original contents. INVITED SPEAKERS Shriram Krishnamurthi Brown University, USA Anthony Finkelstein University College London, UK PROGRAM CO-CHAIRS Maria Alpuente Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy WORKSHOP CHAIR Santiago Escobar Technical University of Valencia, Spain PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Sarat Babu CDAC, India Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Thierry Despeyroux INRIA Sophia-Antipolis, France Wolfgang Emmerich University College London, UK Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Maria del Mar Gallardo Technical University of Malaga, Spain Furio Honsell University of Udine, Italy Giorgio Levi University of Pisa, Italy Jan Maluszynski Linköping University, Sweden Massimo Marchiori MIT Lab for Computer Science, USA Tiziana Margaria University of Göttingen, Germany ORGANIZATION Maria Alpuente Demis Ballis Santiago Escobar Cesar Ferri Jose Hernandez Orallo Salvador Lucas Javier Oliver Maria Jose Ramirez Josep Silva Alicia Villanueva (Members of the ELP Group http://www.dsic.upv.es/users/elp/elp.html) IMPORTANT DATES Abstract Submission 4 January 2005 (strict) Full Paper Submission 10 January 2005 (strict) Acceptance Notification 19 February 2005 Camera Ready 3 March 2005 Workshop 14-15 March 2005

1 0