| Revision as of 12:48, 23 September 2008 editRussBot (talk | contribs)Bots1,407,398 editsm Robot-assisted fix links to disambiguation page German← Previous edit | Revision as of 15:12, 23 October 2008 edit undoJosefUrban (talk | contribs)44 editsNo edit summaryNext edit → | ||
| Line 13: | Line 13: | ||
| '''Stephan Schulz''' is a ] ] working in the field of ]. He is best known for the development of the high performance ] which has won the CNF division of the , and has been among the strongest systems in the for several years (coming second in the . In 2002, Schulz was recognized for the best paper by ]<ref name="f2002">{{cite journal|date=2002-12|title=Flairs 2002 Conference Report|journal=AI Magazine|url=http://www.accessmylibrary.com/coms2/summary_0286-27024342_ITM}}</ref> and has been published in his field.<ref>{{cite web|url=http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html|title=DBLP Bibliography |publisher=Universitat Trier|accessdate=2008-09-16}}</ref> | '''Stephan Schulz''' is a ] ] working in the field of ]. He is best known for the development of the high performance ] which has won the CNF division of the , and has been among the strongest systems in the for several years (coming second in the . In 2002, Schulz was recognized for the best paper by ]<ref name="f2002">{{cite journal|date=2002-12|title=Flairs 2002 Conference Report|journal=AI Magazine|url=http://www.accessmylibrary.com/coms2/summary_0286-27024342_ITM}}</ref> and has been published in his field.<ref>{{cite web|url=http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html|title=DBLP Bibliography |publisher=Universitat Trier|accessdate=2008-09-16}}</ref> | ||
| Together with ], he has founded and has been organizing the which became a venue for presentation and publishing of practically oriented Automated Reasoning research. He has been also significantly involved with the ] about implementations of logics, and is a member of the Steering Committee of the ]. | |||
| ==References== | ==References== | ||
Revision as of 15:12, 23 October 2008
 | The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Stephan Schulz" – news · newspapers · books · scholar · JSTOR (September 2008) (Learn how and when to remove this message) |
| Stephan Schulz | |
|---|---|
| Nationality | German |
| Known for | E equational theorem prover |
| Scientific career | |
| Fields | Computer Technology |
Stephan Schulz is a German computer scientist working in the field of automated reasoning. He is best known for the development of the high performance E equational theorem prover which has won the CNF division of the CASC-17 competition, and has been among the strongest systems in the CASC competition for several years (coming second in the FOF division of CASC in 2008. In 2002, Schulz was recognized for the best paper by FLAIRS and has been published in his field.
Together with Geoff Sutcliffe, he has founded and has been organizing the ES* Workshop series which became a venue for presentation and publishing of practically oriented Automated Reasoning research. He has been also significantly involved with the IWIL Workshop series about implementations of logics, and is a member of the Steering Committee of the International Workshop on First-Order Theorem Proving.
References
- "Flairs 2002 Conference Report". AI Magazine. 2002-12.
{{cite journal}}: Check date values in:|date=(help) - "DBLP Bibliography". Universitat Trier. Retrieved 2008-09-16.
External links
 | This biography of an academic is a stub. You can help Misplaced Pages by expanding it. |