Your SlideShare is downloading. ×
0
Valeria de Paiva Intelligent Systems LabPalo Alto Research Center
    Meetings: CAV, ICLP, IJCAR, LiCS, RTA,     SAT    Workshops: more than 36    More than 800 participants over 2 week...
    Invited speaker of Hylo06, the 5th Hybrid     Logic workshop    Constructive Hybrid Logics and Contexts    Hylo06 f...
    .
    Beautiful lake (Garda) on the foothills of the     Dolomites    lots of culture and good food
    Very good invited speakers: Giunchiglia     (Trento), Breazeal (MIT), Walhster (DFKI)     and Levesque (Toronto)    ...
2006trip report
2006trip report
2006trip report
2006trip report
2006trip report
2006trip report
2006trip report
Upcoming SlideShare
Loading in...5
×

2006trip report

190

Published on

Published in: Technology, Travel
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
190
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Transcript of "2006trip report"

  1. 1. Valeria de Paiva Intelligent Systems LabPalo Alto Research Center
  2. 2.   Meetings: CAV, ICLP, IJCAR, LiCS, RTA, SAT  Workshops: more than 36  More than 800 participants over 2 weeks  Overpriced and tasteless hotel  Lots of interesting work: from Goedel’s influence in CS to model checking overdose
  3. 3.   Invited speaker of Hylo06, the 5th Hybrid Logic workshop  Constructive Hybrid Logics and Contexts  Hylo06 funded by the HyLoMOL project of the Danish Natural Science Research Council, where I’m an International Collaborator…
  4. 4.   .
  5. 5.   Beautiful lake (Garda) on the foothills of the Dolomites  lots of culture and good food
  6. 6.   Very good invited speakers: Giunchiglia (Trento), Breazeal (MIT), Walhster (DFKI) and Levesque (Toronto)  Contributed papers not so good (but maybe it was jet lag..)  4 invited tutorials and 30 workshops!  Presented a paper at Workshop on Context Representation and Reasoning  Two workshops on context…
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×