2nd Middle-Earth Programming Language Seminar (MEPLS)
The 2nd Middle-Earth Programming Languages Seminar (MEPLS-2) will be
held on Friday & Saturday, April 10 & 11, 2009 in
room 2.402 of the
Applied Computational Engineering and Sciences
(ACES) building at the University of Texas at Austin.
MEPLS was formed to encourage collaboration between researchers,
students and practitioners interested in software science,
including areas such as programming languages, theorem proving, and
formal methods. Our goal is to increase awareness of each other's
work, and to encourage interaction and collaboration. We welcome
brief presentations, but also plan to spend time in discussion.
Overview of MEPLS
Previous meeting
Accepted Abstracts
Here are the abstract of talks to be presented.
The schedule will be announced later.
Call for Abstracts
Please send an abstract to
William Cook by February 29
if you would like to speak.
We encourage student presentations and work in progress..
Mailing list
Please subscribe to the mailing list.
Dates
Abstract submission: March 11, 2009
Registration: March 30, 2009
Seminar: April 10 & 11, 2009
Organizing Committee
Walid Taha
Dwayne Towell
Rex Page
William Cook
Registration
Please register by March 30 so we can plan for lunch. Send your name,
affiliation, and contact information to
William Cook.
Directions
A nice map showing
the location of the ACES building
ACES Building page on UT Campus maps
UT Campus map
Local transportation
Austin is very accessable without a car.
The UT shuttle
connects the city to campus.
If you drive to campus, park at the
San Jacinto Garage
on San Jacinto, just south of E. Dean Keaton. It will $8 or so to part there for the day.
Google map to ACES building
Lodging and other accommodations
NOTE: I will suggest a few specific hotels by January 1st.
Adams House
Woodburn House
Hyde Park Inn
Austin Folk House
Star of Texas
UT Conference center recommendations
UT Business school recommendations
UT Geology school recommendations
UT Law school recommendations