April 2005 - Haskell - Haskell.org

Call for Contributions -- HC&A Report (May 2005 edition)
by Andres Loeh 14 Apr '05

14 Apr '05

Dear Haskellers, it is nearly time for the eighth edition of the ================================================================ Haskell Communities & Activities Report http://www.haskell.org/communities/ Submission deadline: 03 May 2005 (please send your contributions to hcar at haskell.org, in plain ASCII or LaTeX format) ================================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, write a short entry and submit it to the me. * If you are interested any project related to Haskell that has not previously been mentioned in the HC&A Report, tell me, so that I can contact the project leaders and ask them to submit an entry. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming 6 months. If you have only recently been exposed to Haskell, it might be a good idea to browse the November 2004 edition -- you will find interesting topics described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the beginning of May. They will be compiled into a coherent report which will appear sometime during May. As always, this is a great opportunity to update your webpages, make new releases, announce of even start new projects, or to point at some developments you want every Haskeller to see! As the purpose of the report is to collect recent or current activities, we encourage you to update all existing summaries and reports. We will probably drop any topics that have not had any activity for the past year, i.e., since May 2004, but we would very much prefer you to present an updated description of the topic. Of course, new entries are more than welcome. Reports should generally be kept brief and informative, ranging from a few sentences to a few hundred words, to keep the whole report reasonably sized. Looking forward to your contributions, Andres (current editor) ----------------------------------- topics New suggestions for current hot topics, activities, projects, etc. are welcome - especially with names and addresses of potential contacts, but here is a non-exclusive list of likely topics (see also http://www.haskell.org/communities/topics.html ): General Haskell developments; Haskell implementations; Haskell extensions; Standardization and documentation; Haskell tutorials, howtos and wikis; Organisation of Haskell tool and library development; Haskell-related projects and publications; new research, fancy tools, long-awaited libraries, cool applications; Feedback from specialist mailing lists to the Haskell community as a whole; Haskell announcements; all (recent) things Haskell Announcements: if you've announced anything new on the Haskell list over the last six months, you'll want to make sure that is reflected in this edition! Project pings: if you're maintaining a Haskell tool or library or somesuch, you'll want to let everyone know that it is still alive and actively maintained, even if there have been no new additions, but all the more if there have been new developments. Tutorials: if you've fought with some previously undocumented corner of Haskell, and have been kind enough to write down how you did manage to build that graphical user interface, or if you've written a tutorial about some useful programming techniques, this is your opportunity to spread the word (short, topic-specific, and hands-on tutorials that only show how to achieve a certain practical task would do a lot to make things easier for new Haskellers - please write some!) Applications: if you've been working quietly, using Haskell for some interesting project or application (commercial or otherwise), you might want to let others know about what you're using Haskell for, and about your experiences using the existing tools and libraries; are you using Haskell on your job? An interesting thread about using Haskell and more generally functional programming for non-Haskell things seems to recur with reasonable frequency - why not write a sentence or two about your use of Haskell for our report? Feedback: if you're on one of the many specialist Haskell mailing lists, you'll want to report on whatever progress has been made there (GUI API discussions, library organisation, etc.) If you're unsure whether a contact for your area of work has come forward yet, have a look at the report's potential topics page, or get in touch with me. I have contacted last time's contributors, hoping they will volunteer to provide updates of their reports, and will update the contacts on the topics page fairly regularly. But where you don't yet see contacts listed for your own subject of interest, you are very welcome to volunteer, or to remind your local community/project team/mailing list/research group/etc. that they really ought to get their act together and let the Haskell community as a whole know about what they've been doing! :-) -------------------------- what should I write? That depends on your topic, but as a general rule, it shouldn't take you long. A simple sentence or two about your use of Haskell could go into the "Individual Haskellers and their projects" section. If you're a company, or if you're working on a project using Haskell as the implementation language, a paragraph on that could go into the "Commercial Applications" and "Non-Commercial Applications" sections. A typical summary report about a tool/library/project/application/... would be between 1 and 3 paragraphs of ASCII text (what's it about? major topics and results since the last report? current hot topics? major goals for the next six months?) plus pointers to material for further reading (typically to a home page, or to mailing list archives, specifications and drafts, implementations, meetings, minutes, ...). For those who prefer templates to fill in, the report is edited in LaTeX, and an entry template might look something like this: \begin{hcarentry}{<MYSTUFF>} \report{<MY NAME>} \status{<PROJECT STATUS IN ONE LINE>} \makeheader <WHAT IS IT?> <WHAT IS ITS STATUS? / WHAT HAS HAPPENED SINCE LAST TIME?> <CAN OTHERS GET IT?> <WHAT ARE THE IMMEDIATE PLANS?> \FurtherReading \url{<PROJECT URL>} \end{hcarentry} Browsing through previous editions should give you a good idea of the variety of possibilities, ranging from very brief to extensive.

1 0

Ann: haskell-src-exts 0.2
by Niklas Broberg 14 Apr '05

14 Apr '05

Announcing haskell-src-exts 0.2: http://www.cs.chalmers.se/~d00nibro/haskell-src-exts haskell-src-exts (hsx) is an extension of the standard haskell-src package, and handles most common syntactic extensions to Haskell, including: * Multi-parameter type classes with functional dependencies * Empty data declarations * GADTs * Implicit parameters (ghc and hugs style) * Template Haskell (broken for 6.4 atm, needs redoing) and a few more. Apart from these standard extensions, it also handles regular patterns as per the HaRP extension (http://www.cs.chalmers.se/~d00nibro/harp) as well as HSP-style embedded XML syntax. Source code available through darcs. /Niklas

1 0

RE: [Haskell] pretty printing Haskell code with auto parens?
by Conal Elliott 13 Apr '05

13 Apr '05

Never mind. I rolled my own. If you need a HsExp parens inserter, just holler. - Conal -----Original Message----- From: Conal Elliott [mailto:conal@conal.net] Sent: Tuesday, April 12, 2005 6:33 PM To: 'haskell(a)haskell.org' Subject: RE: [Haskell] pretty printing Haskell code with auto parens? No reply yet. Alternatively, does anyone happen to have a HsExp->HsExp (for Language.Haskell.Syntax) pass that inserts disambiguating parentheses as needed, to be applied just before pretty-printing? Cheers, - Conal -----Original Message----- From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Conal Elliott Sent: Friday, April 08, 2005 3:54 PM To: haskell(a)haskell.org Subject: [Haskell] pretty printing Haskell code with auto parens? What pretty printers are available for Haskell code (not necessarily complete) that handle automatic insertion of minimally required parentheses? I assumed that Language.Haskell.Pretty did that, but apparently it relies on manual insertion of parentheses in the abstract syntax. Thanks, - Conal

1 0

Zipper
by Oktaviandi Hadi Nugraha 13 Apr '05

13 Apr '05

Hi, Would it be possible to have a zipper (Huet) with multiple focuses? I've been wondering about this. Any help is much appreciated ^_^. Thx, Adi. -- "You must be the change you wish to see in the world." - Mahatma Gandhi "I cannot give you the formula for sucess, but i can give you the formula for failure - which is: Try to please everybody." - Herbert Bayard Swope

1 0

pretty printing Haskell code with auto parens?
by Conal Elliott 13 Apr '05

13 Apr '05

What pretty printers are available for Haskell code (not necessarily complete) that handle automatic insertion of minimally required parentheses? I assumed that Language.Haskell.Pretty did that, but apparently it relies on manual insertion of parentheses in the abstract syntax. Thanks, - Conal

3 3

Call for Papers - ICTAC05 (Hanoi)
by Bernhard K. Aichernig 12 Apr '05

12 Apr '05

Call for Papers - ICTAC05 INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING Hanoi, Vietnam - 17--21 October, 2005 http://www.iist.unu.edu/ictac05 ===================== BACKGROUND AND OBJECTIVES ICTAC is an International Colloquium on Theoretical Aspects of Computing founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. The first ICTAC (ICTAC'04) was held in Guiyang, China. ICTAC'05 will have a technical program for five days including two days for tutorials and three days for a conference, and a training school for 5 days. The topics of the conference include, but are not limited to: - automata theory and formal languages - principles and semantics of programming languages - logics and their applications - software architectures and their description languages - software specification, refinement, and verification - model checking and theorem proving - formal techniques in software testing - models of object and component systems - coordination and feature interaction - integration of formal and engineering methods - service-oriented development - document-driven development - models of concurrency, security, and mobility - theory of parallel, distributed, and internet-based (grid) computing - real-time and embedded systems - type and category theory in computer science SPONSORS AND ORGANISATION ICTAC'05 will be organised jointly between the Institute of Information Technology of the Vietnamese Academy of Sciences and Technology (IoIT), the University of Technology of the Vietnam National University in Hanoi (UoT-VNU) and UNU-IIST. UNU-IIST, IoIT and UoT-VNU are also sponsors of ICTAC'05. There will be an one-week training school during 10--14 October 2005 before the conference. SUBMISSION AND PUBLICATION Submissions to the conference 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 workshop. Papers should be written in English and not exceed 15 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). The proceedings will be published by Springer in the Lecture Notes in Computer Science series by Springer-Verlag. A web site for uploading papers linked to the conference web page http://www.iist.unu.edu/ictac05 will be open at the appropriate time. All queries should be sent to: dvh(a)iist.unu.edu, or wirsing(a)informatik.uni-muenchen.de. IMPORTANT DATES - Submission deadline: 25 May 2005 - Acceptance notification: 1 July 2005 - Final version due: 25 July 2005 - Tutorial proposal submission deadline: 11 July 2005 - Tutorial proposal acceptance notification: 25 July 2005 - Tutorials: 17-18 October, 2005 - Conference dates: 19 -- 21 October, 2005 ADVISORY COMMITTEE Dines Bjorner, Singapore Manfred Broy, Germany Jifeng He, UNU-IIST Mathai Joseph, India Shaoying Liu, Japan Zhiming Liu, UNU-IIST Jim Woodcock, UK Jose Luiz Fiadeiro, UK Tobias Nipkow, Germany PUBLICITY CHAIR Bernhard K. Aichernig, UNU-IIST ORGANISING COMMITTEE Le Hai Khoi, IoIT (co-chair) Ho Si Dam, UoT-VNU (co-chair) Nguyen Tue, UoT-VNU Bui The Duy, UoT-VNU Le Quoc Hung, IoIT Do Nang Toan, IoIT Ngo Quoc Tao, IoIT PROGRAM COMMITTEE Marc Aiguier, France Keijiro Araki, Japan J.O.A. Ayeni, Nigeria Jay Bagga, USA Hubert Baumeister, Germany Michel Bidoit, France Jonathan Bowen, UK Victor A. Braberman, Argentina Cristian S. Calude, New Zealand Ana Cavalcanti, UK Yifeng Chen, UK Dang Van Hung, UNU-IIST (co-chair) Jim Davies, UK Janos Demetrovics, Hungary Jin Song Dong, Singapore Henning Dierks, Germany Do Long Van, Vietnam Marcelo F. Frias, Argentina Wan Fokkink, Netherlands Susanna Graf, France Valentin Goranko, South Africa Dimitar Guelev, Bulgaria Michael R. Hansen, Denmark Jozef Hooman, Netherlands Purush Iyer, USA Ryszard Janicki, Canada Takuya Katayama, Japan Maciej Koutny, UK Xuandong Li, China Antonia Lopes, Portugal Antoni Mazurkiewicz, Poland Hrushikesha Mohanty, India Ngo Quang Hung, USA Nguyen Cat Ho, Vietnam Paritosh Pandya, India Jean-Eric Pin, France Narjes Ben Rajeb, Tunisia R. Ramanujam, India. Anders P. Ravn, Denmark Gianna Reggio, Italy Wolfgang Reif, Germany Riadh Robbana, Tunisia Mark Ryan, UK Zaidi Sahnoun, Algeria Augusto Sampaio, Brazil Don Sannella, UK Bernhard Schaetz, Germany Andrea Maggiolo-Schettini, Italy Carolyn Talcott, USA P. S. Thiagarajan, Singapore Ji Wang, China Martin Wirsing, Germany (co-chair) Mingsheng Ying, China Jian Zhang, China Hongjun Zheng, USA -- 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 http://sefm2005.uni-koblenz.de ICTAC 2005: International Colloquium on Theoretical Aspects of Computing, Hanoi, Vietnam, 17-21 October, 2005 http://www.iist.unu.edu/ictac05/

1 0

Post-doc position in Martin Odersky's group, EPFL, Switzerland
by Martin Odersky 12 Apr '05

12 Apr '05

EPFL Lausanne Programming Methods Group Prof. Martin Odersky We have an open position for a postdoctoral researcher in the Programming Methods Group at EPFL. The research of our group is centered on Scala, a new programming language which fuses functional and object-oriented programming and which interoperates at the same time with Java and .NET. Scala pushes the state of the art in type systems for component abstractions and composition. It also provides many new concepts for web programming. Here are some of our current research directions: - Further developments in the Scala language design - High-level optimizations - Type systems for object-oriented and functional languages - Programming language support for XML - Component technology. - Reliable software, verification, testability. If you work in some of these research areas and are interested in both system building and theory, you will find an active and friendly research environment at Lausanne. The appointment is for one year initially with renewals possible up to three years. The position is open from June, 2005, but later starting dates can also be considered. Compensation is competitive at CHF 80K+ (1 CHF ~~ 0.83 U.S$), depending on age and experience. Informal inquiries about the position may be addressed to martin.odersky(a)epfl.ch. Formal applications should be sent by e-mail to the following address: Mme Yvette Dubuis yvette.dubuis(a)epfl.ch Tel. +41 21 693 5202 Fax +41 21 693 6660 To be guaranteed full consideration, applications should be received by May 15th, 2000. Applications should consist of a curriculum vitae, a publication list, and the names of three personal references. Please ask your references to send their letters directly to yvette.dubuis(a)epfl.ch. EPFL Lausanne is one of two federal universities in Switzerland. It has one of the most nationally diverse research, teaching and learning communities in Europe. Lausanne is situated in very attractive surroundings in the French-speaking part of Switzerland, on the shore of Lake Geneva, in close proximity to the Alps.

1 0

GTTSE Summer School: Early registration deadline April 15
by Joost Visser 12 Apr '05

12 Apr '05

This is a reminder that the deadline for early registration for the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), to be held in Braga, Portugal, from July 4 to 8, 2005, is: *** Early Registration Deadline: April 15, 2005 *** Online registration can be done via the GTTSE website at: http://www.di.uminho.pt/GTTSE2005 For more details, please consult the website or the call for participation below. -- Dr. ir. Joost Visser | Departamento de Informática phone +351-253-604461 | Universidade do Minho fax +351-253-604471 | mailto:Joost.Visser@di.uminho.pt mobile +351-91-6253618 | http://www.di.uminho.pt/~joost.visser ------------- Summer School on Generative and Transformational Techniques in Software Engineering 4 - 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 SCOPE AND FORMAT The summer school brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, meta-models, and documentation. This concerns many areas of software engineering: software reverse and re-engineering, model-driven approaches, automated software engineering, generic language technology, to name a few. These areas differ with regard to the specific sorts of meta-models (or grammars, schemas, formats etc.) that underly the involved artifacts, and with regard to the specific techniques that are employed for the generation and the transformation of the artifacts. The tutorials are given by renowned representatives of complementary approaches and problem domains. Each tutorial combines foundations, methods, examples, and tool support. The program of the summer school also features invited technology presentations, which present setups for generative and transformational techniques. These presentations complement each other in terms of the chosen application domains, case studies, and the underlying concepts. Furthermore, the program of the school also features a participants workshop. All students of the summer school will be invited to give a presentation about their ongoing work. They will be asked to submit a title and an abstract beforehand. The senior researchers present at the summer school will provide the students with feedback on their presentations. All summer school material will be collected in proceedings that are handed out to the participants. Formal proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings will be published in the Lecture Notes in Computer Science series of Springer. TUTORIALS * Don Batory (The University of Texas at Austin): Feature Oriented Programming * Ira Baxter (Semantic Designs Inc.): Compiling Fast XML reader/writers from DTDs using Program Transformations * Jean Bezivin (INRIA, LINA, University of Nantes): Metamodelling and Model Driven Software Development * Shigeru Chiba (Tokyo Institute of Technology): Program Transformation With Reflective and Aspect-Oriented Programming * Jean-Luc Hainaut (University of Namur): The Transformational Approach to Database Engineering * Zhenjiang Hu (University of Tokyo): Program Optimization and Transformation in Calculational Forms * Erik Meijer (Microsoft, Redmond): Object, relational, and XML mapping * Tom Mens (University of Mons-Hainaut): On the Use of Graph Transformations for Model Refactoring TECHNOLOGY PRESENTATIONS The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge of how generative and transformational tool support can be instrumental in solving software engineering problems. Technology presentations can include, but are not limited to demonstration of the features of a single tool. Rather, they include: * Reference to the concepts behind the technology * Application of the technology to a case study of non-trivial scale * Clear statement of benefits and limitations of the technology The participants will have ample opportunity to interact in informal manner with the technology presenters. Confirmed technology presentations: (Note: titles and authors abbreviated) * Mark van den Brand (CWI & HvA, The Netherlands) et al.: Applications of the ASF+SDF Meta-Environment * Martin Bravenboer (Utrecht University, The Netherlands) et al.: Domain-specific Language Embedding using Stratego/XT and MetaBorg * Thomas R. Dean (Queen's University, Canada): Applications of Agile Parsing To Web Services * Helena Galhardas (IST Tagus Park, Portugal): Data cleaning and transformation using te AJAX framework * Dirk Heuzeroth (sd&m AG, Germany) et al.: A Tool Suite for Invasive Software Composition * Frederic Jouault (UniversitÈ de Nantes, France): Model Transformation and Weaving Tools in the AMMA Platform * Guenter Kniesel (University of Bonn): Refactoring based on Composable Conditional Program Transformations * Victor Winter (University of Nebraska at Omaha, USA): Software transformation with HATS' Higher-Order Transformation * Albert Zuendorf (University of Kassel, Germany): Model Driven Software Development with Fujaba * Mohammed El-Ramly (University of Leicester, UK) Forms2.NET - Migrating Oracle Forms to Microsoft .NET VENUE The summer school will be held in the northern region of Portugal, known as the Costa Verde. The region is known for its attractiveness in terms of climate, prices, and culture. The region is served by the Oporto international airport, providing direct flights to many major European cities. The event will take place in Hotel da Falperra, situated in the hills overlooking the city of Braga. Hotel da Falperra is a four star hotel that provides splendid seminar and leisure facilities including a swimming pool. The hotel is situated in a quiet and somewhat isolated mountain area, which promotes the interaction between senior and junior researchers. The hotel has good connections to the Braga city center (approx. 10 min). DEADLINES AND FEES * Early registration until April 15, registration fee EUR 450. * Late registration until June 1, registration fee EUR 600. The registration fee includes: * accommodation in double room in the 4 star Hotel da Falperra * breakfasts, lunch, and coffee breaks (5 days) * dinners, reception, and banquet (5 evenings) * social programme * tutorial material * airport shuttles Participants are expected to arrive on Sunday, July 3, and to be present during the entire summer school, which ends in the late afternoon of Friday, July 8. PARTICIPANT SELECTION The number of participants is limited to 100. We want to ensure a diverse, well-matched, and well motivated set of participants. Therefore, participants will be selected on the basis of the information they supply on their registration form. In particular, we will take into consideration the relevance of the summer school topics to your area of research and to those of your group. After receiving your registration form, you will receive notification of acceptance within two weeks, or you will be asked to provide some additional information. Together with the notification of acceptance, you will receive detailed payment instructions. When payment has been received, your registration will be confirmed. SUMMER SCHOOL CHAIRS * Ralf Laemmel (Program Chair), Microsoft Corp., Redmond, U.S.A. * Joao Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. * Joost Visser (Organizing Chair), Universidade do Minho, Braga, Portugal. WEB SITE INCLUDING REGISTRATION http://www.di.uminho.pt/GTTSE2005 SPONSORS * Fundação Oriente * Fundação para a Ciência e a Tecnologia * Springer-Verlag * Microsoft * Enabler * Software Improvement Group -------------

1 0

Second Call for Papers for International Workshop on Foundations of Software Engineering (FSEN'05)
by fsen05＠ipm.ir 11 Apr '05

11 Apr '05

Our apologies if you have received multiple copies. ------------------------------------------------------------------------- Second Call for Papers IPM International Workshop on Foundations of Software Engineering (FSEN 2005) 1-3 October 2005, Tehran, Iran. http://cs.ipm.ac.ir/FSEN05 FSEN 2005 is an international workshop organized by the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Iran (http://www.ipm.ac.ir) Workshop goals -------------- The aim of the workshop is to bring together researchers and practitioners working on different aspects of formal methods in software engineering. The specific goal is to facilitate transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques. Topics of interest ------------------ The topics of this workshop include, but are not restricted to, the following: * Models of programs and systems * Software specification, validation and verification * Software architectures and their description languages * 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 * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Application to industrial cases Proceedings ----------- Accepted papers will be available at the workshop in a pre-proceedings published by IPM. A post-proceedings will be published in the Elsevier's ENTCS conference series. Selected papers will also be published in a special issue of a journal (to be confirmed). Best Paper Award ---------------- There will be an award for the best paper. Important Dates --------------- * June 1, 2005: Submissions deadline * July 15, 2005: Notification of authors * August 1, 2005: Camera ready copies deadline * October 1-3, 2005: FSEN workshop Submissions ----------- The length of each paper including figures and references must not exceed the maximum size of 15 ENTCS style pages. All papers must be submitted in PDF or postscript format. Papers are to be sent to the following email address: fsen05(a)ipm.ir. Submissions should explicitly state their contribution and their relevance to the theme of the workshop. Other criteria for selection will be originality, significance, correctness, and clarity. Simultaneous or similar submissions to other conferences or journals are not allowed. Workshop Chair -------------- Ali Movaghar Sharif University of Technology, Iran IPM, Iran PC Chairs --------- Farhad Arbab CWI, Netherlands Leiden University, Netherlands University of Waterloo, Canada Marjan Sirjani Tehran University, Iran IPM, Iran Local Organization Chair ------------------------ Marjan Sirjani Tehran University, Iran IPM, Iran Program committee ----------------- * Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands; University of Waterloo, Canada * Mohammad Ardeshir - Sharif University of Technology, Iran * Christel Baier - University of Bonn, Germany * Frank de Boer - CWI, Netherlands; Leiden University, Netherlands * Marcello Bonsangue - Leiden University, Netherlands * Franck van Breugel - York University, Canada * James C. Browne - Texas University, USA * Michael Butler - University of Southampton, UK * Marsha Chechik - University of Toronto, Canada * Dennis Dams - Bell Labs, USA * Nancy Day - University of Waterloo, Canada * Maurizio Gabbrielli - University of Bologna, Italy * Yuri Gurevich - Microsoft Research, USA * Joost Kok - Leiden University, Netherlands * Marta Kwiatkawska, University of Birmingham, UK * Mohammad Reza Meybodi - AmirKabir University of Technology, Iran * Seyyed Hassan Mirian - Sharif University of Technology, Iran * Ali Movaghar - Sharif University of Technology, Iran; IPM, Iran * Andrea Omicini - University of Bologna, Italy * George Papadopoulos - University of Cyprus, Cyprus * Willem-Paul de Roever - University of Kiel, Germany * Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands * Mohsen Sharifi, Iran University of Science and Technology, Iran * Sandeep Shukla- Virginia Tech, USA * Marjan Sirjani - Tehran University, Iran; IPM, Iran * Alan Wassyng - McMaster University, Canada Invited Speakers ---------------- (to be confirmed)

1 0

Formal Methods 2005: Call for Participation
by events-admin＠fmeurope.org 11 Apr '05

11 Apr '05

(With apologies for multiple copies) Formal Methods 2005 (FM'05) 18-22 July 2005 Newcastle upon Tyne, UK First Call for Participation www.csr.ncl.ac.uk/fm05 It is our pleasure to invite you to attend FM'05, the leading international conference for researchers and practitioners in formal methods for the development of computing systems. This year, the conference is being held at the University of Newcastle upon Tyne, UK on 18-22 July. Formal methods continue to have a major impact on systems and software engineering, especially in areas where dependability, security and trust matter. FM'05 aims to publish the latest developments of interest to researchers and practitioners alike. The outstanding programme of tutorials and workshops (listed overleaf) covers the range from circuit design, through high integrity programming to fault tolerance, architectures and automated reasoning. Wednesday 20th July is a special Industry Day, with a series of invited talks on experiences of formal methods going mainstream. The programme of around 30 research papers, announced in mid-April, will provide an opportunity to get up to date in all these areas and more. Alongside the tutorials, workshops and research symposium, there will be displays of tools, products, research projects and publishers. FM'05 is being held in one of England's most dynamic cities, famous for its captivating welcome, and situated at the heart of an historic and beautiful region. There will be plenty of opportunity for informal discussion: social activities include a reception at the Hatton Gallery and conference dinner in Alnwick Castle and Gardens. We look forward to welcoming you to Newcastle in July! John Fitzgerald, General Chair Ian Hayes, Andrzej Tarlecki, Programme Chairs TO REGISTER download a registration form from www.csr.ncl.ac.uk/fm05 or contact the Organiser: Claire Smith, Tel: +44 (0) 191 222 7999 Fax: +44 (0) 191 222 8788 Email:claire.smith@ncl.ac.uk --- --- --- --- --- --- --- --- OUTLINE OF EVENTS Full Scientific Programme 20-22 July Invited Speakers: Mathai Joseph (Tata Research & Development, Pune, India) Marie-Claude Gaudel (Université de Paris-Sud, France) Chris Johnson (University of Glasgow, UK) Industry Day 20 July: Formal Methods Going Mainstream - Costs, Benefits and Experiences contributions from Microsoft, Intel, Embedded Systems Institute, ETH Zürich and Verum Consultants. Industry Day is sponsored by SAP Research. Co-located Conferences (18-19 July): Calculemus 2005 Formal Aspects of Security and Trust (FAST) 2005 Workshops (18-19 July): Grand Challenge Workshop on Dependable Systems Evolution Web Languages and Formal Methods (WLFM 2005) Overture - the future of VDM and VDM++ Practical Applications of Stochastic Modelling (PASM 2005) Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT 2005) The Railway Domain (TRain 2005) Tutorials (18-19 July): The Spec# Programming System: an Overview Formal Aspects of Software Architecture Increasing Dependability of Smart Card Based Systems Perfect Developer SPARK Petri-nets and Role Models as Intermediate Level Tools for Asynchronous Circuit & Systems Design Verifying Industrial Control System Software Formal Engineering Methods for Industrial Software Development Modelling Languages Spectrum Formal Methods as a Unifying Basis for Electrical and Computer Engineering Design by Contract and Automatic Verification for Java with JML and ESC/Java 2 Introduction to CSP and FDR TO REGISTER download a registration form from www.csr.ncl.ac.uk/fm05 or contact the Organiser: Claire Smith, Tel: +44 (0) 191 222 7999 Fax: +44 (0) 191 222 8788 Email:claire.smith@ncl.ac.uk _______________________________________________ events mailing list events(a)fmeurope.org http://www.fmeurope.org/mailman/listinfo/events

1 0