BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:DAYLIGHT DTSTART:20120311T020000 RDATE:20120311T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20120628T203737Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20120628T150000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20120628T140000 DTSTAMP;VALUE=DATE-TIME:20120628T203737Z LAST-MODIFIED;VALUE=DATE-TIME:20120628T203737Z UID:http://calagator.org/events/1250462512 DESCRIPTION:Presented by Sergio Antoy from Portland State University. 3\;\n \;\nIn this talk\, I will introduce narrowing\, the characteriz ing feature of functional logic programming\, from the programmer's viep oint. Narrowing promotes non-determinism and it enables computing with i ncomplete or unknown information. After a short and informal presentatio n of Curry\, the leading functional logic language\, I will discuss a fe w examples showing that narrowing and its associated non-determinism sup port programming at a very high level of abstraction.\n\nTags: programmi ng\, galois\, tech talk\, paradigms\n\nImported from: http://calagator.o rg/events/1250462512 URL:http://corp.galois.com/blog/2012/6/28/tech-talk-programming-with-narr owing.html SUMMARY:Galois Tech Talk: Programming with Narrowing LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT END:VCALENDAR