Presentations of research papers and exploratory discussions of broad research areas take place in various informal yet regular meetings throughout the year. Currently, weekly group meetings are held in the areas of design automation and software verification. The pointers on the left provide specific information about the schedule and agenda of these meetings.