[ToC] ===================\=========================/ AMAST News Sample Issue 02 __________________________\ / _________ Comments welcome! e-mail / \ AMAST Newsletter / \ emailed: to: amast@cs.utwente.nl \ / ToC Sample Issue 02 \ ) on: 15 August 1994 ^^^~~~~~~~~~~~~~~~~~~~~^^^/ \ / to: 170 subscribers _________________ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ Table of Contents: ^~~~~~~~~~~~~~~~^ ________ [1] Tutorials: Algebraic Topology and Distributed Computation, WWW-available ________ [2] Meetings: Workshop on Logic, Structures and Syntax, Amsterdam, 26-28 Sept. ________ [3] CfPs: ~~~~ [3.1] AMAST'95: 4th Int. Conf. Algebraic Methodology And Software Technology [3.2] WUDDS'94: Workshop on Uncertainty in Databases and Deductive Systems [3.3] PSTV'95: 15th Int. Symp. Protocol Specification Testing and Verification ________ [4] Jobs: ~~~~ [4.1] Two positions in Software Engineering at McMaster University, Ontario, CA [4.2] Three-year Research Assistant position at University of Glasgow, CS Dep't [4.3] Position in Semantics, Logic and Theorem Proving, University of Stuttgart ________ [5] ftp : New items in AMAST repository at CS Faculty of University of Twente ~~~ _________________ Note: Each individual page of this sample issue will be made available as a ^~~~^ separate file on the AMAST ftp repository at the University of Twente. Subscribers who only wish to receive by e-mail the table of contents, should send a message to amast-request@cs.utwente.nl, indicating their preference for such a `ToC only' option of the e-mail distribution of the AMAST newsletter. The naming conventions for the newsletter page files on the AMAST repository will permit retrieval of desired pages by ftp, using the ToC information only. [1] ================================================ AMAST News Sample Issue 02 A Pre-PODC'94 Tutorial on Algebraic Topology and Distributed Computation (course notes by Maurice Herlihy) ^^^^^^^^^^ is available on the WWW through the author's home page: http://www.cs.brown.edu/people/mph/home.html where the slides are available as well. [2] ================================================ AMAST News Sample Issue 02 WORKSHOP on LOGIC, STRUCTURES and SYNTAX Date: 26th -- 28th September, 1994 Venue: CWI, Amsterdam TOPICS This workshop will be devoted to logical aspects of grammar formalisms and related issues. Topics include: o Feature Logic. o Logics of Trees and their Links with Formal Language Theory. o Default, Nonmonotonic and Probabilistic Approaches to Features and the Lexicon. o Categorial Grammar, Quantification and Unification Formalisms. SPEAKERS The speakers will include: Rolf Backofen Gosse Bouma Chris Brew Bob Carpenter Jochen Doerre Bill Keller Paul King Marcus Kracht Suresh Manander David Milward Wilfried Meyer-Viol Michael Moortgat Drew Moshier John Nerbonne James Rogers Bill Rounds Ivan Sag Ral Treinen Jurgen Wedekind. REGISTRATION To register please contact Mieke Brune at mieke@cwi.nl. The registration fee for this workshop is DFL 250, to be paid in cash upon arrival at the workshop. This fee includes coffeee and lunch at CWI, and copies of material presented during the workshop. As registration is limited, we advice you to register as soon as possible. __________________________________________________ | Deadline for registration: September 12, 1994 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ ORGANIZERS Patrick Blackburn (patrick@cwi.nl), Maarten de Rijke (mdr@cwi.nl) LOCAL ARRANGEMENTS Mieke Brune (mieke@cwi.nl). SPONSOR This workshop is being organized under the auspices of the Netherlands Organization for Scientific Research (NWO), Project NF 102/62-356 `Structural and semantic parallels between natural languages and programming languages'. [3.1] ============================================== AMAST News Sample Issue 02 4th International Conference on Algebraic Methodology And Software Technology, AMAST'95 Montreal, Canada, July 3-7, 1995 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. In addition, the first day of the conference is dedicated to Mathematics Education for Software Engineers. Montreal is renowned for its cultural richness, numerous museums, and unique multicultural setting, to name a few. Montreal offers a variety of attractions for tourists throughout the year. Highlights in July include the world-famous International Jazz Festival. CHAIRPERSONS: M. Nivat (General Ch.), V.S. Alagar (Program Ch.), T. Rus (Organiz. Ch.), P. Grogono (Tools & Demo Ch.), T. Radhakrishnan (Finance Ch.), C.M.I. Rattray (Publicity Ch.) INVITED SPEAKERS (partial): Krzysztof Apt : Logic Programming Joseph A. Goguen: Specification of Software Systems Ewa Orlowska : Algebraic Logic Rohit Parikh : Logic and Concurrency PROCEEDINGS: to be published by Springer-Verlag. IMPORTANT DATES: Subm.: Nov.15, Notif. acc./rej.: Feb.1, Final vers.: Mar.15; Demo Proposal Subm.: Dec. 15. FURTHER INFORMATION: Registration: krishnan@cs.concordia.ca; Tools and Demos: grogono@cs.concordia.ca; Local Arrangements: missaoui.rokia@uqam.ca; Bulletins on current status of the conference: amast95-info@cs.concordia.ca; Subscription to the AMAST'95 mailing list: amast95-request@cs.concordia.ca . Submissions: see full Announcements & Call for Papers (by anonymous ftp) at URL ftp://ftp.cs.utwente.nl/pub/doc/amast/amast95/FirstCfP.dvi,.ps,.tex,.txt /ToolFair.dvi,.ps,.tex,.txt [3.2] ============================================== AMAST News Sample Issue 02 Workshop on Uncertainty in Databases and Deductive Systems ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ A Postconference Workshop to be held immediately following International Logic Programming Symposium, Nov. 13-19, 1994 Ithaca, NY, USA OBJECTIVES: Most real-life applications require an ability to represent, manage, and reason with uncertain knowledge. Examples include diagnostic applications, data mining, image and scientific databases, legal and military applications. Numerous formalisms for dealing with uncertainty have been studied over the years, several of which are in the context of logic programming and deductive databases. This workshop aims at bringing together researchers working in all aspects of this area, in an informal setting. A primary objective is to promote intensive discussions on the use of uncertainty in databases and deductive systems. We encourage submissions dealing with the theoretical foundations, implementation and prototype development issues, and applications. Papers describing new challenges arising out of applications, for future research in this area, are also welcome. PROGRAM COMMITTEE: Melvin Fitting (CUNY, Bronx, NY, USA), Jiawei Han (Simon Fraser U., Burnaby, Canada), Michael Kifer (SUNY, Stony Brook, NY, USA), Laks V.S. Lakshmanan (Concordia U., Montreal, Canada), Raymond Ng (U. of British Columbia, Vancouver, Canada), Fereidoon Sadri (Concordia U., Montreal, Canada), Carlo Zaniolo (UCLA, CA, USA). IMPORTANT DATES: Subm.: Sept.15; Notif. acc./rej.: Oct.15; Final vers.: Oct.30. SUBMISSIONS: approx. 10 pages (double spaced). Papers will be reviewed by the program committee for their technical merit, significance, and relevance to the workshop. Submissions by email are strongly encouraged. Full versions of high quality papers selected from the workshop will be published in a special issue of THEORETICAL COMPUTER SCIENCE. For MORE INFORMATION: contact Laks V.S. Lakshmanan, Dep't of Computer Science, Concordia University, H 961-18, 1455 De Maisonneuve Blvd West, Montreal, Quebec CANADA H3G 1M8; phone 514 8483018, fax 514 8482830, email wudds@cs.concordia.ca [3.3] ============================================== AMAST News Sample Issue 02 IFIP WG 6.1 Fifteenth International Symposium on PROTOCOL SPECIFICATION, TESTING AND VERIFICATION (PSTV'95) Warsaw, Poland, 13 - 16 June 1995 The massive use of distributed computation environments and the growing speed of transmission implied by new multimedia applications additionally emphasize the significance of using formal methods and computer-assisted analysis in every phase of the development process of complex software systems. This symposium serves as a forum for presentation of the state of the art in the theory and application of formal methods in specifying, testing and verifying communication protocols and services. PSTV'95 will be organized jointly by the Institute of Computer Science of the Polish Academy of Sciences (ICS PAS) and the Institute of Telecommunications of of the Warsaw University of Technology (IT WUT). For the first time the PSTV Symposium will be held in Central Europe. Hence it will be an ideal forum for presentation and promotion of research being done in this and eastern part of the continent. PSTV'95 will be sponsored by IFIP WG 6.1 and the symposium Proceedings will be published in the IFIP series by Chapman & Hall. PSTV'95 will start with one-day tutorials and continue with three days of technical presentations. Tool demonstrations and poster displays will also be possible during the conference. SYMPOSIUM CO-CHAIRPERSONS: Piotr Dembinski (ICS PAS) & Marek Sredniawa (IT WUT) IMPORTANT DATES - 31 January 1995 Paper submission deadline - 15 March 1995 Proposals for tutorials, poster displays and tool demonstrations - 15 April 1995 Notification of acceptance - 15 May 1995 Camera-ready copy for participants proceedings FURTHER INFORMATION: e-mail to piotrd@ipipan.waw.pl or to mareks@tele.pw.edu.pl Full First Announcement and Call for Papers available by anonymous ftp at URL: ftp://ftp.cs.utwente.nl/pub/doc/amast/pstv95/PSTV95-CfP.dvi,.ps,.rtf,.tex,.txt [4.1] ============================================== AMAST News Sample Issue 02 Two positions in Software Engineering at McMaster University, Ontario, Canada ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The Department of Electrical and Computer Engineering at McMaster University invites applications for two positions at the rank of Assistant or (possibly) Associate professor in the field of Software Engineering. One of these positions is tenure track; the other is a visiting position intended to allow visits of one to three years. Both positions are partially industrially funded. The successful applicant will be expected do research on methods and tools for increasing the quality of software. Expertise in communication networks and other real-time software would be especially valuable. The appointees will become part of McMaster's Software Engineering Research Group, which includes Faculty Members from both the Department of Computer Science and Systems and the Department of Electrical and Computer Engineering. Appointees will be expected to carry a full teaching load, teaching both undergraduate and graduate courses in Software Engineering and other courses taken by computer engineering students. Applicants should have a PhD in Electrical Engineering, Computer Engineering, Computer Science or Mathematics, and a good research record. Experience in applying modern methods in industrial software development would be an asset. McMaster University has an employment equity programme and encourages applications from all qualified candidates, including women, aboriginal people, people with disabilities and visible minorities. In accordance with Canadian Immigration requirements, priority will be given to Canadian citizens and permanent residents of Canada. This position is subject to final budget approval. Applications should be sent to: Prof. David Lorge Parnas, Chair Software Engineering Search Committee Communications Research Laboratory Department of Electrical and Computer Engineering McMaster University, Hamilton, Ontario Canada L8S 4K1 Telephone: 905 525 9140 Ext. 27353 Telefax: 905 521 2922 email: parnas@triose.crl.mcmaster.ca [4.2] ============================================== AMAST News Sample Issue 02 A Research Assistant Position University of Glasgow A position of Research Assistant (or PostDoc) is available for three full years at the University of Glasgow, Department of Computing Science. Starting date is 1 September 1994, Salary is on the RA (1A) point 6. This means that the annual starting salary is 15,186 English pounds + the usual superannuation and N.I. of 4,009 pounds which apply. The position is to work on an SERC funded project entitled ``theoretical and implementation advantages of a new lambda-notation''. The aim of the project is to study the advantages of a new lambda-notation and of a generalised type system, in particular for type theory, reduction, theorem proving and to provide a common framework for comparing the power of logical and functional programming. The applicant must have a PhD (or its equivalent) in Mathematics, Mathematical Logic or in Theoretical Computing Science. He/she must must be very competent. Those interested, please apply sending a CV to: o Before 7 September '94: Fairouz Kamareddine, Eindhoven University of Technology, Department of Mathematics and Computing Science, Post Box 513, 5600 MB, Eindhoven The Netherlands email fairouz@info.win.tue.nl o After 7 September '94 Fairouz Kamareddine, University of Glasgow, Department of Computing Science, 17 Lilybank Gardens, Glasgow, G12 8QQ, Scotland email fairouz@dcs.gla.ac.uk [4.3] ============================================== AMAST News Sample Issue 02 UNIVERSITY OF STUTTGART INSTITUTE OF COMPUTATIONAL LINGUISTICS POSITION IN SEMANTICS, LOGIC AND THEOREM PROVING The Institute of Computational Linguistics at the University of Stuttgart has a research position in the project VERBMOBIL. VERBMOBIL aims at developing an on-line speech-to-speech translation system. The present position will involve research into inference modules needed for the resolution of lexical and other ambiguities. In particular, different types of theorem provers will have to be compared for the specific translation-driven tasks at hand. Work will involve both theory and implementation. Candidates should have experience in natural language semantics, formal logic and/or theorem proving. Contracts will be initially for roughly two years (depending on the date of commencement), with possibilities of renewal. Payment is on the BAT IIa/Ib scale (upwards of ca. DM 65.000,-- a year) Applications including CV and a statement of scientific experience and interest should be sent by September 1, 1994 to ^^^^^^^^^^^^^^^^^ Professor Dr. Hans Kamp Institut fuer Maschinelle Sprachverarbeitung Universitaet Stuttgart Azenbergstrasse 12 70174 Stuttgart Germany phone: +49 (711) 121-1362 or 1365 fax: +49 (711) 121-1366 e-mail: hans@ims.uni-stuttgart.de [5] ================================================ AMAST News Sample Issue 02 _________________________________________________________________________ ftp : New items in AMAST repository at CS Faculty of University of Twente ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ URL : ftp://ftp.cs.utwente.nl/pub/doc/amast/ Date : 15/08/1994 Contents : README, amast93/, amast95/, info/, newsletter/, pstv95/, sigala/ amast95/ (New) : AMAST'95 Conference announcements: First Call for Papers, and Tools Fair Announcement Contents : FirstCfP.txt, FirstCfP.tex, FirstCfP.dvi, FirstCfP.ps, ToolFair.txt, ToolFair.tex, ToolFair.dvi, ToolFair.ps info/ : digest of contributions to discussion on a proposed AMAST newsletter, new AMAST mailing lists and communication styles New Contents: ______________________________ Digest02 [forthcoming] (next digest expected: 29/08/94) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ newsletter/ : sample issues of a proposed AMAST newsletter New Contents: SampleIssue01 [06/08/1994] _____________________________ SampleIssue02/ [forthcoming] (next issue expected: 29/08/94) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pstv95/ (New) : PSTV'95 Symposium announcement: First Call for Papers Contents : PSTV95-CfP.dvi, .ps, .rtf, .tex, .txt _______________________________________________________________________________ This sample issue 02 was put together by G. Scollo, thanks to contributions by: ____________________________________________________ [1] Maurice Herlihy Contributions to the next sample issue are welcome!/ [2] Maarten de Rijke Editorial instructions: plain text, 37-line max, ( [3.1] V. S. Alagar each line 79-character max,\ [3.2] Laks V.S. Lakshmanan by e-mail before 26/08/94 to amast@cs.utwente.nl )[3.3] Piotr Dembinski ___________________________________________________/ [4.1] David L. Parnas List subscription: \ / [4.2] Fairouz Kamareddine ^~~~~~~~~~~~~~~~^ \ AMAST Newsletter / [4.3] COLIBRI 32 amast-request@cs.utwente.nl / Sample Issue 02 \ [5] the UT CS Helpdesk / \ ~~~~~~~~~~~~~~~~~~~~~~~~~~ [end] ====================/========================\ AMAST News Sample Issue 02