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:STANDARD
DTSTART:20081102T020000
RDATE:20081102T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20090114T154613Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20090209T210000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20090209T190000
DTSTAMP;VALUE=DATE-TIME:20090114T154613Z
LAST-MODIFIED;VALUE=DATE-TIME:20090206T004219Z
UID:http://calagator.org/events/1250456505
DESCRIPTION:A study/user group exploring the world of functional programm
 ing based in Portland\, Oregon. The group welcomes programmers intereste
 d in all functional languages\, including Haskell\, Erlang\, OCaml\, Sca
 la\, and others. The group meets regularly and provides presentations\, 
 demos and discussions applicable to all skill levels\, from newbies and 
 experts. The meetings are usually on the second Monday of the month.&#13
 \;\nThis month\, Wm Leler will talk about Constraint Satisfaction System
 s and the Bertrand Programming Language. Wm is the creator of Bertrand a
 nd the author of the book &quot\;Constraint Programming Languages: Their
  Specification and Generation&quot\;.Constraint Satisfaction Systems wer
 e a hot topic of research in the 80's -- famous constraint systems inclu
 de Ivan Sutherland's Sketchpad\, Alan Borning's ThingLab (built on top o
 f Smalltalk)\, Guy Steele's constraint language\, and James Gosling's Ma
 gritte. These systems were used for computer graphics\, design\, and gen
 eral numeric problem solving\, but most of these solvers were domain spe
 cific and thus of limited usefulness.Bertrand is an equational programmi
 ng system whose purpose is to build constraint satisfaction systems usin
 g simple equational rules. Bertrand has an purely declarative semantics 
 and an absurdly simple syntax\, yet it is a powerful and expressive lang
 uage\, capable of solving problems in a large number of domains includin
 g graphics\, word problems\, electrical circuits\, or -- with the right 
 rules -- virtually any mostly-linear domain.Since this is the Functional
  Programming Study Group\, this talk will cover the underlying equationa
 l programming language of Bertrand and ways in which it could be extende
 d to make it more powerful.&#13\;\n\n\nTags: pdxfunc\, functional progra
 mming\, constraints\n\nImported from: http://calagator.org/events/125045
 6505
URL:http://groups.google.com/group/pdxfunc
SUMMARY:Portland Functional Programmers Study Group: Wm Leler's Bertrand 
 constraint language
LOCATION:CubeSpace [ *sniff* out of business 12 June 2009]: 622 SE Grand 
 Ave.\, Portland Oregon 97214 USA
SEQUENCE:0
END:VEVENT
END:VCALENDAR