◆◇學術研討會◆◇

  第二屆程式語言暨系統研討會
  The 2nd Joint	Seminar	on Programming Languages and  Systems

      會議日期：八十六年十二月廿九日（星期一）
      主辦單位：交通大學資訊科學學系
		中央研究院資訊科學研究所
      會議地點：交通大學電機資訊大樓七樓

      Program

      09：20∼09：30 Opening Ceremony

      曾憲雄

      09：30∼10：20	    項潔：Order-Sorted	     Equational
    Specification and Completion

      10：20∼11：10   顏嗣鈞：Verification  of	 Infinite-State
    Systems

      11：10∼12：00  黃廷祿：Manual Verification of Concurrent
    Programs Using Fetch-and-Store Primitives

      13：30∼14：20	黃秋煌：High-Performance   Fortran:   A
    Fortran Extension for Computational	Science

      14：20∼15：10 郭譽申：Non-Intrusive Object Introspection
    in C++ -- Architecture and Application

      15：10∼16：00  許秉瑜：Improving	 SQL  with  Generalized
    Quantifiers

    Purpose

      This  seminar  series  aims to bring together researchers
    and	 students  working on programming languages and	systems
    to	present	 results in their fields. It hopes to provide a
    stimulating	 environment to	further	facilitate the exchange
    of ideas and experiences among the participants.

    Furthur Information

      The  seminar will	be held	at NCTU	(交通大學電機資訊大樓七
    樓).     A	   map	   of	  NCTU	  is	available    at
    http://www.cis.nctu.edu.tw/	     ∼plas/gif/nctucampus.gif.
    Students  are  especially  welcomed	 to attend this	seminar
    series.  There  is	no registration	fee and	lunches	will be
    provided.  To  help	 plan the event, however, please send a
    plain text e-mail to wuuyang@cis.nctu.edu.tw or fax	to (03)
    5721490楊武with your name (in both Chinese and English) and
    your  current  affiliation	if  you	plan to	attend.	Further
    information	 about	this  event, including abstracts of the
    talks, is available	from WWW at http://www.cis.nctu.edu.tw/
    ∼ plas/plas1997.html.

      Campus  accommodation  is	available. The cost is $600 per
    night  per	room  (for  a room with	2 beds). If you	need to
    reserve   a	  guest	  room,	  please  send	your  order  to
    wuuyang@cis.nctu.edu.tw.   Since   the   room   is	on  the
    first-come	first-serve  base,  please  reserve the	room as
    early as possible.