From lynnmar@ca.bnr Tue Apr 19 22:56:37 1994 Received: from uk.ac.oxford by comlab.oxford.ac.uk id AA01850; Tue, 19 Apr 94 22:56:36 +0100 Received: from x400gate.bnr.ca by oxmail.ox.ac.uk with SMTP (PP) id <03392-1@oxmail.ox.ac.uk>; Tue, 19 Apr 1994 22:55:52 +0100 X400-Received: by mta bnr.ca in /PRMD=BNR/ADMD=TELECOM.CANADA/C=CA/; Relayed; Tue, 19 Apr 1994 14:36:55 -0400 X400-Received: by /PRMD=BNR/ADMD=TELECOM.CANADA/C=CA/; Relayed; Tue, 19 Apr 1994 14:31:38 -0400 X400-Received: by /PRMD=BNR/ADMD=TELECOM.CANADA/C=CA/; Relayed; Tue, 19 Apr 1994 14:30:00 -0400 Date: Tue, 19 Apr 1994 14:30:00 -0400 X400-Originator: /dd.id=1643362/g=lynn/i=ls/s=marshall/@ca.bnr To: Pp-Warning: Parse error in original version of preceding line Original-To: :; X400-Mts-Identifier: [/PRMD=BNR/ADMD=TELECOM.CANADA/C=CA/;bcars735.b.823:19.03.94.18.31.38] X400-Content-Type: P2-1984 (2) Content-Identifier: CFP AMAST'95 From: "lynn (l.s.) marshall" Original-Sender: "lynn (l.s.) marshall" Message-Id: <"11829 Tue Apr 19 14:31:47 1994"@bnr.ca> Subject: CFP AMAST'95 X-Bulletin: FM people Status: R Here is the Call for Papers for AMAST'95. Note that if you are interested in further information you can subscribe to the mailing list (see the end of this message). Lynn ------------------------------------------------------------------ Call for Papers Fourth International Conference on Algebraic Methodology and Software Technology, AMAST'95 July 3-7,1995 Montreal, Canada Goals A major goal of the AMAST Conference consists in putting software development technology on firm, mathematical foundations. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodology as a practically viable and attractive alternative to the prevailing ad-hoc approaches to software engineering. The benefits accruing from such formal foundations will be clearly wide reaching and both academia and industry are expected to benefit from this. The previous three editions of AMAST were held at the University of Iowa (1989 and 1991) and at the University of Twente, The Netherlands in 1993. During the previous three meetings, AMAST has attracted researchers and practitioners interested in algebra, logic, formal methods, specification and verification of concurrent and reactive systems, constraint programming, semantics, category theory, logic programming, process algebra, etc. Since 1993, an organizational novelty of AMAST has been to promote simultaneous co-operative effort between Europe and America in this venture, bringing the conference to a truly international level. In addition, the first day of the conference is dedicated to Mathematics Education for Software Engineers. Following this successful trend, the fourth AMAST International Conference is to be held at Concordia University, Montreal, Canada, during July 3-7, 1995. Montreal is renowned for its cultural richness, numerous museums, and its unique multicultural setting, to name a few. Montreal offers a variety of attractions for tourists throughout the year. The highlights in July include the world-famous International Jazz Festival. Submissions We invite papers reporting original research in algebra and logic, suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. The paper should not have been published elsewhere previously and should not be under review for publication elsewhere. We also solicit submissions of system demonstration showing the improved effectiveness of software developed on a mathematical basis. The topics of interest include, but not limited to, the following. 1. ALGEBRAIC AND LOGICAL FOUNDATIONS .algebraic logic .algebraic methodologies for languages and systems .logical frameworks for reasoning .category theory .relation algebra .logics of programs 2. CONCURRENT AND REACTIVE SYSTEMS .linear and modal logics .algebraic approaches .object oriented models .modular verification 3. SOFTWARE TECHNOLOGY .logic, functional, and object paradigms .specification languages and tools .formal specification case studies .abstraction for software documentation and reuse .theorem proving systems .integration of pragmatic and formal methods 4. LOGIC PROGRAMMING .semantics .logic programming extensions .constraints and concurrency .program verification and transformation .temporal and deductive databases We invite prospective authors to submit 6 copies of previously unpublished papers of high quality (15 double spaced pages maximum) in an area relevant to the conference theme. The paper should provide adequate information for the reviewers to assess the significance and anticipated impact on the foundations of software technology. All papers will be refereed by the program committee, and will be judged based on their significance, technical merit, and relevance to the conference. All submissions (both papers and system demo proposals) must be sent to the program chair at the address below; papers must be received by November 15, 1994 and system demo proposals must be received by December 15, 1994. V.S. Alagar AMAST'95 Program Chair Department of Computer Science Concordia University 1455 De Maisonneuve Blvd. West Montreal, Quebec H3G 1M8 CANADA Phone: (514) 848-3022 Fax: (514) 848-2830 e-mail: amast95-info@cs.concordia.ca General Chair: Maurice Nivat (France). Program Chair: V.S. Alagar (Canada) Program Committee : Martin Abadi (USA) Gregor Bochmann (Canada) Chris Brink (South Africa) Pierre Deransart (France) Michael Ferguson (Canada) Kokichi Futatsugi (Japan) Nicolas Halbwachs (France) Armando Haeberer (Brazil) Jiawei Han (Canada) Deepak Kapur (USA) Helene Kirchner (France) Laks V.S. Lakshmanan (Canada) Giorgio Levi (Italy) Luigi Logrippo (Canada) Silvio Lemos Meira (Brazil) Jose Meseguer (USA) Hafedh Mili (Canada) Rokia Missaoui (Canada) Peter Mosses (Denmark) Istvan Nemeti (Hungary) Rocco De Nicola (Italy) Prakash Panangadan (Canada) Don Pigozzi (USA) R. Ramanujam (India) R.K. Shyamasundar (India) Andrzej Tarlecki (Poland) Frits Vaandrager (Netherlands) Martin Wirsing (Germany) Organizing Committee: (Preliminary) Chair: Teodor Rus (USA) e-mail: rus@herky.cs.uiowa.edu Tools and Demos Chair: Peter Grogono (Canada) Finance Chair: T. Radhakrishnan (Canada) Publicity Chair: Charles Rattray (UK) Michel Bidoit (France) Pankaj Goyal (USA) Pippo Scollo (Australia) Ralph Wachter (USA) Local Arrangements: (Preliminary) Chair: Rokia Missaoui (Canada) A. Das (Canada) Invited Speakers (Partial List) To achieve the goal of the conference we aim to provide a forum in which leading researchers in mathematics, computer science, and software development, will come together to identify algebraic and logical methodologies that are applicable as viable alternatives to the present software development approaches and to discuss the appropriateness of such alternatives with a view to implementation. Invited speakers, with a tentative indication of the topic areas, include Krzysztof Apt (Logic Programming) Ewa Orlowska (Algebraic Logic) Rohit Parikh (Logic and Concurrency) Important Dates: Submission of Papers: November 15, 1994 Submission of System Demo Proposals: December 15, 1994 Notification of Acceptance/Rejection: February 1, 1995 Camera-ready Version of Accepted Papers: March 15, 1995 Education Day: July 3, 1995 Conference Days: July 4-7, 1995 Proceedings to be published by Springer-Verlag. Further Information: For bulletins on current status of the conference: amast95-info@cs.concordia.ca Tools and Demos: grogono@cs.concordia.ca Registration: krishnan@cs.concordia.ca Local Arrangements: missaoui.rokia@uqam.ca For subscribing to amast mailing list: amast95-request@cs.concordia.ca From uknet!bnr.co.uk!pipex!howland.reston.ans.net!gatech!newsxfer.itd.umich.edu!nntp.cs.ubc.ca!alberta!quartz.ucs.ualberta.ca!tribune.usask.ca!canopus.cc.umanitoba.ca!newsflash.concordia.ca!cs.concordia.ca!jamil Mon Apr 25 13:19:49 BST 1994 Article: 1301 of comp.specification.z Newsgroups: comp.specification.z Path: comlab.ox.ac.uk!uknet!bnr.co.uk!pipex!howland.reston.ans.net!gatech!newsxfer.itd.umich.edu!nntp.cs.ubc.ca!alberta!quartz.ucs.ualberta.ca!tribune.usask.ca!canopus.cc.umanitoba.ca!newsflash.concordia.ca!cs.concordia.ca!jamil From: jamil@cs.concordia.ca (HASAN jamil) Subject: CFP: 4th International Conference on Algebraic Methodology and Software Message-ID: Sender: usenet@newsflash.concordia.ca (USENET News System) Nntp-Posting-Host: orchid.cs.concordia.ca Organization: Dept. of Computer Science, Concordia University Date: Sat, 23 Apr 1994 04:11:09 GMT Lines: 465 Technology, AMAST'95 Keywords: %----------------------------------------------------------------- % Ascii Version of the CFP followed by the Latex Version %----------------------------------------------------------------- Call for Papers Fourth International Conference on Algebraic Methodology and Software Technology, AMAST'95 July 3-7,1995 Montreal, Canada Goals A major goal of the AMAST Conference consists in putting software development technology on firm, mathematical foundations. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodology as a practically viable and attractive alternative to the prevailing ad-hoc approaches to software engineering. The benefits accruing from such formal foundations will be clearly wide reaching and both academia and industry are expected to benefit from this. The previous three editions of AMAST were held at the University of Iowa (1989 and 1991) and at the University of Twente, The Netherlands in 1993. During the previous three meetings, AMAST has attracted researchers and practitioners interested in algebra, logic, formal methods, specification and verification of concurrent and reactive systems, constraint programming, semantics, category theory, logic programming, process algebra, etc. Since 1993, an organizational novelty of AMAST has been to promote simultaneous co-operative effort between Europe and America in this venture, bringing the conference to a truly international level. In addition, the first day of the conference is dedicated to Mathematics Education for Software Engineers. Following this successful trend, the fourth AMAST International Conference is to be held at Concordia University, Montreal, Canada, during July 3-7, 1995. Montreal is renowned for its cultural richness, numerous museums, and its unique multicultural setting, to name a few. Montreal offers a variety of attractions for tourists throughout the year. The highlights in July include the world-famous International Jazz Festival. Submissions We invite papers reporting original research in algebra and logic, suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. The paper should not have been published elsewhere previously and should not be under review for publication elsewhere. We also solicit submissions of system demonstration showing the improved effectiveness of software developed on a mathematical basis. The topics of interest include, but not limited to, the following. 1. ALGEBRAIC AND LOGICAL FOUNDATIONS .algebraic logic .algebraic methodologies for languages and systems .logical frameworks for reasoning .category theory .relation algebra .logics of programs 2. CONCURRENT AND REACTIVE SYSTEMS .linear and modal logics .algebraic approaches .object oriented models .modular verification 3. SOFTWARE TECHNOLOGY .logic, functional, and object paradigms .specification languages and tools .formal specification case studies .abstraction for software documentation and reuse .theorem proving systems .integration of pragmatic and formal methods 4. LOGIC PROGRAMMING .semantics .logic programming extensions .constraints and concurrency .program verification and transformation .temporal and deductive databases We invite prospective authors to submit 6 copies of previously unpublished papers of high quality (15 double spaced pages maximum) in an area relevant to the conference theme. The paper should provide adequate information for the reviewers to assess the significance and anticipated impact on the foundations of software technology. All papers will be refereed by the program committee, and will be judged based on their significance, technical merit, and relevance to the conference. All submissions (both papers and system demo proposals) must be sent to the program chair at the address below; papers must be received by November 15, 1994 and system demo proposals must be received by December 15, 1994. V.S. Alagar AMAST'95 Program Chair Department of Computer Science Concordia University 1455 De Maisonneuve Blvd. West Montreal, Quebec H3G 1M8 CANADA Phone: (514) 848-3022 Fax: (514) 848-2830 e-mail: amast95-info@cs.concordia.ca General Chair: Maurice Nivat (France). Program Chair: V.S. Alagar (Canada) Program Committee : Martin Abadi (USA) Gregor Bochmann (Canada) Chris Brink (South Africa) Pierre Deransart (France) Michael Ferguson (Canada) Kokichi Futatsugi (Japan) Nicolas Halbwachs (France) Armando Haeberer (Brazil) Jiawei Han (Canada) Deepak Kapur (USA) Helene Kirchner (France) Laks V.S. Lakshmanan (Canada) Giorgio Levi (Italy) Luigi Logrippo (Canada) Silvio Lemos Meira (Brazil) Jose Meseguer (USA) Hafedh Mili (Canada) Rokia Missaoui (Canada) Peter Mosses (Denmark) Istvan Nemeti (Hungary) Rocco De Nicola (Italy) Prakash Panangadan (Canada) Don Pigozzi (USA) R. Ramanujam (India) R.K. Shyamasundar (India) Andrzej Tarlecki (Poland) Frits Vaandrager (Netherlands) Martin Wirsing (Germany) Organizing Committee: (Preliminary) Chair: Teodor Rus (USA) e-mail: rus@herky.cs.uiowa.edu Tools and Demos Chair: Peter Grogono (Canada) Finance Chair: T. Radhakrishnan (Canada) Publicity Chair: Charles Rattray (UK) Michel Bidoit (France) Pankaj Goyal (USA) Pippo Scollo (Australia) Ralph Wachter (USA) Local Arrangements: (Preliminary) Chair: Rokia Missaoui (Canada) A. Das (Canada) Invited Speakers (Partial List) To achieve the goal of the conference we aim to provide a forum in which leading researchers in mathematics, computer science, and software development, will come together to identify algebraic and logical methodologies that are applicable as viable alternatives to the present software development approaches and to discuss the appropriateness of such alternatives with a view to implementation. Invited speakers, with a tentative indication of the topic areas, include Krzysztof Apt (Logic Programming) Ewa Orlowska (Algebraic Logic) Rohit Parikh (Logic and Concurrency) Important Dates: Submission of Papers: November 15, 1994 Submission of System Demo Proposals: December 15, 1994 Notification of Acceptance/Rejection: February 1, 1995 Camera-ready Version of Accepted Papers: March 15, 1995 Education Day: July 3, 1995 Conference Days: July 4-7, 1995 Proceedings to be published by Springer-Verlag. Further Information: For bulletins on current status of the conference: amast95-info@cs.concordia.ca Tools and Demos: grogono@cs.concordia.ca Registration: krishnan@cs.concordia.ca Local Arrangements: missaoui.rokia@uqam.ca For subscribing to amast mailing list: amast95-request@cs.concordia.ca %---------------------------------------------------------------------- % Latex Version %---------------------------------------------------------------------- \documentstyle{article} \setlength{\textheight}{8.2in} \setlength{\textwidth}{6.3in} \setlength{\oddsidemargin}{0.5 in} \setlength{\evensidemargin}{0.5 in} \setlength{\parskip}{3mm} \setlength{\parindent}{0.0in} \pagestyle{empty} \begin{document} \vspace*{-2cm} \begin{center} {\Large \sc Call for Papers} {\Large \it Fourth International Conference on} \\ [1.5ex] {\Large \bf Algebraic Methodology and Software } \\ [1.0ex] {\Large \bf Technology, AMAST'95} \\ [1.0ex] {\large \bf July 3--7, 1995} \\ [1.0ex] {\large \bf Montreal, Canada} \end{center} {\bf Goals } A major goal of the AMAST Conference consists in putting software development technology on firm, mathematical foundations. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodology as a practically viable and attractive alternative to the prevailing ad-hoc approaches to software engineering. The benefits accruing from such formal foundations will be clearly wide reaching and both academia and industry are expected to benefit from this. The previous three editions of AMAST were held at the University of Iowa (1989 and 1991) and at the University of Twente, The Netherlands in 1993. During the previous three meetings, AMAST has attracted researchers and practitioners interested in algebra, logic, formal methods, specification and verification of concurrent and reactive systems, constraint programming, semantics, category theory, logic programming, process algebra, etc. Since 1993, an organizational novelty of AMAST has been to promote simultaneous co-operative effort between Europe and America in this venture, bringing the conference to a truly international level. In addition, the first day of the conference is dedicated to Mathematics Education for Software Engineers. Following this successful trend, the fourth AMAST International Conference is to be held at Concordia University, Montreal, Canada, during July 3--7, 1995. Montreal is renowned for its cultural richness, numerous museums, and its unique multicultural setting, to name a few. Montreal offers a variety of attractions for tourists throughout the year. The highlights in July include the world-famous International Jazz Festival. {\bf Submissions} We invite papers reporting original research in algebra and logic, suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. The paper should not have been published elsewhere previously and should not be under review for publication elsewhere. We also solicit submissions of system demonstration showing the improved effectiveness of software developed on a mathematical basis. The topics of interest include, but not limited to, the following. \begin{itemize} \item[1.] ALGEBRAIC AND LOGICAL FOUNDATIONS \begin{itemize} \item[$\bullet$] algebraic logic \item[$\bullet$] algebraic methodologies for languages and systems \item[$\bullet$] logical frameworks for reasoning \item[$\bullet$] category theory \item[$\bullet$] relation algebra \item[$\bullet$] logics of programs \end{itemize} \item[2.] CONCURRENT AND REACTIVE SYSTEMS \begin{itemize} \item[$\bullet$] linear and modal logics \item[$\bullet$] algebraic approaches \item[$\bullet$] object oriented models \item[$\bullet$] modular verification \end{itemize} \item[3.] SOFTWARE TECHNOLOGY \begin{itemize} \item[$\bullet$] logic, functional, and object paradigms \item[$\bullet$] specification languages and tools \item[$\bullet$] formal specification case studies \item[$\bullet$] abstraction for software documentation and reuse \item[$\bullet$] theorem proving systems \item[$\bullet$] integration of pragmatic and formal methods \end{itemize} \item[4.] LOGIC PROGRAMMING \begin{itemize} \item[$\bullet$] semantics \item[$\bullet$] logic programming extensions \item[$\bullet$] constraints and concurrency \item[$\bullet$] program verification and transformation \item[$\bullet$] temporal and deductive databases \end{itemize} \end{itemize} We invite prospective authors to submit {\bf 6 copies} of previously unpublished papers of high quality ({\bf 15 double spaced pages maximum}) in an area relevant to the conference theme. The paper should provide adequate information for the reviewers to assess the significance and anticipated impact on the foundations of software technology. All papers will be refereed by the program committee, and will be judged based on their significance, technical merit, and relevance to the conference. All submissions (both papers and system demo proposals) must be sent to the program chair at the address below; papers must be received by {\bf November 15, 1994} and system demo proposals must be received by {\bf December 15, 1994}. {\sf V.S. Alagar \\ AMAST'95 Program Chair \\ Department of Computer Science \\ Concordia University \\ 1455 De Maisonneuve Blvd. West \\ Montreal, Quebec H3G 1M8 \\ CANADA \\ } {\em Phone}: {\tt (514) 848-3022} \\ {\em Fax}: {\tt (514) 848-2830} \\ {\em e-mail}: {\tt amast95-info@cs.concordia.ca} \newpage {\bf General Chair}: Maurice Nivat (France). {\bf Program Chair}: V.S. Alagar (Canada) {\bf Program Committee} : Martin Abadi (USA) \\ Gregor Bochmann (Canada) \\ Chris Brink (South Africa) \\ Pierre Deransart (France) \\ Michael Ferguson (Canada) \\ Kokichi Futatsugi (Japan) \\ Armando Haeberer (Brazil) \\ Nicolas Halbwachs (France) \\ Jiawei Han (Canada) \\ Deepak Kapur (USA) \\ H\'el\`ene Kirchner (France) \\ Laks V.S. Lakshmanan (Canada) \\ Giorgio Levi (Italy) \\ Luigi Logrippo (Canada) \\ Silvio Lemos Meira (Brazil) \\ Jos\'e Meseguer (USA) \\ Hafedh Mili (Canada) \\ Rokia Missaoui (Canada) \\ Peter Mosses (Denmark) \\ Istvan N\'emeti (Hungary) \\ Rocco De Nicola (Italy) \\ Prakash Panangadan (Canada) \\ Don Pigozzi (USA) \\ R. Ramanujam (India) \\ R.K. Shyamasundar (India) \\ Andrzej Tarlecki (Poland) \\ Frits Vaandrager (Netherlands) \\ Martin Wirsing (Germany) {\bf Organizing Committee}: (Preliminary) {\bf Chair}: Teodor Rus (USA) \\ {\em e-mail}: {\tt rus@herky.cs.uiowa.edu}\\ {\bf Tools and Domos Chair}: Peter Grogono (Canada) \\ {\bf Finance Chair}: T. Radhakrishnan (Canada) \\ {\bf Publicity Chair}: Charles Rattray (UK)\\ Michel Bidoit (France) \\ Pankaj Goyal (USA) \\ Pippo Scollo (Australia) \\ Ralph Wachter (USA) \newpage {\bf Local Arrangements}: (Preliminary) {\bf Chair}: Rokia Missaoui (Canada) \\ A. Das (Canada) {\bf Invited Speakers} (Partial List) To achieve the goal of the conference we aim to provide a forum in which leading researchers in mathematics, computer science, and software development, will come together to identify algebraic and logical methodologies that are applicable as viable alternatives to the present software development approaches and to discuss the appropriateness of such alternatives with a view to implementation. Invited speakers, with a tentative indication of the topic areas, include Krzysztof Apt ( Logic Programming) \\ Ewa Or\l owska (Algebraic Logic) \\ Rohit Parikh (Logic and Concurrency) {\bf Important Dates:} {\sc Submission of Papers}: {\sf November 15, 1994} \\ {\sc Submission of System Demo Proposals}: {\sf December 15, 1994}\\ {\sc Notification of Acceptance/Rejection}: {\sf February 1, 1995}\\ {\sc Camera-ready Version of Accepted Papers}: {\sf March 15, 1995}\\ {\sc Education Day}: {\sf July 3, 1995}\\ {\sc Conference Days}: {\sf July 4--7, 1995} Proceedings to be published by Springer-Verlag. {\bf Further Information:} For bulletins on current status of the conference: {\tt amast95-info@cs.concordia.ca}\\ Tools and Demos: {\tt grogono@cs.concordia.ca}\\ Registration: {\tt krishnan@cs.concordia.ca}\\ Local Arrangements: {\tt missaoui.rokia@uqam.ca}\\ For subscribing to amast mailing list: {\tt amast95-request@cs.concordia.ca} \end{document}