@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -c '$type = "MISC" and note = "talk"' /Users/michael/svnhome/cv/public_bib/my.bib}}

@misc{tum-dtu:tautschnig,
  author = {Michael Tautschnig},
  title = {{Satisfiability Modulo Theories: ABsolver}},
  howpublished = {Joint meeting {DTU}-{TUM}},
  year = {2007},
  address = {Munich, Germany},
  month = may,
  note = {talk},
  pdf = {tum-dtu.pdf},
  flags = {copy,omit}
}

@misc{eth-ox-tud:tautschnig,
  author = {Michael Tautschnig},
  title = {{Query-Driven Program Testing}},
  howpublished = {Joint meeting of groups from Oxford, ETH Z\"urich, and
    FORSYTE},
  year = {2009},
  address = {Stoos, Switzerland},
  month = apr,
  note = {talk}
}

@misc{ist-tuv:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {Joint meeting of Tom Henzinger's group and FORSYTE},
  year = {2010},
  address = {Maria Gugging, Austria},
  month = jan,
  note = {talk}
}

@misc{ist-rse:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {IST / TU Rigorous Systems Engineering Seminar},
  year = {2010},
  address = {Maria Gugging, Austria},
  month = mar,
  note = {talk}
}

@misc{biffl:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {Joint meeting of Quality Software Engineering and FORSYTE groups},
  year = {2010},
  address = {Vienna, Austria},
  month = mar,
  note = {talk}
}

@misc{rise:tautschnig,
  author = {Michael Tautschnig},
  title = {{Tools for Concurrency and Distributed Systems}},
  howpublished = {RiSE Workshop},
  year = {2010},
  address = {Graz, Austria},
  month = feb,
  note = {talk}
}

@misc{bodenmais:tautschnig,
  author = {Michael Tautschnig},
  title = {{A Query Language for Programs}},
  howpublished = {i7@Bodenmais},
  year = {2007},
  month = jul,
  note = {talk},
  flags = {copy,omit}
}

@misc{avm08:tautschnig,
  author = {Michael Tautschnig},
  title = {{FShell: Systematic Test Case Generation for Dynamic Analysis and   Measurement}},
  howpublished = {Alpine Verification Meeting},
  year = {2008},
  address = {Semmering, Austria},
  month = may,
  note = {talk}
}

@misc{kps09:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09)},
  year = {2009},
  address = {Maria Taferl, Austria},
  month = oct,
  note = {talk}
}

This file was generated by bibtex2html 1.99.