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.


Abstract submission: March 11, 2009
Registration: March 30, 2009
Seminar: April 10 & 11, 2009

Organizing Committee

Walid Taha
Dwayne Towell
Rex Page
William Cook


Please register by March 30 so we can plan for lunch. Send your name, affiliation, and contact information to William Cook.


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