Galois is pleased to host the following tech talk. These talks are open to the interested public--please join us! (There is no need to pre-register for the talk.)
title: Programming with Narrowing
speaker: Sergio Antoy, Portland State University
time: Tuesday, 3 July 2012, 10:30am
421 SW 6th Ave. Suite 300,
Portland, OR, USA
(3rd floor of the Commonwealth building)
In this talk, I will introduce narrowing, the characterizing feature of functional logic programming, from the programmer's viepoint. Narrowing promotes non-determinism and it enables computing with incomplete or unknown information. After a short and informal presentation of Curry, the leading functional logic language, I will discuss a few examples showing that narrowing and its associated non-determinism support programming at a very high level of abstraction.
bio: Sergio Antoy is a professor of Computer Science at Portland State University, that he joined in 1990, and an associate chair for graduate education. He regularly teaches undergraduate and graduate courses in the area of programming. He received a PhD degree in Computer Science for the University of Maryland in 1987. Sergio's research is on narrowing strategies and the implementation of functional logic programming languages.