Matteo Camilli

@matteocamilli

Research fellow @ Free University of Bozen-Bolzano (Italy), working on software engineering and formal methods.

Milano, Lombardia
Vrijeme pridruživanja: prosinac 2009.

Tweetovi

Blokirali ste korisnika/cu @matteocamilli

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

  1. It's my pleasure to be an invited lecturer at the GSSI international PhD school in the context of the "formal methods at work" course. I'll be talking about "model-based testing under uncertainty" next week. Material and schedule here:

    Poništi
  2. 16. lis 2019.

    I’m officially kicking off my first teaching activity at .. let’s see if students can help me understand wtf a data product is supposed to be ;-)

    Poništi
  3. 28. ruj 2019.

    📢 📢 Two very last days to submit your paper to the 8th ACM SAC track on Software Architectures . Don’t miss it ;-) we call for high quality contributions to theory, technology, and applications

    Poništi
  4. proslijedio/la je Tweet
    23. ruj 2019.

    📢⏳ The SAC submission deadline si getting closer: 1 week left! We are waiting for your contribution to

    Poništi
  5. proslijedio/la je Tweet
    13. ruj 2019.

    [Deadline Extension] We have extended the SAC track deadline. There’s still time to work on your paper! Submit it by Sep 29, 2019. See the CFP at:

    Poništi
  6. proslijedio/la je Tweet

    officially kicking off with a cordial introductory talk by !

    Poništi
  7. 9. ruj 2019.

    Tomorrow morning I’ll be chairing the opening session of . Those at interested in formal methods can join us! Doors are open ;-)

    Poništi
  8. proslijedio/la je Tweet
    5. ruj 2019.

    📢⏳🗓 Only 10 days left! The SAC track submission deadline is Sept, 15th 2019. Don’t miss it! We look forward to receiving your valuable contribution to

    Poništi
  9. 30. kol 2019.

    Packing my stuff during my very last day . Hope you’re not lonely without me. I’m about to write a new chapter of my career as research fellow See you! – mjesto: Dipartimento Di Informatica

    Poništi
  10. proslijedio/la je Tweet
    4. lip 2019.

    📢⏳ deadline si getting closer: 4 days left! There is still enough time to submit..

    Poništi
  11. proslijedio/la je Tweet
    27. svi 2019.

    [Deadline Extension] We have extended deadline. There’s still time to work on your paper! Submit it by June 8, 2019. See the CFP at:

    Poništi
  12. proslijedio/la je Tweet
    16. svi 2019.

    📢⏳🗓 Only two weeks left! submission deadline is 31st May 2019. Don’t miss it! We look forward to receiving your contribution!

    Poništi
  13. proslijedio/la je Tweet
    2. svi 2019.

    [Gentle reminder⏳📄✍️]: (co-located with ) paper submission deadline is less than a month away. See important dates at . We are waiting for your valuable contribution to

    Poništi
  14. proslijedio/la je Tweet
    28. tra 2016.

    I have no special talents. I am only unreasonably persistent.

    Poništi
  15. proslijedio/la je Tweet
    24. tra 2019.

    At his 2019 keynote, Moshe highlights the automated reasoning revolution, detailing the synergies between theory and software engineering

    Poništi
  16. proslijedio/la je Tweet
    3. tra 2019.

    Here a pic from the past edition. This year FAACS is co-located with once again. See dates and the call at our website. We are waiting for your contribution!

    Poništi
  17. proslijedio/la je Tweet
    31. ožu 2019.

    FAACS is a workshop series on Formal Approaches for Advanced Computing Systems. We are going to run it for the 3rd year in a row!

    Poništi
  18. proslijedio/la je Tweet
    2. tra 2019.

    This is one of the workshops organized at waiting for your contributions & participation next Sept in Paris. More details can be found here:

    Poništi
  19. 14. ožu 2019.

    Excited to have a paper accepted at and contribute to such a longstanding community. See you in Aachen ;-)

    Poništi
  20. proslijedio/la je Tweet
    Poništi

Č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:

    ·