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!

Postings (Most Recent First)

1. 4 March 2005: ACM Doctoral Dissertation Award
2. 2 March 2005: Achieving More Visibility on the Web
3. 24 February 2005: Oded Goldreich's "On our duties as scientists"
4. 17 February 2005: "Engines of Logic" and the ACM Turing Award for 2004
5. 15 February 2005: Model Checking Temporal Logics Along Selected Computation Paths
6. 1 February 2005: Concurrency Column for the February Issue of BEATCS
7. 15 December 2004: Accepted Papers for FOSSACS 2005
8. 8 December 2004: World University Rankings 2004
9. 25 November 2004: Google Scholar, A New Useful Resource
10. 22 November 2004: A Special Issue of TCS on Process Algebra
11. 16 November 2004: Evaluation of Academic Positions at the University of Iceland
12. 10 November 2004: A Good Article Selling Model Checking, Static Analysis and Good Old Compositional Reasoning
13. 5 November 2004: Doron Zeilberger's 61st Opinion
14. 4 November 2004: Six Issues Raised by Baeten and Bergstra --- Eight Years After
15. 2 November 2004: The Equational Theory of the Interrupt Operator
16. 26 October 2004: Persi Diaconis on Collaboration
17. 19 October 2004: Nominations for the Nevanlinna Prize 2006
18. 15 October 2004: Part Two of an Interesting Essay on Alexandre Grothendieck in the Notices of the AMS
19. 12 October 2004: Birds vs Frogs
20. 11 October 2004: Giving Seminars in Israel
21. 8 October 2004: A Dangerous Toy
22. 7 October 2004: A Syntactic Commutativity Format for SOS
23. 5 October 2004: Spar Nord Fondens Research Prize for 2004
24. 30 September 2004: A MacArthur Fellow in (Theoretical) Computer Science
25. 16 September 2004: How Should One Evaluate Collaborative Research?
26. 10 September 2004: A New Journal Devoted to Surveys in TCS
27. 8 September 2004: Two Interesting Essays in the Notices of the AMS
28. 7 September 2004: A Piece by Pawel Sobocinski on Process Congruences from Reaction Rules
29. 6 September 2004: A New Electronic Journal in Theoretical Computer Science
30. 2 September 2004: A Brief Report on the Workshop on Structural Operational Semantics
31. 27 August 2004: A Feynmann Quotation and a Short Paper by Fokkink, Hoepman and Pang
32. 26 August 2004: Open Problems Sessions at Conferences
33. 23 August 2004: Michael Nielsen's "Principles of Effective Research"
34. May 21, 2004: A Piece by Asarin on Challenges in Timed Languages
35. May 7, 2004: Conference vs Journal Publications in Computer Science
36. May 6, 2004: National Academy of Sciences Elects Computer Scientists
37. April 28, 2004: Gödel Prize for 2004
38. April 27, 2004: Miscellaneous News from the Mathematical World: Arbitrarily Long Progressions of Primes and a PhD in Topology in my Extended Family
39. April 26, 2004: A Paper on Power Bisimulation
40. April 23, 2004: Turing Award for 2003
41. April 21, 2004: On the Importance of Technique
42. April 2, 2004: A FOSSACS 2004 Paper by Wan Fokkink and Sumit Naim
43. April 1, 2004: Concurrency Theory at LICS 2004
44. March 31, 2004: Robert B. Laughlin on "Truth, Ownership, and Scientific Tradition"
45. March 24, 2004: A Course on Concurrency Theory and Verification
46. March 16, 2004: Split-2 Bisimilarity May be Equationally Easier then Standard Bisimilarity
47. March 7, 2004: Coin Flipping is Biased
48. February 27, 2004: Failing to Give Proper Credit: Whence Pomsets?
49. February 12, 2004: Special Issue of JLAP on Structural Operational Semantics.
50. February 9, 2004: Teaching Professional Skills to Our Students.
51. February 2, 2004: James Gleick's Biography of Isaac Newton.
52. January 27, 2004: A Workshop on Structural Operational Semantics.
53. January 19, 2004: Concurrency Column in the February 2004 Issue of BEATCS.
54. January 16, 2004: Read Jos Baeten's "A Brief History of Process Algebra".
55. January 8, 2004: Know Your History.
56. December 16, 2003: Concurrency Theory Presence in Spring Conferences 2004.
57. December 12, 2003: Mathematical Prizes Won for Work in Concurrency Theory: When and to Whom?.
58. December 5, 2003: On the Dissemination of Open Problems.
59. November 28, 2003: Richard Hamming on Research.
60. 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)