*~

Pipfile.lock

.venv

[[source]]

name = "pypi"

url = "https://pypi.org/simple"

verify_ssl = true

[dev-packages]

[packages]

pelican = "*"

Markdown = "*"

typogrify = "*"

[requires]

python_version = "3"

tag_cloud

=========

This plugin generates a tag-cloud.

Installation

------------

In order to use to use this plugin, you have to edit(*) or create(+) the following files::

      blog/

        ├── pelicanconf.py *

        ├── content

        ├── plugins +

        │     └── tag_cloud.py +

        └── themes

              └── mytheme

                    ├── templates

                    │      └── base.html *

                    └── static

                          └── css

                               └── style.css *

In **pelicanconf.py** you have to activate the plugin::

    PLUGIN_PATHS = ["plugins"]

    PLUGINS = ["tag_cloud"]

Into your **plugins** folder, you should add tag_cloud.py (from this repository).

In your theme files, you should change **base.html** to apply formats (and sizes) defined in **style.css**, as specified in "Settings", below.

Settings

--------

================================================    =====================================================

Setting name (followed by default value)            What does it do?

================================================    =====================================================

``TAG_CLOUD_STEPS = 4``                             Count of different font sizes in the tag

                                                    cloud.

``TAG_CLOUD_MAX_ITEMS = 100``                       Maximum number of tags in the cloud.

``TAG_CLOUD_SORTING = 'random'``                    The tag cloud ordering scheme.  Valid values:

                                                    random, alphabetically, alphabetically-rev, size and

                                                    size-rev

``TAG_CLOUD_BADGE = True``                          Optionnal setting : can bring **badges**, which mean

                                                    say : display the number of each tags present

                                                    on all articles.

================================================    =====================================================

The default theme does not include a tag cloud, but it is pretty easy to add one::

    <ul class="tagcloud">

        {% for tag in tag_cloud %}

            <li class="tag-{{ tag.1 }}">

                <a href="{{ SITEURL }}/{{ tag.0.url }}">

                {{ tag.0 }}

                    {% if TAG_CLOUD_BADGE %}

                        <span class="badge">{{ tag.2 }}</span>

                    {% endif %}

                </a>

            </li>

        {% endfor %}

    </ul>

You should then also define CSS styles with appropriate classes (tag-1 to tag-N,

where N matches ``TAG_CLOUD_STEPS``), tag-1 being the most frequent, and

define a ``ul.tagcloud`` class with appropriate list-style to create the cloud.

You should copy/paste this **badge** CSS rule ``ul.tagcloud .list-group-item <span>.badge``

if you're using ``TAG_CLOUD_BADGE`` setting. (this rule, potentially long , is suggested to avoid

conflicts with CSS libs as twitter Bootstrap)

For example::

    ul.tagcloud {

      list-style: none;

        padding: 0;

    }

    ul.tagcloud li {

        display: inline-block;

    }

    li.tag-1 {

        font-size: 150%;

    }

    li.tag-2 {

        font-size: 120%;

    }

    /* ... add li.tag-3 etc, as much as needed */

    ul.tagcloud .list-group-item span.badge {

        background-color: grey;

        color: white;

    }

By default the tags in the cloud are sorted randomly, but if you prefers to have it alphabetically use the `alphabetically` (ascending) and `alphabetically-rev` (descending). Also is possible to sort the tags by it's size (number of articles with this specific tag) using the values `size` (ascending) and `size-rev` (descending).

from .tag_cloud import *

'''

tag_cloud

===================================

This plugin generates a tag cloud from available tags

'''

from __future__ import unicode_literals

from collections import defaultdict

from operator import itemgetter

import logging

import math

import random

from pelican import signals

logger = logging.getLogger(__name__)

def set_default_settings(settings):

    settings.setdefault('TAG_CLOUD_STEPS', 4)

    settings.setdefault('TAG_CLOUD_MAX_ITEMS', 100)

    settings.setdefault('TAG_CLOUD_SORTING', 'random')

    settings.setdefault('TAG_CLOUD_BADGE', False)

def init_default_config(pelican):

    from pelican.settings import DEFAULT_CONFIG

    set_default_settings(DEFAULT_CONFIG)

    if(pelican):

            set_default_settings(pelican.settings)

def generate_tag_cloud(generator):

    tag_cloud = defaultdict(int)

    for article in generator.articles:

        for tag in getattr(article, 'tags', []):

            tag_cloud[tag] += 1

    tag_cloud = sorted(tag_cloud.items(), key=itemgetter(1), reverse=True)

    tag_cloud = tag_cloud[:generator.settings.get('TAG_CLOUD_MAX_ITEMS')]

    tags = list(map(itemgetter(1), tag_cloud))

    if tags:

        max_count = tags[0]

        min_count = tags[-1]

    steps = generator.settings.get('TAG_CLOUD_STEPS')

    # calculate word sizes

    def generate_tag(tag, count):

        tag = (

            tag,

            int(math.floor(steps - (steps - 1) * math.log(count - min_count + 1)

                / (math.log(max_count - min_count + 1) or 1)))

        )

        if generator.settings.get('TAG_CLOUD_BADGE'):

            tag += (count,)

        return tag

    tag_cloud = [

        generate_tag(tag, count)

        for tag, count in tag_cloud

    ]

    sorting = generator.settings.get('TAG_CLOUD_SORTING')

    if sorting == 'alphabetically':

        tag_cloud.sort(key=lambda elem: elem[0].name)

    elif sorting == 'alphabetically-rev':

        tag_cloud.sort(key=lambda elem: elem[0].name, reverse=True)

    elif sorting == 'size':

        tag_cloud.sort(key=lambda elem: elem[1])

    elif sorting == 'size-rev':

        tag_cloud.sort(key=lambda elem: elem[1], reverse=True)

    elif sorting == 'random':

        random.shuffle(tag_cloud)

    else:

        logger.warning("setting for TAG_CLOUD_SORTING not recognized: %s, "

                       "falling back to 'random'", sorting)

        random.shuffle(tag_cloud)

    # make available in context

    generator.tag_cloud = tag_cloud

    generator._update_context(['tag_cloud'])

def register():

    signals.initialized.connect(init_default_config)

    signals.article_generator_finalized.connect(generate_tag_cloud)

Title: Article1

tags: fun, pelican, plugins

content, yeah!

Title: Article2

tags: pelican, plugins, python

content2, yeah!

Title: Article3

tags: pelican, plugins

content3, yeah!

Title: Article4

tags: pelican, fun

content4, yeah!

Title: Article5

tags: plugins, pelican, fun

content5, yeah!

import unittest

import os

import six

import tag_cloud

from shutil import rmtree

from tempfile import mkdtemp

from pelican.generators import ArticlesGenerator

from pelican.tests.support import get_settings

from pelican.urlwrappers import Tag

CUR_DIR = os.path.dirname(__file__)

CONTENT_DIR = os.path.join(CUR_DIR, 'test_data')

class TestTagCloudGeneration(unittest.TestCase):

    @classmethod

    def setUpClass(cls):

        cls.temp_path = mkdtemp(prefix='pelicantests.')

        cls._settings = get_settings(filenames={})

        cls._settings['DEFAULT_CATEGORY'] = 'Default'

        cls._settings['DEFAULT_DATE'] = (1970, 1, 1)

        cls._settings['READERS'] = {'asc': None}

        cls._settings['CACHE_CONTENT'] = False

        tag_cloud.set_default_settings(cls._settings)

        context = cls._settings.copy()

        context['generated_content'] = dict()

        context['static_links'] = set()

        cls.generator = ArticlesGenerator(

            context=context, settings=cls._settings,

            path=CONTENT_DIR, theme=cls._settings['THEME'], output_path=cls.temp_path)

        cls.generator.generate_context()

    @classmethod

    def tearDownClass(cls):

        rmtree(cls.temp_path)

    def test_tag_cloud_random(self):

        self.generator.settings['TAG_CLOUD_STEPS'] = 10

        self.generator.settings['TAG_CLOUD_BADGE'] = False

        tag_cloud.generate_tag_cloud(self.generator)

        expected = [

            (Tag('pelican', self._settings), 1),

            (Tag('plugins', self._settings), 2),

            (Tag('fun', self._settings), 3),

            (Tag('python', self._settings), 10)

        ]

        six.assertCountEqual(self, self.generator.tag_cloud, expected)

    def test_tag_cloud_badge(self):

        self.generator.settings['TAG_CLOUD_STEPS'] = 10

        self.generator.settings['TAG_CLOUD_BADGE'] = True

        tag_cloud.generate_tag_cloud(self.generator)

        expected = [

            (Tag('pelican', self._settings), 1, 5),

            (Tag('plugins', self._settings), 2, 4),

            (Tag('fun', self._settings), 3, 3),

            (Tag('python', self._settings), 10, 1)

        ]

        six.assertCountEqual(self, self.generator.tag_cloud, expected)

    def test_tag_cloud_alphabetical(self):

        self.generator.settings['TAG_CLOUD_STEPS'] = 10

        self.generator.settings['TAG_CLOUD_SORTING'] = 'alphabetically'

        tag_cloud.generate_tag_cloud(self.generator)

        expected = [

            (Tag('fun', self._settings), 3),

            (Tag('pelican', self._settings), 1),

            (Tag('plugins', self._settings), 2),

            (Tag('python', self._settings), 10)

        ]

        self.assertEqual(self.generator.tag_cloud, expected)

    def test_tag_cloud_alphabetical_rev(self):

        self.generator.settings['TAG_CLOUD_STEPS'] = 10

        self.generator.settings['TAG_CLOUD_SORTING'] = 'alphabetically-rev'

        tag_cloud.generate_tag_cloud(self.generator)

        expected = [

            (Tag('python', self._settings), 10),

            (Tag('plugins', self._settings), 2),

            (Tag('pelican', self._settings), 1),

            (Tag('fun', self._settings), 3)

        ]

        self.assertEqual(self.generator.tag_cloud, expected)

    def test_tag_cloud_size(self):

        self.generator.settings['TAG_CLOUD_STEPS'] = 10

        self.generator.settings['TAG_CLOUD_SORTING'] = 'size'

        tag_cloud.generate_tag_cloud(self.generator)

        expected = [

            (Tag('pelican', self._settings), 1),

            (Tag('plugins', self._settings), 2),

            (Tag('fun', self._settings), 3),

            (Tag('python', self._settings), 10)

        ]

        self.assertEqual(self.generator.tag_cloud, expected)

    def test_tag_cloud_size_rev(self):

        self.generator.settings['TAG_CLOUD_STEPS'] = 10

        self.generator.settings['TAG_CLOUD_SORTING'] = 'size-rev'

        tag_cloud.generate_tag_cloud(self.generator)

        expected = [

            (Tag('python', self._settings), 10),

            (Tag('fun', self._settings), 3),

            (Tag('plugins', self._settings), 2),

            (Tag('pelican', self._settings), 1)

        ]

        self.assertEqual(self.generator.tag_cloud, expected)

if __name__ == "__main__":

    unittest.main()

PY?=python3

PELICAN?=pelican

PELICANOPTS=

BASEDIR=$(CURDIR)

INPUTDIR=$(BASEDIR)/content

OUTPUTDIR=$(BASEDIR)/output

CONFFILE=$(BASEDIR)/pelicanconf.py

PUBLISHCONF=$(BASEDIR)/publishconf.py

SSH_HOST=eosproxey

SSH_PORT=22

SSH_USER=eos

SSH_TARGET_DIR=/var/www/SEFM2020

DEBUG ?= 0

ifeq ($(DEBUG), 1)

	PELICANOPTS += -D

endif

RELATIVE ?= 0

ifeq ($(RELATIVE), 1)

	PELICANOPTS += --relative-urls

endif

help:

	@echo 'Makefile for a pelican Web site                                           '

	@echo '                                                                          '

	@echo 'Usage:                                                                    '

	@echo '   make html                           (re)generate the web site          '

	@echo '   make clean                          remove the generated files         '

	@echo '   make regenerate                     regenerate files upon modification '

	@echo '   make publish                        generate using production settings '

	@echo '   make serve [PORT=8000]              serve site at http://localhost:8000'

	@echo '   make serve-global [SERVER=0.0.0.0]  serve (as root) to $(SERVER):80    '

	@echo '   make devserver [PORT=8000]          serve and regenerate together      '

	@echo '   make ssh_upload                     upload the web site via SSH        '

	@echo '   make rsync_upload                   upload the web site via rsync+ssh  '

	@echo '                                                                          '

	@echo 'Set the DEBUG variable to 1 to enable debugging, e.g. make DEBUG=1 html   '

	@echo 'Set the RELATIVE variable to 1 to enable relative urls                    '

	@echo '                                                                          '

html:

	$(PELICAN) $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS)

clean:

	[ ! -d $(OUTPUTDIR) ] || rm -rf $(OUTPUTDIR)

regenerate:

	$(PELICAN) -r $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS)

serve:

ifdef PORT

	$(PELICAN) -l $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS) -p $(PORT)

else

	$(PELICAN) -l $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS)

endif

serve-global:

ifdef SERVER

	$(PELICAN) -l $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS) -p $(PORT) -b $(SERVER)

else

	$(PELICAN) -l $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS) -p $(PORT) -b 0.0.0.0

endif

devserver:

ifdef PORT

	$(PELICAN) -lr $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS) -p $(PORT)

else

	$(PELICAN) -lr $(INPUTDIR) -o $(OUTPUTDIR) -s $(CONFFILE) $(PELICANOPTS)

endif

publish:

	$(PELICAN) $(INPUTDIR) -o $(OUTPUTDIR) -s $(PUBLISHCONF) $(PELICANOPTS)

ssh_upload: publish

	scp -P $(SSH_PORT) -r $(OUTPUTDIR)/* $(SSH_USER)@$(SSH_HOST):$(SSH_TARGET_DIR)

rsync_upload: publish

	rsync -var --chmod="o+r" --delete $(OUTPUTDIR)/ $(SSH_USER)@$(SSH_HOST):$(SSH_TARGET_DIR)

.PHONY: html help clean regenerate serve serve-global devserver publish ssh_upload rsync_upload

Title: Call for Papers

Date: 2019-11-13 10:20

Authors: Michael Guravage

##### Call for Papers

Title: Committees

Date: 2019-11-13 10:20

Authors: Michael Guravage

##### Committees

Title: Software Engineering and Formal Methods 2020

Date: 2019-11-13 10:20

Authors: Michael Guravage

save_as: index.html

Status: hidden

##### Welcome to SEFM 2020

Title: Programme

Date: 2019-11-13 10:20

Authors: Michael Guravage

##### Programme

Title: Registration

Date: 2019-11-13 10:20

Authors: Michael Guravage

##### Registration

Title: Venu

Date: 2019-11-13 10:20

Authors: Michael Guravage

##### Venu

Title: Workshops

Date: 2019-11-13 10:20

Authors: Michael Guravage

##### Workshops

2019-10-08  Michael Guravage  <guravage@arda.itf.cwi.nl>

	* custom.css: Use Canbria font throughout.

body {

    background-color: white;

}

H1,H3,H4,H5 {

    color: #cf7977;

}

.container H4,H5 {

    color: #cf7977;

    font-weight: bold;

    padding-top:20px;

    padding-bottom:5px;

}

a {

    color: #336699;

}

.jkl {

    color: #cf7977;

    font-style: oblique;

}

html * { 

    font-family: Cambria,Georgia,serif; 

}

<!DOCTYPE html>

<html lang="en" prefix="og: http://ogp.me/ns# fb: https://www.facebook.com/2008/fbml">

<head>

    <title>Archives - SEFM 2020</title>

    <!-- Using the latest rendering mode for IE -->

    <meta http-equiv="X-UA-Compatible" content="IE=edge">

    <meta charset="utf-8">

    <meta name="viewport" content="width=device-width, initial-scale=1.0">

    <link rel="shortcut icon" href="/favicon.ico?v=2" />

        <meta name="author" content="F.S. de Boer" />

    <!-- Open Graph tags -->

        <meta property="og:site_name" content="SEFM 2020" />

        <meta property="og:type" content="website"/>

        <meta property="og:title" content="SEFM 2020"/>

        <meta property="og:url" content=""/>

        <meta property="og:description" content="SEFM 2020"/>

    <!-- Bootstrap -->

        <link rel="stylesheet" href="/theme/css/bootstrap.min.css" type="text/css"/>

    <link href="/theme/css/font-awesome.min.css" rel="stylesheet">

    <link href="/theme/css/pygments/native.css" rel="stylesheet">

    <link rel="stylesheet" href="/theme/css/style.css" type="text/css"/>

        <link href="/static/css/custom.css" rel="stylesheet">

</head>

<body>

<div class="navbar navbar-default navbar-fixed-top" role="navigation">

    <div class="container">

        <div class="navbar-header">

            <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-ex1-collapse">

                <span class="sr-only">Toggle navigation</span>

                <span class="icon-bar"></span>

                <span class="icon-bar"></span>

                <span class="icon-bar"></span>

            </button>

            <a href="/" class="navbar-brand">

SEFM 2020            </a>

        </div>

        <div class="collapse navbar-collapse navbar-ex1-collapse">

            <ul class="nav navbar-nav">

                         <li><a href="/pages/call-for-papers.html">

                             Call for Papers

                          </a></li>

                         <li><a href="/pages/committees.html">

                             Committees

                          </a></li>

                         <li><a href="/pages/programme.html">

                             Programme

                          </a></li>

                         <li><a href="/pages/registration.html">

                             Registration

                          </a></li>

                         <li><a href="/pages/venu.html">

                             Venu

                          </a></li>

                         <li><a href="/pages/workshops.html">

                             Workshops

                          </a></li>

            </ul>

            <ul class="nav navbar-nav navbar-right">

            </ul>

        </div>

        <!-- /.navbar-collapse -->

    </div>

</div> <!-- /.navbar -->

<!-- Banner -->

<!-- End Banner -->

<!-- Content Container -->

<div class="container">

    <div class="row">

        <div class="col-sm-9">

    <section id="content">

      <h1>Archives for SEFM 2020</h1>

        <div id="archives">

        </div>

    </section>

        </div>

        <div class="col-sm-3" id="sidebar">

            <aside>

<!-- Sidebar -->

<section class="well well-sm">

  <ul class="list-group list-group-flush">

<!-- Sidebar/Links -->

<li class="list-group-item">

  <h4><i class="fa fa-external-link-square fa-lg"></i><span class="icon-label">Links</span></h4>

  <ul class="list-group" id="links">

    <li class="list-group-item">

      <a href="https://cwi.nl" target="_blank"><img src="https://www.cwi.nl/logo.png" width="150px"></a>

    </li>

    <li class="list-group-item">

      <a href="https://www.cwi.nl/research/groups/formal-methods" target="_blank">CWI Formal Methods Group</a>

    </li>

  </ul>

</li>

<!-- End Sidebar/Links -->

  </ul>

</section>

<!-- End Sidebar -->            </aside>

        </div>

    </div>

</div>

<!-- End Content Container -->

<footer>

   <div class="container">

      <hr>

      <div class="row">

         <div class="col-xs-10">&copy; Centrum Wiskunde en Informatica -  F.S. de Boer

            <!-- &middot; Powered by <a href="https://github.com/getpelican/pelican-themes/tree/master/pelican-bootstrap3" target="_blank">pelican-bootstrap3</a>, -->

            <!-- <a href="http://docs.getpelican.com/" target="_blank">Pelican</a>, -->

            <!-- <a href="http://getbootstrap.com" target="_blank">Bootstrap</a> -->

            <!-- -->

         </div>

         <div class="col-xs-2"><p class="pull-right"><i class="fa fa-arrow-up"></i> <a href="#">Back to top</a></p></div>

      </div>

   </div>

</footer>

<script src="/theme/js/jquery.min.js"></script>

<!-- Include all compiled plugins (below), or include individual files as needed -->

<script src="/theme/js/bootstrap.min.js"></script>

<!-- Enable responsive features in IE8 with Respond.js (https://github.com/scottjehl/Respond) -->

<script src="/theme/js/respond.min.js"></script>

</body>

</html>

<!DOCTYPE html>

<html lang="en" prefix="og: http://ogp.me/ns# fb: https://www.facebook.com/2008/fbml">

<head>

    <title>Authors - SEFM 2020</title>

    <!-- Using the latest rendering mode for IE -->

    <meta http-equiv="X-UA-Compatible" content="IE=edge">

    <meta charset="utf-8">

    <meta name="viewport" content="width=device-width, initial-scale=1.0">

    <link rel="shortcut icon" href="/favicon.ico?v=2" />

        <meta name="author" content="F.S. de Boer" />

    <!-- Open Graph tags -->

        <meta property="og:site_name" content="SEFM 2020" />

        <meta property="og:type" content="website"/>

        <meta property="og:title" content="SEFM 2020"/>

        <meta property="og:url" content=""/>

        <meta property="og:description" content="SEFM 2020"/>

    <!-- Bootstrap -->

        <link rel="stylesheet" href="/theme/css/bootstrap.min.css" type="text/css"/>

    <link href="/theme/css/font-awesome.min.css" rel="stylesheet">

    <link href="/theme/css/pygments/native.css" rel="stylesheet">

    <link rel="stylesheet" href="/theme/css/style.css" type="text/css"/>

        <link href="/static/css/custom.css" rel="stylesheet">

</head>

<body>

<div class="navbar navbar-default navbar-fixed-top" role="navigation">

    <div class="container">

        <div class="navbar-header">

            <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-ex1-collapse">

                <span class="sr-only">Toggle navigation</span>

                <span class="icon-bar"></span>

                <span class="icon-bar"></span>

                <span class="icon-bar"></span>

            </button>

            <a href="/" class="navbar-brand">

SEFM 2020            </a>

        </div>

        <div class="collapse navbar-collapse navbar-ex1-collapse">

            <ul class="nav navbar-nav">

                         <li><a href="/pages/call-for-papers.html">

                             Call for Papers

                          </a></li>

                         <li><a href="/pages/committees.html">

                             Committees

                          </a></li>

                         <li><a href="/pages/programme.html">

                             Programme

                          </a></li>

                         <li><a href="/pages/registration.html">

                             Registration

                          </a></li>

                         <li><a href="/pages/venu.html">

                             Venu

                          </a></li>

                         <li><a href="/pages/workshops.html">

                             Workshops

                          </a></li>

            </ul>

            <ul class="nav navbar-nav navbar-right">

            </ul>

        </div>

        <!-- /.navbar-collapse -->

    </div>

</div> <!-- /.navbar -->

<!-- Banner -->

<!-- End Banner -->

<!-- Content Container -->

<div class="container">

    <div class="row">

        <div class="col-sm-9">