Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk</h1> <div class='date'><time class="dtstart dt-start" title="2010-02-16T10:30:00" datetime="2010-02-16T10:30:00">Tuesday, February 16, 2010 from 10:30</time>–<time class="dtend dt-end" title="2010-02-16T11:30:00" datetime="2010-02-16T11:30:00">11:30am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>The talk will be presented by Iavor Diatchki on Tuesday, February<br> 16th, at 10:30am.</p> <p>Abstract: GF is a programming language for multilingual grammar<br> applications. It may be seen in a number of different ways:</p> <pre><code>• as a special-purpose language for grammars, like YACC or Happy, </code></pre> <p>but not restricted to programming languages;</p> <pre><code>• as a functional language, like Haskell or SML, but specialized to </code></pre> <p>grammar writing;</p> <pre><code>• as a logical framework, like Agda or Coq, but equipped with </code></pre> <p>concrete syntax in addition to logic;</p> <pre><code>• as a natural language processing framework, like LKB, or Regulus, </code></pre> <p>but based on functional programming and type theory. This talk is an introduction to GF’s basic concepts by example. We<br> will look at how to define the meaning and syntax of a language,<br> perform simple translations, define semantic properties, and how to<br> use GF together with another language such as Haskell.</p> <p>Bio: Iavor Diatchki is a R&D Engineer at Galois, Inc. with a Ph.D.<br> from the Oregon Graduate Institute.</p> <p>Details:</p> <pre><code>• Date: February 16th, 2010, Tuesday • Time: 10:30am • Location: Galois Inc., 421 SW 6th Ave. Suite 300 (3rd floor of </code></pre> <p>the Commonwealth building)</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.galois.com/blog/2010/02/11/tech-talk-introduction-to-gf-the-grammatical-framework/">Website</a></li> </ul> </div>