Please log in if you want to be notified when Volker Sorge is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Volker Sorge is mentioned in an event.

Volker Sorge


Volker Sorge has been associated with 1 event and is connected with Andreas Meier, Christoph Benzmüller and Manfred Kerber. Volker's main research interests are proof planning, mathematics and computer algebra.

Are you Volker Sorge? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Volker an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Volker Sorge Whiteboard


tracker for Volker Sorge


February 23, 2006

13th symposium on the integration of symbolic computation and mechanized reasoning (CALCULEMUS 2006) was added.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.