Middle Earth Programming Languages Seminar (MEPLS)

Schedule of the first MEPLS

At the end of the Teaching Program Correctness Workshop, several participants expressed a shared interest in organizing a regular meeting that would:

• Serve TX/OK/NM and surrounding areas
• Bring together researchers, students, and practitioners
• Provide a forum for sharing research and teaching ideas
• Cover topics such as programming languages, theorem proving, formal methods, etc
• Not be too far from anyone

Trying out driving distances for various participants to various locations, it appeared that Abilene, TX.

To join this community: Please subscribe to the mailing list.

Past meetings: 2008/09/06

Current activity:

• Planning for next meeting
• General preference is for week day
• Plan is to try to meet once a semester

Community Activities:

• Domain Specific Languages Conference Working Conference (DSL WC)

Related Meetings: NJPLS, NEPLS, FMCS