| English | Japanese | CSPSAT (until FY2011) |
CSPSAT2 (until FY2014) |
Cloud (until FY2015) |
CSPASP (since FY2015) |
|
| News | Project | Seminar Meeting |
Publication Software |
News
| 2019.8.1 | 12th CSPSAT Seminar will be held on August 28 and 29! URL |
| Prof. Danile Le Berre and Prof. Morgan Magnin give invited talks! | |
| 2019.2.15 | 7th CSPSAT3 meeting will be held on March 15! URL |
| 2018.9.18 | 6th CSPSAT3 meeting will be held on October 18 and 19! URL |
| 2018.3.5 | 5th CSPSAT3 meeting will be held on March 29 and 30! URL |
| 2017.10.5 | 11th CSPSAT and ASP Seminar will be held on November 14 and 15! URL |
| Prof. Torsten Schaub (a leading researcher in Answer Set Programming) will give an invited talk! | |
| 2016.6.2 | 10th CSPSAT Seminar will be held on November 14 and 15! URL |
| Prof. Danile Le Berre (the developer of Sat4j running on Eclipse) will give an invited talk! | |
| 2016.4.7 | The web page of CSPSAT3 has launched! |
| If you are interested, please look our past related projects: CSPSAT, CSPSAT2, Cloud． | |
| Our other active project about Constraint Answer Set Programming, CSPASP is also ongoing. |
