Edge Rewrite
everything Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a21f0ad30dfdea0a

Jump to content

EACSL

Edit links
From Wikipedia, the free encyclopedia

The European Association for Computer Science Logic (EACSL), founded 14 July 1992,[1] is an international professional non-profit organization representing the interests of its members and promoting computer science logic in the areas of scientific research and education. It supports both basic and application oriented research to advance the connections between basic research and industrial applications. The current president is Prof. Thomas Schwentick (Technical University of Dortmund, Germany).

Each year, the EACSL organizes the international conference Computer Science Logic (CSL)[2] and publishes the associated proceedings, it supports several workshops and summer schools [3] and sponsors the Ackermann Award, the EACSL Outstanding Dissertation Award for Logic in Computer Science. The annual general meeting of members takes place each year during the annual international conference CSL.

References

[edit]
  1. ↑ "". Description of goals from EACSL official website.
  2. ↑ . Complete list of past CSL conferences from DBLP, the Computer Science Bibliography.
  3. ↑ CSL 2013 affiliated Workshops and Summer Schools.
[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=EACSL&oldid=1348222789"