Papers I find interesting---mostly, but not solely, in Process Algebra---, and some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life.
Tuesday, January 18, 2011
Faculty position in computer systems at Reykjavik University
In order to implement its strategy in research and teaching, the School of Computer Science at Reykjavik University seeks to hire a faculty member for a new academic position in the field of computer systems, broadly construed. We are interested in an ambitious, highly-qualified academic who, apart from developing her/his research programme, is interested in working with existing faculty, and in bridging between research, in one or more of the research areas within the School, in particular artificial intelligence, software engineering and theoretical computer science (the emphasis is mine). See here for the details regarding the position.
Friday, January 14, 2011
Second call for papers: ICALP 2011
The submission server for ICALP 2011 is now open. See the call for papers and the page with information on how to submit. A wonderful piece of news is that the EATCS (partly sponsored by MPI-INF) has provided ten 500-Euro student scholarships. The ten scholarships will be used to support participation of students in ICALP 2011 by covering early registration and possibly some of the local expenses.
I trust that you will consider submitting your best work to one of the three tracks of ICALP 2011. (As PC chair for track B, I am, of course, very keen on seeing many strong submissions to that track of ICALP!) The deadline for submission is February 15, so now is the time to write your paper if you have not already done so.
I trust that you will consider submitting your best work to one of the three tracks of ICALP 2011. (As PC chair for track B, I am, of course, very keen on seeing many strong submissions to that track of ICALP!) The deadline for submission is February 15, so now is the time to write your paper if you have not already done so.
Tuesday, January 11, 2011
Concurrency Column of the BEATCS for February 2011
I have just posted the contribution to the Concurrency Column of the Bulletin of the EATCS for February 2011. It is a piece entitled Sessions, from types to programming languages by Vasco Thudichum Vasconcelos.
I hope that the readers of the column will enjoy it.
Feel free to contact me if you would like to contribute a piece to the Concurrency Column.
I hope that the readers of the column will enjoy it.
Feel free to contact me if you would like to contribute a piece to the Concurrency Column.
Subscribe to:
Posts (Atom)