Lab for Automated Reasoning and Analysis LARA

SAV'07 Mini projects

2 goals

  • do something interesting
  • practice communication of research results (make results look interesting and promising)

Final result:

  • if implementation, an implemented system
  • in any case: write a 5-10 page paper in conference format, describing
    • why the problem is interesting
    • what was done before
    • what the main idea is
    • what you did (precise description)
    • the most surprising/interesting things you found
    • limitations
    • future directions
  • give a conference-like talk
  • should include a short demo if implementation project

Plan: put all the reports and talks online.

Hints for giving talks:

  • give example as soon as possible, to make what you are talking about concrete, especially if your work involves new concepts
  • try to practice and remember what you want to say on each slide–you do not need to know the exact wording by heart, but you should be comfortable enough with the content that you want to convey that you do not need to think too much
  • look at your audience while talking, try to look at different people at different times
sav07_mini_projects.txt · Last modified: 2007/06/15 12:08 by vkuncak