Sylvain Schmitz

@SylvainSchmitz

CS Prof at Université de Paris (IRIF). Dabbing in logic, computational complexity, verification, etc.

France
irif.fr/~schmitz/
Vrijeme pridruživanja: prosinac 2011.
8 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @SylvainSchmitz

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @SylvainSchmitz

  1. 28. sij

    Patrice Ossona de Mendez will give a series of lectures on structural sparsity starting tomorrow at : "Low complexity networks: A model theoretical approach to sparsity"

    1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  2. 24. sij

    Due to a staff strike in support of the call of January 22 for a University closedown at the , the activities of the CS Department of the University and are not taking place on January 24. As a consequence, the lectures, seminars and meetings are cancelled.

    6 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Poništi
  3. 8. sij

    A tenured associate professor (maître de conférences) position in theoretical computer science is open at in the lab.

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    1. sij

    Janvier 2010 : je mettais les pieds pour la 1ère fois dans un laboratoire de recherche. Dix ans après, je suis usée et je n’ai aucune perspective d’avenir.

    141 reply 942 proslijeđena tweeta 2.150 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. 17. pro 2019.

    Des salariés de l'Insee mobilisés contre la réforme des retraites via

    Poništi
  6. proslijedio/la je Tweet
    12. stu 2019.

    Come and join my new Automated Reasoning Group at MPI-SWS. I currently have two PhD studentships in automated reasoning, and formal verification in my I would appreciate it if pass this on to those who might be interested.

    11 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  7. 1. stu 2019.

    Gilles Dowek : Des pistes pour sortir de la crise de l’enseignement des sciences -

    1 korisnik označava da mu se sviđa
    Poništi
  8. 23. lis 2019.

    Je viens de tomber sur un livre de Jacques Duparc dont j'ignorais l'existence : _La logique pas à pas_, 2015. (C'est ce qu'on risque en entrant dans une librairie...) Excellente référence, très accessible, pour mes étudiant•e•s de licence.

    1 korisnik označava da mu se sviđa
    Poništi
  9. 4. lis 2019.

    Paris-Saclay : de l'art d'être étudiant au milieu des grues

    Poništi
  10. 28. kol 2019.

    Peut-on faire cours de logique avec des exemples de code en Java™ ? Si les étudiant·e·s n'ont pas suivi de cours de programmation fonctionnelle, ce genre de code doit être assez illisible non ?

    Poništi
  11. 19. kol 2019.

    Interesting thread, that started with Petri nets seen as a modelling formalism vs. a model of mathematical interest

    Odgovor korisnicima @johnregehr @inthehands @hillelogram
    While is being all reasonable, I'm willing to pick this one up. Some framing: 1. Everyone is someone's theoretical, everyone is someone's application. 2. You have to believe in some kind of communal goal : making the world a better place in some way.
    1 korisnik označava da mu se sviđa
    Poništi
  12. 11. srp 2019.

    track B best student paper award to Marie Fortin for her paper "FO = FO^3 for Linear Orders with Monotone Binary Relations"

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    7. svi 2019.

    My foreign colleagues during conferences: "But Julien, how does the French system work?!" A picture is worth a thousand words... most of the time. (source: Cours des Comptes)

    25 replies 258 proslijeđenih tweetova 551 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 25. tra 2019.

    Everything you always wanted to know about the algorithmics of ideals of well-quasi-orders

    2 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    15. tra 2019.

    SIGLOG is delighted to acknowledge the winners of the 2019 Church Prize: Murdoch Gabbay and Andrew Pitts for their contributions to nominal techniques in programming languages. A more detailed announcement will appear on the SIGLOG website shortly.

    5 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  16. 19. ožu 2019.

    The paper is one of the three best paper awards at STOC 2019

    1 proslijeđeni tweet
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. 13. velj 2019.

    The Secret History of Women in Coding

    2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    27. sij 2019.

    The Hard Part of Computer Science? Getting Into Class Is this trend going to spread ?

    2 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  19. 26. sij 2019.

    Bisimulation equivalence of first-order grammars is Ackermann-complete, with Petr Jančar

    3 korisnika označavaju da im se sviđa
    Poništi
  20. 7. sij 2019.

    aujourd'hui nous avons créé la raison d'être de ce Capes informatique et dans quelques années nous créerons probablement une Agrégation d'informatique, c'est donc dès l'année 2020 un Capes informatique qui va voir le jour, c'est une nouvelle extrêmement importante. »

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@SylvainSchmitz još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·