I am a PhD student in AI4FM project at Newcastle University. I spend my days with formal methods and tools, trying to make theorem proving easier. I am pleased to announce the first. Some documentation has finally caught up with the code, some new shiny features. Have been added, a brand new website. Integration for Isabelle proof assistant. Also, check out the list of closed issues.

Sveiki atvykę į kompiuterijos pasaulį! Tiksliau - tik į mažą šio pasaulio dalį. Ši svetainė skirta norintiems išmokti programavimo ir kitų kompiuterių paslapčių. Kol kas tik pradžia, tad ieškome norinčių domėtis 10-17 metų amžiaus moksleivių - registruokitės. Įv pasiūlymus galima rašyti čia. Skatinti vaikų lavinimą kompiuterijos srityje.

Pritapti mūsų šalyje, išmokti kalbą, suprasti žmones ir tradicijas mainų moksleiviams iš užsienio padeda lietuviškos šeimos, kuriose mokiniai gyvena. Tuo pačiu priimančios šeimos turi galimybę artimiau susipažinti su mokinio šalimi, sužinoti, ką reiškia priimti nepažintą šalį į savo namus ir su ja laikinai gyventi. Paaugliams naujas bendraamžis šeimos narys atveria naujas galimybes bendraujant tarpkultūrinėje erdvėje, lavinant bendravimo įgūdžius ir s.