rfcwalters.blogspot.com
Bob Walters: October 2006
http://rfcwalters.blogspot.com/2006_10_01_archive.html
Monday, October 30, 2006. IFIP WG2.2 40th Anniversary Meeting (4): SOS. I mentioned that the main interest of the meeting for me was the clash of cultures exhibited in the talks of Lamport and Plotkin. I haven't spoken much about the second. Plotkin spoke about the history of Structur(al/ed) Operational Semantics. There is a paper about it, written with somewhat more caution than the talk. Gordon D. Plotkin. The origins of structural operational semantics. Journal. Iv) the fact that programming text beco...
categorytheoryabstracts.blogspot.com
Como Category Seminar Abstracts: March 2006
http://categorytheoryabstracts.blogspot.com/2006_03_01_archive.html
Como Category Seminar Abstracts. Saturday, March 11, 2006. Abstract of talks March 2006. Posted by Robert Walters at 1:22 AM. Friday, March 10, 2006. Abstracts of talks February 2006. Matias Menni (Universidad Nacional de La Plata, Argentina), Some developments on top of a problem posed by Carboni about the exact completion of the classifier of subterminals. This was obviously pointing to the more general problem of characterising the toposes whose exact completions are toposes. In this talk we present a...
categorytheoryevents.blogspot.com
Como Category Seminar Events: December 2007
http://categorytheoryevents.blogspot.com/2007_12_01_archive.html
Como Category Seminar Events. Saturday, December 15, 2007. Meeting in Honour of Bill Lawvere, Como. Como (Italy), January 10, 2008. An informal meeting will be held at the University of Insubria. In Como to celebrate the 70th birthday of Bill Lawvere. The meeting will consist in a series of three lectures entitled. Cohesive toposes: combinatorial and infinitesimal cases". Given by Bill Lawvere, a round table and a social dinner. The lectures will be held in Sala Casartelli (Sala dei Nobel).
rfcwalters.blogspot.com
Bob Walters: December 2005
http://rfcwalters.blogspot.com/2005_12_01_archive.html
Wednesday, December 21, 2005. 5 Sleeping Barber - Tanenbaum's informal description. I include here some quotations from Tanenbaum's book Modern Operating Systems, second edition, Prentice Hall, 2001, since without these it is difficult to discuss the correctness or otherwise of his solution. Page 130. "Our solution uses three semaphores:. Which counts waiting customers (excluding the customer who is in the barber chair, who is not waiting) ,. Which also counts the waiting customers.". Then he does an up.
rfcwalters.blogspot.com
Bob Walters: September 2006
http://rfcwalters.blogspot.com/2006_09_01_archive.html
Wednesday, September 27, 2006. IFIP WG2.2 40th Anniversary Meeting (3): Utility of categories. This comment arises from a question: at one of the coffee breaks a participant asked Furio Honsell. What results can be proved more easily using categories. I think it is a question category theorists should be able to respond to with easily understood examples. X*x-3*y*y = 19 has no solutions in integers (an infinite problem). Proof: consider modulo 4. The left had side can be 0,1 or 2 modulo 4 but never 3.
categorytheoryphotographs.blogspot.com
Categorical Photographs: September 2006
http://categorytheoryphotographs.blogspot.com/2006_09_01_archive.html
Tuesday, September 19, 2006. One of the best sites for categorical photographs is. Http:/ www.iti.cs.tu-bs.de/TI-INFO/koslowj/PHOTOS/math.html. I just noticed some photographs taken at CT2000 - not many of mathematicians, but there are photographs of the amazing room in which the lectures were given:. Http:/ www.maths.mq.edu.au/ steffen/Photos/00-07-15/. Another site with photographs of mathematicians:. Posted by Robert Walters at 8:13 AM. One of the best sites for categorical photographs .
rfcwalters.blogspot.com
Bob Walters: July 2009
http://rfcwalters.blogspot.com/2009_07_01_archive.html
Monday, July 27, 2009. Life in Italy: good news for Insubria. Another evaluation of Universities, this time by Minister Gelmini, and this time it counts: the percentages are increments or decrements of financing. The criterion is "being virtuous". There are significant differences between the order here and that given by Il Sole 24 Ore. 1 Trento 10,69%. 2 Politecnico Torino 5,22%. 3 Politecnico Milano 4,14%. 4 Bergamo 2,82%. 5 Genova 2,52%. 6 Milano-Bicocca 2,51%. 7 Roma 'Foro Italiaco' 2,35%. Life in It...
rfcwalters.blogspot.com
Bob Walters: February 2007
http://rfcwalters.blogspot.com/2007_02_01_archive.html
Wednesday, February 21, 2007. I have finally, after being in Italy for more than 8 years, managed. To get myself a regular homepage at the University here in Como. To see my future blogs go to that page:. Http:/ dscpi.uninsubria.it/staff/Walters. Posted by Robert Walters at 10:20 PM. This blog is a mixture of comments on mathematics, computer science and life in Italy. Most of the posts have come from discussions with. Como Category Archive Mirror. One month away from my computer. My 1992 FTP site.
rfcwalters.blogspot.com
Bob Walters: May 2009
http://rfcwalters.blogspot.com/2009_05_01_archive.html
Friday, May 29, 2009. The decline in scientific responsibility - Impact Factor. I have mentioned in another blog. The decline in responsibility taken by scientists today, which is encouraged by the introduction of numerical valuation of scientific research. Here is a very interesting article. In Italian) by Alessandro Figà-Talamanca about the use of impact factor in judging scientific production. I would like to illustrate the problem with some examples. Posted by Robert Walters at 2:35 AM. Recently beca...
rfcwalters.blogspot.com
Bob Walters: December 2006
http://rfcwalters.blogspot.com/2006_12_01_archive.html
Friday, December 08, 2006. I have come to the conclusion that many scientific works deserves the name formiche mentali. That is to say, complications which prevent thought. If I have the courage I will give some examples. The quadro is by Dino Buzzati, from a series of fictional "ex voto". Posted by Robert Walters at 1:10 AM. This blog is a mixture of comments on mathematics, computer science and life in Italy. Most of the posts have come from discussions with. Como Category Archive Mirror.
