Middle Earth Programming Languages Seminar (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

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

Past meetings:

• 2009/04/10
• 2008/09/06 (with Schedule and notes)

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