Stephan Schulz

About Me

• A short biography and some links about my previous and present work can be found on my official page.
• My CV.
• My publications.

About my Work

• I work in the field of automated deduction. My primary research aims at finding better methods for theorem proving in first-order logic with equality. Much of my work is embodied in the equational theorem prover E, one of the most powerful and well-behaved fully automatic theorem provers for first-order logic with equality.
• Most of my publications are available online.
• I've co-initiated a series of workshops on Empirically Successful Topics in Automated Deduction and co-organized most of the workshops.
• I'm also fairly deeply involved with the International Workshop on the Implementation of Logic series, and was either organizer, invited speaker, or PC member for all workshops in the series.
  • Reunion Workshop on Implementations of Logic, Reunion Island, 2002 (invited participant)
  • 2nd International Workshop on Implementation of Logics, Havana, Cuba, 2001 (PC chair and co-organzier)
  • 3rd International Workshop on the Implementation of Logics, Tbilisi, Georgia, 2002 (PC member)
  • 4th International Workshop on the Implementation of Logics, Almaty, Kazakhstan, 2003 (invited speaker)
  • 5th International Workshop on the Implementation of Logics, Montevideo, Uruguay, 2005 (PC chair and co-organizer)
  • 6th International Workshop on the Implementation of Logics, Phnom Penh, Cambodia, 2006 (invited speaker)
  • 7th International Workshop on the Implementation of Logics , Doha, Qatar, 2008 (PC chair and co-organizer)
• I served on a number of program committees for various other events.
  • FLAIRS-97 special track on Using AI methods to control automated deduction
  • FLARIS 2000
  • FLAIRS 2001
  • FLAIRS 2002
  • FLAIRS 2003
  • FLAIRS 2004
  • IJCAR-2004 Doctoral Programme
  • FLAIRS 2005
  • CADE 2005
  • LPAR 2005
  • IJCAR 2006
  • FLAIRS 2006
  • FLAIRS 2007
  • FLAIRS 2008
  • FLAIRS 2009
• Other involvments:
  • I have participated in giving a Tutorial on Learning from Previous Proof Experience at CADE-14 in Townsville, Australia.
  • In November 2003, I was elected as a member of the Workshop on First-Order Theorem Proving Steering Comittee.
• I do some hacking either for fun or out of necessity.
  • Some (for small values of "some") useful scripts.
  • The Virtual MCSE is AI application I have developed ;-)

The idea that an arbitrary naive human should be able to properly use a given tool without training or understanding is even more wrong for computing than it is for other tools (eg automobiles, airplanes, guns or power saws).

-Found in a .sig

My Hobbies (and links related to them)

• I'm a member of a illustrious society and I do cook occasionally (both links to German language pages).
• I am interested in building fantasy worlds for roleplaying games. Look at the Networlds in the Net page to find out what kind of worlds have been published on the net. I was part of the now dormant networld project. As there has been some renewed interest in this project I made an old copy of the FAQ available. I also have an old copy of Wizards of the Coast's Envoy, a system-independent format to describe characters for roleplaying games. There is a much nicer copy (apparently of the same text, but in HTML) somewhere else on the net.
• Another of my interests, which probably set off my interest in fantasty roleplaying, is history (For many people this seems to work the other way round ;-). I was the proponent for the Usenet newsgroup soc.history.medieval and maintain a short introductory FAQ for this group.

  I also was one of four proponents for the newsgroup soc.history.ancient, dealing with recorded history up to about the year 700. I created and maintained the first FAQ for the group (the soc.history.ancient Mini-FAQ) for the group. With the help of Joe Bernstein and others, this has by now mutated to two FAQs:

  • [FAQ] Welcome to soc.history.ancient (Netiquette and Net Resources)
    This document deals with the basics of the group.
  • [FAQ] soc.history.ancient: Occasionally Asked Questions
    This is a first attempt at collecting and answering real frequently asked questions for the group.

  I am particularly attracted by naval history. Here is a text about ancient triremes I wrote some time ago (answering some requests from a news group), and which I HTML'ized now. I welcome all comments and would be glad for recommendations about interesting sources in this field.

• Finally, while I am a Hacker, I am quite active physically. Here are some pictures showing me in the great room with the high roof that changes colour all the time. The page might take some time to load...

"If Windows-95 is the answer, how bloody stupid was the question?"

"Windows-95 is not the answer, it is the question. The answer is NO!"

Freedom of Information on the Net

You may consider to display the blue ribbon as a symbol for freedom of expression on the internet as well as everywhere in the world.

Join the Blue Ribbon Anti-Censorship Campaign!

Russ Alberry has written an excellent statement on the Telecommunications Act of 1996 and on freedom of information on the net, titled Defiantly Free. While not quite current, it sums up the feeling of much of the Net back in 1996. Another interesting (if somewhat pompous) text is John Perry Barlow's Cyberspace Independence Declaration.

"Zen is for opening your eyes. Most other religions and occult movements are for putting on cool-looking blindfolds."