Calendar
Calendar of Events
September 2008
M T W T F S S
1234567
891011121314
15161718192021
22232425262728
2930
Sponsor Links
Contact GoingtoMeet.com

Name
E-Mail
Message
Enter the code below:
If you can't read the image textto load another one.

Fast Facts
 

Highlights

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.

Event Profiles

Speakers: Peter O'Hearn (University of London)

Contact Details

Contact person: Michael Hanus
Email address:
Event website: http://www.informatik.uni-kiel.de/~mh/lopstr08/

See review

Contact Organizer

Contact Organizer
If you can't read the image text click here to reload.
 
 
Page generated in 0.7649 seconds