August 2013 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Thu Aug 8 16:39:47 CEST 2013
Ending: Thu Aug 29 23:37:44 CEST 2013
Messages: 9

• [Proof Complexity] New paper   Albert Atserias
• [Proof Complexity] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement.   S B Cooper
• [Proof Complexity] 2nd CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)   Aleksy Schubert
• [Proof Complexity] FLoC 2014 Second Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna)   Aleksy Schubert
• [Proof Complexity] [SPAM] Your monthly income can be increased to 1950 EURO paid.   karinamcclainwf at math.cas.cz
• [Proof Complexity] [SPAM] Turn your 2 spare hours in a week to 230 Euro helping others   karinamcclainwf at math.cas.cz
• [Proof Complexity] [SPAM] We invite you to earn from 100 Euro per hour in your spare time.   karinamcclainwf at math.cas.cz
• [Proof Complexity] [SPAM] We offer you a personal decision as to earn more without investment.   karinamcclainwf at math.cas.cz
• [Proof Complexity] [SPAM] Take a spare three-hour work week in our clinic and get 580 Eur.   karinamcclainwf at math.cas.cz

Last message date: Thu Aug 29 23:37:44 CEST 2013
Archived on: Thu Aug 29 23:38:01 CEST 2013

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...