novalincs Profile Banner
NOVA LINCS Profile
NOVA LINCS

@novalincs

Followers
131
Following
12
Statuses
29

The NOVA Laboratory for Computer Science and Informatics is a research unit hosted at FCT - Universidade NOVA de Lisboa.

Caparica, Portugal
Joined January 2015
Don't wanna be here? Send us removal request.
@novalincs
NOVA LINCS
8 years
RT @jacomecunha: "Amanhã" vai ser um bom dia para as ciências da computação no DI da…
0
1
0
@novalincs
NOVA LINCS
9 years
We have the pleasure of receiving Jeannette Wing from @MSFTResearch which will tell us about: Computational Thinking
Tweet media one
0
3
6
@novalincs
NOVA LINCS
9 years
Today we commemorate the 40th anniversary of the informatics department at FCT, NOVA University.
Tweet media one
0
3
5
@novalincs
NOVA LINCS
9 years
@vbalegas is taking the floor at @RICONconf 2015 to tell about the quest for invariant-preserving geo-replication.
Tweet media one
0
3
3
@novalincs
NOVA LINCS
9 years
RT @RICONconf: Blog post - learn at #RICON15 Talks by Academia includes @jcaleitao @jmfaleiro @_colin_scott_ @vbale
0
6
0
@novalincs
NOVA LINCS
9 years
RT @RICONconf: University of Lisbon Asst Professor @jcaleitao is speaking at #RICON15 about ‘Geo-replicated Data Stores! http://t.co/zoiwRZ…
0
5
0
@novalincs
NOVA LINCS
9 years
RT @vardi: Again, the Role of Conference Papers in Computer Science and Informatics http://t.co/83FJ5qMHBv
0
29
0
@novalincs
NOVA LINCS
9 years
@vbalegas has taken the floor at #SRDS15 to explain bounded counters. Check the paper in http://t.co/51boz2nu3y http://t.co/a8CQJznxDO
Tweet media one
0
5
7
@novalincs
NOVA LINCS
9 years
@BernyBauer is presenting his work in cloud secure storage and search of images at #SRDS15 http://t.co/2s9KCJDUbo http://t.co/t0ycOZ4bU5
Tweet media one
0
2
5
@novalincs
NOVA LINCS
9 years
@vbalegas one of our PhD students is now presenting his work on invariant repair in W-PSDS collocated with #SRDS15 http://t.co/dwSMAn9QNs
Tweet media one
0
2
9
@novalincs
NOVA LINCS
9 years
Post-doc positions available in multiple areas of computer science. Application deadline: 30/Sep http://t.co/en6jVu15K9
0
4
2
@novalincs
NOVA LINCS
10 years
Seminar: Shape Analysis of low-level list manipulating programs via symbolic memory graphs, Tomas Vojnar, 17/Jun@14h, http://t.co/AcfxcIVou7
0
0
0
@novalincs
NOVA LINCS
10 years
Today @novalincs we have a talk by Marc Shapiro entitled "Decomposing consistency (it's the invariants, stupid)" http://t.co/nQ3l81c4ti
Tweet media one
0
4
7
@novalincs
NOVA LINCS
10 years
A @novalincs paper at IJCAI'15, the world leading conference on AI, by Tobias Kaminski, Matthias Knorr and João Leite. http://t.co/A8PMIQXvW1
0
0
2
@novalincs
NOVA LINCS
10 years
New Visual Speech app for Speech therapy, developed by @novalincs and @HGO_EPE, showcased @Festival_IN @cmuportugal http://t.co/QZf75WXh1c
0
3
2
@novalincs
NOVA LINCS
10 years
@novalincs Bernardo Toninho successfully defended his PhD thesis in the @cmuportugal Dual Degree Program in CS
0
1
0
@novalincs
NOVA LINCS
10 years
RT @jcaleitao: Still in #eurosys2015 @danielporto is presenting how we address fault tolerance in DCs w/ Visigoth FT: http://t.co/HYiITY6jp…
0
3
0
@novalincs
NOVA LINCS
10 years
RT @xmal: @vbalegas is explicitly "Putting Consistency back into Eventual Consistency" at EuroSys, http://t.co/Oew1q8FeEf http://t.co/6OXSB…
0
3
0
@novalincs
NOVA LINCS
10 years
RT @jcaleitao: In #eurosys2015 @vbalegas is explaining how to put consistency back in eventual consistency: http://t.co/qkA0ZNjko1 /CC @nov
0
5
0
@novalincs
NOVA LINCS
10 years
RT @jcaleitao: next #papoc2015 from @novalincs: @chengzi87 is talking to us about minimizing coordination in geo-replicated systems http://…
0
2
0