Bruno Woltzenlogel Paleo invited you to Workshop on Proof Compression

--20cf301d3dd8508f0b04dc5a53a2
Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes
Content-Transfer-Encoding: base64

QnJ1bm8gV29sdHplbmxvZ2VsIFBhbGVvIGludml0ZWQgeW91IHRvIFdvcmtzaG9wIG9uIFByb29m
IENvbXByZXNzaW9uDQpNb24sIFNlcHRlbWJlciAxNiwgOTowMCBBTSBDRVNUDQpOYW5jeSwgRnJh
bmNlDQoNClZpZXcgSW52aXRhdGlvbjogIA0KaHR0cHM6Ly9wbHVzLmdvb2dsZS5jb20vXy9ub3Rp
ZmljYXRpb25zL2VtbGluaz9lbXI9MTM1ODIxNTM4NTc3NTIwMjQwMzImZW1pZD1DTURqcjVxbGk3
Y0NGYVlZUUFvZERub0FBQSZwYXRoPSUyRmV2ZW50cyUyRmNtNW80Y2I5ZzVyYm1wNDNtYzhmN2d1
ZXFtMCUzRmF1dGhrZXklM0RDTXV3cE5HNzVmdml3Z0UlMjZncGludiUzREFNSVhhbDlIbXhDRkRK
WXUyWU5aNkZKNjRwWEhBaDRtem1tYkhEMEJoYjRXUW9HV1lhVTU0UVAtbHZwSmpCQ01VOGhYOFFR
QUxMWkR2T0hHLV96QkxXck80VWNxVk5EeHpHMXJ5X0xGb25jRGxUbzhmNzJxM19nJTI2Z3BzcmMl
M0RncGV2MCZkdD0xMzY4MTgwNDA5Nzk0JnVvYj0xNA0KU2VlIGRldGFpbHMgaW4gdGhlIHdvcmtz
aG9wJ3MgcGFnZToNCmh0dHA6Ly93d3cubG9naWMuYXQvcGVvcGxlL2JydW5vL01lZGlhV2lraS9p
bmRleC5waHAvVGhpcmRfV29ya3Nob3Bfb2ZfdGhlX0FtYWRldXNfUHJvamVjdF9vbl9Qcm9vZl9D
b21wcmVzc2lvbg0KDQpBZmZpbGlhdGVkIHdpdGggVGFibGVhdXggMjAxMyAoaHR0cDovL3RhYmxl
YXV4MTMubG9yaWEuZnIpDQpCZSB0aG91Z2h0ZnVsIGFib3V0IHdobyB5b3Ugc2hhcmUgdGhpcyBl
bWFpbCB3aXRoOyBhbnlvbmUgY2FuIHJlc2hhcmUgaXQuDQoNCg==
--20cf301d3dd8508f0b04dc5a53a2
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<meta name=3D"viewport" content=3D"width=3D700,maximum-scale=3D1"><!-- X-No=
tifications: 1:eafaa644b0000000 --><div style=3D"font-family:arial,sans-ser=
if;max-width:700px;position:relative" itemscope itemtype=3D"http://schema.o=
rg/Event"><meta itemprop=3D"name" content=3D"Workshop on Proof Compression"=
><meta itemprop=3D"url" content=3D"https://plus.google.com/events/cm5o4cb9g=
5rbmp43mc8f7gueqm0?authkey=3DCMuwpNG75fviwgE"><span itemprop=3D"publisher" =
itemscope itemtype=3D"http://schema.org/Organization"><meta itemprop=3D"nam=
e" content=3D"Google+"></span><table style=3D"width:100%;border: 1px solid =
#d9d9d9;border-collapse:collapse;font-size:10pt" cellspacing=3D0 cellpaddin=
g=3D0><tr><td style=3D"border: 1px solid #d9d9d9;padding:5px 20px 5px 10px"=
><table style=3D"width:100%" cellspacing=3D10 cellpadding=3D0><tr><td style=
=3D"vertical-align:middle;width:100%"><a href=3D"https://plus.google.com/_/=
notifications/emlink?emr=3D13582153857752024032&emid=3DCMDjr5qli7cCFaYYQAod=
DnoAAA&path=3D%2Fevents%2Fcm5o4cb9g5rbmp43mc8f7gueqm0%3Fauthkey%3DCMuwpNG75=
fviwgE%26gpinv%3DAMIXal9HmxCFDJYu2YNZ6FJ64pXHAh4mzmmbHD0Bhb4WQoGWYaU54QP-lv=
pJjBCMU8hX8QQALLZDvOHG-_zBLWrO4UcqVNDxzG1ry_LFoncDlTo8f72q3_g%26gpsrc%3Dgpe=
v0&dt=3D1368180409794&uob=3D14" style=3D"text-decoration:none"><img style=
=3D"vertical-align:middle;padding-right:8px;border:none" src=3D"https://ssl=
.gstatic.com/s2/oz/images/notifications/events-icon-192574eef80330c97ef1fdc=
83644d634b5a92eea.png" /><span style=3D"color:#d44b38;font-size:14pt;vertic=
al-align:middle">Workshop on Proof Compression</span></a></td><td style=3D"=
vertical-align:middle"><img src=3D"https://ssl.gstatic.com/s2/oz/images/not=
ifications/logo/google-plus-6617a72bb36cc548861652780c9e6ff1.png" /></td></=
tr></table></td></tr><tr><td style=3D"padding:20px"><table style=3D"width:1=
00%;font-size:10pt" cellspacing=3D0 cellpadding=3D0><tr><td style=3D"vertic=
al-align:top"><a href=3D"https://plus.google.com/_/notifications/emlink?emr=
=3D13582153857752024032&emid=3DCMDjr5qli7cCFaYYQAodDnoAAA&path=3D%2F1050166=
84496602932564&dt=3D1368180409794&uob=3D14"><img style=3D"border:solid 1px =
#cccccc;" width=3D"75" height=3D"75" src=3D"https://lh3.googleusercontent.c=
om/-7ddJXj02Aik/AAAAAAAAAAI/AAAAAAAAUp4/QkTcvlNi2RE/s75-c-k-a/photo.jpg" />=
</a></td><td style=3D"padding:0 10px;margin:8px 0;width:100%;vertical-align=
:top"><div style=3D"font-weight:bold;margin-bottom:6px"><a href=3D"https://=
plus.google.com/_/notifications/emlink?emr=3D13582153857752024032&emid=3DCM=
Djr5qli7cCFaYYQAodDnoAAA&path=3D%2F105016684496602932564&dt=3D1368180409794=
&uob=3D14" style=3D"$ij.linkStyle">Bruno Woltzenlogel Paleo</a> invited you=
 to <a href=3D"https://plus.google.com/_/notifications/emlink?emr=3D1358215=
3857752024032&emid=3DCMDjr5qli7cCFaYYQAodDnoAAA&path=3D%2Fevents%2Fcm5o4cb9=
g5rbmp43mc8f7gueqm0%3Fauthkey%3DCMuwpNG75fviwgE%26gpinv%3DAMIXal9HmxCFDJYu2=
YNZ6FJ64pXHAh4mzmmbHD0Bhb4WQoGWYaU54QP-lvpJjBCMU8hX8QQALLZDvOHG-_zBLWrO4Ucq=
VNDxzG1ry_LFoncDlTo8f72q3_g%26gpsrc%3Dgpev0&dt=3D1368180409794&uob=3D14" st=
yle=3D"color:#3366CC;text-decoration:none">Workshop on Proof Compression</a=
></div><div style=3D"margin:4px 0"><img src=3D"https://ssl.gstatic.com/s2/o=
z/images/notifications/events-time.png" style=3D"padding-right:10px" /><tim=
e itemprop=3D"startDate" datetime=3D"20130916T090000+0200">Mon, September 1=
6, 9:00 AM CEST</time></div><div style=3D"margin:4px 0" itemprop=3D"locatio=
n" itemscope itemtype=3D"http://schema.org/Place"><a href=3D"https://maps.g=
oogle.com/maps/place?q=3DNancy&ftid=3D0x4794986e17a692cd:0x4ed671b10d82498d=
&hl=3Den" style=3D"text-decoration:none;color:inherit" itemprop=3D"url"><im=
g src=3D"https://ssl.gstatic.com/s2/oz/images/notifications/events-location=
.png" style=3D"padding:0 11px 0 1px" /><span itemprop=3D"name">Nancy, Franc=
e</span></a></div></td></tr></table><div style=3D"display:inline-block;marg=
in-top:20px"><div style=3D"color:#777;font-weight:bold;white-space:nowrap;f=
ont-size:11px; margin-bottom:6px">Are you going?</div>

<div><span itemprop=3D"action" itemscope itemtype=3D"http://schema.org/Rsvp=
Action"><span itemprop=3D"handler" itemscope itemtype=3D"http://schema.org/=
GoogleInternalActionHandler"><meta itemprop=3D"service" content=3D"GooglePl=
usEvents"/><meta itemprop=3D"requiredProperty" content=3D"attendance"/></sp=
an><a style=3D"display:inline-block;padding:7px 0px;background-color:#4d90f=
e; color:#fff;font-size:12px;margin-right:6px;width:58px; font-weight:bold;=
border-radius:2px;-webkit-border-radius:2px; -moz-border-radius:2px;text-al=
ign:center;border:solid 1px #3079ed; white-space:nowrap;text-decoration:non=
e;" href=3D"https://plus.google.com/_/notifications/emlink?emr=3D1358215385=
7752024032&amp;emid=3DCMDjr5qli7cCFaYYQAodDnoAAA&amp;path=3D%2Fevents%2Fcm5=
o4cb9g5rbmp43mc8f7gueqm0%2Frsvp%2FCM2vvZyv5_TG7wE%2FATTENDING%3Fauthkey%3DC=
MuwpNG75fviwgE%26gpinv%3DAMIXal9HmxCFDJYu2YNZ6FJ64pXHAh4mzmmbHD0Bhb4WQoGWYa=
U54QP-lvpJjBCMU8hX8QQALLZDvOHG-_zBLWrO4UcqVNDxzG1ry_LFoncDlTo8f72q3_g%26gps=
rc%3Dgpev0&amp;dt=3D1368180409794&amp;uob=3D14"><meta itemprop=3D"attendanc=
e" content=3D"http://schema.org/RsvpAttendance/Yes"/>Yes</a></span><span it=
emprop=3D"action" itemscope itemtype=3D"http://schema.org/RsvpAction"><span=
 itemprop=3D"handler" itemscope itemtype=3D"http://schema.org/GoogleInterna=
lActionHandler"><meta itemprop=3D"service" content=3D"GooglePlusEvents"/><m=
eta itemprop=3D"requiredProperty" content=3D"attendance"/></span><a style=
=3D"display:inline-block;padding:7px 0px;background-color:#4d90fe; color:#f=
ff;font-size:12px;margin-right:6px;width:58px; font-weight:bold;border-radi=
us:2px;-webkit-border-radius:2px; -moz-border-radius:2px;text-align:center;=
border:solid 1px #3079ed; white-space:nowrap;text-decoration:none;" href=3D=
"https://plus.google.com/_/notifications/emlink?emr=3D13582153857752024032&=
amp;emid=3DCMDjr5qli7cCFaYYQAodDnoAAA&amp;path=3D%2Fevents%2Fcm5o4cb9g5rbmp=
43mc8f7gueqm0%2Frsvp%2FCM2vvZyv5_TG7wE%2FMAYBE%3Fauthkey%3DCMuwpNG75fviwgE%=
26gpinv%3DAMIXal9HmxCFDJYu2YNZ6FJ64pXHAh4mzmmbHD0Bhb4WQoGWYaU54QP-lvpJjBCMU=
8hX8QQALLZDvOHG-_zBLWrO4UcqVNDxzG1ry_LFoncDlTo8f72q3_g%26gpsrc%3Dgpev0&amp;=
dt=3D1368180409794&amp;uob=3D14"><meta itemprop=3D"attendance" content=3D"h=
ttp://schema.org/RsvpAttendance/Maybe"/>Maybe</a></span><span itemprop=3D"a=
ction" itemscope itemtype=3D"http://schema.org/RsvpAction"><span itemprop=
=3D"handler" itemscope itemtype=3D"http://schema.org/GoogleInternalActionHa=
ndler"><meta itemprop=3D"service" content=3D"GooglePlusEvents"/><meta itemp=
rop=3D"requiredProperty" content=3D"attendance"/></span><a style=3D"display=
:inline-block;padding:7px 0px;background-color:#4d90fe; color:#fff;font-siz=
e:12px;margin-right:6px;width:58px; font-weight:bold;border-radius:2px;-web=
kit-border-radius:2px; -moz-border-radius:2px;text-align:center;border:soli=
d 1px #3079ed; white-space:nowrap;text-decoration:none;" href=3D"https://pl=
us.google.com/_/notifications/emlink?emr=3D13582153857752024032&amp;emid=3D=
CMDjr5qli7cCFaYYQAodDnoAAA&amp;path=3D%2Fevents%2Fcm5o4cb9g5rbmp43mc8f7gueq=
m0%2Frsvp%2FCM2vvZyv5_TG7wE%2FNOT_ATTENDING%3Fauthkey%3DCMuwpNG75fviwgE%26g=
pinv%3DAMIXal9HmxCFDJYu2YNZ6FJ64pXHAh4mzmmbHD0Bhb4WQoGWYaU54QP-lvpJjBCMU8hX=
8QQALLZDvOHG-_zBLWrO4UcqVNDxzG1ry_LFoncDlTo8f72q3_g%26gpsrc%3Dgpev0&amp;dt=
=3D1368180409794&amp;uob=3D14"><meta itemprop=3D"attendance" content=3D"htt=
p://schema.org/RsvpAttendance/No"/>No</a></span></div>

<div style=3D"font-weight:bold;white-space:nowrap;font-size:12px; margin-to=
p:6px"><a href=3D"https://plus.google.com/_/notifications/emlink?emr=3D1358=
2153857752024032&emid=3DCMDjr5qli7cCFaYYQAodDnoAAA&path=3D%2Fevents%2Fcm5o4=
cb9g5rbmp43mc8f7gueqm0%3Fauthkey%3DCMuwpNG75fviwgE%26gpinv%3DAMIXal9HmxCFDJ=
Yu2YNZ6FJ64pXHAh4mzmmbHD0Bhb4WQoGWYaU54QP-lvpJjBCMU8hX8QQALLZDvOHG-_zBLWrO4=
UcqVNDxzG1ry_LFoncDlTo8f72q3_g%26gpsrc%3Dgpev0&dt=3D1368180409794&uob=3D14"=
 style=3D"text-decoration:none;color:#36c">View Invitation</a></div></div><=
tr><td style=3D"border: 1px solid #d9d9d9"><img style=3D"width:100%;display=
:block" src=3D"https://lh3.googleusercontent.com/_tcY7QLx6X_8/UQDao9-jRbI/A=
AAAAAAABv8/n3tx1KfazS4/w698/08_rainbowtriangles.jpg"></td></tr><tr><td styl=
e=3D"border: 1px solid #d9d9d9;padding:20px;white-space:pre-line">See detai=
ls in the workshop&#39;s page:<br /><a href=3D"http://www.logic.at/people/b=
runo/MediaWiki/index.php/Third_Workshop_of_the_Amadeus_Project_on_Proof_Com=
pression" class=3D"ot-anchor" rel=3D"nofollow">http://www.logic.at/people/b=
runo/MediaWiki/index.php/Third_Workshop_of_the_Amadeus_Project_on_Proof_Com=
pression</a><br /><br />Affiliated with Tableaux 2013 (<a href=3D"http://ta=
bleaux13.loria.fr" class=3D"ot-anchor" rel=3D"nofollow">http://tableaux13.l=
oria.fr</a>)</td></tr></td></tr></table></div><div style=3D"color:#999;font=
:11px Arial;margin:5px 0">Be thoughtful about who you share this email with=
; anyone can reshare it.</div><div style=3D"color:#999;font:11px Arial;marg=
in:5px 0">You received this message because <a href=3D"https://plus.google.=
com/_/notifications/emlink?emr=3D13582153857752024032&emid=3DCMDjr5qli7cCFa=
YYQAodDnoAAA&path=3D%2F105016684496602932564&dt=3D1368180409794&uob=3D14" s=
tyle=3D"$ij.linkStyle">Bruno Woltzenlogel Paleo</a> invited frogs.list@gmai=
l.com to this event. <a href=3D"https://plus.google.com/_/notifications/eml=
ink?emr=3D13582153857752024032&emid=3DCMDjr5qli7cCFaYYQAodDnoAAA&path=3D%2F=
_%2Fnonplus%2Femailsettings%3Fest%3DADH5u8VX_1mCKwbW9qPAhFob-m3yRlb7Ouof4Mu=
_Asa6p2yowqtt9D8KtHrd2XfFk3_rKjWRNXICG2JCngAMPNojReXOoUnUB4pWSXBbbY_usj2lnR=
o6A8sWDt7w9kUmH2y-wNbHXIFS&dt=3D1368180409794&uob=3D14" style=3D"color:#336=
6CC;text-decoration:none">Unsubscribe</a> from these emails.</div>
--20cf301d3dd8508f0b04dc5a53a2--