Logic Colloquium LC 2010 - Laboratoire Preuves, Programmes et
Contents
1. re thyme roasted lamb andouillette small sausage made of chitterlings and lemon pie with meringue Menus 20 euros 23 euros wine not included Chartier 7 rue du Faubourg Montmartre 75009 Paris Tel 01 47 70 86 29 The last bouillon of the Chartier brothers check Vagenende above that still bears their name The setting less dashing than Vagenende wood brass and glass revolving doors boxes where regular customers used to keep their own napkins hasn t change since its opening in 1896 Simple and cheap cooking style Come early the line can be long Pizza C sar 50 avenue des Gobelins 75013 Paris Tel 01 43 31 62 32 E Riad Nejma 141 rue St Martin 75004 Paris Tel 01 42 78 35 00 Morocco restaurant in the heart of historical Paris a true ambiance of the 1000 nights Suko Thai 12 rue du P re Gu rin 75013 Paris Tel 01 45 81 55 88 Menu at 40 euros Le train bleu Gare de Lyon 20 boulevard Diderot 75012 Paris Tel 01 43 43 09 06 Imposing 1900 style setting the walls are covered with statues golden ornaments and paintings by celebrities of the time showing the regions of France crossed by the former railway company PLM Paris Lyon Marseille Menu 52 euros wine included Ze Kitchen Galerie 4 rue des Grand Augustins 75006 Paris metro St Michel Tel 01 44 32 00 32 Definitely contemporary atmosphere Around 70 euros but very imaginative2. 14 30 Anderson Koponen Ditchev Surowik Dimitr ou Heister F T St pie 14 30 15 00 Oger Gyenis Sagi Nikolova Gencer De Smet a ed L Stepien 15 00 15 30 Onay Pinsker Ospichev Cati Kurili Herbelin Ilik 16 00 16 30 Vasilyev Loginov Mirek Usuba Gaspar An Chubaryan 16 30 17 00 S gi S k Elageili Main 30 17 gi erans ageili 7 D y Nemoto Ar Chubaryan Abajyan 17 00 17 30 Palacin Filatov Torres Banquet et Sorties BANQUET Le banquet aura lieu la Cit internationale universitaire mercredi 28 juillet 19h30 la salle des f tes de la fondation Biermans Lap tre maison de la Belgique 9A bd Jourdan 75014Paris Concert d orgue Un concert d orgue aura lieu pour les congressistes le jeudi 29 juillet 20h l glise American Church in Paris 65 quai d Orsay 75007 Paris Organiste V rouchka Nikitine Balade en v lo Paris Montparnasse parc de Sceaux Jeudi 29 juillet 14h au pied de la tour Montparnasse face la gare SNCF m tro Montparnasse inscription l avance au secr tariat mardi au plus tard Description de l excursion disponible au secr tariat du congr s Sur les traces du Moyen ge Paris Promenade pied au quartier Latin et Saint Germain des Pr s Rdv 14h sur le parvis devant le Panth on face rue Soufflot RER B Luxembourg ou bus 89 Inscription l avance au secr tariat mardi au plus tard v nements culturels Paris Voici
3. 70 00 10 Cha ne de caf Indiana Caf 78 av de France 75013 Paris Tex mex En remontant la rue de Tolbiac La Zygoth que 15 rue de Tolbiac 75013 Paris T l 01 45 83 07 48 Cuisine frangaise Grande s lection de whisky Menus d jeuner 16 euros diner compter 30 la carte Casa Tino 43 rue de Tolbiac 75013 Paris T l 01 45 84 28 22 Restaurant italien pizzeria Maki Sushi Tokyo 44 rue de Tolbiac 75013 Paris T l 01 45 84 54 41 Restaurant sushis Caf du Commerce 46 rue de Tolbiac 75013 Paris r de Patay T l 01 45 83 02 56 Authentique caf brasserie traditionnel Brasserie La Roseraie 47 rue de Tolbiac 75013 Paris T l 01 45 83 02 56 Authentique caf brasserie traditionnel en face du pr c dent Un peu plus loin Les petits plats 39 Rue des Plantes 75014 Paris T l 01 45 42 50 52 Des plats savoureux en demi portion pour viter de choisir Zongo du ler 15 rue du cygne 75001 Paris T l 01 40 26 27 27 Zongo du 14e 58 rue Daguerre 75014 T l 01 43 20 21 59 Ces deux derniers restaurants sont d di s aux voyages et aux diff rentes cultures une cuisine inventive et color e aux accents lointains O diner le soir Rubrique r dig e par Jean Louis Duret Khadija Bayoud Luc B lair et Marie H l ne Mourgues Bien s r il est inutile de vous signaler Lucas Carton Taillevent ou Pierre Gagnaire et quelques autres mais leurs prix vous arr ter
4. MARTIN FRIEND MONK HERBELIN 16h30 SCHECHTER 17 30 DE CAMPOS ROIZNER PAL LEUTSKY SAJJADI SAVELIEV JERABEK 18 00 SANZ PIECHA 18 00 SCHUSTER LASSERRE HILL PAVLOVIC 18 30 ISHIHARA Mardi 27 juillet Tuesday July 27 Model Comput bt Modal Theory Model P eas 3 and Non Set Proof Schedule Ad Model Computability Philosophy p Applications Theory Theor classical Theory Theory to Algebra d Logics Salle 6C 7C 264E 265E 11E 12E 2A 1A 14 00 HARRISON KR HEN TOFFALORI WANG KARPENKO FORTI 14 30 SHERMOEN B HL 14 30 35 08 BELAIR SCOW GAVRYUSHKINA VATEV MANN RACHUNEK GRZECH FLUMINI 15 00 KIKYO z DOBRINEN IOSTI STUKACHEV YAMALEEV WENMACKERS SALOUNOVA AKIYOSHI 15 30 TSUBOI TORDOCEVIC 16 00 TINCHEV RAMAKRISHNAN MILLER SHAFER VELOSO LUBARSKY BOVYKIN 16 30 Free Sree YANCHEV 16 30 KULIKOV L INNOCENTE LEONTYEVA SANDERS NENCHEV YANOVICH RILEY 17 00 HYTTINEN 17 00 joad THOMAS BAZHENOV YOKOYAMA BOLIBEKYAN MARCONE PEARCE Ces horaires peuvent changer Veuillez v rifier les panneaux d affichage tous les jours This timetable is subject to change Please cheek the apdate beards daily Vendredi 30 juillet Friday july 30 Model Comput abl Modal Theory Model P ze E and Non Set Proof Schedule Qe Model Computability Philosophy Applications Theory classical Theory Theory Theory B to Algebra Logics Salle 6C 7C 264E 265E 11E 12E 2A 1A A A mE Shroeder 14 00
5. infinite denumerable lotteries Veloso Pereira Hermann On what there must be existential validities and some related riddles Nenchev Logics for stable and unstable mereological relations Th orie des mod les et applications en alg bre Model Theory Applications to Algebra Gismatulin Absolutely connected groups Bunina Elementary Typical and Second Order Equivalence of Derivative Models Roizner Elementary equivalence of the automorphism groups of Abelian p groups Lasserre R Thompson s group F is quasi finitely axiomatizable and prime Toffalori The torsionfree part of the Ziegler spectrum of the Klein four group Anderson Linear connections valued D fields and Galois theory Iosti A generalization of the Borel Tits theorem for groupoids Ramakrishnan Definable linear orders in o minimal structures L Innocente Lie algebras and quantum algebras the role of the exponentiation Thomas The density of rational points on certain Pfaffian surfaces B lair Point Definability in valued Ore modules Pal Model theory of multiplicative valued difference fields Onay Linear Hensel property Oger Tilings and associated relational structures Th orie des mod les Model Theory Lieberman Abstract elementary classes and accessible categories Hirvonen Metric classes with generalized isomorphisms Belkasmi Positive logic Harrison Shermoen Independence relations in NTPI theorie
6. of Chicago Center in Paris 6 rue Thomas Mann 75013 Paris next to LC2010 ed Practical Information Registration will start on Saturday July 24 2 00 8 00 p m in Grands Moulins building Entrasce 5 rue Thomas Mann see map Plenary talks will be in room amphitheatre 2A Contributed talks the parallel sessions will take place in the following rooms amphitheatre 1A 2A 6C 7C 11E 12E and room 264E 265E Drinks and food are strictly forbidden in all conference rooms A computer room is available for e mail Directions will be posted In case of emergency you may call or be called at the following number 33 06 73 23 30 03 33 06 73 23 30 16 Address of LC 2010 Location Rue Marguerite Duras 75013 Paris Postal address LC 2010 Universit Paris 7 Denis Diderot Paris 75013 France M tro F Miterrand ligne 14 RER C Smoking is strictly forbidden inside Programmes des conf rences et des cours intensifs Invited speakers et tutorials program Conf renciers invit s Invited speakers F Delon Universit Paris Diderot C minimal structures without density assumption N Gambino Palermo University Homotopy theoretic aspects of Martin L f type theory M Gehrke Nijmegen University Stone duality and recognizability J Y Girard Universit Marseille M diterran e Normativity in logic M Gitik Tel Aviv University TBA V Goranko Tech Univ Denmark Interval temporal logics
7. regularity Y Yin University of Pittsburgh Integration in algebraically closed valued fields with sections Symposium Beytr ge Bernard Bolzano Symposium on the Beytr ge of Bernard Bolzano Co chairs M Detlefsen South Bend et J Floyd Boston P Rusnock University of Ottawa Bolzano on the primitive elements of deductive systems S Russ University of Warwick The mathematical motivation for Bolzano s logic J Sebestik CNRS Paris The significance of Bolzano s Beytr ge zu einer begr ndeteren Darstellung der Mathematik E Symposium sur la simplicit complexit des preuves enjeux math matiques et philosophiques Symposium on Simplicity Complexity of proofs Mathematical and Philosophical Issues Co chairs M Detlefsen South Bend Juliet Floyd Boston and M Rathjen Leeds M Baaz University of Technology Vienna Generalization A Carbone Universit Pierre et Marie Curie Proof structures and complexities P Raatikainnen University of Helsinki On the complexity vs the length of a proof Communications libres Contributed talks Calculabilit Computability Kolodziejczyk Transferring methods from open induction to sharply bounded induction Cordon Franco Fernandez Margarit Lara Martin On conservation results for conditional axiom schemes in first order Arithmetic Sajjadi Regular and semi regular cuts in models of bounded arithmetic Schuster Ishihara On the contrapos
8. 7 T l 01 44 18 61 10 Site web du lieu www musee rodin fr Le jardin du mus e est aussi tr s agr able Palais de Tokyo Dynasty 13 avenue du Pdt Wilson Paris 16e 75016 http www dynasty expo com Juste en face le mus e d art moderne de la ville de Paris et un agr able restaurant avec terrasse et vue sur la tour Effeil Parc de la villette Duane Hanson le r ve am ricain Photographie http www villette com fr parc villette agenda spectacles tous duane_hanson htm Jeu de paume William Kentridge cing themes 1 place de la concorde Paris La Monnaie de Paris Willy Ronis Photographie 11 Quai de Conti75006 Paris www monnaiedeparis fr g me et toujours Centre Pompidou Beaubourg http www centrepompidou fr Lucian freud jusqu au 19 juillet etc Mus e d Orsay http www musee orsay fr fr accueil html Mus e du Louvre Antoine Watteau et l art de l estampe etc http www louvre fr Mus e picasso http www musee picasso fr Et pour se rafraichir la piscine Jos phine Baker sur la Seine Port de la Gare quai Frangois Mauriac 13e O d jeuner midi Restaurant Sodexo R LE Paris Biopark 5 rue Watt 75013 Paris Ouvert en semaine de 11h30 14h00 les moyens de paiements sont Esp ces ou ch ques aux caisses pour acc der ce restaurant il faut porter un badge On peut avoir acc s la Plazza pour l achat de sandwiches salades emporter Vous pouvez acheter vos capsules de caf ou th lo
9. Heidelberg Joins and meets in the computably enumerable cl degrees J Franklin University of Waterloo Difference randomness H Ganchev Sofia University K pairs and the theory of the X enumeration degrees I Kalimullin Kazan State University Limitwise monotonicity and the degree spectra of struc tures Th orie des ensembles Set Theory Co chairs M Dzamonja East Anglia I Juhasz Budapest and B Velickovic Paris A Caicedo Boise State University Go dichotomies S Geschke Free University of Berlin Continuous n colorings on Polish spaces P Komjath E tv s Lor nd University Budapest TBA D Lecomte Universit Pierre et Marie Curie Borel colorings and related problems A Rinot Tel Aviv University Higher Souslin trees constructions K Thompson University of Vienna Factors affecting universality behaviour in graphs Th orie des mod les Model Theory Co chairs T Scanlon Berkeley and F Wagner Lyon E Breuillard Universit Paris XI Approximate groups P Hieronymi Univ of Illinois Urbana Dichotomies for expansions of the real field C Laskowski University of Maryland Data compression and definability of types in stable and dependent formulas J M Lion Universit de Rennes Hausdorff limits of Rolle leaves A Shkop University of Illinois Chicago Pseudoexponential Fields and Shanuel s Conjecture H Towsner University of California Los Angeles Amalgamation and
10. Int 16 ans http www villette com fr parc villette agenda spectacles tous cinema plein air a la villette 2010 htm A noter aussi le cin ma MK2 biblioth que 128 162 av de France 13e deux pas de la Halle aux farines 14 salles climatis es librairies livres DVD musique Musique Trompette et orgues Fr d ric PRESLE uvres de Bach Telemann Vivaldi Haendel Toccata en r mineur pour Grand Orgue de Bach ler ao t 17h Eglise saint Louis en l Ile 19b rue St Louis en l Ile Festival FnacInd tendances Du 23 Juillet 2010 au 14 Ao t 2010 Parvis de l h tel de Ville Musiques pop rock http www infoconcert com festival fnac indetendances 2937 concerts html Th tre La saison est termin e Paris pour les th tres nationaux et les grands th tres consulter l officiel des spectacles Com die Frangaise Salle Richelieu Cyrano de Bergerac d Edmond Rostand mise en sc ne Denis Podalyd s jusqu au 25 juillet Expositions De Greco Dali les grands maitres espagnols Adresse Mus e Jacquemart Andr 158 boulevard Haussmann Paris 8e 75008 www musee jacquemart andre com Mus e Marmottan Monet et l abstraction 2 rue Louis Boilly 75016 Paris France http www marmottan com francais actualites exposition en cours asp Beat Takeshi Kitano Gosse de Peintre Fondation Cartier pour l art contemporain 261 boulevard Raspail Paris 14e 75014 ES Mus e Rodin Corps et D cors 77 rue de Varenne Paris 7e 7500
11. Logic Colloquium LC 2010 ASL European Summer Meeting Kejelle COLLOQUIUM 2010 European Summer Meeting of the Association for Symbolic Logic Paris July 25 31 Universit Paris Diderot la Halle aux Farines Paris La Halle aux Farines 25 31 juillet 2010 Logic Colloquium LC2010 ASL European Summer Meeting Le comit de programme A Atserias Barcelone Z Chatzidakis Paris T Coquand G teborg P L Curien Paris M Detlefsen South Bend C Dimitracopoulos Athens J Floyd Boston I Juhasz Budapest M Magidor Jerusalem M Rathjen pr sident Leeds T Scanlon Berkeley A Soskova Sofia Y Venema Amsterdam Le comit d organisation S Abbes PPS O Ainardi PPS V Balat PPS K Bayoud ELM L B lair ELM T Colcombet LIAFA R Cori pr sident ELM A Durand ELM T Ehrhard co pr sident PPS M Hils ELM R Labib Sami ELM Y Legrandg rard PPS G Malod ELM A Mansuet PPS M H Mourgues ELM C Muhlrad Greif ELM D Pelletier York S P rifel LIAFA J E Pin co pr sident LJAFA F Point ELM P Rozi re PPS T Tsankov ELM B Velikovic ELM L organisation Au niveau international L ASL Association for Symbolic Logic Pr sident Alex J Wilkie Manchester http www aslonline org index htm Au niveau local L Equipe de Logique Math matique ELM ERE3235 CNRS Universit Denis Diderot Directrice Fran oise Delon http www log
12. PS G Malod ELM A Mansuet PPS M H Mourgues ELM C Muhlrad Greif ELM D Pelletier York S P rifel LIAFA J E Pin co pr sident AFA F Point ELM P Rozi re PPS T Tsankov ELM B Velikovic ELM The organisation At the international level ASL Association for Symbolic Logic President Alex J Wilkie Manchester http www aslonline org index htm Locally Equipe de Logique Math matique ELM FRE3233 CNRS Universit Denis Diderot Directrice Fran oise Delon http www logique jussieu fr Preuves Programmes et syst mes PPS UMR 7126 CNRS Universit Denis Diderot Directeur Thomas Ehrhard http www pps jussieu fr Laboratoire d Informatique Algorithmique Fondements et Applications LIAFA UMR7089 CNRS Universit Denis Diderot Directeur Pierre Fraigniaud http www liafa jussieu fr LC 2010 is sponsored by R gion le de France DIGITEO Mairie de Paris Universit Paris 7 Denis Diderot Universit Paris sud Orsay Centre National de la Recherche Scientifique CNRS Institut National de Recherche en Informatique et Automatique INRIA Association for Symbolic Logic ASL Kurt G del Society Satellite Meeting Workshop on Computability Theory 2010 WCT 2nd session July 23 and 24 2010 Paris France Organized par D Hirscheeldt and A Montalban University of Chicago http www math uchicago edu antonio WCTParis html This meeeting is taking place at the University
13. a peut tre Trois bons restaurants Voici 3 tr s bons restaurants tous ceux que nous y avons emmen s sont d accord un prix abordable il est prudent de r server Le d me du Marais Pierre Lecoutre 53 bis rue des Francs Bourgeois 75004 Paris quartier du Marais T l 01 42 74 54 17 http www ledomedumarais fr index html Ferm dimanche et lundi La cuisine vaut le cadre La salle circulaire est l ancienne salle des ventes du Mont de Pi t datant du XVIII i me si cle sous une coupole de verre du XIX i me d o le nom du restaurant Environ 60 euros L avant go t Christophe et Rufine Beaufront 26 rue Bobillot 75013 Paris T l 01 53 80 24 00 http www lavantgout com Ferm dimanche et lundi Le guide Pudlo qualifie la cuisine de ce restaurant de grande cuisine m nag re par ex pot au feu de cochon aux pices Sans doute mais il y a aussi des plats de cuisine cr ative par ex foie gras la vanille C est savoureux et le rapport qualit prix est excellent R servation obligatoire Environ 60 euros vin compris Le Pr Verre Marc et Philippe Delacourcelle 8 rue Th nard 75005 Paris pr s du Coll ge de France T l 01 43 54 59 47 http www lepreverre com Ferm dimanche et lundi Il parait qu on t l phone de Manhattan pour r server dans ce restaurant la cuisine imaginative R servation obligatoire Formule d jeuner 13 50 euros Environ 60 euros vin compris Quelques autre
14. ach Toccata in D minor for organ August 1 5 pm Eglise Saint Louis en l Ile church 19b rue St Louis en l Ile Festival FnacInd tendances From July 23 to August 14 Parvis de l H tel de Ville Pop rock music http www infoconcert com festival fnac indetendances 2937 concerts html Theatre The season is over for the main companies consult L Officiel des spectacles Com die Frangaise Salle Richelieu http www comedie francaise fr Edmond Rostand s Cyrano de Bergerac until July 25 Pretty much sell out but cheaper late tickets available 1 hour before the show maybe not great seating but the hall itself is worth it Exhibitions De Greco Dali les grands ma tres espagnols Mus e Jacquemart Andr 158 boulevard Haussmann Paris 8e 75008 www musee jacquemart andre com Mus e Marmottan Monet et l abstraction 2 rue Louis Boilly 75016 Paris France http www marmottan com francais actualites exposition en cours asp Beat Takeshi Kitano Gosse de Peintre Fondation Cartier pour l art contemporain 261 boulevard Raspail Paris 14e 75014 http fondation cartier com Mus e Rodin Corps et D cors 77 rue de Varenne Paris 7e 75007 Tel 01 44 18 61 10 www musee rodin fr The garden is very peasant Palais de Tokyo Dynasty 13 avenue du Pdt Wilson Paris 16e 75016 http www dynasty expo com Facing the Paris museum of modern art and a pleasant restaurant with a view ont the Eiffel tower Parc
15. ber 77 rue du Chevaleret 75013 Paris Small traditional caf Others Midor 17 rue Fran oise Dolto 75013 opposite rue Marguerite Duras corner T l Le Bio Art 3 quai Frangois Mauriac 75013 Paris pont de Tolbiac Organic products Expensive For the view on the Seine 2 floor Lina s 17 23 rue Olivier Messiaen 75013 Paris Tel 01 45 84 03 36 Chain of sandwich outlet Class Croute 12 rue Neuve de Tolbiac 75013 Paris Tel 01 45 70 00 10 Chain of caf s Indiana Caf 78 av de France 75013 Paris Tex mex Going up on rue de Tolbiac La Zygoth que 15 rue de Tolbiac 75013 Paris Tel 01 45 83 07 48 French cuisine Large selection of whiskies Menus lunch 16 euros dinner 30 euros Casa Tino 43 rue de Tolbiac 75013 Paris Tel 01 45 84 28 22 Italian pizzeria Maki Sushi Tokyo 44 rue de Tolbiac 75013 Paris Tel 01 45 84 54 41 Sushis etc Caf du Commerce 46 rue de Tolbiac 75013 Paris r de Patay Tel 01 45 83 02 56 Traditional caf brasserie Brasserie La Roseraie 47 rue de Tolbiac 75013 Paris Tel 01 45 83 02 56 Traditional caf brasserie facing the preceding Further away Les Petis Plats 39 rue des Plantes 75014 Paris Tel 01 45 42 50 52 Tasting dishes in half portions to avoid choosing Zongo du ler 15 rue du Cygne 75001 Paris Tel 01 40 26 27 27 Zongo du 14e 58 rue Daguerre 75014 Paris Tel 01 43 20 21 59 These tw
16. ccardo Freda special series Tournages from 1910 1939 french german and Hollywood movies http www cinematheque fr Outdoor Cinema La Villette e Theme for the 2010 season being 20 Location Parc de La Villette metro Porte de Pantin showings in Prairie du triangle From July 17th to August 22th Friday July 23 Le Retour Sacha Wolff 2006 26 min Conte d t Eric Rohmer 1996 1 53 France Saturday July 24 La Balade Sauvage Terrence Malick 1974 1 35 USA Sunday July 25 Le Laur at Mike Nichols 1967 1 42 USA Tuesday July 27 Tan de repente Diego Lerman 2002 1 34 France Argentina Wednesday July 28 Les Amants de la nuit Nicholas Ray 1947 1 35 USA Thurday July 29 Cry Baby John Waters 1989 1 30 USA Friday July 30 Pink Cowboy Boots Maria Larrea 2005 11min L Auberge espagnole C dric Klapisch 2001 2 00 France Saturday July 31 Orange m canique Stanley Kubrick 1971 2h16 Great Britain http www villette com fr parc villette agenda spectacles tous cinema plein air a la villette 2010 htm Note the cinema complex MK2 biblioth que 128 162 av de France close to Halle aux Farines 14 air conditioned projection halls most movies in original version with french subtitles 2 shops about cinema books DVD http www mk2 com sallescinema 15 mk2bibliotheque html Music Trumpett and organ Fr d ric PRESLE Music from Bach Telemann Vivaldi Haendel B
17. de France Tel 01 43 54 59 47 http www lepreverre com Closed Sunday and Monday It is said that reservations are made from Manhattan to enjoy this imaginative cuisine It is essential to make a reservation Lunch menu at 13 50 euros Around 60 euros wine included Some other restaurants Au pied de cochon 6 rue Coquilli re 75001 Paris Tel 01 40 13 77 00 An extraordinary 1900 setting for this restaurant specializing in pork meat Open every day 24 hours Between 30 and 60 euros Au chien qui fume 33 rue du Pont Neuf 75001 Paris Tel 01 42 36 07 42 Mackerel rillettes angler with lentils rabbit casserole to savour while watching the wall paintings depicting smoking dogs going about their daily duties Open every day Menu at 40 euros Le cochon l oreille 15 rue Montmartre 75001 Paris Tel 01 42 36 07 56 A bistro where you can eat the plat du jour Superb glazed tiles depicting the Baltard food market s activities Open Tuesday to Friday Vagenende 142 boulevard Saint Germain 75006 Paris latin quarter Tel 01 43 26 68 18 Invented by the butcher Pierre Louis Duval the bouillons were cheap restaurants originally intended for the food market workers In 1895 the Chartier brothers open their first bouillon In 1904 they create the one that will become Vagenende This restaurant has kept its magnificent Art Nouveau decoration The cooking is an honest brasserie style with sole meuni
18. de la Villette Duane Hanson le r ve am ricain Photography http www villette com fr parc villette agenda spectacles tous duane hanson htm Jeu de paume William Kentridge cing th mes Photography amp images in all forms 1 place de la Concorde Paris 8e 75008 http www jeudepaume org La Monnaie de Paris Willy Ronis Photography 11 Quai de Conti Paris 6e 75006 www monnaiedeparis fr And always Centre Pompidou Beaubourg http www centrepompidou fr Mus e d Orsay http www musee orsay fr fr accueil html Mus e du Louvre http www louvre fr Mus e Picasso http ww w musee picasso fr SWIMMING POOL Why not cool off a little by diving in the nearby pool piscine Jos phine Baker on the Seine quai Frangois Mauriac Where to have lunch University dining hall Biopark is nearby follow instructions below You must wear your LC2010 badge Further below is a list of restaurants close to the Halle aux Farines The neighborhood has been and still is in a process of reconstruction and one must admit that the choice is limited You will also find a few caf s and restaurants by going up on rue de Tolbiac or around parc de Bercy across the Seine Access to university dining hall Biopark Leave Halle aux Farines _ on rue Marguerite Duras side Make a left on rue Fran oise Dolto then right on rue Elsa Morante Reach the garden Biopark and get in make a left and enter the bui
19. ique jussieu fr Preuves Programmes et syst mes PPS UMR 7126 CNRS Universit Denis Diderot Directeur Thomas Ehrhard http www pps jussieu fr Laboratoire d Informatique Algorithmique Fondements et Applications LIAFA UMR7089 CNRS Universit Denis Diderot Directeur Pierre Fraigniaud http www liafa jussieu fr Le Colloque LC 2000 est parrain par La r gion le de France DIGITEO La Mairie de Paris L Universit Paris 7 Denis Diderot L Universit Paris sud Orsay Le Centre National de la Recherche Scientifique CNRS Institut National de Recherche en Informatique et Automatique INRIA L Association for Symbolic Logic ASL Kurt G del Society Colloque satellite Workshop on Computability tn 2010 WCT 2e session 23 et 24 juillet 2010 Paris France Organis par D Hirscheeldt et A Montalban cpu ol hicago Cec http www math uchicago edu antonio WCT Paris htm olloque a lieu au centre de l universit de Chicago Paris 6 rue 1 Aone Mann 75013 Paris a deux pas de LC2010 Renseignements pratiques L accueil commencera le samedi 24 juillet de 14h 20h l immeuble des Grands Moulins Acc s par le 5 rue Thomas Mann voir le plan en 3 e page de couverture Les conf rences se tiendront dans l amphith tre 2A Les communications libres pour ces s ances parall les nous disposerons des salles suivantes amphith tres 1A 2A 6C 7C 11E 12E et salles 264E 265E La cons
20. itive of countablechoice Wang Relative enumerability in 1 generics Vatev Properties of Omega Degree Co Spectra Yamaleev Splitting with avoiding cones in Turing degrees Shafer Menger s theorem in x11 CAO Sanders A copy of several Reverse Mathematics Yokoyama Higuchi A nonstandard counterpart of DNR Ditchev On a notion of a structure and its degree Nikolova Uniform Turing admissibility over an arbitrary abstract structure Ospichev Friedberg numberings in Ershov s hierarchy Loginov On reachability problem for hybrid automata on torus Speransky On undecidability of the property of maximal specificity Filatov Trajectory characterization for particular classes of hybrid automata Calculabilit en th orie des mod les Computable Model Theory Goncharov Countable Boolean Algebras and Decidability Gavryushkin New spectra of computable models Leutsky Spectrum of constructive models of uncountably categorical theories Hill p Independence and efficient computability Semukhin Stephan Automatic structures and model theory Gavryushkina On automatic and decidable linear orderings Stukachev Effective presentations of uncountable structures Miller Shlapentok Algebraic fields and computable categoricity Leontyeva Decidability of Boolean algebras with fixed elementary theory Bazhenov On AO a categoricity of the Boolean algebra I c x n Logique modale logiques non classiques M
21. lding on the left The restaurant is on the right after the entrance CASH ONLY no credit card You must ABSOLUTELY WEAR YOUR LC2010 BADGE You can eat a meal for about 10 euros w o drink If you wish a coffee expresso you must ask for a token when paying your meal Coffee is taken in a space adjacent to the restaurant Restaurant schedule Monday thru Friday 11 30 am 2 00 pm Restaurants around 20 euros Caf Biblioth que 162 av de France 75013 Paris cinema MK2 Tel 01 55 75 08 00 French restaurant Lunch menu 16 euros Menu 20 euros Large windows letting much light coming in looking out the Grande Biblioth que Terrasse The Frog amp British Library 114 av de France 75013 Paris near the Grande Biblioth que Tel 01 45 84 34 26 Pub Chain Frogpubs Weekdays 7 30 am 2 00 am weekend noon 2 00 am Microbrewery 6 different beers brewed Terrasse L Avenue 120 av de France 75013 Paris Tel 01 45 85 41 48 Caf brasserie Large terrasse Filo Fromage 12 rue Neuve de Tolbiac 75013 Paris Tel 01 53 79 13 35 Cheese store wines and regional products Plates of cheeses served Room on 1 floor Fish amp Food Caf 25 rue Frangoise Dolto 75013 Paris Fish etc Dupont Caf 84 av de France 75013 Paris Tel 01 44 97 41 84 Caf Large terrasse Le Batofar quai Frangois Mauriac 75013 Paris by the bridge pont de Tolbiac Caf on the dock Le Cha
22. nner The conference dinner will take place at the Cit internationale universitaire Wednesday July 28 7 30PM in the Salle des f tes de la Fondation Biermans Lap tre maison de la Belgique 9A Bd Jourdan 75014 Paris Bike excursion Paris Montparnasse parc de Sceaux Thursday july 29 2p m meeting at tour Montparnasse front of railway station Inscription latest on Tuesday Description of excursion available at office On the track of Middle Age in Paris Thursday july 29 2p m meeting in front of the Pantheon facing rue Soufflot RER B Luxembourg or Bus 89 Inscription latest on Tuesday Organ Recital An organ recital will take place Thursday July 29 8PM at the American Church in Paris 65 quai d Orsay 75007 Paris for the attendents of LC2010 Organist V rouchka Nikitine Culturel events in Paris Here are some cultural events in Paris during LC2010 Of course the best is to buy L Officiel des spectacles for 0 35 in every news stand every wednesday for the coming week http ww w offi fr Cinema La cin math que fran aise 51 rue de Bercy Paris 12 arr Across the river from LC2010 La cin math que fran aise presents showings of movie classics Nice building from architect Frank Gehry on the other side of the park parc de Bercy take passerelle Simone de Beauvoir to cross the Seine in front of the Grande biblioth que bar amp outdoor seating This July August series from Kurosawa Ri
23. o restaurants are dedicated to travels and cultures inventive and colorful cooking with tastes of far away Eating out in the evening By Jean Louis Duret Khadija Bayoud Luc B lair and Marie H l ne Mourgues Of course there are such prestigious names as Lucas Carton Taillevent or Pierre Gagnaire and a few others but their prices might stop you Three good restaurants Here are three good restaurants everyone we took there agreed at a reasonable price it is advisable to make a reservation Le d me du Marais Pierre Lecoutre 53 bis rue des Francs Bourgeois 75004 Paris Marais Tel 01 42 74 54 17 http www ledomedumarais fr index html Closed Sunday and Monday The cooking is worth the setting The circular room is an old salesroom of Mont de Pi t state owned pawnshop dating from the 18 century and dominated by a glass dome from the 19 century whence the restaurant s name Around 60 euros L avant go t Christophe et Rufine Beaufront 26 rue Bobillot 75013 Paris near place d Italie Tel 01 53 80 24 00 http www lavantgout com Closed Sunday and Monday The Pudlo guide describes this restaurant s cooking as great domestic cuisine Undoubtedly but there is also some creative cooking It s tasty and the price quality ratio is excellent It is essential to make a reservation Around 60 euros wine included Le Pr Verre Marc et Philippe Delacourcelle 8 rue Th nard 75005 Paris near Coll ge
24. odal and Non classical Logics Maksimova Joint consistency and weak interpolation over the minimal logic Mendez Robles Salto Relevance logics variable sharing property and the mingle axiom Robles The basic constructive logic for w consistency in the ternary relational semantics with a set of designated points ES Benevides Schechter CCS Based Dynamic Logics Karpenko Weak interpolation property over oK4 Rachunek Monadic algebras of the pseudo basic fuzzy logic Salounova Non commutative generalizations of monadic MV algebras Tinchev Yanchev Generalized graded modal logic tree like models axiomatization and decidability Yanovich Evaluation tree languages Bolibekyan Zaslavsky On the relation between two systems of fuzzy intuitionistic logic Surowik On temporal epistemic logic Gencer de Jongh Extensions of K4 by closed formulas Cacic Towards the normal form theorem for Interpretability logic Mirek Algebras of Relations and the problem of finite axiomatizability Elageili Free Heyting algebras Philosophie Philosophy Pedeferri Friend Formalism or pluralism which better describes mathematical practice Friend Pedeferri Rigor gapless proofs and invariance de Campos Sanz Piecha A criticism of the BHK interpretation Hintikka Are first order set theories misuses of the axiomatic method Mann A logical analysis of the Monty Hall problem Wenmackers Finite and
25. ommation de nourriture ou de boisson est strictement interdite dans les salles de conf rence Une salle informatique sera disponible Mode d emploi sur place En cas d urgence vous pouvez appeler ou vous faire appeler au 33 06 73 23 30 03 33 06 73 23 30 16 L adresse du colloque Localisation Rue Marguerite Duras 75013 Paris Adresse postale LC 2010 Universit Paris 7 Denis Diderot La Halle aux farines Paris 75013 France M tro Biblioth que F Mitterrand ligne14 RERC Interdiction stricte de fumer partout l int rieur Logic Colloquium LC 2010 ASL European Summer Meeting KejeLe COLLOQUIUM 2010 European Summer Meeting of the Association for Symbolic Logic Paris July 25 31 Universit Paris Diderot la Halle aux Farines Paris Halles aux Farines July 25 31 2010 Logic Colloquium LC2010 ASL European Summer Meeting Program Committee A Atserias Barcelone Z Chatzidakis Paris T Coquand G teborg P L Curien Paris M Detlefsen South Bend C Dimitracopoulos Athens J Floyd Boston I Juhasz Budapest M Magidor Jerusalem M Rathjen pr sident Leeds T Scanlon Berkeley A Soskova Sofia Y Venema Amsterdam Organising Committee S Abbes PPS O Ainardi PPS V Balat PPS K Bayoud ELM L B lair ELM T Colcombet LIAFA R Cori pr sident ELM A Durand ELM T Ehrhard co pr sident PPS M Hils ELM R Labib Sami ELM Y Legrandg rard P
26. on qui deviendra Vagenende Ce restaurant a gard sa somptueuse d coration Art Nouveau La cuisine est une honn te cuisine de brasserie avec de la sole meuni re de l agneau r ti au thym une andouillette AAAAA ce qui veut dire qu elle homologu e par l Association Amicale des Amateurs d Andouille et d Andouillette et sa tarte meringu e au citron Menus 20 euros 23 euros hors boisson Chartier 7 rue du Faubourg Montmartre 75009 Paris T l 01 47 70 86 29 EA Le dernier des bouillons des fr res Chartier voir Vagenende plus haut qui porte encore leur nom Le d cor plus modeste que celui de Vagenende bois cuivre et verre porte tambour et bo tes o les habitu s rangeaient leur serviette n a pas vari depuis son ouverture en 1896 Une cuisine simple et tr s conomique Arriver t t car la queue peut tre longue Le train bleu Gare de Lyon 20 boulevard Diderot 75012 Paris T l 01 43 43 09 06 D cor grandiose datant des alentours de 1900 murs recouverts de statues de dorures et de toiles peintes par des c l brit s de l poque qui repr sentent le morceau de France desservie par l ancienne compagnie ferroviaire PLM Paris Lyon Marseille Menu 52 euros vin compris Ze Kitchen Galerie 4 rue des Grand Augustins 75006 Paris m tro St Michel T l 01 44 32 00 32 D cor r solument contemporain et design Environ 70 euros mais tr s imaginatif Conference dinner and Cultural events Conference di
27. quelques indications d v nements culturels Paris pendant la p riode du congr s bien s r le mieux est d acheter l Officiel des spectacles chez tous les marchands de journaux parution tous les mercredi Cin ma La cin math que fran aise 51 rue de Bercy Paris 12 me Tout pr s du lieu du colloque la cin math que fran aise beau b timent de l architecte Frank Gehry dans le parc de Bercy bar en plein air chaises longues En juillet ao t en autre un cycle Kurosawa un cycle Riccardo Freda et le cycle Tournages cin ma fran ais allemand et hollywoodien des ann es 1910 1939 http www cinematheque fr Cin ma en plein air la Villette Th me de l dition 2010 Avoir 20 ans Du 17 juillet au 22 ao t 2010 Prairie du triangle Vendredi 23 juillet Le Retour Sacha Wolff 2006 26 minutes Conte d t Eric Rohmer 1996 1h53 France Samedi 24 juillet La Balade Sauvage Terrence Malick 1974 1h35 USA Int 12 ans Dimanche 25 juillet Le Laur at Mike Nichols 1967 1h42 USA Mardi 27 juillet Tan de repente Diego Lerman 2002 1h34 France Argentine Mercredi 28 juillet Les Amants de la nuit Nicholas Ray 1947 1h35 USA Jeudi 29 juilletCry Baby John Waters 1989 1h30 USA Vendredi 30 juillet Pink Cowboy Boots Maria Larrea 2005 11mn L Auberge espagnole C dric Klapisch 2001 2h00 France Samedi 31 juillet Orange m canique Stanley Kubrick 1971 2h16 Grande Bretagne
28. rs du passage la caisse ou directement au Plazza Nous indiquons ci dessous une liste de restaurants proches de la Halle aux Farines Le quartier est en reconstruction depuis quelques ann es et il faut bien dire que le choix est limit On pourra aussi trouver quelques caf s et restaurants en remontant la rue de Tolbiac ou autour du parc de Bercy en traversant la Seine Acc s au restaurant Biopark Quitter la Halle aux Farines par la rue Marguerite Duras Prendre gauche rue Francoise Dolto puis a droite rue Elsa Morante Au bout de la rue Elsa Morante entrer dans le jardin Biopark se diriger vers la gauche et rentrer dans le D b timent sur la gauche L entr e du restaurant est tout de suite droite Le restaurant est un self service Le payement s effectue la caisse en esp ces ou par ch que bancaire pas de cartes de cr dit Il est indispensable de porter son badge ulii On peut faire un repas complet pour environ 10 euros hors boissons Il y a une caf t ria c t du restaurant Le caf s obtient l aide de jetons que l on se procure soit la caisse de la caf t ria soit celle du restaurant Nous vous recommandons d utiliser la deuxi me solution EE pour viter de faire la queue Horaires d ouverture du restaurant du lundi au vendredi de 11h30 14h00 Restaurants autour de 20 euros menus ou carte Caf Biblioth q
29. s Scow The property T witnesses T F reduction as a tool to characterize classes of theories T Kikyo Tsuboi On generic automorphisms and the strict order property Koponen Random l colourable structures unique colouring and a 0 1 law Gyenis Sagi Morley s theorem in the finite Bodirsky Pinsker Functions on reducts of the random graph Vasilyev Weak one basedness Sagi Vaught s conjecture from the perspective of algebraic logic Palacin On o categorical simple theories Th orie de la preuve Proof Theory Shroeder Heister An alternative implication left schema for the sequent calculus T Stepien L Stepien Atomic Entailment and Classical Entailment Parlemento Previate Partial logic based on equality Gaspar Proof interpretations with truth An Chubaryan Ar Chubaryan Abajyan On the sizes in Frege proofs and substitution Frege proofs Herbelin Ilik Shift and double negation shift Th orie des ensembles Set Theory Juhasz Magidor On the maximal resolvability of monotonically normal spaces Monk Depth in homomorphic images of some special Boolean algebras Savaliev On a question of Mycielski Kurilic Pavlovic Topologies on Boolean algebras generated by sequential convergence Forti Quasi selective and weakly Ramsey ultrafilters Grzech The group of automorphisms of P o fin Dobrinen Todorcevic Continuous maps and structure
30. s restaurants Au pied de cochon 6 rue Coquilli re 75001 Paris T l 01 40 13 77 00 Un extraordinaire d cor 1900 pour ce restaurant sp cialis dans le porc Ouvert tous les jours 24 24h Entre 30 et 60 euros Au chien qui fume 33 rue du Pont Neuf 75001 Paris T l 01 42 36 07 42 Rillettes de maquereaux lotte aux lentilles marmite de lapereau la sauge d guster en regardant les peintures murales qui repr sentent des chiens qui fument en accomplissant leurs activit s quotidiennes Ouvert tous les jours Pizza C sar 50 Avenue Des Gobelins 75013 Paris T l phone 01 43 31 62 32 Riad Nejma Restaurant marocain en plein c ur historique de Paris une v ritable ambiance des mille et une nuits 141 rue St Martin 75004 Paris Tel 01 42 78 35 00 Suko Thai Cuisine Thailandaise raffin e r servation conseill e 12 rue du P re Gu rin 75013 Paris T l 01 45 81 55 88 Menu 40 euros Le cochon l oreille 15 rue Montmartre 75001 Paris T l 01 42 36 07 56 Un bistrot pour manger un plat du jour Au mur superbes faiences repr sentant les activit s des halles de Baltard Ouvert du mardi au vendredi Vagenende 142 boulevard Saint Germain 75006 Paris quartier latin T l 01 43 26 68 18 Invent s par le boucher Pierre Louis Duval les bouillons taient des restaurants bon march destin s d abord aux travailleurs des halles En 1895 les fr res Chartier ouvre leur premier bouillon En 1904 ils cr ent un bouill
31. straddling the decidability border L Haaparanta University of Tempere Logic and Rationality A Husserlian Point of View I Hodkinson Imperial College Algebras of relations some results and methods J Knight University of Notre Dame Comparing classification problems P Koszmider Technical University of Lodz Set theoretic topological methods in Banach spaces J Krajicek Charles University in Prague Towards hard tautologies A MacIntyre Queen Mary University of London TBA P Oliva Queen Mary University of London Sequential games and optimal strategies K Peterzil University of Haifa Abelian varieties their moduli spaces and o minimality G Sundholm Leiden University Archives Poincar Univ Nancy 2 Inference S Thomas Rutgers University A descriptive view of combinatorial group theory A Weiermann Ghent University Recent trends in phase transitions for G del incompleteness T Wilke Kiel University TBA A Wilkie University of Manchester Some model theory for expansions of the complex field by holomorphic functions Cours intensifs Tutorials U Abraham Ben Gurion University Beer Sheva Introduction to the oracle and the oracle proper forcing T Slaman University of California Berkeley Randomness and recursion theory Sessions sp ciales Special sessions Calculabilit Computability Theory Co chairs A Soskova Sofia and A Sorbi Siena K Ambos Spies University of
32. theorems for Tukey types of ultrafilters Lubarsky Feedback ITTMs and X03 Determinacy Kulikov Hyttinen Equivalence relations on the generalized Cantor space Marcone Invariantly universal analytic quasi orders Dimitriou Countable sequences of successive singular cardinals De Smet Thin implies Ramsey template as a source of unprovability results Kurilic Todorcevic Forcing by elementary substructures of the rational line Usuba Unbranched property on singular cadinals Ishihara Nemoto CZF and the notion of set generation Torres Weak Reflection Principle saturation of the nonstationary ideal on o1 and diamonds Par titre By Title C A Oller Parry s analytic implication and genuine rivalry between logics Communications libres Contributed talks Ces horaires peuvent changer Veuillez v rifier les panneaux d affichage tous les jours This timetable is subject to change Please cheek the apdate beards daily Lundi 26 juillet Monday July 26 Model Computable Modal and Theory Model P el Non Set Proof Schedule frin Model Computability Philosophy Applications Theory Theor classical Theory Theory to Algebra y Logics Salle 6C 7C 264E 265E 11E 12E 2A 1A 16 30 13 08 GISMATULLIN LIEBERMAN GONCHAROV KOLODZIEJCZYK PEDEFERRI MAKSIMOVA JUHASZ NALBANDYAN 17 00 BENEVIDES BUNINA HIRVONEN GAVRYUSHKIN LARA
33. ue 162 av de France 75013 Paris cin ma MK2 T l 01 55 75 08 00 Restaurant fran ais Menu midi 16 euros Formule 20 euros Salle lumineuse qui donne sur le parvis de la Grande Biblioth que Terrasse The Frog amp British Library 114 av de France 75013 Paris pr s de la Grande Biblioth que T l 01 45 84 34 26 Pub Cha ne Frogpubs En semaine 7h30 2h weekend 12h 2h Microbrasserie 6 bi res brass es sur place Terrasse L Avenue 120 av de France 75013 Paris T l 01 45 85 41 48 Caf brasserie Grande terrasse Filo Fromage 12 rue Neuve de Tolbiac 75013 Paris T l 01 53 79 13 35 Fromagerie vins et produits r gionaux Assiettes de fromages charcuteries Salle au ler tage Fish amp Food Caf 25 rue Fran oise Dolto 75013 Paris Version parisienne du Fish nChips anglais Dupont Caf 84 av de France 75013 Paris T l 01 44 97 41 84 Caf Grande terrasse Le Batofar quai Frangois Mauriac 75013 Paris pont de Tolbiac Caf sur le quai Le Chaber 77 rue du Chevaleret 75013 Paris Petit caf traditionnel Autres Midor 17 rue Frangoise Dolto 75013 face angle rue Marguerite Duras T l Le Bio Art 3 quai Frangois Mauriac 75013 Paris pont de Tolbiac Bio Cher Pour la vue sur la Seine au ler tage Lina s 17 23 rue Olivier Messiaen 75013 Paris T l 01 45 84 03 36 Chaine sandwicherie Class Croute 12 rue Neuve de Tolbiac 75013 Paris T l 01 45
Download Pdf Manuals
Related Search