Register to receive email alerts of upcoming events at email@example.com.
|14th Mar 2014||
Software Systems Research Group Seminar - Kokichi FutatsugiEffective coordination of inference (a la theorem proving) and search (a la model checking) is one of the most important and interesting research topics in formal methods. We have developed several techniques for coordinating inference and search for verification with proof scores in CafeOBJ.Further information...
|Research - Workshop / Seminar||Sydney|
|17th Mar 2014||
NICTA & Lambda Ladies: Introduction to Functional Programming CourseIn conjunction with the Lambda Ladies group, NICTA will be hosting a free hands-on, three day Introduction to Functional Programming, for interested participants (internal and external). This event is targeted toward women who are interested in learning about functional programming and preference will be applied accordinglyFurther information...