 |
privacy |
||
|
Hangout for experimental confirmation and demonstration of software, computing, and networking. The exercises don't always work out. The professor is a bumbler and the laboratory assistant is a skanky dufus.
Blog Feed Recent Items 
The nfoCentrale Blog Conclave nfoCentrale Associated Sites |
2006-08-12Federated Logic: The FLoC CommunityAt the official kick-off of the 2006 Federated Logic Conference this morning, there were some interesting observations provided prior to the Plenary address by Carnegie Mellon’s Randal Bryant. {tags: orcmid FLoC2006 Logic Conference Microsoft Research Computational Logic} The Computational Logic CommunityGeneral Chair Moshe Vardi pointed out what a rich and deep field computational logic has become. There is a mailing list of over 10,000 names across the participating organizations. The typical individual conferences attract around 200 people and are highly-specialized. The occasional Federated Logic Conference (FLoC), brings together these focused communities in three rings under one big tent (in the case of 2006). This is an amazing opportunity for the different communities, researchers, and students to partake of all of them. Although someone can simply stay in the sessions registered for, it is permissible to take advantage of any event happening in the parallel conferences. We also share the same hotel ballroom area, break area, and schedules, so that it is easy to move between tracks and to mingle with the broad community. Conference Co-Chair Thomas Ball provided further details about this jamboree of six conferences and 41 workshops:
There were 1200 paper submissions. This is an explosive expansion of an arcane field. One feature, that I discovered as I visited the different sessions, is that the field is producing remarkable successes that have extremely-valuable applications. The Presence of Microsoft ResearchI moved from Seattle to the Northeastern United States in 1961, and did not return until I left Silicon Valley in 1999. In the time since, I have enjoyed living in the gravity well of Redmond. There are many benefits to software developers and computer scientists simply from being in the neighbouring community and able to participate in Microsoft-sponsored activities. So I understand the benefit and enjoyment of such a strong software development and computer science community. Most recently, participation in lang.NET 2006 was a direct benefit. What was startling for me at FLoC was the depth of gratitude to Microsoft Research for the generous sponsorship and participation in FLoC 2006. It is becoming clear that not only is Microsoft generous in its support for serious computer-science research in many forms, but it provides one of the most open and visible industrial research organizations on the planet. Whatever happens with intellectual-property transfer into products, I sense a great community commitment by Microsoft researchers and support of that level of visibility and contribution by the corporation. This strikes me as a clear demonstration of enlightened self-interest at work, including Microsoft’s strenuous effort in cultivating the attraction of students to computation-oriented careers and computer science. I don’t know how well-recognized this might be in academic circles. It is quite startling to open my eyes to how much there is this support separated from the Microsoft product-centric promotional and educational activities. That’s great too, but to see the devotion to applied and theoretical research is exciting.
|
||
|
You are navigating Orcmid's Lair. |
template
created 2004-06-17-20:01 -0700 (pdt)
by orcmid |