[Prev][Next][Index][Thread]
CFP for GPPL'97
Could you please distribute the CFP below?
Thanks,
john
----------------------------------------------------------------------------
John Hatcliff Phone: 405-744-5670
Assistant Professor Fax..: 405-744-9097
Computer Science Department Email: hatcliff@a.cs.okstate.edu
219 Mathematical Sciences WWW..: http://www.cs.okstate.edu/~hatclif
Oklahoma State University
Stillwater, OK 74078
----------------------------------------------------------------------------
C A L L F O R P A R T I C I P A T I O N
GPPL'97
Great Plains Programming Languages Workshop
(http://www.cs.okstate.edu/gppl97)
Oklahoma State University
Stillwater, Oklahoma
May 16, 1997
The workshop aims to stimulate discussion and collaboration between
programming language researchers in the Great Plains region of the
United States.
The program covers a wide variety of topics including
- design and implementation of languages,
- logic programming,
- partial evaluation,
- static analysis,
- theory of concurrent objects, and
- verification of concurrent program.
Advance Program
================
Pre-workshop Technical Session: Thursday, May 15 2:00pm
---------------------------------------------------------
There will be a pre-workshop session of technical talks given by
various speakers including Michael Huth, David Schmidt, and Alan
Stoughton.
Friday, May 16
---------------
8:30
REGISTRATION AND CONTINENTAL BREAKFAST
8:50
WELCOME AND OPENING REMARKS
Session 1: (9:00 -- 10:00) Implementation of Functional Languages
----------
9:00
THE EFFECTIVENESS OF FLOW ANALYSIS
FOR INLINING IN HIGHER-ORDER LANGUAGES
Mike Ashley (University of Kansas)
9:30
CONCURRENT COPYING GARBAGE COLLECTION
Jeff Long (University of Kansas)
10:00: <<BREAK>>
Session 2: (10:30 -- 12:00) Logic Programming and Concurrency
----------
10:30
USING THE RELATIONAL ALGEBRA TO EXPRESS
THE SEMANTICS OF A LOGIC LANGUAGE
Woody Hedrick (Oklahoma State University)
11:00
ROC: A ROBUST OBJECT CALCULUS FOR CONCURRENT
OBJECT--ORIENTED PROGRAMMING LANGUAGE DESIGN
Mauricio Papa, John Hale, Jody Threet, Sujeet Shenoi
(University of Tulsa)
11:30
THE META-OBJECT OPERATING SYSTEM ENVIRONMENT
John Hale, Jody Threet, Sujeet Shenoi (University of Tulsa)
12:00 -- 1:30: <<LUNCH>>
Session 3: (1:30 -- 3:00) Programming Language Design
----------
1:30
HASKELL FOR CS1 -- SALES AND SERVICE
Rex Page (University of Oklahoma)
2:00
THE SEMANTICAL PERSONALITY OF JAVA
David Schmidt (Kansas State University)
2:30
DESIGNING LINGUISTIC USER INTERFACES
Jacques LaFrance (Oklahoma State University)
3:00 <<BREAK>>
Session 4: (3:30 -- 5:00) Program Semantics, Analysis, and Transformation
----------
3:30
OBSERVABLE EQUIVALENCE IN HIGHER-ORDER IMPERATIVE LANGUAGES
Sergey Kotov (Kansas State University)
4:00
VALIDATING CORRECTNESS PROPERTIES OF PARTIAL SYSTEMS
Matt Dwyer (Kansas State University)
4:30
PARTIAL EVALUATION OF IMPERATIVE LANGUAGES
John Hatcliff (Oklahoma State University)
5:00
CONCLUDING REMARKS
7:00 WORKSHOP DINNER
More program details (including abstracts of talks, and home pages of
speakers, and a list registered participants) can be found at the
GPPL'97 website (http://www.cs.okstate.edu/gppl97).
The Sponsors and Organizers:
=============================
The workshop is sponsored by the Oklahoma State University Computer
Science Department (http://www.cs.okstate.edu) and is organized
by the Bandera Group (http://www.cs.okstate.edu/bandera).
The Bandera Group is an informal consortium of researchers from Kansas
and Oklahoma working in the area of programming language semantics and
implementation. More information about the group's activities,
publications, funded projects, and opportunities for graduate studies
can found at the above website.
The Workshop Dinner:
=====================
The workshop dinner will be at the famous Eskimo Joe's
restaurant. Articles describing Eskimo Joe's unique atmosphere have
appeared in several national magazines. The restaurant also produces
the second-most popular restaurant-related clothing line in the United
States.
Registration Information:
==========================
There is no registration fee. Participants are strongly encouraged
register by May 12, 1997. Registration and accommodation information
can be obtained from the GPPL website (http://www.cs.okstate.edu/gppl97)
or by sending email to John Hatcliff (hatcliff@a.cs.okstate.edu).