Call for Papers and Other Useful Academic Information

–===============0275869287==
Content-Type: multipart/alternative;
boundary=”—-=_Part_33045_2650135.1229287408609″
——=_Part_33045_2650135.1229287408609
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Dear Claus Reinke.
I would like to clarify one thing, related to what you said:
> Some of the tools are there, eg
> http://www.informatik.uni-hamburg.de/TGI/PetriNets/introductions/aalst/
> http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/java/
It’s true, but… from a very pratical and simple point of view. Beside
petri-nets, there’s a lot of interesting things […]

The one-sentence answer would be that temporal logic does not
distinguish between conflict of A and B in your sense and
unsatisfiability of A&B, whence any research specifically directed to
conflict per se would most likely start from some other sense of the
word “conflict.”
In more detail, for any logical framework that has a semantics and
includes ordinary conjunction & […]