Professional Service
Journals, Conferences, Workshops, and Seminars
| 2014 | PC Chair at the International Symposium on Multiple-Valued Logic (ISMVL) |
| 2014 | Subcommittee Chair for "High-Level/Behavioral/Logic: Synthesis and Optimization" at the Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2013 | PC Member at the International Conference on Computer-Aided Design (ICCAD) |
| 2013 | Guest Editor for a Special Issue on "Reversible Computation" at the ACM Journal on Emerging Technologies in Computing Systems (JETC) |
| 2013 | Organizer of a tutorial on "Design and Verification of Embedded Systems from Natural Language Descriptions" at the Design, Automation & Test in Europe (DATE) |
| 2013 | Member of the Best Paper Award Committee at the Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2012-2014 | PC Member at the Asia and South Pacific Design Automation Conference (ASP-DAC) |
| since 2012 | Member of the Steering Committee for the Conference on Reversible Computation (RC) |
| 2012,2013 | PC Member at the International Symposium on Multiple-Valued Logic (ISMVL) |
| 2012 | Organizer of a Special Session on "Reversible Computation" at the International Symposium on Electronic System Design (ISED) |
| 2012 | Publicity Chair and Member of the Organizing Committee at the International Symposium on Multiple-Valued Logic (ISMVL) |
| 2011 | Co-organizer of the Dagstuhl Seminar "Design of Reversible and Quantum Circuits" |
| 2011 | Program Chair and Co-organizer of the "3rd Workshop on Reversible Computation" (RC) |
| 2010-2011 | Editor for the post-conference proceedings of the Workshop on Reversible Computation published in Springer's Lecture Notes in Computer Science (2011) and the Journal for Multiple-Valued Logic and Soft Computing (2010) |
| 2010 | Organizer of the "2nd Workshop on Reversible Computation" (RC) |
| 2010-2013 | PC Member at the Workshop/Conference on Reversible Computation (RC) |
| 2009-2012 | Member at Large of the IEEE Multiple-Valued Logic Technical Committee |
| 2009-2013 | PC Member at the Genetic and Evolutionary Computation Conference (GECCO) |
| 2009 | Involved in the organization of the Dagstuhl Seminar "Algorithms and Applications for Next Generation SAT Solvers" (organized by Prof. Dr. Bernd Becker, Prof. Valeria Bertacco, Prof. Dr. Rolf Drechsler, and Prof. Masahiro Fujita) |
| 2009 | Involved in the organization of the 21. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) (organized by Prof. Dr. R. Drechsler) |
| 2008 | PC Member at the International Workshop on Boolean Problems (IWSBP) |
Reviewer Activity (selected)
| Wiener Wissenschafts-, Forschungs- und Technologiefonds (Vienna Science and Technology Fund) | |
| IEEE Transactions on CAD of Integrated Circuits and Systems (TCAD) IEEE Transactions on Computers (TC) ACM Computing Surveys INTEGRATION, the VLSI Journal Quantum Information Processing (QIP) Transactions on Design Automation of Electronic Systems (TODAES) International Journal of Circuits, Systems, and Computers (JCSC) Journal of Emerging Technologies in Computing (JETC) Microelectronics Journal (MEJ) Annals of Mathematics and Artificial Intelligence and other journals | |
| Design, Automation and Test in Europe (DATE) Design Automation Conference (DAC) International Conference on Computer-Aided Design (ICCAD) Asia and South Pacific Design Automation Conference (ASP-DAC) Formal Methods in Computer-Aided Design (FMCAD) Great Lakes Symposium on VLSI (GLVLSI) International Symposium on Multiple-Valued Logic (ISMVL) International Conference on VLSI Design (VLSI Design) ACM/IEEE International Conference on Formal Methods and Models for Codesign (Memocode) International Symposium on Rapid System Prototyping (RSP) and other conferences |
Service at the University of Bremen
| 2011-2012 | Exzellenzinitiative des Bundes und der Länder zur Förderung von Wissenschaft und Forschung an deutschen Hochschulen Member of the Preparation Team for the University of Bremen |
| since 2009 | Scientific communication in the Group of Computer Architecture (semi-annual newsletters, press releases, etc.) |
| since 2007 | Member of the Faculty Council of the Department of Mathematics and Computer Science |
| since 2007 | Member and Deputy Member of various appointment committees and postdoctoral lecture qualification committees |
| Member of the Student Representation for Computer Science | |
| 2005-2006 | Member of the Computer Science Committee |
« Home |
University of Bremen |
Faculty 3
My Office
 |
 |
| Building MZH | Room 3485 |
University of Bremen | Faculty 3
Dr. Robert Wille
Bibliothekstraße 1
28359 Bremen
Tel: (421) 63947
Fax: (421) 98-63947
rwille@informatik.uni-bremen.de
Dr. Robert Wille
Bibliothekstraße 1
28359 Bremen
Tel: (421) 63947
Fax: (421) 98-63947
rwille@informatik.uni-bremen.de