BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2014/newsitem/5693/17-
 18-July-2014-International-Workshop-on-Proof-Struc
 ture-and-Computation-PSC-2014-Vienna-Austria
DTSTAMP:20140410T000000
SUMMARY:International Workshop on Proof, Structure
  and Computation (PSC 2014), Vienna, Austria
DTSTART;VALUE=DATE:20140717
DTEND;VALUE=DATE:20140718
LOCATION:Vienna, Austria
DESCRIPTION:The extraction of computational conten
 t from proofs has a long tradition in logic, but u
 sually depends on a concrete encoding that allows 
 us to turn proofs into algorithms. A recent trend 
 in this field is the departure from such encoding 
 which not only makes it simpler to represent the m
 athematical content, but also makes the extracted 
 computational content encoding independent. This s
 hift in focus allows us to focus on what is releva
 nt: the computational aspects of proofs and the sp
 ecification (not representation) of the structures
  involved. We now have growing evidence that this 
 move from representations (e.g. the signed digit r
 epresentation of the reals) to axioms (e.g. of the
  real numbers) is possible. This development large
 ly parallels the step from assembler to high level
  languages in programming. As a by-product this mo
 ve has already opened up the possibility to gain c
 omputational information from axiomatic proofs in 
 more abstract and genuinely structural areas of ma
 thematics such as algebra and topology.   For more
  information, see http://vsl2014.at/psc/ or contac
 t psc2014 at easychair.org.   We welcome 1-2-page 
 abstracts presenting (finished, ongoing, or if cle
 arly stated even published) work on proof, structu
 re, and computation. Submission deadline is 1 May 
 2014.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The extraction of computational content from 
 proofs has a long\n        tradition in logic, but
  usually depends on a concrete encoding\n        t
 hat allows us to turn proofs into algorithms. A re
 cent trend\n        in this field is the departure
  from such encoding which not\n        only makes 
 it simpler to represent the mathematical content,\
 n        but also makes the extracted computationa
 l content encoding\n        independent. This shif
 t in focus allows us to focus on what is\n        
 relevant: the computational aspects of proofs and 
 the\n        specification (not representation) of
  the structures\n        involved. We now have gro
 wing evidence that this move from\n        represe
 ntations (e.g. the signed digit representation of 
 the\n        reals) to axioms (e.g. of the real nu
 mbers) is possible. This\n        development larg
 ely parallels the step from assembler to high\n   
      level languages in programming. As a by-produ
 ct this move has\n        already opened up the po
 ssibility to gain computational\n        informati
 on from axiomatic proofs in more abstract and\n   
      genuinely structural areas of mathematics suc
 h as algebra and\n        topology.\n      </p>\n 
    \n      \n      <p>For more information, see <a
  target="_blank" href="http://vsl2014.at/psc/">htt
 p://vsl2014.at/psc/</a>\n      or contact <a class
 ="email">psc2014 <span class="at">at</span> easych
 air.org</a>.\n      </p>\n    </div><div>\n      <
 p>We welcome 1-2-page abstracts presenting (finish
 ed, ongoing, or if\n        clearly stated even pu
 blished) work on proof, structure, and computation
 .\n        Submission deadline is 1 May 2014.\n   
    </p>\n      </div>
URL:/NewsandEvents/Archives/2014/newsitem/5693/17-
 18-July-2014-International-Workshop-on-Proof-Struc
 ture-and-Computation-PSC-2014-Vienna-Austria
END:VEVENT
END:VCALENDAR