
	Where results make sense

Topic: Dagstuhl

Related Topics

Computer science

Eye of the Beholder (computer game)

Lord Hillsborough

Ajda Pekkan

Alexander Blok

Grecia Colmenares

Transformation (genetics)

	Dagstuhl Seminar 06181: Latently Typed Languages
		Dagstuhl features a world-class computer science library, magazines and newspapers, a wine cellar, a good CD collection, musical instruments, pool, ping-pong (table tennis), bicycles, and, most of all, abundant wild fauna in the form of fellow attendees.
		Dagstuhl seminars are not meant to be like typical computer science conferences; rather, they are an opportunity to learn and communicate without being shackled to traditional constraints.
		Dagstuhl has a special rate arrangement with a simple hotel in Mainz right across the street from the main train station; the staff are very friendly and helpful (and fluent in English).
	www.cs.brown.edu /sites/dagstuhl-06181 (1564 words)

	Dagstuhl Seminar: Machine Learning for the Semantic Web
		As Dagstuhl has a limited physical capacity, the seminar is now fully booked, and it is no longer possible to register, even if you recieved an invitation.
		Please note that, as with all Dagstuhl Seminars, participation is strictly by invitation only.
		All seminar participants are requested to submit a 2-4 page extended abstract or position paper describing their work.
	www.smi.ucd.ie /Dagstuhl-MLSW (791 words)

	Computational Complexity: Back in Dagstuhl
		I have attended several Dagstuhl workshops for over twelve years now since the workshop on Structure and Complexity Theory in 1992.
		I have seen Dagstuhl expand and evolve over these years and this is the first time I feel that Dagstuhl has achieved its completed state.
		I love coming here; Dagstuhl has a contained environment in a pretty but boring part of Germany where we complexity theorists give seminars, eat and drink together and talk science and other stuff.
	weblog.fortnow.com /2004/10/back-in-dagstuhl.html (238 words)

	Dagstuhl Seminar #03061 - Sofware Architecture Recovery and Modelling
		Wiki that allows you to share information with other participants ahead of the Dagstuhl seminar (things like extracted facts, visualizations, or design documents).
		If you wish to present your work at the Dagstuhl seminar, you are requested to submit a title and abstract before 1st December 2002.
		The final manuscript is due after the seminar: We would like to give you the chance to work in feedback from the Dagstuhl seminar.
	www.bauhaus-stuttgart.de /dagstuhl (1390 words)

	Dagstuhl
		Schloss Dagstuhl is to German Computer Science what Oberwalfach is to German Mathematics (never having been to the latter, I cannot offer a comparison, but I will say that Dagstuhl is an absolutely superb place to hold a workshop).
		The old part of the castle (rooms, meeting rooms, and the attic), which was built in 1760 and 1890.
		The town of Dagstuhl can be photographed in a 10 minute walk, but that does not do it justice.
	www.cs.yale.edu /homes/douglas-craig/ccd-pict-dagstuhl.html (477 words)

	Grand Challenges for Modeling and Simulation Seminar at Dagstuhl (Site not responding. Last check: 2007-10-11)
		The Dagstuhl seminar on Grand Challenges for MandS was dedicated to continuing this dialogue, with the goal of condensing ideas into a set of Grand Challenge problem statements that might serve to guide strategic research initiatives in modeling and simulation for the next decade.
		The seminar was a truly interdisciplinary event and all participants played an active role in driving the progress and content of the workshop.
		As always, Schloss Dagstuhl and its ambiance, its unusual blend of the old with the new, the organization, and the very helpful staff contributed largely to the success of the seminar.
	www.modelingandsimulation.org /issue4/aurmacher.htm (793 words)

	[No title] (Site not responding. Last check: 2007-10-11)
		Title : Conference: Dagstuhl International Conference on Molecular Bioinformatics in Dagstuhl, Germany, July 10-14, 1995 Abstract : Since the discovery in 1953 of the double helix by Watson and Crick, a great deal of effort has gone into the determination of RNA, DNA, and protein sequences.
		Efforts in this direction are being made in many parts of the world; there is a continuing need for a comprehensive international conference to bring together leading researchers who use a variety of disparate approaches and techniques.
		The Dagstuhl seminar on molecular bioinformatics is designed to address this continuing need.
	www.cs.utexas.edu /users/yguan/NSFAbstracts/Abstracts/BIO/DBI.BIO.a9503470.txt (191 words)

	Generic Programming: Followup to a Dagstuhl Seminar (Site not responding. Last check: 2007-10-11)
		A Dagstuhl Seminar on the topic of Generic Programming was held April 27--May 1, 1998, with forty seven participants from ten countries.
		Plans for a proceedings volume of papers submitted after the seminar that present (possibly extended) discussions of the topics covered in the lectures, problem sessions, and the panel session.
		The list will also be included in some form in the proceedings volume as it exists at the time the volume is finalized.
	www.cs.rpi.edu /~musser/gp/dagstuhl/gpdag.html (272 words)

	Dagstuhl Seminars (Site not responding. Last check: 2007-10-11)
		Norbert Fuhr, Norbert Gövert, Gabriella Kazai, Mounia Lalmas (Eds.): Proceedings of the First Workshop of the INitiative for the Evaluation of XML Retrieval (INEX), Schloss Dagstuhl, Germany, December 9-11, 2002.
		Hans Hagen, Guido Brunnett, Heinrich Müller, Dieter Roller (Eds.): Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997.
		Peter Schefe, Heiner Hastedt, Yvonne Dittrich, Geert Keil (Eds.): Informatik und Philisophie [Dagstuhl, 21.-25.
	www.informatik.uni-trier.de /~ley/db/conf/dagstuhl (2832 words)

	Nisus Inc. - (Site not responding. Last check: 2007-10-11)
		Nisus has been invited to present at the 2002 Dagstuhl Seminars.
		Participation is by invitation only and is restricted to a select group of technology thought leaders from the industry and academia, all over the globe.
		Every year approximately 2,000 thought leaders from all over the world attend the 30-35 Dagstuhl Seminars.A Dagstuhl Seminar serves to gather a group of scientists in Dagstuhl who wish to jointly delve into and work on a computer science topic for a week.
	www.nisusinc.com /news3.html (182 words)

	IBFI Schloss Dagstuhl - Seminar Proceedings - Computational Geometry
		The Proposal Short Title is "Dagstuhl", and the Event Short Title is "Dagstuhl Seminar".
		This source of scientific information will be requested and cited because of the topicality and up-to-dateness of the publication and the quality of the Dagstuhl seminars.
		The contents will be uploaded by the participants bit by bit and archived in Dagstuhl.
	page.mi.fu-berlin.de /~rote/Dagstuhl (287 words)

	GI-Dagstuhl-Seminar: Game-Theoretic Analyses of the Internet
		It is planned to collect the papers in a seminar volume and publish it in an appropriate form.
		The seminar is organized as Dagstuhl-Seminar No. 04362, from August 30th to September 3rd, in the International Conference and Research Center for Computer Science at Schloss Dagstuhl.
		Dagstuhl lies about halfway between Saarbrücken and Trier.
	ls2-www.cs.uni-dortmund.de /gi-seminar (593 words)

	Dagstuhl Seminar 9743 (Site not responding. Last check: 2007-10-11)
		By a group of French researchers, a first draft of a basic textbook on tree automata was presented.
		We also like to thank Reinhard Wilhelm and the peaple at Dagstuhl who really made it a pleasure to organize the workshop.
		We all felt that Dagstuhl did a very good job in providing us with a friendly and stimulating surroundings for our work.
	xml.coverpages.org /seidl-TreesSeminar.html (692 words)

	Dagstuhl Seminar on Directed Model Checking
		Since the requirements of the these two phases are not the same, different heuristic search strategies apply.
		As one outcome of the Dagstuhl seminar entitled Verification of Large State Spaces in November 2001 headed by Vardi, Nebel and Dean, it was concluded that the liaison between AI planning and verification has a large potential.
		This observation has, amongst others, also been instrumental in the initiation of the DFG funded Transregio SFB AVACS (Automated Verification and Analysis of Complex Systems), in which heuristic techniques play an important role.
	ls5-www.cs.uni-dortmund.de /~edelkamp/dagstuhl (826 words)

	Dagstuhl Seminar on Integrative Bioinformatics
		These tools also represent the backbone of the concept of the Virtual Cell, which was the scientific topic of the Dagstuhl Seminar on Integrative Bioinformatics: Aspects of the Virtual Cell 2004.
		We would like to thank Schloss Dagstuhl International Conference and Research Center for Computer Science for accepting our proposal.
		The Dagstuhl Seminar Integrative Bioinformatics - Aspects of the Virtual Cell, which was held in Dagstuhl July 2004, was the fourth Dagstuhl Seminar of Modeling Metabolic Networks (1995, 1998 and 2001).
	www.bioinfo.de /isb/2004/05/0009/main.html (639 words)

	Dagstuhl-Seminar Grand Challenges for Modeling and Simulation (Site not responding. Last check: 2007-10-11)
		We seek to stimulate a dialogue among the community of modeling and simulation researchers and practitioners regarding where our community is and ought to be going.
		The Dagstuhl seminar shall be dedicated to condensing ideas and proposals into a set of Grand Challenges that help propelling and monitoring the research progress in modeling and simulation.
		If you have questions concerning accomodation, travel, conference facilities at Dagstuhl, you might wish to contact Dagstuhl.
	www.informatik.uni-rostock.de /~lin/GC (167 words)

	Dagstuhl · 2003
		The meeting took place in the Schloss Dagstuhl.
		One outcome of this week was the decision to create a European group under the acronym MAP for "Mathematics, Algorithms, Proofs".
		As we said in our proposal: "If there is enough common interests and good interactions during the week, the Dagstuhl seminar could be the starting point of a european proposal on the same topic, with more ambitious goals." This is indeed what happened.
	map.unican.es /dagstuhl (1661 words)

	Schloss Dagstuhl : Seminar Homepage
		Competitive algorithms were first investigated in 1969 in a paper by Graham dealing with online scheduling and in 1974 in the Ph.D. thesis of David Johnson dealing with online bin packing.
		The Dagstuhl seminar on the design and analysis of competitive algorithms will communicate new results and continue the momentum in this rapidly developing area.
		Reports of the previous Seminars of the same topic are still available at Dagstuhl office or via the Dagstuhl webserver:
	www.dagstuhl.de /02271 (418 words)

	Dagstuhl Seminar on Ubiquitous Computing
		The International Conference and Research Center for Computer Science at Schloss Dagstuhl has a tradition of organizing seminars of high international standard on cutting-edge topics in computer science.
		The idea of the seminars is to gather a group of 30-40 leading scientists and young promising researchers to jointly discuss key ideas and research directions in their field in the very special atmosphere of the castle.
		The Dagstuhl Seminar on Ubiquitous Computing was organized by Gaetano Boriello (Univ. of Washington/Intel Research), Hans-Werner Gellersen (Univ. of Lancaster), and Friedemann Mattern (ETH Zurich).
	www.vs.inf.ethz.ch /events/dag2001 (548 words)

	CCA Net - Dagstuhl Seminar 2001
		It takes place at Schloß Dagstuhl, Wadern, Germany, November 11-16, 2001.
		This Dagstuhl seminar is concerned with the theory of computability and complexity over the real numbers which is built on the Turing machine model.
		The Dagstuhl seminar provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.
	www.informatik.fernuni-hagen.de /import/cca/cca2001 (666 words)

	Schloss Dagstuhl (Site not responding. Last check: 2007-10-11)
		Schloß Dagstuhl is an excellent conference centre in Saarland, Germany, in quiet countryside suitable for long walks near the French border.
		International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991.
		Acknowledgement: Schloß Dagstuhl and CODE'91 workshop participants photographs supplied by Horst Hogenkamp.
	www.jpbowen.com /dagstuhl.html (263 words)

	ANALYSIS of ALGORITHMS HOME PAGE
		The field entertains close ties with a number of areas like discrete mathematics, combinatorial analysis, probability theory, analytic number theory, asymptotic analysis, complexity theory, and sometimes statistical physics.
		hese pages are the initiative of a bunch of people who gathered at a meeting specifically devoted to AofA, in Dagstuhl, Germany, in July 1997.
		It is our objective that the pages become a forum for everyone with research interests in average-case and probabilistic analysis of algorithms.
	algo.inria.fr /AofA (356 words)

	Dagstuhl Seminar "Integration of Functional and Logic Languages"
		Dagstuhl Seminar "Integration of Functional and Logic Languages"
		The abstracts of the talks given at the workshop can be found in the list of abstracts, which is not yet complete.
		Last modified on Wednesday 7 August 1996 at 16:58.
	www.cs.bris.ac.uk /~eder/dagstuhl.html (4001 words)

	Dagstuhl 97: A Mizar demo
		This is a short summary of a Mizar demo performed at the Schloss Dagstuhl Seminar "Deduction" on February 27, 1997.
		I would like to thank the generous German taxpayers who make the Dagstuhl seminars possible and very enjoyable.
		Schwichtenberg asked me for a demo of the Mizar system and suggested that we do a certain logic puzzle put forward by J. Cunningham.
	www.cs.ualberta.ca /~piotr/Mizar/Dagstuhl97 (1426 words)

	The Dagstuhl RPC-Memory Example - A TLA Solution (Site not responding. Last check: 2007-10-11)
		The Dagstuhl RPC-Memory Example is a specification and verification problem written for the Dagstuhl Workshop on Reactive Systems held in Dagstuhl, Germany on 26-30 September, 1994.
		A short (7-page) introduction to what TLA formulas mean.
		It provides the TLA background needed to read the Dagstuhl specification.
	research.microsoft.com /users/lamport/dagstuhl/dagstuhl.html (286 words)

	CCA Net - Dagstuhl Seminar 1999
		The Seminar 99461 on Computability and Complexity in Analysis at Schloß Dagstuhl is organized by
		It takes place at Schloß Dagstuhl, Wadern, Germany, November 14-19, 1999.
		Already for a long time physicists, engineers, mathematicians and other scientists are spending large amounts of computing resources on computations over the real numbers.
	cca-net.de /cca99 (283 words)

	Dagstuhl-Seminar Verification and Simulation of Dynamic Systems (Site not responding. Last check: 2007-10-11)
		The Dagstuhl Seminar is dedicated to intensifying this dialogue, stimulating the exchange of ideas, and to condensing them into proposals for common research.
		We focus on the representation and analysis of systems with a heterogeneous nature, e.g.
		PLEASE NOTE: As the Dagstuhl seminar starts at Tuesday due to Eastern, it will end at Saturday the 22nd of April around noon (and not like most seminars in Dagstuhl at Friday).
	www.informatik.uni-rostock.de /~lin/VeriSim (244 words)

	Generic Programming: Followup to a Dagstuhl Seminar -- Lectures
		Generic Programming: Followup to a Dagstuhl Seminar -- Lectures
		There were thirty seven lectures by participants, on topics that can be classified (post-hoc) into the following categories.
		These abstracts will also be printed and distributed to the participants by the Dagstuhl secretariat.
	www.cs.rpi.edu /~musser/gp/dagstuhl/gpdag_5.html (113 words)

	9th CLAM - INKA - OMRS Workshop Cfp
		The CLAM-INKA-OMRS workshop (CIAO-2000) will be held in Dagstuhl from the 20th to the 21st March 2000.
		It is intended to provide a snapshot of research into automating mathematical reasoning, especially in the areas of proof planning, rippling and related areas.
		The workshop will be held at Schloss Dagstuhl.
	www.dfki.de /CIAO-2000 (316 words)

	Dagstuhl Workshop "Mobility and Wireless in EuroNGI"
		It was purchased by the Saarland government in 1989 for the purpose of setting up the International Conference and Research Center for Computer Science.
		Every year approximately 2,000 research scientists from all over the world attend the 30-35 Dagstuhl seminars and other events hosted at the center."
		Note that registration is mandatory since rooms will be blocked by the workshop organizers either at castle Dagstuhl or at surrounding hotels.
	www-i4.informatik.rwth-aachen.de /content/dagstuhl.htm (477 words)

Try your search on: Qwika (all wikis)