satlive/website

SAT Live! web site

website's Issues

XML feed contains links to localhost

The current deployed feed.xml contains several links to localhost:4000, but it should be http://www.satlive.org/ instead.

How was the site built?

Allow to automatically generate tag pages

Currently, the tags added to each post are linked to a web page filtering the posts to the only ones containing that tag.

Such page as to be created manually right now. It would be simple to generate them from the tags found in the posts.

The <li> in the navigation should be "active"

The part of code generated in the file "_includes/header.html" by this part :

{% for page in site.pages %} {% if page.title %}
• {{ page.title }}
{% endif %} {% endfor %}

Should put an 'class="active"' on the "li" where we are currently on.

403 Forbidden on one link : http://www.innovation.it.uts.edu.au/lab/index.html

The link which is in the footer (Sat Live! has been created and hosted from 2000 to 2014 by the http://www.innovation.it.uts.edu.au/lab/index.html ) is dead.

Should be removed or replaced.

http://www.satlive.org/ est inaccessible

Hi, here are the logs when I try to connect to the website.

This site can’t be reached
www.satlive.org’s server IP address could not be found.
Search Google for satlive org
ERR_NAME_NOT_RESOLVED

Recent news about SAT : date should be the date of the Event ?

An interesting feature should be to put the date of the event in the <span class="label label-default">Date of the event</span>.

Because for now, the displayed date is the <span class="label label-default">Date of the post</span> so if a post is made a long time in advance, the event can be "lost" under all the posts who are post more recently...

For example, the ACAI’15 Summer School is posted on the 20th may 2015 but the event starts on the 26th of October.

That means that if we are on the beginning of October and we want to find the post about this event, we have to scroll through all the events who were posted between the 20th may and the beginning of October, which is not convenient to find something that happen in only few days.

Proposition of display the list of news

Because for now, the tag is not very visible.
(In fact, I just payed attention few minutes ago.)

Why we don't put the tag on the same line as the title (with a margin : 5px; for when we are on smartphone) like this :

We can also put an assigned color of label for each tag, to be able to recognize them from far.
It will be more attractive for the eye.

Broken link for book "Boolean models.." on home page

The link for the "Boolean models and methods in mathematics, computer science, and engineering" book (third on the "SAT related books" right pane of http://www.satlive.org/) is broken.
It is currently to
http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=0521847524
That should be to
http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521847520

Bon travail !

New Feature : Historic between news

By seeing this new event (pull request #22), It would be interesting to make a link with :

Deadline extended : http://www.satlive.org/2015/04/23/sat2015-cfp.html
First deadline : http://www.satlive.org/2015/04/03/sat2015-cfp.html

To have the "history" of one event, from the first call of papers until the real event.

Move books to a separate page

The books about SAT are currently displayed on the side. I am thinking about moving them on a separate web page.

Feedback about this idea is welcome.

Upcoming deadlines should precise the year

Upcoming deadlines should precise the year.

For example the event AIML'16 is scheduled on the August 1st.
But it's in 2016, not 2015 as we could believe, even if in this case it's obvious (because of '16), on another event, it could create a confusion..

How to notify users without sending emails?

Due to heavy spamming, many IAP greylist smtp server sending emails to lists of people.

SatLive! currently provides an RSS flux for notifying users but they are not all happy with that.

One specific solution does exist for Apple/Safari fans: there is a notification system which can be used to notify users of new resources on the web site.

There is probably an alternatives for Google/Android/Chrome. Not sure about Windows.

Any ideas welcome.

Add the category "Modal-Logic"

In the file website/solvers.html :

Modal SAT solvers

{% include solverspanel.html title="Modal Logic Formulas solvers" tags="Modal-Logic" %}

Where can be add :

• InKreSAT : http://www.ps.uni-saarland.de/~kaminski/inkresat/
• StarSAT : http://www.mrg.dist.unige.it/~tac/StarSAT.html
• {all the other famous Modal reasoning solvers}

broken link for book "problème SAT" on home page

The link for the "problème SAT" book (on right, bottom of http://www.satlive.org/) is broken.
It is currently to
http://www.lavoisier.fr/notice/fr423832.html
That should be to
http://www.lavoisier.fr/livre/mathematiques/probleme-sat-progres-et-defis/sais/descriptif-9782746218864