Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Luca Aceto's Process Algebra Diary

"I love to do research, I want to do research, I have to do research, and I hate to sit down and begin to do research---
I always try to put it off just as long as I can.
....Isn't there something I can (must?) do first? Shouldn't I sharpen my pencils perhaps?"

--Paul Halmos, I Want to be a Mathematician

What is This Page About?

Together with Wan Fokkink and Anna Ingólfsdóttir, I have been thinking for a while that a way of offering a modest, but hopefully useful, contribution to the healthy development of the field of Process Algebra, broadly construed, would be to develop a collection of web resources devoted to this field.

This collection of pages is intended to be an initial step in this direction. Following the lead of the excellent Computational Complexity Weblog maintained by Lance Fortnow, I plan to use these pages to report on papers I find interesting---mostly, but not solely, in Process Algebra---, some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life.

Eventually, Anna, Wan and I hope to extend these pages to form a more complete web resource for researchers in our field.

Comments on these pages are, of course, most welcome!

I should have now succeeded in making an RSS feed for these pages. I hope that it works for my readers.

Postings (Most Recent First)

1. 9 December 2005: Accepted Papers for FOSSACS 2006
2. 7 November 2005: Looking Back at One's Old Papers
3. 2 November 2005: Making Yourself Known
4. 26 October 2005: Evaluating Computer Scientists and Engineers For Promotion and Tenure
5. 25 October 2005: Knuth Prize 2005 to Yannakakis
6. 14 October 2005: Spinoza Prize 2005 to Alexander Schrijver
7. 11 October 2005: PhD Defences in the Netherlands
8. 10 October 2005: Nobel Prize for Economics to Robert Aumann and Thomas C. Schelling
9. 7 October 2005: Computer Scientists at the International Congress of Mathematicians 2006
10. 23 September 2005: A MacArthur Fellow in Theoretical Computer Science for 2005
11. 11 September 2005: Concurrency Column for October 2005
12. 8 September 2005: IFIP Working Group on Concurrency Theory
13. 2 September 2005: How to Have a Bad Research Career
14. 25 August 2005: Submit Concurrency Theory Papers to FOSSACS 2006!
15. 23 August 2005: A Talk on the Importance of Research
16. 18 August 2005: Report on the Workshop on Algebraic Process Calculi: Keynote Addresses
17. 16 August 2005: Information and Computation: Open Access Experiment
18. 2 August 2005: Essays on Algebraic Process Calculi
19. 5 July 2005: Computer Science at the University of Camerino
20. 29 June 2005: SOS for Higher Order Processes
21. 23 June 2005: Seminar by Robin Thomas at ICE-TCS
22. 22 June 2005: A Twin Posting
23. 9 June 2005: When Is One a Computer Scientist?
24. 7 June 2005: How Many Errors Are Left?
25. 2 June 2005: A Finite Basis For Failure Semantics
26. 26 May 2005: Vardi Guggenheim Fellow 2005
27. 25 May 2005: A Little Essay on Axiomatizing Parallel Composition
28. 24 May 2005: Gödel Prize 2005
29. 23 May 2005: List of Accepted Papers for CONCUR 2005
30. 19 May 2005: Three Open Problems Suggested by Rob van Glabbeek
31. 18 May 2005: George Dantzig (1914-2005) and Saunders Mac Lane (1909-2005)
32. 12 May 2005: Architecture and Computer Science
33. 11 May 2005: Grand Challenges in Computing Research
34. 10 May 2005: RSS Feed
35. 6 May 2005: SCIgen Paper Generator: Prank or Fraud?
36. 3 May 2005: What is Theoretical Computer Science?
37. 2 May 2005: ICE-TCS Opened
38. 21 April 2005: Advice to the Young Concurrency Theorist: Publish Your Results
39. 14 April 2005: An Icelandic Research Centre in Theoretical Computer Science
40. 7 April 2005: A Paper at CALCO 2005 and Self-Doubt
41. 6 April 2005: Concurrency Theory at LICS 2005
42. 31 March 2005: Slides for a First Introductory Talk on the Joys of Bisimulation
43. 29 March 2005: Read "Alfred Tarski: Life and Logic"
44. 18 March 2005: Baeten and Corradini Solve a Long-standing Problem of Milner's
45. 8 March 2005: Christos Papadimitriou's "Turing: A novel about computation"
46. 7 March 2005: Located Actions in Process Algebra with Timing
47. 4 March 2005: ACM Doctoral Dissertation Award
48. 2 March 2005: Achieving More Visibility on the Web
49. 24 February 2005: Oded Goldreich's "On our duties as scientists"
50. 17 February 2005: "Engines of Logic" and the ACM Turing Award for 2004
51. 15 February 2005: Model Checking Temporal Logics Along Selected Computation Paths
52. 1 February 2005: Concurrency Column for the February Issue of BEATCS
53. 15 December 2004: Accepted Papers for FOSSACS 2005
54. 8 December 2004: World University Rankings 2004
55. 25 November 2004: Google Scholar, A New Useful Resource
56. 22 November 2004: A Special Issue of TCS on Process Algebra
57. 16 November 2004: Evaluation of Academic Positions at the University of Iceland
58. 10 November 2004: A Good Article Selling Model Checking, Static Analysis and Good Old Compositional Reasoning
59. 5 November 2004: Doron Zeilberger's 61st Opinion
60. 4 November 2004: Six Issues Raised by Baeten and Bergstra --- Eight Years After
61. 2 November 2004: The Equational Theory of the Interrupt Operator
62. 26 October 2004: Persi Diaconis on Collaboration
63. 19 October 2004: Nominations for the Nevanlinna Prize 2006
64. 15 October 2004: Part Two of an Interesting Essay on Alexandre Grothendieck in the Notices of the AMS
65. 12 October 2004: Birds vs Frogs
66. 11 October 2004: Giving Seminars in Israel
67. 8 October 2004: A Dangerous Toy
68. 7 October 2004: A Syntactic Commutativity Format for SOS
69. 5 October 2004: Spar Nord Fondens Research Prize for 2004
70. 30 September 2004: A MacArthur Fellow in (Theoretical) Computer Science
71. 16 September 2004: How Should One Evaluate Collaborative Research?
72. 10 September 2004: A New Journal Devoted to Surveys in TCS
73. 8 September 2004: Two Interesting Essays in the Notices of the AMS
74. 7 September 2004: A Piece by Pawel Sobocinski on Process Congruences from Reaction Rules
75. 6 September 2004: A New Electronic Journal in Theoretical Computer Science
76. 2 September 2004: A Brief Report on the Workshop on Structural Operational Semantics
77. 27 August 2004: A Feynmann Quotation and a Short Paper by Fokkink, Hoepman and Pang
78. 26 August 2004: Open Problems Sessions at Conferences
79. 23 August 2004: Michael Nielsen's "Principles of Effective Research"
80. May 21, 2004: A Piece by Asarin on Challenges in Timed Languages
81. May 7, 2004: Conference vs Journal Publications in Computer Science
82. May 6, 2004: National Academy of Sciences Elects Computer Scientists
83. April 28, 2004: Gödel Prize for 2004
84. April 27, 2004: Miscellaneous News from the Mathematical World: Arbitrarily Long Progressions of Primes and a PhD in Topology in my Extended Family
85. April 26, 2004: A Paper on Power Bisimulation
86. April 23, 2004: Turing Award for 2003
87. April 21, 2004: On the Importance of Technique
88. April 2, 2004: A FOSSACS 2004 Paper by Wan Fokkink and Sumit Naim
89. April 1, 2004: Concurrency Theory at LICS 2004
90. March 31, 2004: Robert B. Laughlin on "Truth, Ownership, and Scientific Tradition"
91. March 24, 2004: A Course on Concurrency Theory and Verification
92. March 16, 2004: Split-2 Bisimilarity May be Equationally Easier then Standard Bisimilarity
93. March 7, 2004: Coin Flipping is Biased
94. February 27, 2004: Failing to Give Proper Credit: Whence Pomsets?
95. February 12, 2004: Special Issue of JLAP on Structural Operational Semantics.
96. February 9, 2004: Teaching Professional Skills to Our Students.
97. February 2, 2004: James Gleick's Biography of Isaac Newton.
98. January 27, 2004: A Workshop on Structural Operational Semantics.
99. January 19, 2004: Concurrency Column in the February 2004 Issue of BEATCS.
100. January 16, 2004: Read Jos Baeten's "A Brief History of Process Algebra".
101. January 8, 2004: Know Your History.
102. December 16, 2003: Concurrency Theory Presence in Spring Conferences 2004.
103. December 12, 2003: Mathematical Prizes Won for Work in Concurrency Theory: When and to Whom?.
104. December 5, 2003: On the Dissemination of Open Problems.
105. November 28, 2003: Richard Hamming on Research.
106. November 24, 2003: On Collaborative Research.

THESIS: Never let ideology or "good taste" stop you from proving a good theorem. (Saharon Shelah in The Future of Set Theory)