Přejít k navigační liště

Zdroják » Různé » Open-source řešení v sítích

Open-source řešení v sítích

Články Různé

[Tisková zpráva] Slezská univerzita v Opavě, Obchodně podnikatelská fakulta v Karviné, Ústav informačních technologií a Liberix, o.p.s. vás zvou na konferenci věnovanou svobodnému softwaru. Akce se koná 29. 10. 2009 v prostorách Obchodně podnikatelské fakulty v Karviné.

Konference je určena široké odborné i neodborné veřejnosti. Hlavním cílem je propagace svobodného softwaru a jeho možností s ohledem na síťové technologie. Součástí budou i praktické ukázky některých řešení a možnost vyzkoušet si konfiguraci služeb či softwaru. Po skončení konference bude vydán sborník příspěvků na CD (včetně ISBN).

Organizační výbor žádá všechny zájemce o aktivní i pasivní účast, aby se na konferenci registrovali na adrese ors.slu.cz. Registrace účastníků zajistí hladký průběh akce a snadné zpracování dotazníků a soutěží, které jsou připravovány.

Call for papers

Programový výbor tímto oslovuje zájemce o vystoupení na konferenci, aby se na stránce ors.slu.cz registrovali se svými anotacemi. Z dodaných příspěvků bude sestaven elektronický sborník. Vítáme také každou pomoc či nabídku spolupráce.

Generální partner konference je společnost Tieto, hlavním partnerem je UNIS computers.

Komentáře

Odebírat
Upozornit na
guest
0 Komentářů
Nejstarší
Nejnovější Most Voted

TypeScript 7 v Go: rychlejší buildy, chybějící API

Betaverze TypeScriptu 7.0 ukazuje víc než rychlejší tsc. Microsoft převádí kompilátor a jazykovou službu z původní kódové základny psané v TypeScriptu a běžící jako JavaScript do Go, přidává paralelní typovou kontrolu a připravuje novou editorovou část postavenou na LSP. Pro část nástrojů ale nepůjde o prostou výměnu binárky: TypeScript 7 zatím nemá stabilní náhradu dnešního Compiler API.

Prolog nezmizel. Jen dnes žije v jiných nástrojích

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.