EACSL

The European Association for Computer Science Logic (EACSL), founded 14 July 1992, is an international professional non-profit organization… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1996-2017
012319962017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual… (More)
Is this relevant?
2016
2016
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual… (More)
Is this relevant?
2015
2015
The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This year, again, the EACSL Ackermann Award is generously… (More)
Is this relevant?
2013
2013
The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the previous three years, the EACSL… (More)
Is this relevant?
2010
2010
This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th… (More)
Is this relevant?
2006
2006
  • CSL
  • 2006
computer science logic 20th international workshop csl 2006 15th annual conference of the eacsl szeged hungary september 25 29… (More)
Is this relevant?
2005
2005
The treasurer and board member of the European Association for Computer Science Logic (EACSL), Prof. Dr. Clemens Lautemann passed… (More)
Is this relevant?
2005
2005
The Ackermann Award is presented to the recipients at the annual conference of the EACSL. The jury is entitled to give more than… (More)
Is this relevant?
1997
1997
  • Lecture Notes in Computer Science
  • 1997
 
Is this relevant?
1996
1996
  • Lecture Notes in Computer Science
  • 1996
 
Is this relevant?