Subject: IEEE-CS TC-RTS Newsletter for Wed May 04, 1994 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. ken@minster.york.ac.uk (60 lines) Report available via FTP........................................... 3 2. Jane Liu (152 lines) The 15th International Conference on Distributed Computing System.. 63 3. felty@research.att.com (Amy Felty) (641 lines) LICS'94 Program and Registration................................... 215 4. Michael.Hinchey@cl.cam.ac.uk (142 lines) IEEE Technical Segment Committee on Engineering of Complex Comput.. 856 5. dill@hohum.stanford.edu (David Dill) (288 lines) CAV preliminary announcement....................................... 998 6. Hans Hansson (50 lines) Position as lecturer in Computer Engineering/Computer.............. 1285 7. klin@linden.ece.uci.edu (Kwei-Jay Lin) (134 lines) Object-Oriented Real-Time Dependable Systems....................... 1336 8. son@bbibbi.cs.virginia.edu (254 lines) 11th IEEE Workshop on Real-Time Operating Systems and.............. 1470 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Wed Apr 20 06:22:25 1994 From: ken@minster.york.ac.uk Subject: Report available via FTP The following report is available by FTP: "A Study of Timing Properties With The Timed Token Protocol", by Sijing Zhang and Alan Burns, Report YCS226, Department of Computer Science, University of York, April 1994 (46 pages) from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the files: YCS226.ps.Z (for formatting reasons, the final two pages are contained in the files YCS226_a.ps.Z and YCS226_b.ps.Z) The files are stored in compressed postscript format so be sure to set binary mode when FTPing the reports. The abstract of the report is as follows: "We investigate the timing properties necessary to guarantee synchronous message deadlines in a token ring network such as FDDI (Fibre Distributed Data Interface) where the timed token medium access control protocol (MCA) is employed. We present a tighter upper bound, than previously published, for the worst case achievable utilisation of the MCA scheme. We also found that, under the condition that the total channel bandwidth available for transmission is fully/exhaustively allocated among all synchronous message stream, the lower bound of the worst case achievable utilisation with the MCA scheme is a function of the number of nodes on the network. As a result, a tighter lower bound is derived. In addition we propose a similar optimal synchronous capacity allocation scheme named IMCA (Improved MCA) which performs better than the MCA scheme in the sense that it can guarantee not only all synchronous message sets which can be guaranteed by the MCA scheme but also some other synchronous message sets for which the MCA scheme cannot apply. In general, the report enhances the results obtained by Zhao et al [Mal93, Che92b, Agr92b]." A number of other papers and reports written by the Real-Time Systems Research Group at York are also available; the file INDEX in the directory /pub/realtime/papers lists these. The file ABSTRACTS lists the abstracts for all the papers and reports in the archive. The source code and binaries of a number of tools supporting work done in the group is available in the directory /pub/realtime/programs. -- Ken Tindell Internet : ken@minster.york.ac.uk Computer Science Dept., Local FTP site: minster.york.ac.uk University of York, Tel. : +44-904-433244 YO1 5DD, UK Fax. : +44-904-432708 ------------------------------------------------------------------------------ Message 2; Postmarked Fri Apr 1 23:15:30 1994 From: Jane Liu Subject: The 15th International Conference on Distributed Computing Systems CALL FOR PAPERS The 15th International Conference on Distributed Computing Systems Vancouver, BC Canada May 30 - June 2, 1995 ****************************************************************** The purpose of this conference is to bring together developers and researchers from universities, industry and government to advance the science and technology in distributed computing. The technical areas of the conference include: Distributed Systems Architecture Distributed Operating Systems Distributed Databases and Information Systems Communication Protocols Distributed Real-Time Systems Distributed Algorithms and System Theory Languages, Tools and Software Engineering Distributed System Services and Management Fault Tolerance, Availability and Security Performance of Distributed Systems New Applications Papers in these areas are sought. Of particular interest are papers on novel applications, such as digital libraries, multi-media information servers, and virtual-reality systems, that are made possible by ultra high-performance and high-capacity networks and distributed systems. In addition to research papers, case-study reports detailing experiments and evaluations of, and open problems in, the specification, design, development and validation of advanced distributed computing and communication systems are also sought. INFORMATION FOR AUTHORS To submit papers, please send six copies of double-spaced manuscripts, 5,000 words or less in length, to Jane W. S. Liu by October 1, 1994. The submission letter should indicate which technical area is most relevant to your paper. Authors will be notified of acceptance by February 1, 1995. Final, camera-ready manuscripts will be due by March 15, 1995. Outstanding papers will be eligible for publication in IEEE Computer Society/IEEE journals. Submit papers to: Jane W. S. Liu 1304 West Springfield Avenue University of Illinois Department of Computer Science Urbana, Illinois 61801, USA Tel: 1 217 333 0135; Fax: 1 217 333 3501 Email: janeliu@cs.uiuc.edu TUTORIALS Proposals for one-day tutorials in technical areas of the conference are solicited. Tutorial proposals should be submitted to Mohamed Gouda by October 1, 1994. Submit tutorial proposals to: Mohamed Gouda University of Texas at Austin Department of Computer Science Austin, TX 78712, USA Tel: 1 512 471 9532; Fax: 1 512 471-8885 Email: gouda@cs.utexas.edu FOR MORE INFORMATION, please contact: Eric Manning EOW 321 Faculty of Engineering University of Victoria Victoria, British Columbia V8W 3P5, Canada Tel: 1 604 721 6044; Fax: 1 604 721 8676 Email: eric.manning@sirius.uvic.ca ORGANIZING AND PROGRAM COMMITTEES General Chair Eric Manning, University of Victoria, Canada Program Chair Jane W. S. Liu, University of Illinois, USA Distributed Systems Architecture Vice Chair, Andrew Grimshaw, University of Virginia, USA Distributed Operating Systems Vice Chair, Edger Nett, GMD, Germany Distributed Databases and Information Systems Vice Chair, Yahiko Kambayashi, Kyoto University, Japan Communication Protocols Vice Chair, Wei Zhao, Texas A&M University, USA Distributed Real-Time Systems Vice Chair, John P. Lehoczky, Carnegie Mellon University, USA Distributed Algorithms and System Theory Vice Chair, Nancy Lynch, Mass. Institute of Technology, USA Languages, Tools and Software Engineering Vice Chair, Thomas Rodden, Lancaster University, UK Distributed System Services and Management Vice Chair, Joann J. Ordille, AT&T Bell Laboratories, Murray Hill, USA Fault Tolerance, Availability and Security Vice Chair, David Taylor, University of Waterloo, Canada Performance of Distributed Systems Vice Chair, Satish K. Tripathi, University of Maryland, USA New Applications Vice Chair, Hector Garcia-Molina, Stanford University, USA Tutorial Chair Mohamed Gouda, University of Texas at Austin, USA Awards Chair Ray Miller, University of Maryland, USA Publicity Chair Robert Ito, University of British Columbia, Canada International Liaison Co-Chairs Liba Svobodova, IBM Zurich Research Laboratory, Switzerland Vencent Lum, Chinese University, Hong Kong Local Arrangement Chair Son Vuong, University of British Columbia, Canada Treasurer Ali Shoja, University of Victoria, Canada TC on Distributed Processing Chair Joseph E. Urban, Arizona State University, USA Steering Committee Chair Ming T. (Mike) Liu, Ohio State University, USA ------------------------------------------------------------------------------ Message 3; Postmarked Thu Apr 7 15:13:36 1994 From: felty@research.att.com (Amy Felty) Subject: LICS'94 Program and Registration LOGIC IN COMPUTER SCIENCE (LICS) ******************************** Ninth Annual IEEE Symposium July 3-7, 1994, Paris, France ADVANCE REGISTRATION AND PROGRAM INFORMATION ============================================ [This information is available on the world-wide web at http://www.research.att.com/lics/ Postscript, dvi, latex and plain text versions of the conference brochure are available via anonymous ftp from research.att.com in directory /dist/lics.] CONFERENCE OFFICE. ================= Please address registration form and inquiries to LICS'94 Secretariat Claudie Thenault INRIA-Rocquencourt Relations Exterieures Domaine de Voluceau BP 105 78153 Le Chesnay Cedex FRANCE Phone: 33 (1) 39 63 56 75 Fax: 33 (1) 39 63 56 38 E-mail: symposia@inria.fr REGISTRATION ============ The registration form should be sent to the conference office. Registration without payment (or purchase order) enclosed will not be considered. For early registration, payment must be received by June 5. Fees will be returned in full for any written cancellation received before June 24. No refund will be made after this date. A table of registration fees can be found on the registration form. The member rate applies to members of ACM, IEEE, EATCS and INRIA, members of the organizing and program committees and authors of accepted papers. The student rate applies to full time students; a copy of the registrant's 1993-94 student card should be included with the registration form. The registration fee includes conference participation, a copy of the proceedings, coffee breaks and an invitation to the welcome reception. There is a separate charge for the banquet. Payment must be in French currency, and can be made by bank cheque, postal cheque, or foreign draft made payable to "Agent Comptable de l'INRIA", by bank transfer to Tresorerie Generale des Yvelines, Versailles, account number 10071-78000-00044009 15389, by postal transfer to CCP Paris---30041-00001-09099 45 B 020-31, or by institutional purchase order. We have applied for permission to allow registration by credit card, and hope to have confirmation of this possibility by May 1. Participants wishing to use this facility should contact our office at that time, preferably by email addressed to symposia@inria.fr. Bank transfers should specify registrant's name and "Conference reference LICS94". ACCOMMODATION ============= Reservations can be made through the Wagonlit Travel Agency. The accommodation form should be sent with deposit before June 1 to: Wagonlit Travel Departement Congres & Evenements 50 Rue de Londres 75008 Paris FRANCE Tel: 33 (1) 44 90 33 10 Fax: 33 (1) 44 90 33 15 There are two categories of hotels available, as well as inexpensive student lodging (no age limit) in an international center in Clichy (north Paris). Paris is very popular in the summer, so reservations should be made as soon as possible. A deposit is compulsory for hotel reservations, and student lodging must be entirely prepaid. Payment must be in French currency, and can be made by bank cheque, Eurocheque, or foreign draft made payable to "Wagonlit Travel", by bank transfer to the account 00021935201/61 B.N.P. Paris Saint Lazare, bank code 30004, branch code 0819, "Wagonlit Travel---code comptable 04/670", or by credit card. Hotel deposits will be forwarded to the hotel less 60FF for reservation fees. The participant's bank charges must be added to the amount transferred. For cancellations made before June 1, payments will be refunded less 60FF for fees; no refunds will be made after June 1. LOCATION ======== The Conference is being hosted by the Conservatoire National des Arts et Metiers (CNAM) and will be part of its Bicentennial celebration. CNAM is a well-known engineering school where professionals are taught by professionals. It houses the famous Musee National Des Arts et Techniques, and is located at 292 Rue Saint Martin in the old center of Paris, on the right bank of the river Seine. It is walking distance from Les Halles, the Centre National d'Art et de Culture Georges-Pompidou (Beaubourg), the Hotel de Ville (City Hall) and the cathedral Notre-Dame de Paris. The nearest Metro station is Arts et Metiers. Paris normally enjoys pleasant summer weather in early July. Days are warm, but nights may be cool. For general information on Paris, contact the Paris Tourist Information Office, 127 Champs Elysees, 75008 Paris, phone number 33 (1) 49 52 53 54. RECEPTIONS ========== A Welcome Reception will be held on Sunday evening (17:00-19:00) in a gallery of CNAM. The Conference Banquet will be held in the palace housing the Senate, the upper chamber of the French Parliament. The palace was built in the beginning of the 17th century for Marie de Medicis, widow of King Henry IV. It is located in the well-known Jardins du Luxembourg. To reserve a place at the banquet, the appropriate column on the registration form must be marked; a banquet reservation on site will not be possible. LOCAL ARRANGEMENTS ================== Lunches are at the participants' own expense. Participants may eat in cafes and restaurants in CNAM's vicinity. Telephone messages will be delivered to participants during breaks. Access to email will be possible from CNAM. The organizers cannot be held liable to conference participants for injury, damage or loss of their personal property. It is suggested that participants make their own insurance arrangements. REGISTRATION DESK ================= A registration and information desk located at the conference site will operate on Sunday, July 3, from 15:00 to 18:00, and on the remaining conference days from 8:00 to 18:00. TRAVEL ====== Paris has two airports, Roissy-Charles de Gaulle, 30km north of Paris, and Orly, 20km south of Paris. A frequent Air France bus service goes from Roissy to Place Charles de Gaulle-Etoile or Porte Maillot in central Paris (the cost is about 48FF); from Orly the bus goes to Invalides and stops on demand at Montparnasse (32FF). There is also train service. From Roissy, the RER B line goes to Gare du Nord or Chatelet; from Orly, the Orlyval goes to Antony where there is a connection to the RER B (32FF). A taxi from Orly to central Paris costs about 150FF; from Roissy, 200FF. The Metro offers a convenient way to get around the city. Each trip (with unlimited transfers) costs one ticket. Tickets can be bought individually, but a carnet of 10 is more practical. RER lines to the suburbs connect with the Metro and cost more. Both Metro and RER tickets can be purchased from ticket booths or machines. A 40-45% discount may be obtained from AIR INTER for French domestic blue and white flights, depending on the days of departure. A voucher can be requested on the registration form. Participants requiring a visa for entry into France are strongly advised to make their application in their home countries at least two months prior to departure date. LICS'94 REGISTRATION FORM ************************* Last Name __________________________________________________ First Name _________________________________________________ Affiliation ________________________________________________ Street Address _____________________________________________ _______________________________________________________ City _______________________________________________________ State/Zip __________________________________________________ Country ____________________________________________________ Phone(s) ___________________________________________________ Fax ________________________________________________________ E-mail _____________________________________________________ REGISTRATION RATES. The fees below are in French currency and include 18.6% VAT. Please circle the applicable fees. through June 5 from June 6 Regular 2200 2600 Member 1700 2100 Student 1000 1200 Banquet 300 300 Total Fee ___________________________________________________ Rate justification __________________________________________ Full-time student at ________________________________________ I need an AIR INTER discount form: Yes / No Payment (circle one): Cheque (Bank/Foreign Draft) / Purchase Order / Bank Transfer (include copy) LICS'94 ACCOMMODATION FORM ************************** to be returned before Jun 1 Last Name __________________________________________________ First Name _________________________________________________ Company ____________________________________________________ Street Address _____________________________________________ _______________________________________________________ City _______________________________________________________ State/Zip __________________________________________________ Country ____________________________________________________ Phone(s) ___________________________________________________ Fax ________________________________________________________ 1A. HOTEL. Please reserve: *...twin bed room shared by 2 persons *...single room in a hotel of ________ stars, for ________ nights, from _________________ to _________________(a.m.). Average rates in French currency, per room and per night, room only, taxes and service included: Category Single/Twin Deposit 2** 385/500 460 3*** 550/700 760 1B. YOUTH HOSTEL. Please reserve: *...bed in a twin bed room, bathroom and toilets outside the room, compulsory stay of 4 nights (July 3 to 7, 1994), continental breakfast included, full prepayment compulsory, fixed rate per person 4 nights: 600FF. 2. PAYMENT. Deposit/prepayment of ____________ FF Circle one: Visa / Eurocard / Mastercard / Cheque (Bank/Euro/Foreign Draft) / Bank Transfer (include copy) Credit card # __________________________ Exp. __________ Signature _____________________________ Date ___________ CONFERENCE PROGRAM ****************** SUNDAY, July 3 ============== REGISTRATION (15:00-18:00) WELCOME RECEPTION (17:00-19:00) MONDAY, July 4 ============== REGISTRATION (8:00-9:00) OPENING ADDRESSES (9:00-9:25) INVITED LECTURE I (9:25-10:25) Chair: Robert Constable (Cornell) Rod Burstall (Edinburgh), Lambda-terms, proofs and refinement SESSION 1: FINITE MODEL THEORY (10:50-12:30) Chair: Daniel Leivant (Indiana) 10:50 McColm's Conjecture, Yuri Gurevich (Michigan), Neil Immerman (U Mass) & Saharon Shelah (Hebrew U & Rutgers) 11:15 The expressive power of finitely many generalized quantifiers, Anuj Dawar (Swansea) & Lauri Hella (Helsinki) 11:40 Generalized quantifiers for simple properties, Martin Otto (RWTH Aachen) 12:05 How to define a linear order on finite models, Lauri Hella (Helsinki), Phokion Kolaitis (UC Santa Cruz), & Kerkk Luosto (Helsinki) LUNCH (12:30-14:00) SESSION 2: CONCURRENCY (14:00-15:15) Chair: Vaughan Pratt (Stanford) 14:00 Finitary fairness, Rajeev Alur (Bell Labs) & Thomas Henzinger (Cornell) 14:25 Bisimulation is not (first-order) equationally axiomatisable, Peter Sewell (Edinburgh) 14:50 Foundations of timed concurrent constraint programming, Vijay Saraswat (Xerox PARC), Radha Jagadeesan (Loyola) & Vineet Gupta (Stanford) SESSION 3: SEMANTICS I (15:40-16:55) Chair: Achim Jung (Darmstadt) 15:40 A fully abstract semantics for concurrent graph reduction, Alan Jeffrey (Sussex) 16:05 An axiomatization of computationally adequate domain-theoretic models of FPC, Marcelo Fiore & Gordon Plotkin (Edinburgh) 16:30 On strong stability and higher-order sequentiality, Loic Colson & Thomas Ehrhard (Marne-la-Vallee) SESSION 4: DOMAIN THEORY (17:10-18:00) Chair: Carl Gunter (U Penn) 17:10 Linear types, approximation and topology, Michael Huth, Achim Jung & Klaus Keimel (Darmstadt) 17:35 Domain theory and integration, Abbas Edalat (Imperial Coll.) BUSINESS MEETING (20:00) TUESDAY, July 5 =============== TUTORIAL I (8:30-9:45) Chair: Moshe Vardi (Rice) Ed Clarke (CMU), Model Checking SESSION 5: CONSTRAINTS (10:00-10:50) Chair: Harald Ganzinger (MPI Saarbrucken) 10:00 Negative set constraints with equality: an easy proof of decidability, Witold Charatonik (Wroclaw) & Leszek Pacholski (Polish Academy of Sciences) 10:25 Systems of set constraints with negative constraints are NEXPTIME-complete, Kjartan Stefansson (Cornell) SESSION 6: MODAL AND TEMPORAL LOGICS I (11:15-12:30) Chair: Dexter Kozen (Cornell) 11:15 A compositional proof system for the modal mu-calculus, Hendrik Reif Andersen (TU Denmark), Colin Stirling (Edinburgh) & Glynn Winskel (Aarhus) 11:40 On the parallel complexity of model-checking in the modal mu-calculus, Shipei Zhang, Oleg Sokolsky & Scott Smolka (SUNY Stony Brook) 12:05 Complexity transfer for modal logic, Edith Hemaspaandra (Le Moyne) LUNCH (12:30-14:00) SESSION 7: TYPES I (14:00-15:15) Chair: Paris Kanellakis (Brown) 14:00 Typability and type-checking in the second-order lambda-calculus are equivalent and undecidable, J.B. Wells (Boston U) 14:25 Efficient inference of object types, Jens Palsberg (Northeastern) 14:50 Type inference and extensionality, Adolfo Piperno (Roma) & Simona Ronchi della Rocca (Torino) SESSION 8: CONSTRUCTIVE MATHEMATICS (15:40-16:55) Chair: Daniel Leivant (Indiana) 15:40 A groupoid model refutes uniqueness of identity types, Martin Hofmann (Edinburgh) & Thomas Streicher (LMU Muenchen) 16:05 A non-elementary speed-up in proof length by structural clause form transformation, Matthias Baaz, Christian Fermueller & Alexander Leitsch (TU Wien) 16:30 Upper and lower bounds for tree-like cutting planes proofs, Russell Impagliazzo (UC San Diego), Toniann Pitassi (UC San Diego) & Alasdair Urquhart (Toronto) SESSION 9: COMPLEXITY AND DATABASES (17:10-18:00) Chair: David McAllester (MIT) 17:10 The power of reflective relational machines, Serge Abiteboul (INRIA), Christos Papadimitriou (UC San Diego) & Victor Vianu (UC San Diego) 17:35 A syntactic characterization of NP-completeness, J. Antonio Medina & Neil Immerman (U Mass) EVENING LECTURE (19:30-20:30) Chair: Jean-Pierre Jouannaud (Paris Sud & CNRS) Corrado Boehm (Roma), An algebraic view of the lambda-calculus WEDNESDAY, July 6 ================= TUTORIAL II (8:30-9:45) Chair: Samson Abramsky (Imperial Coll.) Gerard Berry (CMA), The semantics of synchronous concurrent languages SESSION 10: LOGIC PROGRAMMING (10:00-10:50) Chair: Krzysztof Apt (CWI) 10:00 The declarative semantics of the Prolog selection rule, Robert Staerk (U Muenchen) 10:25 Semantics of meta-logic in an algebra of programs, Antonio Brogi & Franco Turini (Pisa) SESSION 11: LINEAR LOGIC (11:15-12:30) Chair: Samson Abramsky (Imperial Coll.) 11:15 A multiple-conclusion meta-logic, Dale Miller (U Penn) 11:40 Proof search in first-order linear logic and other cut-free sequent calculi, Patrick Lincoln & N. Shankar (SRI) 12:05 Linear logic, totality and full completeness, Ralph Loader (Oxford) LUNCH (12:30-14:00) SESSION 12: TYPES II (14:00-15:15) Chair: Frank Pfenning (CMU) 14:00 The emptiness problem for intersection types, Pawel Urzyczyn (Warsaw) 14:25 Subtyping and parametricity, Gordon Plotkin (Edinburgh), Martin Abadi (DEC SRC) & Luca Cardelli (DEC SRC) 14:50 On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study, Herman Geuvers (Nijmegen) & Benjamin Werner (Cornell & INRIA) SESSION 13: SEMANTICS II (15:40-16:55) Chair: Prakash Panangaden (McGill) 15:40 A semantics of object types, Martin Abadi & Luca Cardelli (DEC SRC) 16:05 Passivity and independence, Uday Reddy (Illinois) 16:30 A general semantics for evaluation logic, Eugenio Moggi (Genova) SESSION 14: CATEGORY THEORY (17:10-18:00) Chair: Glynn Winskel (Aarhus) 17:10 Reflexive graphs and parametric polymorphism, Edmund Robinson (Sussex) & Giuseppe Rosolini (Genova) 17:35 Categories, allegories and circuit design, Carolyn Brown (Sussex) & Graham Hutton (Chalmers) BANQUET THURSDAY, July 7 ================ INVITED LECTURE II (9:00-10:00) Chair: Gerard Huet (INRIA) Henk Barendregt (Nijmegen), Results and problems related to proof-checking SESSION 15: REWRITING (10:00-10:50) Chair: Jean-Pierre Jouannaud (Paris Sud & CNRS) 10:00 Rewrite techniques for transitive relations, Leo Bachmair & Harald Ganzinger, (Max-Planck-Institut) 10:25 Normalised rewriting and normalised completion, Claude Marche (CNRS & INRIA) SESSION 16: LAMBDA-CALCULUS (11:15-12:30) Chair: Jean-Jacques Levy (INRIA) 11:15 Modularity of strong normalization and confluence in the algebraic lambda-cube, Franco Barbanera (Torino), Maribel Fernandez (Paris Sud & CNRS), & Herman Geuvers (Nijmegen) 11:40 Cyclic lambda graph rewriting Zena Ariola (U Oregon) & Jan Willem Klop (CWI) 12:05 Paths in the lambda-calculus, Andrea Asperti (Bologna), Vincent Danos (CNRS & Paris 7), Cosimo Laneve (INRIA & CMA), & Laurent Regnier (CNRS) LUNCH (12:30-14:00) SESSION 17: MODAL AND TEMPORAL LOGIC II (14:00-15:15) Chair: Colin Stirling (Edinburgh) 14:00 A trace based extension of linear time temporal logic, P.S. Thiagarajan (SPIC Madras) 14:25 Axioms for knowledge and time in distributed systems with perfect recall, Ron van der Meyden (NTT Tokyo) 14:50 Compositional verification of real-time systems, Edward Chang (Stanford), Zohar Manna (Stanford), & Amir Pnueli (Weizmann Institute) SESSION 18: LOGIC IN ARTIFICIAL INTELLIGENCE (15:40-16:55) Chair: Peter Schroeder-Heister (Tuebingen) 15:40 Logical bilattices and inconsistent data, Ofer Arieli & Arnon Avron (Tel Aviv) 16:05 A modal logic for subjective default reasoning, Shai Ben-David & Rachel Ben-Eliyahu (Technion) 16:30 Language completeness of the Lambek calculus, Mati Pentus (Moscow State) SESSION 19: AUTOMATED DEDUCTION} (17:10-18:00) Chair: Gerard Huet (INRIA) 17:10 Rigid E-unifiability is NEXPTIME-complete, Jean Goubault (Bull) 17:35 Higher-order narrowing, Christian Prehofer (TU Muenchen) END OF CONFERENCE CONFERENCE ORGANIZATION *********************** LICS General Chair: Robert L. Constable 1994 Conference Co-chairs: Gerard Huet & Jean-Pierre Jouannaud 1994 Program Chair: Samson Abramsky Publicity Co-chairs: Amy Felty & Douglas Howe 1994 Local Arrangements: A. Theis-Viemont & C. Thenault PROGRAM COMMITTEE: ================== S. Abramsky, K. Apt, H. Ganzinger, C. Gunter, A. Jung, P. Kannelakis, D. Kozen, D. Leivant, J.-J. Levy, D. McAllester, P. Panangaden, F. Pfenning, V. Pratt, P. Schroeder-Heister, C. Stirling, G. Winskel. ORGANIZING COMMITTEE: ===================== M. Abadi, S. Abramsky, S. Artemov, A. Borodin, A. Bundy, S. Buss, E. Clarke, R. Constable (Chair), A. Felty, U. Goltz, Y. Gurevich, S. Hayashi, D. Howe, G. Huet, J.-P. Jouannaud, D. Kapur, C. Kirchner, P. Kolaitis, R. Kosaraju, D. Kozen, D. Leivant, A.R. Meyer, D. Miller, J. Mitchell, Y. Moschovakis, M. Okada, P. Panangaden, A. Pitts, G. Plotkin, J. Remmel, S. Ronchi della Rocca, G. Rozenberg, A. Scedrov, D. Scott, J. Tiuryn, M.Y. Vardi. ------------------------------------------------------------------------------ Message 4; Postmarked Sat Apr 9 02:07:38 1994 From: Michael.Hinchey@cl.cam.ac.uk Subject: IEEE Technical Segment Committee on Engineering of Complex Computer Systems The following is an announcement for the recently-established IEEE Technical Segment Committee on Engineering of Complex Computer Systems (IEEE TSC-ECCS) which we hope will be of interest to you. If not, then please accept our apologies in advance. We would be grateful if you would kindly forward the announcement to any colleagues whom you think may be interested. Thank you. You may receive more than one copy of this announcement via various distribution lists, etc. We apologise for any inconvenience that this may cause. You will not receive any further messages relating to the TSC however unless you subscribe to the assocated newsletter (information on how to subscribe is given below). - -------------------------------------------------------------------------- IEEE Technical Segment Committee on Engineering of Complex Computer Systems 1. Volunteers. Bill Buckles Paul Drongowski Carlo Ghezzi Prabha Gopinath Wolfgang Halang Dieter Hammer Robert Harrison Mike Hinchey Floyd Hollister Julian Holtzman Steven Howell Tadao Ichikawa E. Douglas Jensen Lieuwe de Jong Phillip Laplante Harold Lawson Bonnie Melhart Leo Motus Mauro Pezze Viktor Prasanna Juan de la Puente Mike Rodd Bruce Shriver Jack Stankovic Hartwig Steusloff Alex Stoyenko (Chair) Anneliese von Mayrhauser Stephanie White Janusz Zalewski 2. Technical Background. As demands on functional and non-functional objectives of computer systems have continued unabated for the last 30-years, so has the size of the resultant systems. They have become extremely large, consisting of scores of distributed and parallel software, hardware, and communications components. In addition, they increasingly interface with a large number of external devices, such as sensors and actuators. Large (and certain small) systems also tend to be complex because of the number of interconnections between their components tends to be large and complicated. As users are placing increasing importance on such non-functional objectives as availability, fault-tolerance, security, safety, and traceability, the operation of a complex computer system is also required to be ``non-stop'', ``real-time'', adaptable, and dependable in a graceful degradation sense. It is typical that components of such systems evolve over time, that their logical and physical interconnections change, and that the operational semantics of the system change accordingly, often leading to increased system complexity. We thus define the engineering of complex computer systems as all activities pertinent to specifying, designing, prototyping, building, testing, operating, maintaining, and evolving of complex computer systems. While in the past, relatively non-complex ``traditional'' systems sufficed for most computer control applications, the new and emerging demands of applications and the evolution of computer architectures and networks now essentially ``force'' systems to be complex, given our current understanding how to engineer these systems. Complex computer systems are found in almost every industry. These include industrial process control, aerospace and defense, transportation and communications, energy and utilities, medical and health, commercial data processing, and others. Unfortunately, the current state-of-the-art in research and technology has clearly fallen far behind the requirements of industrial and commercial complex computer systems. 3. Purpose. The IEEE Computer Society created the Technical Segment Committee on Engineering of Complex Computer Systems (TSC on ECCS) in November 1993. The TSC on ECCS is endorsed by the Technical Committees on Distributed Processing, Parallel Processing, Real-Time Systems, Security and Privacy, Software Engineering and Multimedia Computing, the Task Force on Engineering of Computer-Based Systems. The TSC on ECCS is also endorsed by GI/GMA Technical Committee on Real-Time Systems, IFAC COMPUT and its six related Technical Committees, and various industrial and government organizations. Responding to a strong need and significant interest from a number of international communities of practitioners, engineers and academics in ECCS-related products and services, TSC on ECCS serves to give leadership to the development and on-going monitoring of a set of appropriate IEEE CS activities (conferences, tutorials, publications, periodicals, curricula and standards) to strengthen the society itself and, to have a significant and lasting effect on international industrial and government decision-making in the engineering of complex computer systems. 4. Current Activities. The TSC on ECCS has already initiated a number of efforts in the ECCS area. Two Education Subcommittees (Academic Education, and Industrial and Continuing Education) have started. These two Subcommittees will work to define and fascilitate curricula, materials and publications to provide adequate ECCS educational means for engineering and computer science students and professionals. Work is under way on a new annual IEEE conference --- the International Conference on Engineering of Complex Computer Systems. The first conference is planned for November 1995 and will take place in Florida, USA. The second conference will take place in the greater Mediterrean part of Europe/Middle East, in November 1996. The ICECCS conference series will be particularly receptive to new research, technology and product activities of interest to practitioners, engineers and academics in the ECCS area. The TSC on ECCS seeks to fascilitate special issues of existing periodicals, tutorial publications and other publications in the ECCS area. A newsletter, circulated electronically and by mail, has been started; to receive the newsletter electronically, send e-mail to , with "subscribe" in the subject field. To receive the newsletter by postal mail, send your name and full mailing address to: Mike Hinchey University of Cambridge Computer Laboratory New Museums Site Pembroke Street Cambridge CB2 3QG England +44-223-334419 (direct) 334678 (fax) E-mail: Mike.Hinchey@cl.cam.ac.uk 5. Invitation to New Volunteers and Interested Parties. The TSC on ECCS wants to hear from anyone and everyone with an interest in this exciting technical area, or in any of the listed activities. All such parties are cordially invited to contact the TSC on ECCS chair at the following address: Prof. Alexander Stoyenko Real-Time Computing Laboratory Computer & Information Science New Jersey Institute of Technology University Heights Newark, New Jersey 07102 USA (201) 596-3366 (office) (201) 596-5777 (fax) E-mail: alex@vulcan.njit.edu ------------------------------------------------------------------------------ Message 5; Postmarked Wed Apr 13 09:49:48 1994 From: dill@hohum.stanford.edu (David Dill) Subject: CAV preliminary announcement PRELIMINARY CONFERENCE ANNOUNCEMENT Conference on Computer-Aided Verification CAV 1994 Stanford University June 21-23, 1994 ------------------------------------------------------------------------------ This preliminary notice is being sent out now so that people can make travel arrangements soon. More details will appear in a few days. The Sixth Conference on Computer-Aided Verification will be held June 21-23 at Stanford University. The conference will be followed on June 24th by a one-day workshop on practical aspects of computer-aided formal verification. CAV 94 is sponsored by a group of companies with a strong interest in the topic area: AT&T, IBM, Intel, Motorola, Redwood Design Automation and Sun Microsystems. IMPORTANT NOTE: World Cup matches will be held at Stanford on June 20th and 24th, which will contribute to congestion both locally and in air travel. Please make your flight reservations as soon as possible! WORKSHOP: On Friday, June 24th, there will be a one-day workshop consisting of presentations by both developers and users of formal verification tools, with special emphasis on experiences on applications. This is still being arranged -- more details will follow shortly. LOCATION: The conference will be held on the Stanford campus. Stanford will provide housing and food for participants in student residences. Participants may opt to stay in local hotels, but rooms will be scarce due to the World Cup Finals being held in the area at that time. The Stanford Campus is about 30-40 minutes drive from two major international airports, San Francisco and San Jose. Commercial shuttle service is available. REGISTRATION: Please complete the attached reservation form and either email or physically mail it with payment to the appropriate address. HOUSING: We strongly encourage participants to stay on campus to promote interaction with other conference participants. The cost of rooms and all meals (except for dinner on Wednesday night) will be $217 for three days and nights. A room may be reserved for the night of Thursday, June 23, for an additional $39. There is also a $50 key deposit that will be refunded upon checkout. A few rooms may be reserved for subsequent nights (for participants who wish to tour the Bay area), depending on availability. Dinner on Wednesday will be a banquet at another site (transportation will be provided). Student registration does NOT include the banquet Wednesday. PARKING: Parking permits will be available on request at registration. Parking is available near the dorms. CLIMATE: The weather will almost certainly be 72-80 degrees (F) with cloudless skies. It generally cools down significantly in the evenings (in the 50s), so a sweater is helpful if you are out in the evening. At other places in the Bay area (e.g. parts San Francisco), it can by foggy and very cool. FURTHER INFORMATION: You can send electronic mail to "cav@hohum.stanford.edu" if you have further questions about the conference. ---------------------------------------------------------------- REGISTRATION If you are paying by credit card, you may return this registration form by electronic mail to "cav-registration@hohum.stanford.edu" Otherwise, physically mail the form along with payment in the form of a VISA or MasterCard number, a check drawn on a U.S. bank, or an international money order (in U.S. dollars) to Events Plus and mail it to Events Plus attn: Cecilia Sanchez 540 Valley Way Milpitas, CA 95035 USA Events Plus can be contacted at the above address. Their telephone is (408) 262 8109 and fax is (408) 262 8344. The registration form is due May 20. Timely registration is important to make sure we have reserved adequate rooms. There is also a limit on the number who can attend the banquet. Name: _____________________________________________________ Affiliation: ______________________________________________ Address: __________________________________________________ ___________________________________________________________ Country: __________________________________________________ Phone: _______________________ Fax: _______________________ (please include country and city code) Email: ____________________________________________________ For room assignment: Are you: Male Female Confirmation will be sent to you by email. Regular advanced registration: $200 $___ Late registration: $250 $___ Student registration: $150 $___ Housing&Meals June 20-22 $267 $___ (excl. banquet, incl. $50 refundable key deposit) Housing June 23 $39 $___ TOTAL $___ Would you like to pay by VISA [ ] or MasterCard [ ]? If so, what is the number? _______________________________ expiration date ______, daytime telephone _________________ Do you have any special dietary requirements? Vegetarian [ ] Kosher [ ] Other: ___________________ TECHNICAL PROGRAM Here are the talks that will be presented. The times are still being set, and there may be small changes in some of the titles. Invited talks: Prof. Zohar Manna, Stanford University Prof. Alberto Sangiovanni-Vincentelli, U. C. Berkeley "A Determinizable Class of Timed Automata" R. Alur and L. Fix and T. A. Henzinger "Real-Time System Verification using P/T Nets" R. Gorrieri and G. Siliprandi "Criteria for the Simple Path Property in Timed Automata" W. K.C. Lam and R. K. Brayton "Hierarchical representations of discrete functions, with application to model checking" K. L. McMillan "Symbolic Verification with Periodic Sets" B. Boigelot and P. Wolper "Automatic Verification of Pipelined Microprocessor Control" J. R. Burch and D. L. Dill "Using Abstractions for the Verification of Linear Hybrid Systems" A. Olivero and J. Sifakis and S. Yovine "Decidability of Hybrid Systems with Rectangular Differential Inclusions" A. Puri and P. Varaiya "Suspension Automata: A Decidable Class of Hybrid Automata" J. McManis and P. Varaiya "Verification of Context-Free Timed Systems Using Linear Hybrid Observers" A. Bouajjani, R. Echahed, and R. Robbana "On the Random Walk Method for Protocol Testing" M. Mihail and C. H. Papadimitriou "An Automata-Theoretic Approach to Branching-Time Model Checking" O. Bernholtz, M. Vardi, and P. Wolper "Realizability and Synthesis of Reactive Modules" A. Anuchitanukul and Z. Manna "Model Checking of Higher-Order Processes" H. Hungar "Methodology and System for Practical Formal Verification of Reactive Hardware" I. Beer, S. Ben-David, D. Geist, and M. Yoeli "Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking", V. G. Naik and A. P. Sistla "Verification of a Distributed Cache Memory by using Abstractions", S. Graf "Models Whose Checks Don't Explode" R. P. Kurshan "On the Automatic Computation of Network Invariants" F. Balarin and A. L. Sangiovanni-Vincentelli "Ground Temporal Logic -- A Logic for Hardware Verification" David Cyrluk and Palaith Narendran "A Hybrid Model for Reasoning about Composed Hardware Systems" E. Thomas Schubert "Composing Symbolic Trajectory Evaluation Results" S. Hazelhurst and C-J. H. Seger "The Completeness of a Hardware Inference System" Z. Zhu "Efficient Model Checking by Automated Ordering of Transition Relation Partitions" D. Geist and I. Beer "The Verification Problem for Replaceability" V. Singhal and C. Pixley "Formula-Dependent Equivalence for Compositional CTL Model Checking", A. Aziz, T. R. Shiple, V. Singhal, R. K. Brayton, and A. Sangiovanni-Vincentelli "An Improved Algorithm for the Evaluation of Fixpoint Expressions", D. E. Long, A. Browne, E. M. Clarke, S. Jha, and W. R. Marrero "Incremental Model Checking in Modal Mu-Calculus", O. V. Sokolsky and S. A. Smolka "Performance Improvement of State Space Exploration by Regular and Differential Hashing Functions" B. Cousin "Combining Partial Order Reductions with On-the-fly Model-Checking" D. Peled "Improving Language Containment Using Fairness Graphs" R. Hojati, R. Mueller-Thuns, and R. K. Brayton "A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation" I. Lee and S. Rajasekaran "Another Look at LTL Model Checking" E. Clarke, O. Grumberg, and K. Hamaguchi "The Mobility Workbench: A Tool for the Mu-Calculus" B. Victor and F. Moller "Compositional Semantics of Esterel and verification by compositional reduction" R. de Simone and A. Resouche "Design of a VHDL/S model checker based on adaptive state and data abstraction" D. Dams, R. Gerth, G. D\"{o}hmen, R. Herrmann, and P. Kel "Automatic Verification of Timed Circuits" T. G. Rokicki and C. J. Myers ------------------------------------------------------------------------------ Message 6; Postmarked Mon Apr 25 11:13:17 1994 Subject: Position as lecturer in Computer Engineering/Computer From: Hans Hansson Announcement: --------------------------------------------------------- Position as lecturer in Computer Engineering/Computer Science at Uppsala University. Two POSITIONS AS LECTURER IN COMPUTER ENGINEERING/COMPUTER SCIENCE are available at the Department of Computer Systems at Uppsala University. THE POSITIONS entail - Teaching and Course/Curriculum Development at the Dept of Computer Systems. The department offers courses on assembly programming, computer architecture, operating systems, distributed systems, computer communications and protocols, real-time systems, computer security, compiler construction, introductory programming, theory of programming, formal methods for design of computer systems, and neural networks. Courses are offered to undergraduate students attending the M.Sc. programs of computer science, computer engineering, and of mathematics and natural sciences. - The applicant is expected to develop and pursue a research program. Funding for research must be obtained from external sources, e.g. research councils. In some cases, the department could contribute research funding from existing external grants. Present research at the department concerns archictectures and implementation strategies for distributed real-time systems and commuication protocols, formal methods and tools for design and analysis of distributed and real-time systems, and application and implementation of neural networks. THE DEPARTMENT is nicely situated on a new campus, jointly with departments of computing science, numerical analysis, automatic contol, mathematics, and theoretical physics. SALARY will be determined according to qualifications. It is desirable that the applications includes salary expectations. FURTHER INFORMATION about positions, application, and the department is provided by prof. Bengt Jonsson (e-mail:bengt@docs.uu.se), by head of department Lars Asplund (e-mail asplund@docs.uu.se), or by director of undergraduate studies Mats Daniels (e-mail:matsd@docs.uu.se). Please enclose a resume, preferrably before May 8. ------------------------------------------------------------------------------ Message 7; Postmarked Wed Apr 27 13:50:04 1994 From: klin@linden.ece.uci.edu (Kwei-Jay Lin) Subject: Object-Oriented Real-Time Dependable Systems CALL FOR PAPERS International Workshop on Object-Oriented Real-Time Dependable Systems October 24-25, 1994 Dana Point, California, U.S.A. Sponsored by: IEEE Computer Society TC on Distributed Processing IEEE Orange County Section THEME The main theme of this workshop is the intersection of three computer system engineering technologies (CSETs) that have evolved largely independent of each other: Object- oriented CSET, Real-time CSET, and Dependable CSET. For inclusion in the workshop program, contributions that address the full combination of the three component techno- logies are the most welcome. In addition, contributions that represent significant advances in any two of the three component technology fields are also invited. The workshop is intended to be a forum for substantial exchange of newly recognized research issues, advanced promising formulations and research progress reports which may be of conceptual, theoretical, innovative design, or experimental nature, and represent technological or scientific advances. As such, the workshop will have a limited number of participants, not exceeding 50. This workshop will be held in conjunction with the 13th International Symposium on Reliable Distributed Systems (SRDS) which will take place from Oct. 25 (Tues) to Oct. 27 (Thurs), 1994 at the same place. TOPICS OF INTEREST Topics, as they relate to at least two of the three CSET's (object-oriented CSET, real-time CSET, and dependable CSET) are of interest to the Workshop. Some example topics are: - Object-oriented real-time system requirement and specification - Integration of time into formal object models - Tools for structuring active and/or real-time objects - OS support for object-oriented systems with real-time or dependability requirements - System resource allocation for real-time or depend- able objects - Testing and evaluation of temporal and dependability properties - Database architecture for real-time or highly- dependable services - Experience on automobile, avionics, industrial and medical applications Other related issues that are important to the design and implementation of object-oriented real-time dependable sys- tems are all welcome. PAPER SUBMISSIONS Position papers are solicited from potential par- ticipants of this workshop. Papers must be written in English and printed using at least 11-point type and 1-1/2 line spacing. (1) Papers from potential participants who are interested in detailed presentation of research results may be up to 10 pages in manuscript, including figures. (2) Potential participants who prefer to serve as panelists or commentators may submit position papers of 1 - 3 page length. Authors are requested to submit five hard copies of their manuscript, and also email the title , the author(s) and the abstract, before May 31, 1994 to: Prof. Kwei-Jay Lin Department of Electrical and Computer Engineering University of California Irvine, CA 92717, USA +1-714-856-7839 +1-714-725-3203 (fax) klin@uci.edu Authors will be notified of the program committee deci- sion by July 15, 1994. The revised copy for distribution at the workshop will be due Sep 30, 1994. The final camera- ready copy for the IEEE Workshop Proceedings will be due after the workshop. Proposal for Panel Sessions are also solicited. WORKSHOP CO-CHAIRS Kane Kim Hermann Kopetz Univ. of California, Irvine Tech. Universitat Wien (TUW) U.S.A. Austria kane@ece.uci.edu hk@vmars.tuwien.ac.at PROGRAM CO-CHAIRS Kwei-Jay Lin Edgar Nett Univ. of California, Irvine German National Research (GMD) U.S.A. Germany klin@uci.edu nett@gmd.de PROGRAM COMMITTEE Probba Gopinath Honeywell D. K. Hammer Technische Universiteit Eindhoven Steve Howell Naval Surface Warfare Center I-Peng Lin National Taiwan University John A. McDermid York University Toshimi Minoura Oregon State University Kinji Mori Hitachi Tony P. Ng Loral Federal Systems Philip Sheu University of California, Irvine Sang Son University of Virginia Susan Urban Arizona State University ------------------------------------------------------------------------------ Message 8; Postmarked Wed May 4 14:20:03 1994 From: son@bbibbi.cs.virginia.edu Subject: 11th IEEE Workshop on Real-Time Operating Systems and Software 11th IEEE Workshop on Real-Time Operating Systems and Software May 18-19, 1994 Holiday Inn Crowne Plaza, Seattle, WA ADVANCE PROGRAM May 18 (Wednesday) 7:30 Registration and Continental Breakfast 8:15 Opening Remarks 8:30 Invited Talk: Nancy Leveson, University of Washington, on "Software Safety" 9:30 Session I: Operating Systems I (Chair: Karsten Schwan, Georgia Tech.) Predictable Spin Lock Algorithms with Preemption Takada, Hiroaki and Sakamura, Ken User-Level Real-Time Threads Oikawa, Shuichi and Hideyuki, Tokuda Experience with a Prototype of the POSIX Minimal Realtime System Profile Baker, T.P., Mueller, Frank, and Rustagi, Viresh 10:30 Break 11:00 Session II: Scheduling I (Chair: Ted Baker, Florida State) Using End-to-End Scheduling Approach to Schedule Tasks with Shared Resources in Multiprocessor Systems Sun, Jun, Bettati, Riccardo, and Liu, Jane W.-S. Appropriate Mechanisms for the Support of Optional Processing in Hard Real-Time Systems Audsley, N.C., Davis, R.I., Burns, A., and Wellings, A.J. A Linear Time Online Task Assignment Scheme for Multiprocessor Systems Burchard, Almut, Oh, Yingfeng, Liebeherr, Jorg, and Son, Sang H. 12:00 Lunch 1:30 Session III: General (Chair: Mike Jones, Microsoft) Constructing a Heterogeneous Real-Time System Mostert, Sias Using SDL in Embedded Systems Design: A Tool for Generating Real-Time OS pSOS based Embedded Systems Applications Software Huang, Ye, Hughes, Michael, Karrlson, Jone, and Hydbom, Olle Practical Formal Development of Real-Time Systems Bradley, Steven, Henderson, William, Kendall, David, and Robson, Adrian Real-Time Communication in FDDI-Based Reconfigurable Networks Zhao, Wei, Kumar, Amit, Agrawal, Gopal, Kamat, Sanjay, Malcom, Nicholas, and Chen, Biao 3:00 Break 3:30 PANEL: Real-Time Education Chair: Wei Zhao (Texas A & M) 6:30 Banquet ***************************** May 19 (Thursday) 7:30 Registration and Continental Breakfast 8:30 Session IV: Timing Analysis (Chair: Stuart Faulk, SPC) Correlation Analysis Techniques for Refining Execution Time Estimates of Real-Time Applications Gupta, Rajiv and Gopinath, Prabha Issues of Advanced Architectural Features in the Design of a Timing Tool Lee, Byeong-Do, Lim, Sung-Soo, Min, Sang Lyul, Park, Chang Yun, Shin, Heonshik, and Kim, Chong Sang Timing Analysis of Superscalar Processor Programs Using ACSR Choi, Jin-Young, Lee, Insup, and Kang, Inhye 9:30 Session V: Scheduling II (Chair: Hide Tokuda, CMU) Task Scheduling for Real-Time Multi-Processor Simulations Borriello, Gaetano, and Miles, Daniel M. Successful Use of Rate Monotonic Theory on a Formidable Real Time System Doyle, Larry and Elzy, Jon Temporal Protection in Real-Time Operating Systems Mercer, Cliff, Rajkumar, Ragunathan, and Zelenka, Jim 10:30 Break 11:00 PANEL: Real-Time Bench Marks Chair: Karsten Schwan (Georgia Tech) 12:00 Lunch 1:30 Session VI: Operating Systems II (Chair: Keith Marzullo, UCSD) On Latency Management in Time-Shared Operating Systems Jeffay, Kevin An Argument for a Runtime Layer in SPARTA Design Wisniewski, Robert W. and Brown, Christopher M. Real-Time Platforms and Environments For Time Constrained Flexible Manufacturing Stankovic, J.A., Ramamritham, Krithi, and Zlokapa, Goran 2:30 Session VII: Concurrency Control (Chair: Vic Wolfe, U. Rhode Island) A Mixed Locking/Abort Protocol for Hard Real-Time Systems Shu, LihChyun and Young, Michal Window-Consistent Replication for Real-Time Applications Rexford, Jennifer, Mehra, Ashish, Dolter, James, and Jahanian, Farnam Using Data Similarity to Achieve Synchronization for Free Kuo, Tei-Wei and Mok, Aloysius K. 3:30 Break 4:00 PANEL: If scheduling is so important, why aren't folks beating a path to our door? Chair: Kevin Jeffay (University of North Carolina) 5:00 Closing --------------- 11th IEEE Workshop on Real-Time Operating Systems and Software May 18-19, 1994 Holiday Inn Crowne Plaza, Seattle, WA General Information Over the past 10 years, the RTOSS meetings have accumulated a good tradition of unusually dense and substantial discussions on hot real-time issues, notably on problems and experiences in system design and development. This year the workshop will be held in the Holiday Inn Crowne Plaza which is conveniently located in downtown Seattle, in the heart of all centers of cultural activities in this unique metropolitan area. Remember the movie "Sleepless in Seattle?" The exact street address is: 1113 6th Avenue Seattle, WA 98101-3048 Directions: The Holiday Inn is at 6th Avenue and Seneca Street. > From Seattle-Tacoma Airport, there is a Grayline Express to the hotel every half an hour. It costs $7.00 for one way, and $12.00 for round trip. > From south (or Seattle-Tacoma Airport), take I-5 and exit at Union Street. Follow to 5th Avenue and turn left. Follow to Spring Street and turn left. Then left at 6th Avenue, then left unto Seneca. > From East, follow I-90 to Madison Street exit and turn left. Turn right at first light onto 6th, travel two blocks and turn left onto Seneca. > From North, exit I-5 at Seneca Street. The room rates for participants will be $93.00 per night and room (single or double). Reservations can be made through calling 1-800-521-2762 (or (206) 464-1980) or through fax (206) 223-3750. Please be sure to mention your participation in the IEEE workshop in order to obtain the above rate. Also, the reservation should be made before May 3. After this date you cannot rely on getting the same favorable conditions. It is recommended to make your reservation earlier. Registration Form (RTOSS'94) I want to register with the 11th IEEE Workshop on Real-Time Operating Systems and Software. Name: _________________________________________ Address: _________________________________________ _________________________________________ _________________________________________ phone: _________________________________________ fax: _________________________________________ e-mail: _________________________________________ IEEE/CS membership #: ______________________________ Enclosed is a check made out to IEEE Workshop RTOSS'93 with the amount of (check one) IEEE-CS member Non-member Student early registration (check received before April 30, 1994) o $180.00 o $240.00 o $120.00 late/ on-site registration (check received after April 30, 1994) o $230.00 o $290.00 o $150.00 The fee includes the workshop proceedings, 1 banquet, 2 breakfasts, coffee breaks between sessions. _____________________________ signature/ date Please mail this form to: Prof. Sang H. Son RTOSS'94 Dept. of Computer Science University of Virginia Charlottesville, VA 22903 USA You may fax this form to the number: (804) 982-2214 or e-mail it to: son@virginia.edu ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the TC-RTS repository is: cs.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------