Comments are welcome!
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
date : 29 August 1994
e-mail to: amast@cs.utwente.nl
___________________________________
e-mailed to : 221 subscribers
The First International Symposium on Parallel Symbolic Computation (PASCO'94) will be devoted communicating significant developments in all the areas pertinent to ``Parallel Symbolic Computation''.
The interplay between parallelism and symbolic computation poses inspiring scientific challenges, which deserve much focused attention. However, there has not yet been a dedicated forum, and this symposium addresses the need.
It is also expected that further progress can be made through the interaction between parallel symbolic algorithm designers and parallel high-level language designers. This symposium is intended to provide a framework for establishing this fruitful dialogue.
Symposium Chair: Bruno Buchberger (RISC-Linz), buchberg@risc.uni-linz.ac.at
Program Committee Chair: Hoon Hong (RISC-Linz), hhong@risc.uni-linz.ac.at
Invited speakers: Kevin Hammond (UK) on Parallel Functional Languages, Claude Kirchner (France) on Parallel Automated Deduction, Gert Smolka (Germany) on Parallel Constraint/Logic Languages, Paul Wang (USA) on Parallel Computer Algebra.
The symposium will be hosted in the beautiful Castle of Hagenberg, a medieval castle which was renovated recently and now houses RISC-Linz, the Research Institute for Symbolic Computation.
Proceedings will be published by ``World Scientific Publishing''. They will be available to participants at the meeting. Several high quality papers will appear as a special issue of the Journal of Symbolic Computation (JSC), which is planned to appear in early 1995.
The early registration fee (until August 31) is ATS 3000, late registration fee is ATS 3600. This includes all talks, the proceedings, three lunches, coffee/tea/soft drinks and cakes for the coffee breaks, the conference dinner, and the shuttle service from the hotels to the conference location and back.
For the registration forms and for the PostScript version of the call for participation and of the program, please contact (email preferred):
PASCO'94 Registration, c/o RISC-Linz, Johannes Kepler University, 4040 Linz, Austria/Europe; Fax: +43 7236 3231-30, email: pasco94@risc.uni-linz.ac.at>>>>> WWW site now available
The generic term "graph grammars" covers the whole spectrum of methods and techniques for the investigation of the structure of graphs and graph transformations. Topics range from very theoretical to very practical. Indeed, one of the aims of the workshop is to bring together researchers in the areas of graph grammar theory and practice in order to identify and discuss those open problems in graph grammar theory that are most critical to its practical application. The program will include sessions on graph languages, the structure and logic of graphs, automata, and rewriting techniques as well applications to software engineering, parsing, concurrency, specification and semantics, functional programming, biology, algorithms, patterns and graphics, and architecture.
This year is the 25th anniversary of the first graph grammar paper and Professor H.J. Schneider (Erlangen, Germany) and Professor A. Rosenfeld (University of Maryland, USA) have been invited as speakers to mark the occasion.
For more information on the workshop and registration materials, please contact
Prof. Janice Cuny
Department of Computer and Information Science
University of Oregon
Eugene, OR 97403
E-mail: cuny@cs.uoregon.edu
Fax: (503)-346-5373
The first announcement is on page 2 of AMAST News Sample Issue 02.
Update:
ABSTRACTS and A PRELIMINARY PROGRAM are now available on World Wide Web
The Eleventh Conference on the Mathematical Foundations of Programming Semantics will be held at Tulane University, New Orleans, LA USA from March 29 to April 1, 1995. The conference will consist of six one-hour invited talks and of talks selected from submissions. The MFPS conferences are devoted to those areas of mathematics, logic and computer science which are related to the semantics of programming languages. The series has particularly stressed providing a forum where both mathematicians and computer scientists can meet and exchange ideas about problems of common interest. We also welcome submissions by researchers in neighboring areas, since we strive to maintain breadth in the scope of the series.
The invited speakers for MFPS XI are: Andreas Blass (Michigan), Robin Milner (Edinburgh), Edmund Clarke (CMU), John Reynolds (CMU), Neil Jones (Copenhagen), Robert Tennent (Queen's, Kingston). There also will be a special session on Semantics of Object-Oriented Programming Languages, organized by Luca Cardelli (Digital Equipment Corp, Systems Research Center) and John Mitchell (Stanford).
The organizing committee for MFPS consists of Stephen Brookes (CMU), Michael Main (Colorado), Austin Melton (Michigan Technological University), Michael Mislove (Tulane) and David Schmidt (Kansas State). The co-chairs for MFPS XI are Austin Melton and Michael Mislove. The program committee co-chairs are Stephen Brookes and Michael Main.
Submissions must be extended abstracts of 12 pages or less. Deadline for submissions is November 10, 1994. Authors will be notified of acceptance or rejection of their submissions by February 1, 1995.
Electronic submission is encouraged via email (to: main@cs.colorado.edu).
In the past, proceedings of the conference have been published as a volume of the Lecture Notes in Computer Science (cf. LNCS 239, 298, 442, 598, 802). For the 1995 conference, the organizing committee is considering an electronic form of publication. We anticipate the quality and refereeing standards will be similar to past publications of the MFPS Proceedings.
General inquiries about MFPS XI can be addressed to: mfps@math.tulane.edu
A WWW listing is also available with the latest information about the conference via Mosaic.
(Other versions of this Call for Papers are available by anonymous ftp: plain text , LaTeX , DVI , PostScript ).
The conference is the tenth in the series of FCT conferences organized every odd year. The papers selected by the Program Committee are expected to to contribute to the following topics: Algorithms and data structures, Automata and formal languages, Categories and types, Computability and complexity, Computational logics, Computational geometry, Foundations of system specifications, Learning theory, Parallelism and concurrency, Rewriting and high-level replacement systems, Semantics.
In addition to three days of invited and selected lectures there will be a one-day MINISYMPOSIUM at the end of FCT'95 dealing with
Specification of time-critical systemswith following invited speakers (Preliminary List): M.Abadi (DEC, USA), J.Bergstra (Amsterdam), M.Broy (Munich), Z.Chaochen (Macau).
Conference Chairman: Horst Reichel (Dresden).
Program Committee: J. Balcazar (Barcelona), R.G. Bukharajev ( Kazan), Z. Esik (Szeged), J. Gruska (Bratislava/Lyon), T. Hagerup (Saarbruecken), H. Juergensen (London, Canada), M. Main (Boulder), U. Montanari (Pisa), E.-R. Olderog (Oldenburg), T. Ottmann (Freiburg), G. Paun (Bucuresti), H. Reichel (Dresden), A. Slissenko,(Paris), J. Tiuryn (Warsaw), P. Vitany (Amsterdam), I. Wegener (Dortmund), P. Widmayer (Zuerich).
Authors are invited to submit five copies of a draft paper to the Conference Chairman by December 19, 1994. They will be notified of acceptance or rejection by March 31, 1995. Deadline for final text is May 15, 1995.
The proceedings will be available at the conference.
FCT'95 Invited Speakers (Preliminary List): L. Lovasz (Yale University), S. Abramski (Imperial College), L. Babai (Chicago University).
Address for correspondence:
H. Reichel (FCT'95)
Institut fuer Theoretische Informatik
Fakultaet Informatik, TU Dresden
Mommsenstr. 13, D-01062 Dresden, Germany
Tel. +49-351-4575-548
FAX: +49-351-4575-348
e-mail:reichel@tcs.inf.tu-dresden.de
Organized by : ESPRIT BR Working Group CALIBAN, Humboldt-Universitaet Berlin
Topics: Causal calculi, Logics, Petri nets, Design theory, Partial orders, Higher order models, Semantics of causality, Verification and model checking.
CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design methodologies based on causal models such as Petri nets. This workshop is organized by CALIBAN to mark the third year into the project. Original papers, surveys and case studies are solicited from all scientists in the field. Moreover, the results of CALIBAN and DEMON since 1989 will be surveyed at the workshop.
Proceedings will be published shortly after the workshop, most likely by Springer-Verlag.
Authors are invited to send five copies of papers (in English) to the PC chairman. Papers should have max. 15 pages and start with a small abstract and the author's address (including email-address if available) for correspondence.
Deadlines (1995): February 10: subm., March 20: notif., April 25: final v.
Invited Speakers: J. de Bakker (Amsterdam), E.-R. Olderog (Oldenburg).
Program Committee Chair: J. Desel, Local Arrangements Chair: W. Reisig Institut fuer Informatik, Humboldt-Universitaet, D-10099 Berlin, Germany e-mail: (desel,reisig)@informatik.hu-berlin.de
Program Committee: J. Bradfield (Edinburgh), P. Chrzastowski (Warsaw), F. De Cindio (Milano), J. Desel (Berlin), R. Devillers (Brussels), H. Ehrig, (Berlin), H. Fleischhack (Oldenburg), P. Gastin (Paris), J. Kleijn (Leiden), M. Koutny (Newcastle), M. Mukund (Madras), A. Rensink (Hildesheim), M. Silva (Zaragoza), A. Valmari (Tampere), W. Vogler (Augsburg).
Coordination Committee: E. Best (Hildesheim), J. Desel (Berlin), J. Kleijn (Leiden), M. Koutny (Newcastle).
The workshop will be held in the historical center of Berlin. The lecture hall is close to the Institute of Computer Science of the Humboldt University; internet connections can be provided. Rooms in a nearby hotel will be reserved at reasonable prices. On Friday, May 12 an excursion to the castles of Prussian kings in Potsdam is planned, with a conference dinner at the beautiful Wannsee.
N.B. DEADLINE for Registration is 5 SEPTEMBER!
UPDATED since First Announcement:
- Invited Speakers
- Accommodation (for 15 October)
The objective of the workshop is to bring together researchers from the Nordic and Baltic countries interested in programming theory, in order to improve mutual contacts and cooperation.
The following speakers will give 60-minute invited presentations at the workshop:
Further information and the registration form are available on the WWW.
Or send a message to the following address:
BRICS -- NWPT
Dept. of Computer Science
University of Aarhus
Ny Munkegade, Bldg. 540
DK-8000 Aarhus C, Denmark
E-mail: nwpt@daimi.aau.dk
Fax: +45 8942 3255
Continuing the successful first meeting of the Dutch-German Workshop, the Dutch interest group in non-monotonic reasoning `FoReST' and the German `Fachgruppe Nichtmonotones Schliessen' are organizing a joint workshop in Utrecht. The aim of this workshop is to bring together active researchers from both (and possibly other) countries interested in the area of non-monotonic reasoning, to exchange ideas and to stimulate cooperation.
We want to discuss current research, results and problems of both theoretical and practical nature.
PROGRAM: The workshop will include invited talks, presentations of accepted papers, and possibly demo sessions.
RESEARCH AREAS: Submissions are invited in all areas of NMR, including, but not limited to: Non-Monotonic Logics, Defeasible Reasoning, Consistency Handling, Priority and Specificity Handling, Logic Programming, Closed World Databases, Proof Procedures and Implementations, Applications of NMR, Multi-agent and Dynamic reasoning, Normative Logics.
PROGRAM CHAIRS: Gerhard Brewka (brewka@gmd.de) GMD, Postfach 1316, D-5205 Sankt Augustin, Germany; Cees Witteveen (witt@cs.tudelft.nl) Dep. of Computer Science TU Delft, Postbus 356, 2600 AJ Delft, The Netherlands
PROGRAM COMMITTEE: J.Dix (Koblenz), W. van der Hoek (Utrecht), G. Lakemeyer (Bonn), J.-J. Ch. Meyer (Utrecht), W. Nejdl (Aachen), T. Schaub (IRISA Rennes), Y. H. Tan (Erasmus U., Rotterdam), J. Treur (Free U., Amsterdam).
LOCAL CHAIRS: W. v. d. Hoek (wiebe@cs.ruu.nl), B. v. Linder (bernd@cs.ruu.nl), J.-J. Ch. Meyer (jj@cs.ruu.nl), C. Witteveen (witt@cs.tudelft.nl)
SUBMISSION OF PAPERS: People wishing to present recent work should submit 4 copies of an extended abstract of no more than eight pages to either of the program chairs. Those wishing to attend without giving a presentation should send a short statement of interest, explaining why they would like to attend the workshop. Electronic submissions are encouraged. Please send postscript files only. Participation will be limited to 30-40 people.
IMPORTANT DATES: Subm.: Dec. 1, 94; Notif.: Jan. 15, 95; Final v.: Mar. 1, 95.
PROCEEDINGS: Informal proceedings containing the final versions of accepted papers will be made available at the workshop.
This information can also be accessed in its original form on the WWW.
Guest editors: James R. Warren and Jerzy A. Filar
Increasingly, information systems serve active roles as in on-line systems, decision support applications, real-time control and EDI. Success depends upon complex interactions of hardware, software, people and procedures. Unacceptably long delays in system response can have substantial monetary or human costs.
We are looking for papers that represent state-of-the-art method and practice in Simulation of Information Systems (SIS), including:
-- Interorganizational and logistics system dynamics
-- Validation of dynamic models
-- Simulation as a BPR tool
-- Evolving and adaptive IS
-- Integration of CASE and simulation
-- Data, process, and behavior modeling in an integrated framework
-- Object orientation in the analysis of IS dynamics
S&G is an interdisciplinary journal. Authors should consider the human and organizational context as well as the computer-based system. Papers may be technical in nature, but only as necessary to draw out the principles and concepts. Authors should identify: (a) the referent of their models; (b) the information provided (e.g., reachable states, performance rates, animation); and (c) the role in the decision process (e.g., determine throughput, assess system safety).
Submission deadline: October 21, 1994. Submit 3 copies to:
Dr. James R. Warren
School of Computer and Information Science
University of South Australia
The Levels, SA 5095, Australia
Voice: +61 8 302 3446
Fax: +61 8 302 3381.
E-mail: james.warren@unisa.edu.au
S&G is published by Sage Publications.
The University of Melbourne invites applications for appointment to the newly established Foundation Chair of Information Systems.
The Chair of Information Systems will be linked with the headship of the Department of Information Systems for an initial period of five years. The Faculty location of the new Department will be resolved once the undergraduate course structure has been further developed. The appointee will be involved in finalising that course structure. The Faculties of Economics and Commerce, Engineering and Science have indicated an interest in the field.
The Professor of Information Systems will play a leadership role in the development of a strong research profile. The information systems field is defined broadly with emphasis on specification, development, implementation, management and value of information systems in organisations. Given the inter- disciplinary nature of the field, the Professor of Information Systems will be expected to provide leadership in all areas but have a strong research record in one or more of the above aspects of information systems. If suitable applicants are available, two appointments in the broad field will be made, one in the domain of systems and the other in organisations.
The base salary for Professors is A$78,991 per annum together with provision for superannuation. A loading on the base salary is payable for services as Head of Department and a further loading related to the discipline may be negotiated with the successful applicant.
Further information about the position, including details of application procedure, superannuation, travel and removal expenses, housing assistance and conditions of appointment is available from the Registrar. All correspondence (marked "Personal and Confidential") should be addressed to The Registrar, The University of Melbourne, Parkville, Victoria, 3052, Australia:
Telephone: +61 3 344 5003, Facsimile: +61 3 344 6897
Enquiries of an academic nature should be directed to the Deputy Vice-Chancellor (Academic) (Professor C B Schedvin):
Telephone: +61 3 344 6140, Facsimile: +61 3 347 5904
Email: Boris_Schedvin.vc@muwaye.unimelb.edu.au
Applications close 23 September, 1994.
The Council reserves the right to make no appointment or to fill the Chair by invitation at any stage. The University of Melbourne is an equal opportunity employer and has implemented a smoke-free work-place policy.
Applications are invited for a Research Assistant post available under the EPSRC grant `User Interface Design for Mechanized Theorem Provers'.
This project will investigate the design of user interfaces to theorem proving tools such as HOL, ERIL, or LP. The project will employ methods of research into Human-Computer Interaction (HCI) - including cognitive science and the psychology of programming - to formulate and test hypotheses about the effectiveness of user interface features for theorem provers. The aim is to produce design principles for interfaces that will help increase the practical usability of theorem proving systems. A distinctive feature of the project is its interdisciplinary nature, with investigators in HCI (Phil Gray) and theorem proving (Tom Melham and Muffy Thomas).
The post requires someone with a Ph.D. or comparable experience. Ideally, the appointed candidate will be an expert in the relevant HCI techniques (including empirical evaluation), know a bit about logic and formal reasoning, and be able to learn about theorem proving quickly. Applicants who are primarily theorem proving experts but willing to master the relevant methods of HCI will also be considered. In any case, good programming ability is required for rapid prototyping of interface ideas.
The post is for three years, starting on or after 1 November 1994 (the actual start may be negotiated). The appointment will be on the RA 1A Scale (13,941 - 17,813 pounds p.a.) with an annual increment. The appointed researcher will be equipped with a workstation and have access to funds for travel.
The Computing Science Department at Glasgow has an excellent research environment. The Department received the highest possible rating of 5 in the most recent UK research assessment exercise. There are large, active research groups in formal methods and HCI, with links to psychology and graphics.
Written applications should be sent to Dr Tom Melham, Department of Computing Science, The University of Glasgow, Scotland, G12 8QQ, to arrive no later than 30 September 1994. Your application should include a covering letter outlining your qualifications for the position, a Curriculum Vitae, a complete list of publications, and the names and addresses of two referees. Informal inquiries are also welcome - these should also be sent to Tom Melham, preferably by electronic mail addressed to tom@dcs.glasgow.ac.uk.
The University of Glasgow is an Equal Opportunities Employer.
This PhD thesis is available from the author at the following adress: Computing Science Institute (CSI), University of Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands; email: mjw@cs.kun.nl
The thesis is concerned with the problem of specifying properties of distributed real-time systems. The starting point of our investigations has been the "structural defect" of logics such as first-order predicate logic or temporal logic where interpretations are always global. Local properties would then ask for as many predicates as localities are concerned. A possible solution to this defect is a particular sort allowing to express locative properties. This way has been followed by the Locative Temporal Logic (LTL) as investigated in this thesis.
Locative temporal logic has been built from two different modal logics: a temporal logic to express temporal properties and a locative logic to express locative properties. The underlying model has been defined as a two-sorted Kripke-model in the sense that temporal and locative universes have been combined to form a direct product. Binary relations of locative and temporal accessibility on the product space have been provided on the semantics level. Moreover, we have added suitable distance functions and metric domains for the temporal and locative sorts. In such a way, we step from an external observer in time only, as it is used in temporal logics, to an external observer in space and time. This exactly allows to distinguish between four fundamental classes of properties: local static, local dynamic, distributed static, and distributed dynamic.
Suitable modal operators, i.e., locative temporal connectives have been incorporated in the logical language. The language itself is a first-order language where quantification over the locative temporal universe is disallowed but quantification over the corresponding metric domain is allowed. The locative temporal operators have been made metric because properties in distributed real-time systems ask for distances in space and time.
We have applied our specification method LTL to a number of paradigms from the field of distributed real-time systems: dining philosophers, distributed watchdog, point-to-point-based and diffusion-based communication, synchronous and asynchronous communication, atomic broadcast, and processor group membership.
The Psi Compiler project is pleased to announce a new version of their compiler is available for those interested in trying it. It is set up in a Mosaic page that has links to get the compiler and a technical report describing the compiler. The technical report is also included with compiler.
The PSI Compiler mechanizes Mullin's Psi Calculus which reduces array expressions to their normal form, a generic design for software. The reductions produce expressions which eliminate unnecessary computation and temporary storage. Although the input language is not sufficient for general purpose programming, the goal of the project is to incorporate the compiler techniques into existing compilers. Currently work is under way to translate subsets of FORTRAN90, High Performance FORTRAN, and SETL into our input grammar for input to our compiler. There also exists support for automatic partitioning and mapping to networks of homogeneous workstations and the CM5. Enjoy!
The Psi Compiler Project
The sample issues of the AMAST Newsletter are available as plain-text files by anononymous ftp on the AMAST repository at the Department of Computer Science of the University of Twente. The root directory of the repository is:
ftp://ftp.cs.utwente.nl/pub/doc/amast/
Under directory
ftp://ftp.cs.utwente.nl/pub/doc/amast/newsletter/sample/four separate subdirectories exist to date: from issue00/ through issue03/.
Each sample issue of the AMAST Newsletter is available in the corresponding subdirectory, both as a single file and as a set of distinct files, where each of these only contains one page of the sample issue. The file naming conventions are as follows (where `xx', `y' and `z' are variables):
SIANxx.txt : the whole sample issue xx
SIANxx-ToC.txt : the ToC page of sample issue xx
SIANxxpy.txt : page y of sample issue xx
SIANxxpy-z.txt : page y-z of sample issue xx
The three previous digests of contributions to the discussion on the new AMAST mailing list and Newsletter are also available as plain-text files on this AMAST repository, under directory:
ftp://ftp.cs.utwente.nl/pub/doc/amast/info/respectively as files Digest01, ..., Digest03.
An overall description of the contents of the AMAST repository is given in the README file in the base directory.
In case of any problem with the retrieval of the aforementioned information, help can be obtained by sending a clear description of the problem to the AMAST list information address
amast-info@cs.utwente.nl
URL : ftp://ftp.cs.utwente.nl/pub/doc/amast/
Date : 29/08/1994
Contents : README, amast91/, amast93/, amast95/, info/, newsletter/,
/pstv95/, sigala/
Contributions for the next sample issue are welcome. They should be sent by e-mail before Friday 9 September 1994 to:
amast@cs.utwente.nl
It is recommended that each contribution could fit into one page of the plain-text version of the Newsletter; including title, it should thus consist of 37 lines at most, with each line of 79 characters at most.
A template is in preparation, as an aid to the contribution of HTML pages for the AMAST Newsletter. Main intended use of the HTML template is that of helping contributors of HTML pages for this Newsletter, to adopt a coherent style in their sources, and to obtain a coherent layout of the resulting display. However, form and structure of the HTML version of the Newsletter are still very tentative; hence, in its current form, the HTML template is not yet suitable for the intended use. Web-browsers who wish to have a look at a working version of the template , may open its URL.
Comments on the working version of the HTML template are most welcome!
IMPORTANT: Even if a contribution is kindly made available as a HTML page for direct inclusion in the hypertext version of the newsletter, it is nonetheless necessary that a plain-text version of the contribution be made available as well; the latter version should be in accordance with the instructions above.
Subscription to the AMAST Newsletter and related e-mail list is free of charge.
Subscription-handling address for the AMAST Newsletter and e-mail list is:
amast-request@cs.utwente.nl
Subscribers to the plain-text, e-mail version of the AMAST Newsletter receive the full Newsletter by default.
A ToC-only subscription option is also available, to only receive by e-mail the Table of Contents of (the plain-text version of) the Newsletter. Preference for this option is to be indicated explicitly.
A discussion is underway about the form and contents of the AMAST Newsletter, as well as about rules and styles of communication on the AMAST e-mail list, and on public e-mail lists more generally. Contributions to the discussion are to be sent to the list communication address:
amast@cs.utwente.nl
These contributions are _not_ automatically distributed onto the list; rather, they are collected into a Digest (with suppression of irrelevant information, such as e-mail headers), which is distributed onto the list every fortnight. Receiving the Digest is a subscription option; by default, subscribers to the full Newsletter receive the Digest, too, whereas ToC-only subscribers do not. In either case, subscribers may select the non-default option by an explicit indication of preference.
Besides your views on the AMAST Newsletter, also your contributions to it are most welcome! Please mail to the aforementioned list communication address.
Information about functioning of, and current discussion on, the AMAST e-mail list and Newsletter can be obtained from the list information address:
amast-info@cs.utwente.nl
was put together and edited by Giuseppe Scollo, thanks to contributions by:
Olga Caprotti [1-1] ,
Jan Cuny [1-2] ,
Maarten de Rijke [1-3] ,
Michael Main [2-1] ,
Horst Reichel [2-2] ,
Eike Best [2-3] ,
Peter D. Mosses [2-4] , [7-1] ,
Bernd van Linder [2-5] ,
Jim Warren [2-6] ,
Boris Schedvin [3-1] ,
Tom Melham [3-2] ,
Martin Wieczorek [4-1] ,
Lenore Mullin [5-1] .
This fourth sample issue of the AMAST newsletter is available in three forms:
(*) anonymous ftp from the AMAST ftp repository, in the directory for this issue .