Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
teaching:gsoc2015 [2015/03/19 07:22] – [Topic 3: CRAM -- Symbolic Reasoning Tools with Bullet] winkler | teaching:gsoc2015 [2015/03/19 07:24] – [Google Summer of Code 2015] winkler | ||
---|---|---|---|
Line 13: | Line 13: | ||
If you are interested in working on a topic and meet its general criteria, you should have a look at the [[teaching: | If you are interested in working on a topic and meet its general criteria, you should have a look at the [[teaching: | ||
- | For a PDF-version of the ideas page, and a brief introduction of our research group, please see {{: | + | For a PDF-version of the ideas page, and a brief introduction of our research group, please see {{: |
+ | |||
**When contacting us, please make sure you read the description of the topic you are interested in carefully. Only contact the person responsible for the topic / topics you are interested in. We do not have an IRC channel and email correspondence is our preferred way of communication. Please only ask topic-relevant specific questions, otherwise your emails will not be answered due to limited resources we have for processing the vast amount of GSoC inquiries** | **When contacting us, please make sure you read the description of the topic you are interested in carefully. Only contact the person responsible for the topic / topics you are interested in. We do not have an IRC channel and email correspondence is our preferred way of communication. Please only ask topic-relevant specific questions, otherwise your emails will not be answered due to limited resources we have for processing the vast amount of GSoC inquiries** |
Prof. Dr. hc. Michael Beetz PhD
Head of Institute
Contact via
Andrea Cowley
assistant to Prof. Beetz
ai-office@cs.uni-bremen.de
Discover our VRB for innovative and interactive research
Memberships and associations: