Archive for December 8th, 2008

Call for papers: POPL 2010

*********************************************************************
* 37th ACM SIGPLAN-SIGACT Symposium
* on
* […]

December 8th, 2008 | Posted in CFP | Comments Off

[Concurrency] tenure positions at INRIA Rennes for junior and


December 8th, 2008 | Posted in CFP | Comments Off

[Concurrency] Call for Participation - iFM 2009

CALL FOR PARTICIPATION
iFM 2009
7th International Conference on
[…]

December 8th, 2008 | Posted in CFP | Comments Off

Re: [Concurrency] Question about since operator

Dear Ahmed,
Let A be “Prohibition has been repealed” and let B be “Jimmy Carter is
not president.” One cannot say that Jimmy Carter has not been president
since prohibition was repealed. One can however say that Jimmy Carter
is no longer president, that is, B now obtains and your disjunction holds.
Moreover your other disjunct, A -> […]

December 8th, 2008 | Posted in CFP | Comments Off