<TeXmacs|1.0.4.2>

<style|generic>

<\body>
  <tabular*|<tformat|<twith|table-width|1par>|<table|<row|<cell|<tabular|<tformat|<cwith|2|2|1|1|cell-valign|b>|<cwith|3|3|1|1|cell-valign|t>|<cwith|2|3|1|1|cell-background|grey>|<twith|table-lborder|0.01cm>|<twith|table-rborder|0.01cm>|<twith|table-bborder|0.01cm>|<twith|table-tborder|0.01cm>|<cwith|2|3|1|1|cell-halign|c>|<cwith|2|2|1|1|cell-halign|c>|<cwith|1|1|1|1|cell-background|grey>|<cwith|4|4|1|1|cell-background|grey>|<table|<row|<cell|>>|<row|<cell|
  \ <with|font-base-size|24|<with|mode|math|<with|font-base-size|35|<with|font-base-size|50|<with|font-base-size|60|\<lambda\>>>>>>>>|<row|<cell|<with|mode|math|\<exists\>P.P>>>|<row|<cell|>>>>>>|<cell|<tabular*|<tformat|<table|<row|<cell|The
  LPAR-05 Workshop on>>|<row|<cell|>>|<row|<cell|<with|font-base-size|17|<with|font-series|bold|Empirically
  Successful Higher-Order>>>>|<row|<cell|<with|font-base-size|17|<with|font-series|bold|Automated
  Reasoning <with|font-series|bold|(ESHOR)>>>
  >>|<row|<cell|>>|<row|<cell|will be held at
  >>|<row|<cell|>>|<row|<cell|Wexford Hotel, Montego Bay,
  Jamaica>>|<row|<cell|1 December 2005>>>>>>|<cell|<tabular|<tformat|<cwith|2|2|1|1|cell-valign|b>|<cwith|3|3|1|1|cell-valign|t>|<cwith|2|3|1|1|cell-background|grey>|<twith|table-lborder|0.01cm>|<twith|table-rborder|0.01cm>|<twith|table-bborder|0.01cm>|<twith|table-tborder|0.01cm>|<cwith|2|3|1|1|cell-halign|c>|<cwith|2|2|1|1|cell-halign|c>|<cwith|1|1|1|1|cell-background|grey>|<cwith|4|4|1|1|cell-background|grey>|<table|<row|<cell|>>|<row|<cell|
  \ <with|font-base-size|24|<with|mode|math|<with|font-base-size|35|<with|font-base-size|50|<with|font-base-size|60|\<lambda\>>>>>>>>|<row|<cell|<with|mode|math|\<exists\>P.P>>>|<row|<cell|>>>>>>>>>>
</body>
