原站：http://processalgebra.blogspot.com/

“Process Algebra Diary”的内容更新

累计：217 篇（自 2007-11-17 起）

更新：约4篇/月，最后更新136 天前

Process Algebra Diary

EATCS ballot on the future of the publication of the

today, the european association for theoretical computer science started a ballot on the future of the publication of the proceedings of icalp. this is a very important decision for the eatcs, and for the icalp community in general. as chairman of the publication committee of the eatcs, i urge all the members of the tcs community who have a right to vote... (136 天前)

http://inezha.com/w/zrc7z88g

Process Algebra Diary

Assistant Professor position in Modelling and Analys

perhaps this announcement will be of interest to some of the readers of this blog. imt lucca is an exciting place and there will definitely be some competition for the position. the imt institute for advanced studies lucca invites applications for an assistant professor position in the areas of foundations and formal specification of concurrent (distribu... (136 天前)

http://inezha.com/w/qg3fn88b

Process Algebra Diary

LICS 2012 Test-of-Time Award

the latest issue of the lics newsletter (dated july 29) mentioned the appended information related to the lics 2012 test-of-time award. i strongly encourage the members of the lics community to send their comments to andre scedrov (scedrov@math.upenn.edu, who chairs the award committee. as usual, the committee is faced with a very hard choice and they ca... (153 天前)

http://inezha.com/w/2tah8884

Process Algebra Diary

October 2011 issue of the BEATCS Concurrency Column

i have just submitted the material for the october 2011 issue of the beatcs concurrency column. this instalment of the column consists of a double bill:interval temporal logics: a journey by dario della monica, valentin goranko, angelo montanari and guido sciavicco. [pdf] assertional and behavioral approaches to concurrency by uri abraham. [pdf]the first... (155 天前)

http://inezha.com/w/8scetp8w

Process Algebra Diary

12 PhD positions in Computer Science and Engineering

courtesy of rocco de nicola, here is an exciting opportunity for excellent students, which i am happy to advertise. the institute for advanced studies imt lucca (italy) announces 12 phd positions in computer science and engineering. the deadline for applications is september 28, 2011. imt (http://www.imtlucca.it/) is a research institute located in lucca... (159 天前)

http://inezha.com/w/o132hp81

Process Algebra Diary

PhD positions at the University of Camerino, Italy

emanuela merelli has asked me to circulate the following announcement of eight phd positions at the university of camerino, italy. the deadline for applications is very close, but perhaps some readers (or some of their students) might want to apply. ---------------------we kindly remind you that the phd call for applications at university of camerino is... (177 天前)

http://inezha.com/w/jdas0p8j

Process Algebra Diary

2011 CNRS Silver Medal to Jean Goubault-Larrecq

jean goubault-larrecq receives the 2011 cnrs silver medal. the web site with the list of medal winners states that:la médaille d'argent du cnrs distingue un chercheur pour l'originalité, la qualité et l'importance de ses travaux, reconnus sur le plan national et international.so, jean is recognized for the originality, the quality and the importance o... (219 天前)

http://inezha.com/w/hfcazp8n

订阅者 ( 1 )

相关订阅源